0.16 c # Sugar v0-40 (/tmp/evaluation/235898-1170107485/sugar-v0-40.jar)
0.16
0.18 c # MAIN BEGIN : /tmp/evaluation/235898-1170107485/unknown.xml [Mon Jan 29 22:51:26 2007]
0.18 c # CONVERT_XML BEGIN : /tmp/evaluation/235898-1170107485/unknown.xml /tmp/evaluation/235898-1170107485/sugar22727.csp [Mon Jan 29 22:51:26 2007]
0.18 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/235898-1170107485/sugar-v0-40.jar -convert /tmp/evaluation/235898-1170107485/unknown.xml /tmp/evaluation/235898-1170107485/sugar22727.csp
0.40 c BEGIN convert /tmp/evaluation/235898-1170107485/unknown.xml
1.37 c END convert (0.969599 seconds)
1.41 c # CONVERT_XML END : /tmp/evaluation/235898-1170107485/sugar22727.csp 196093 bytes (1 seconds) [Mon Jan 29 22:51:27 2007]
1.41 c # CONVERT_XML CPU : 1.06 = 0 + 0 + 1.01 + 0.05
1.41
1.41 c # GENERATE_SAT BEGIN : /tmp/evaluation/235898-1170107485/sugar22727.bcnf [Mon Jan 29 22:51:27 2007]
1.41 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/235898-1170107485/sugar-v0-40.jar -bcnf -map /tmp/evaluation/235898-1170107485/sugar22727.map /tmp/evaluation/235898-1170107485/sugar22727.csp /tmp/evaluation/235898-1170107485/sugar22727.bcnf
1.53 c BEGIN parse /tmp/evaluation/235898-1170107485/sugar22727.csp
2.49 c END parse (0.957822 seconds)
2.49 c BEGIN simplify
2.51 c END simplify (0.026366 seconds)
2.51 c BEGIN encode /tmp/evaluation/235898-1170107485/sugar22727.bcnf
187.45 c END encode (184.933594 seconds)
188.09 c # GENERATE_SAT END : 91422237 variables 257400785 clauses 3321448644 bytes (187 seconds) [Mon Jan 29 22:54:34 2007]
188.09 c # GENERATE_SAT CPU : 175.69 = 0.12 + 0.01 + 159.95 + 15.61
188.09
188.09 c # SOLVE_SAT BEGIN : /tmp/evaluation/235898-1170107485/sugar22727.bcnf [Mon Jan 29 22:54:34 2007]
188.22 c # CMD : /tmp/evaluation/235898-1170107485/minisat /tmp/evaluation/235898-1170107485/sugar22727.bcnf /tmp/evaluation/235898-1170107485/sugar22727.out
188.38 c ERROR! Could not open file: /tmp/evaluation/235898-1170107485/sugar22727.bcnf
188.38 s UNKNOWN
188.38 c # ERROR No such file or directory /tmp/evaluation/235898-1170107485/sugar22727.out, at /tmp/evaluation/235898-1170107485/sugar line 393.
188.38
188.38 c # MAIN END : (188 seconds) [Mon Jan 29 22:54:34 2007]
188.38 c # MAIN CPU : 176.75 = 0.12 + 0.01 + 160.96 + 15.66
188.38
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node69/watcher-235898-1170107485 -o ROOT/results/node69/solver-235898-1170107485 -C 1800 -M 900 /tmp/evaluation/235898-1170107485/solver /tmp/evaluation/235898-1170107485 /tmp/evaluation/235898-1170107485/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 3.97 3.40 2.86 5/81 22728
/proc/meminfo: memFree=15040/2055920 swapFree=4192812/4192956
[pid=22727] ppid=22725 vsize=5352 CPUtime=0
/proc/22727/stat : 22727 (solver) D 22725 22727 21974 0 -1 4194304 264 0 0 0 0 0 0 0 20 0 1 0 30706255 5480448 231 18446744073709551615 4194304 4889804 548682069296 18446744073709551615 237947645223 0 0 4096 0 18446744071563608240 0 0 17 1 0 0
/proc/22727/statm: 1338 231 193 169 0 49 0
[startup+0.105427 s]
/proc/loadavg: 3.97 3.40 2.86 5/81 22728
/proc/meminfo: memFree=15040/2055920 swapFree=4192812/4192956
[pid=22727] ppid=22725 vsize=12404 CPUtime=0
/proc/22727/stat : 22727 (sugar) D 22725 22727 21974 0 -1 4194304 661 0 0 0 0 0 0 0 18 0 1 0 30706255 12701696 380 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237956542562 0 0 4224 0 18446744071563479169 0 0 17 1 0 0
/proc/22727/statm: 3101 380 275 3 0 201 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12404
[startup+0.516496 s]
/proc/loadavg: 3.97 3.40 2.86 5/81 22728
/proc/meminfo: memFree=15040/2055920 swapFree=4192812/4192956
[pid=22727] ppid=22725 vsize=13724 CPUtime=0.04
/proc/22727/stat : 22727 (sugar) S 22725 22727 21974 0 -1 4194304 1121 0 0 0 3 1 0 0 15 0 1 0 30706255 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237956542562 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22727/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+1.33763 s]
/proc/loadavg: 3.97 3.40 2.86 3/89 22736
/proc/meminfo: memFree=14848/2055920 swapFree=4192812/4192956
[pid=22727] ppid=22725 vsize=13724 CPUtime=0.04
/proc/22727/stat : 22727 (sugar) S 22725 22727 21974 0 -1 4194304 1121 0 0 0 3 1 0 0 15 0 1 0 30706255 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237956542562 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22727/statm: 3431 805 368 3 0 531 0
[pid=22729] ppid=22727 vsize=807420 CPUtime=1.02
/proc/22729/stat : 22729 (java) R 22727 22727 21974 0 -1 0 8616 0 1 0 97 5 0 0 23 0 8 0 30706274 826798080 8364 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4072916832 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22729/statm: 201855 8364 1694 14 0 189133 0
[pid=22729/tid=22730] ppid=22727 vsize=807420 CPUtime=0.05
/proc/22729/task/22730/stat : 22730 (java) S 22727 22727 21974 0 -1 64 2010 0 0 0 5 0 0 0 16 0 8 0 30706287 826798080 8364 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22729/tid=22731] ppid=22727 vsize=807420 CPUtime=0
/proc/22729/task/22731/stat : 22731 (java) S 22727 22727 21974 0 -1 64 9 0 0 0 0 0 0 0 19 0 8 0 30706288 826798080 8364 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22729/tid=22732] ppid=22727 vsize=807420 CPUtime=0
/proc/22729/task/22732/stat : 22732 (java) S 22727 22727 21974 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 30706288 826798080 8364 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22729/tid=22733] ppid=22727 vsize=807420 CPUtime=0
/proc/22729/task/22733/stat : 22733 (java) S 22727 22727 21974 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30706291 826798080 8364 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22729/tid=22734] ppid=22727 vsize=807420 CPUtime=0.17
/proc/22729/task/22734/stat : 22734 (java) S 22727 22727 21974 0 -1 64 426 0 0 0 17 0 0 0 16 0 8 0 30706291 826798080 8364 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22729/tid=22735] ppid=22727 vsize=807420 CPUtime=0
/proc/22729/task/22735/stat : 22735 (java) S 22727 22727 21974 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30706291 826798080 8364 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22729/tid=22736] ppid=22727 vsize=807420 CPUtime=0
/proc/22729/task/22736/stat : 22736 (java) S 22727 22727 21974 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30706291 826798080 8364 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.06
Current children cumulated vsize (KiB) 821144
[startup+2.9749 s]
/proc/loadavg: 3.89 3.39 2.86 4/89 22744
/proc/meminfo: memFree=15168/2055920 swapFree=4192812/4192956
[pid=22727] ppid=22725 vsize=13724 CPUtime=1.1
/proc/22727/stat : 22727 (sugar) S 22725 22727 21974 0 -1 4194304 1190 8631 0 1 3 1 101 5 16 0 1 0 30706255 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237956542562 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22727/statm: 3431 809 371 3 0 531 0
[pid=22737] ppid=22727 vsize=807376 CPUtime=1.46
/proc/22737/stat : 22737 (java) R 22727 22727 21974 0 -1 0 9886 0 1 0 137 9 0 0 19 0 8 0 30706397 826753024 9632 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22737/statm: 201844 9632 1508 14 0 189122 0
[pid=22737/tid=22738] ppid=22727 vsize=807376 CPUtime=0.19
/proc/22737/task/22738/stat : 22738 (java) S 22727 22727 21974 0 -1 64 3648 0 0 0 17 2 0 0 16 0 8 0 30706400 826753024 9632 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22737/tid=22739] ppid=22727 vsize=807376 CPUtime=0
/proc/22737/task/22739/stat : 22739 (java) S 22727 22727 21974 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 30706401 826753024 9632 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22737/tid=22740] ppid=22727 vsize=807376 CPUtime=0
/proc/22737/task/22740/stat : 22740 (java) S 22727 22727 21974 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30706401 826753024 9632 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22737/tid=22741] ppid=22727 vsize=807376 CPUtime=0
/proc/22737/task/22741/stat : 22741 (java) S 22727 22727 21974 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30706404 826753024 9632 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22737/tid=22742] ppid=22727 vsize=807376 CPUtime=0.16
/proc/22737/task/22742/stat : 22742 (java) S 22727 22727 21974 0 -1 64 430 0 0 0 16 0 0 0 16 0 8 0 30706404 826753024 9632 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22737/tid=22743] ppid=22727 vsize=807376 CPUtime=0
/proc/22737/task/22743/stat : 22743 (java) S 22727 22727 21974 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30706404 826753024 9632 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22737/tid=22744] ppid=22727 vsize=807376 CPUtime=0
/proc/22737/task/22744/stat : 22744 (java) S 22727 22727 21974 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30706404 826753024 9632 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.56
Current children cumulated vsize (KiB) 821100
[startup+6.17641 s]
/proc/loadavg: 3.89 3.39 2.86 3/89 22744
/proc/meminfo: memFree=16000/2055920 swapFree=4192812/4192956
[pid=22727] ppid=22725 vsize=13724 CPUtime=1.1
/proc/22727/stat : 22727 (sugar) S 22725 22727 21974 0 -1 4194304 1190 8631 0 1 3 1 101 5 16 0 1 0 30706255 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237956542562 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22727/statm: 3431 809 371 3 0 531 0
[pid=22737] ppid=22727 vsize=807376 CPUtime=4.45
/proc/22737/stat : 22737 (java) R 22727 22727 21974 0 -1 0 9887 0 1 0 399 46 0 0 25 0 8 0 30706397 826753024 9632 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073829914 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22737/statm: 201844 9632 1508 14 0 189122 0
[pid=22737/tid=22738] ppid=22727 vsize=807376 CPUtime=0.19
/proc/22737/task/22738/stat : 22738 (java) S 22727 22727 21974 0 -1 64 3648 0 0 0 17 2 0 0 16 0 8 0 30706400 826753024 9632 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22737/tid=22739] ppid=22727 vsize=807376 CPUtime=0
/proc/22737/task/22739/stat : 22739 (java) S 22727 22727 21974 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 30706401 826753024 9632 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22737/tid=22740] ppid=22727 vsize=807376 CPUtime=0
/proc/22737/task/22740/stat : 22740 (java) S 22727 22727 21974 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30706401 826753024 9632 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22737/tid=22741] ppid=22727 vsize=807376 CPUtime=0
/proc/22737/task/22741/stat : 22741 (java) S 22727 22727 21974 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30706404 826753024 9632 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22737/tid=22742] ppid=22727 vsize=807376 CPUtime=0.16
/proc/22737/task/22742/stat : 22742 (java) S 22727 22727 21974 0 -1 64 430 0 0 0 16 0 0 0 16 0 8 0 30706404 826753024 9632 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22737/tid=22743] ppid=22727 vsize=807376 CPUtime=0
/proc/22737/task/22743/stat : 22743 (java) S 22727 22727 21974 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30706404 826753024 9632 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22737/tid=22744] ppid=22727 vsize=807376 CPUtime=0
/proc/22737/task/22744/stat : 22744 (java) S 22727 22727 21974 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30706404 826753024 9632 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5.55
Current children cumulated vsize (KiB) 821100
[startup+12.6645 s]
/proc/loadavg: 3.91 3.41 2.87 3/90 22746
/proc/meminfo: memFree=15416/2055920 swapFree=4192812/4192956
[pid=22727] ppid=22725 vsize=13724 CPUtime=1.1
/proc/22727/stat : 22727 (sugar) S 22725 22727 21974 0 -1 4194304 1190 8631 0 1 3 1 101 5 16 0 1 0 30706255 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237956542562 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22727/statm: 3431 809 371 3 0 531 0
[pid=22737] ppid=22727 vsize=807376 CPUtime=10.6
/proc/22737/stat : 22737 (java) R 22727 22727 21974 0 -1 0 9887 0 1 0 937 123 0 0 25 0 8 0 30706397 826753024 9632 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22737/statm: 201844 9632 1508 14 0 189122 0
[pid=22737/tid=22738] ppid=22727 vsize=807376 CPUtime=0.19
/proc/22737/task/22738/stat : 22738 (java) S 22727 22727 21974 0 -1 64 3648 0 0 0 17 2 0 0 16 0 8 0 30706400 826753024 9632 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22737/tid=22739] ppid=22727 vsize=807376 CPUtime=0
/proc/22737/task/22739/stat : 22739 (java) S 22727 22727 21974 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 30706401 826753024 9632 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22737/tid=22740] ppid=22727 vsize=807376 CPUtime=0
/proc/22737/task/22740/stat : 22740 (java) S 22727 22727 21974 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30706401 826753024 9632 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22737/tid=22741] ppid=22727 vsize=807376 CPUtime=0
/proc/22737/task/22741/stat : 22741 (java) S 22727 22727 21974 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30706404 826753024 9632 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22737/tid=22742] ppid=22727 vsize=807376 CPUtime=0.16
/proc/22737/task/22742/stat : 22742 (java) S 22727 22727 21974 0 -1 64 430 0 0 0 16 0 0 0 16 0 8 0 30706404 826753024 9632 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22737/tid=22743] ppid=22727 vsize=807376 CPUtime=0
/proc/22737/task/22743/stat : 22743 (java) S 22727 22727 21974 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30706404 826753024 9632 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22737/tid=22744] ppid=22727 vsize=807376 CPUtime=0
/proc/22737/task/22744/stat : 22744 (java) S 22727 22727 21974 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30706404 826753024 9632 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 11.7
Current children cumulated vsize (KiB) 821100
[startup+25.5456 s]
/proc/loadavg: 4.08 3.46 2.89 3/90 22749
/proc/meminfo: memFree=16120/2055920 swapFree=4192812/4192956
[pid=22727] ppid=22725 vsize=13724 CPUtime=1.1
/proc/22727/stat : 22727 (sugar) S 22725 22727 21974 0 -1 4194304 1190 8631 0 1 3 1 101 5 16 0 1 0 30706255 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237956542562 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22727/statm: 3431 809 371 3 0 531 0
[pid=22737] ppid=22727 vsize=807376 CPUtime=22.53
/proc/22737/stat : 22737 (java) D 22727 22727 21974 0 -1 0 9889 0 1 0 1998 255 0 0 25 0 8 0 30706397 826753024 9634 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22737/statm: 201844 9634 1508 14 0 189122 0
[pid=22737/tid=22738] ppid=22727 vsize=807376 CPUtime=0.19
/proc/22737/task/22738/stat : 22738 (java) S 22727 22727 21974 0 -1 64 3648 0 0 0 17 2 0 0 16 0 8 0 30706400 826753024 9634 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22737/tid=22739] ppid=22727 vsize=807376 CPUtime=0
/proc/22737/task/22739/stat : 22739 (java) S 22727 22727 21974 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 30706401 826753024 9634 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22737/tid=22740] ppid=22727 vsize=807376 CPUtime=0
/proc/22737/task/22740/stat : 22740 (java) S 22727 22727 21974 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30706401 826753024 9634 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22737/tid=22741] ppid=22727 vsize=807376 CPUtime=0
/proc/22737/task/22741/stat : 22741 (java) S 22727 22727 21974 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30706404 826753024 9634 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22737/tid=22742] ppid=22727 vsize=807376 CPUtime=0.17
/proc/22737/task/22742/stat : 22742 (java) S 22727 22727 21974 0 -1 64 432 0 0 0 17 0 0 0 16 0 8 0 30706404 826753024 9634 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22737/tid=22743] ppid=22727 vsize=807376 CPUtime=0
/proc/22737/task/22743/stat : 22743 (java) S 22727 22727 21974 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30706404 826753024 9634 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22737/tid=22744] ppid=22727 vsize=807376 CPUtime=0
/proc/22737/task/22744/stat : 22744 (java) S 22727 22727 21974 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30706404 826753024 9634 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 23.63
Current children cumulated vsize (KiB) 821100
[startup+51.2056 s]
/proc/loadavg: 4.43 3.60 2.95 3/90 22752
/proc/meminfo: memFree=15800/2055920 swapFree=4192812/4192956
[pid=22727] ppid=22725 vsize=13724 CPUtime=1.1
/proc/22727/stat : 22727 (sugar) S 22725 22727 21974 0 -1 4194304 1190 8631 0 1 3 1 101 5 16 0 1 0 30706255 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237956542562 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22727/statm: 3431 809 371 3 0 531 0
[pid=22737] ppid=22727 vsize=807376 CPUtime=46.6
/proc/22737/stat : 22737 (java) R 22727 22727 21974 0 -1 0 9901 0 1 0 4125 535 0 0 25 0 8 0 30706397 826753024 9645 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152094853 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22737/statm: 201844 9645 1510 14 0 189122 0
[pid=22737/tid=22738] ppid=22727 vsize=807376 CPUtime=0.19
/proc/22737/task/22738/stat : 22738 (java) S 22727 22727 21974 0 -1 64 3648 0 0 0 17 2 0 0 17 0 8 0 30706400 826753024 9645 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22737/tid=22739] ppid=22727 vsize=807376 CPUtime=0
/proc/22737/task/22739/stat : 22739 (java) S 22727 22727 21974 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 30706401 826753024 9645 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22737/tid=22740] ppid=22727 vsize=807376 CPUtime=0
/proc/22737/task/22740/stat : 22740 (java) S 22727 22727 21974 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30706401 826753024 9645 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22737/tid=22741] ppid=22727 vsize=807376 CPUtime=0
/proc/22737/task/22741/stat : 22741 (java) S 22727 22727 21974 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30706404 826753024 9645 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22737/tid=22742] ppid=22727 vsize=807376 CPUtime=0.18
/proc/22737/task/22742/stat : 22742 (java) S 22727 22727 21974 0 -1 64 442 0 0 0 18 0 0 0 16 0 8 0 30706404 826753024 9645 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22737/tid=22743] ppid=22727 vsize=807376 CPUtime=0
/proc/22737/task/22743/stat : 22743 (java) S 22727 22727 21974 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30706404 826753024 9645 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22737/tid=22744] ppid=22727 vsize=807376 CPUtime=0
/proc/22737/task/22744/stat : 22744 (java) S 22727 22727 21974 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30706404 826753024 9645 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 47.7
Current children cumulated vsize (KiB) 821100
[startup+102.502 s]
/proc/loadavg: 4.33 3.72 3.03 3/93 22764
/proc/meminfo: memFree=15200/2055920 swapFree=4192812/4192956
[pid=22727] ppid=22725 vsize=13724 CPUtime=1.1
/proc/22727/stat : 22727 (sugar) S 22725 22727 21974 0 -1 4194304 1190 8631 0 1 3 1 101 5 16 0 1 0 30706255 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237956542562 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22727/statm: 3431 809 371 3 0 531 0
[pid=22737] ppid=22727 vsize=807376 CPUtime=95.62
/proc/22737/stat : 22737 (java) R 22727 22727 21974 0 -1 0 9902 0 1 0 8654 908 0 0 25 0 8 0 30706397 826753024 9646 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152033923 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22737/statm: 201844 9646 1510 14 0 189122 0
[pid=22737/tid=22738] ppid=22727 vsize=807376 CPUtime=0.19
/proc/22737/task/22738/stat : 22738 (java) S 22727 22727 21974 0 -1 64 3648 0 0 0 17 2 0 0 16 0 8 0 30706400 826753024 9646 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22737/tid=22739] ppid=22727 vsize=807376 CPUtime=0
/proc/22737/task/22739/stat : 22739 (java) S 22727 22727 21974 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 30706401 826753024 9646 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22737/tid=22740] ppid=22727 vsize=807376 CPUtime=0
/proc/22737/task/22740/stat : 22740 (java) S 22727 22727 21974 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30706401 826753024 9646 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22737/tid=22741] ppid=22727 vsize=807376 CPUtime=0
/proc/22737/task/22741/stat : 22741 (java) S 22727 22727 21974 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30706404 826753024 9646 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22737/tid=22742] ppid=22727 vsize=807376 CPUtime=0.19
/proc/22737/task/22742/stat : 22742 (java) S 22727 22727 21974 0 -1 64 443 0 0 0 18 1 0 0 17 0 8 0 30706404 826753024 9646 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22737/tid=22743] ppid=22727 vsize=807376 CPUtime=0
/proc/22737/task/22743/stat : 22743 (java) S 22727 22727 21974 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30706404 826753024 9646 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22737/tid=22744] ppid=22727 vsize=807376 CPUtime=0
/proc/22737/task/22744/stat : 22744 (java) S 22727 22727 21974 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30706404 826753024 9646 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 96.72
Current children cumulated vsize (KiB) 821100
[startup+162.581 s]
/proc/loadavg: 6.31 4.30 3.26 3/97 22783
/proc/meminfo: memFree=15360/2055920 swapFree=4192812/4192956
[pid=22727] ppid=22725 vsize=13724 CPUtime=1.1
/proc/22727/stat : 22727 (sugar) S 22725 22727 21974 0 -1 4194304 1190 8631 0 1 3 1 101 5 16 0 1 0 30706255 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237956542562 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22727/statm: 3431 809 371 3 0 531 0
[pid=22737] ppid=22727 vsize=807376 CPUtime=152.66
/proc/22737/stat : 22737 (java) R 22727 22727 21974 0 -1 0 9902 0 1 0 13892 1374 0 0 25 0 8 0 30706397 826753024 9646 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073829918 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22737/statm: 201844 9646 1510 14 0 189122 0
[pid=22737/tid=22738] ppid=22727 vsize=807376 CPUtime=0.19
/proc/22737/task/22738/stat : 22738 (java) S 22727 22727 21974 0 -1 64 3648 0 0 0 17 2 0 0 16 0 8 0 30706400 826753024 9646 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22737/tid=22739] ppid=22727 vsize=807376 CPUtime=0
/proc/22737/task/22739/stat : 22739 (java) S 22727 22727 21974 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 30706401 826753024 9646 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22737/tid=22740] ppid=22727 vsize=807376 CPUtime=0
/proc/22737/task/22740/stat : 22740 (java) S 22727 22727 21974 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30706401 826753024 9646 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22737/tid=22741] ppid=22727 vsize=807376 CPUtime=0
/proc/22737/task/22741/stat : 22741 (java) S 22727 22727 21974 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30706404 826753024 9646 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22737/tid=22742] ppid=22727 vsize=807376 CPUtime=0.19
/proc/22737/task/22742/stat : 22742 (java) S 22727 22727 21974 0 -1 64 443 0 0 0 18 1 0 0 17 0 8 0 30706404 826753024 9646 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22737/tid=22743] ppid=22727 vsize=807376 CPUtime=0
/proc/22737/task/22743/stat : 22743 (java) S 22727 22727 21974 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30706404 826753024 9646 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22737/tid=22744] ppid=22727 vsize=807376 CPUtime=0
/proc/22737/task/22744/stat : 22744 (java) S 22727 22727 21974 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30706404 826753024 9646 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 153.76
Current children cumulated vsize (KiB) 821100
Child status: 1
Real time (s): 199.161
CPU time (s): 177.488
CPU user time (s): 161.123
CPU system time (s): 16.3655
CPU usage (%): 89.118
Max. virtual memory (cumulated for all children) (KiB): 821144
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 161.123
system time used= 16.3655
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23420
page faults= 13
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5816
involuntary context switches= 12248
runsolver used 0.248962 s user time and 0.6519 s system time
The end
Begin job on node69 on Mon Jan 29 21:51:25 UTC 2007
IDJOB= 235898
IDBENCH= 6805
IDSOLVER= 86
FILE ID= node69/235898-1170107485
PBS_JOBID= 3689832
Free space on /tmp= 61158 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/fisher/FISCHER11-1-fair.xml
COMMAND LINE= /tmp/evaluation/235898-1170107485/solver /tmp/evaluation/235898-1170107485 /tmp/evaluation/235898-1170107485/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node69/watcher-235898-1170107485 -o ROOT/results/node69/solver-235898-1170107485 -C 1800 -M 900 /tmp/evaluation/235898-1170107485/solver /tmp/evaluation/235898-1170107485 /tmp/evaluation/235898-1170107485/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= 02a9f7ced81188eee3d1ba6349b8b356
RANDOM SEED= 935861920
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.261
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.261
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 16352 kB
Buffers: 2888 kB
Cached: 1843380 kB
SwapCached: 0 kB
Active: 124592 kB
Inactive: 1824780 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 16352 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 822796 kB
Writeback: 0 kB
Mapped: 119864 kB
Slab: 75324 kB
Committed_AS: 567248 kB
PageTables: 2100 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 58282 MiB
End job on node69 on Mon Jan 29 21:54:45 UTC 2007