0.14 c # Sugar v0-40 (/tmp/evaluation/247916-1170109916/sugar-v0-40.jar)
0.14
0.14 c # MAIN BEGIN : /tmp/evaluation/247916-1170109916/unknown.xml [Mon Jan 29 23:31:56 2007]
0.14 c # CONVERT_XML BEGIN : /tmp/evaluation/247916-1170109916/unknown.xml /tmp/evaluation/247916-1170109916/sugar17124.csp [Mon Jan 29 23:31:56 2007]
0.14 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/247916-1170109916/sugar-v0-40.jar -convert /tmp/evaluation/247916-1170109916/unknown.xml /tmp/evaluation/247916-1170109916/sugar17124.csp
0.36 c BEGIN convert /tmp/evaluation/247916-1170109916/unknown.xml
0.56 c END convert (0.193989 seconds)
0.58 c # CONVERT_XML END : /tmp/evaluation/247916-1170109916/sugar17124.csp 3472 bytes (1 seconds) [Mon Jan 29 23:31:57 2007]
0.58 c # CONVERT_XML CPU : 0 = 0 + 0 + 0 + 0
0.58
0.58 c # GENERATE_SAT BEGIN : /tmp/evaluation/247916-1170109916/sugar17124.bcnf [Mon Jan 29 23:31:57 2007]
0.58 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/247916-1170109916/sugar-v0-40.jar -bcnf -map /tmp/evaluation/247916-1170109916/sugar17124.map /tmp/evaluation/247916-1170109916/sugar17124.csp /tmp/evaluation/247916-1170109916/sugar17124.bcnf
0.69 c BEGIN parse /tmp/evaluation/247916-1170109916/sugar17124.csp
0.89 c END parse (0.19706 seconds)
0.89 c BEGIN simplify
0.89 c END simplify (6.01E-4 seconds)
0.89 c BEGIN encode /tmp/evaluation/247916-1170109916/sugar17124.bcnf
44.40 c END encode (43.504478 seconds)
44.42 c # GENERATE_SAT END : 86022 variables 45338791 clauses 724259844 bytes (44 seconds) [Mon Jan 29 23:32:41 2007]
44.42 c # GENERATE_SAT CPU : 0 = 0 + 0 + 0 + 0
44.42
44.42 c # SOLVE_SAT BEGIN : /tmp/evaluation/247916-1170109916/sugar17124.bcnf [Mon Jan 29 23:32:41 2007]
44.42 c # CMD : /tmp/evaluation/247916-1170109916/minisat /tmp/evaluation/247916-1170109916/sugar17124.bcnf /tmp/evaluation/247916-1170109916/sugar17124.out
56.06
56.06 s UNKNOWN
56.06 c # INTERRUPTED
56.06 c # MAIN END : (56 seconds) [Mon Jan 29 23:32:52 2007]
56.06 c # MAIN CPU : 0 = 0 + 0 + 0 + 0
56.06
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node23/watcher-247916-1170109916 -o ROOT/results/node23/solver-247916-1170109916 -C 1800 -M 900 /tmp/evaluation/247916-1170109916/solver /tmp/evaluation/247916-1170109916 /tmp/evaluation/247916-1170109916/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: 1.53 1.88 2.43 4/78 17125
/proc/meminfo: memFree=1883280/2055920 swapFree=4192812/4192956
[pid=17124] ppid=17122 vsize=5352 CPUtime=0
/proc/17124/stat : 17124 (solver) D 17122 17124 16165 0 -1 4194304 264 0 0 0 0 0 0 0 18 0 1 0 30945495 5480448 231 18446744073709551615 4194304 4889804 548682069296 18446744073709551615 238487661863 0 0 4096 0 18446744071563608240 0 0 17 0 0 0
/proc/17124/statm: 1338 231 193 169 0 49 0
[startup+0.105849 s]
/proc/loadavg: 1.53 1.88 2.43 4/78 17125
/proc/meminfo: memFree=1883280/2055920 swapFree=4192812/4192956
[pid=17124] ppid=17122 vsize=12536 CPUtime=0
/proc/17124/stat : 17124 (sugar) R 17122 17124 16165 0 -1 4194304 729 0 4 0 0 0 0 0 18 0 1 0 30945495 12836864 452 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238487507681 0 0 4224 0 0 0 0 17 1 0 0
/proc/17124/statm: 3134 454 291 3 0 234 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12536
[startup+0.514902 s]
/proc/loadavg: 1.53 1.88 2.43 4/78 17125
/proc/meminfo: memFree=1883280/2055920 swapFree=4192812/4192956
[pid=17124] ppid=17122 vsize=13724 CPUtime=0.03
/proc/17124/stat : 17124 (sugar) S 17122 17124 16165 0 -1 4194304 1117 0 4 0 3 0 0 0 16 0 1 0 30945495 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238496559202 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17124/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+1.33599 s]
/proc/loadavg: 1.53 1.88 2.43 2/87 17141
/proc/meminfo: memFree=1857608/2055920 swapFree=4192812/4192956
[pid=17124] ppid=17122 vsize=13724 CPUtime=0.03
/proc/17124/stat : 17124 (sugar) S 17122 17124 16165 0 -1 4194304 1184 0 4 0 3 0 0 0 15 0 1 0 30945495 14053376 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238496559202 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17124/statm: 3431 808 370 3 0 531 0
[pid=17126] ppid=17124 vsize=0 CPUtime=0.26
/proc/17126/stat : 17126 (java) Z 17124 17124 16165 0 -1 1036 3563 0 30 0 21 5 0 0 16 0 1 0 30945510 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/17126/statm: 0 0 0 0 0 0 0
[pid=17134] ppid=17124 vsize=808360 CPUtime=0.73
/proc/17134/stat : 17134 (java) R 17124 17124 16165 0 -1 0 4762 0 2 0 68 5 0 0 17 0 8 0 30945554 827760640 4514 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17134/statm: 202090 4514 1500 14 0 189368 0
[pid=17134/tid=17135] ppid=17124 vsize=808360 CPUtime=0
/proc/17134/task/17135/stat : 17135 (java) S 17124 17124 16165 0 -1 64 6 0 0 0 0 0 0 0 20 0 8 0 30945557 827760640 4514 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17134/tid=17136] ppid=17124 vsize=808360 CPUtime=0
/proc/17134/task/17136/stat : 17136 (java) S 17124 17124 16165 0 -1 64 10 0 0 0 0 0 0 0 20 0 8 0 30945558 827760640 4514 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17134/tid=17137] ppid=17124 vsize=808360 CPUtime=0
/proc/17134/task/17137/stat : 17137 (java) S 17124 17124 16165 0 -1 64 4 0 0 0 0 0 0 0 21 0 8 0 30945558 827760640 4514 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17134/tid=17138] ppid=17124 vsize=808360 CPUtime=0
/proc/17134/task/17138/stat : 17138 (java) S 17124 17124 16165 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 30945561 827760640 4514 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17134/tid=17139] ppid=17124 vsize=808360 CPUtime=0.09
/proc/17134/task/17139/stat : 17139 (java) S 17124 17124 16165 0 -1 64 370 0 0 0 9 0 0 0 15 0 8 0 30945561 827760640 4514 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17134/tid=17140] ppid=17124 vsize=808360 CPUtime=0
/proc/17134/task/17140/stat : 17140 (java) S 17124 17124 16165 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 30945561 827760640 4514 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17134/tid=17141] ppid=17124 vsize=808360 CPUtime=0
/proc/17134/task/17141/stat : 17141 (java) S 17124 17124 16165 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30945561 827760640 4514 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.02
Current children cumulated vsize (KiB) 822084
[startup+2.98118 s]
/proc/loadavg: 1.53 1.88 2.43 2/87 17141
/proc/meminfo: memFree=1840136/2055920 swapFree=4192812/4192956
[pid=17124] ppid=17122 vsize=13724 CPUtime=0.03
/proc/17124/stat : 17124 (sugar) S 17122 17124 16165 0 -1 4194304 1184 0 4 0 3 0 0 0 15 0 1 0 30945495 14053376 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238496559202 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17124/statm: 3431 808 370 3 0 531 0
[pid=17126] ppid=17124 vsize=0 CPUtime=0.26
/proc/17126/stat : 17126 (java) Z 17124 17124 16165 0 -1 1036 3563 0 30 0 21 5 0 0 16 0 1 0 30945510 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/17126/statm: 0 0 0 0 0 0 0
[pid=17134] ppid=17124 vsize=808360 CPUtime=2.36
/proc/17134/stat : 17134 (java) R 17124 17124 16165 0 -1 0 4766 0 2 0 221 15 0 0 18 0 8 0 30945554 827760640 4516 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073659626 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17134/statm: 202090 4516 1501 14 0 189368 0
[pid=17134/tid=17135] ppid=17124 vsize=808360 CPUtime=0
/proc/17134/task/17135/stat : 17135 (java) S 17124 17124 16165 0 -1 64 7 0 0 0 0 0 0 0 17 0 8 0 30945557 827760640 4516 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17134/tid=17136] ppid=17124 vsize=808360 CPUtime=0
/proc/17134/task/17136/stat : 17136 (java) S 17124 17124 16165 0 -1 64 10 0 0 0 0 0 0 0 20 0 8 0 30945558 827760640 4516 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17134/tid=17137] ppid=17124 vsize=808360 CPUtime=0
/proc/17134/task/17137/stat : 17137 (java) S 17124 17124 16165 0 -1 64 4 0 0 0 0 0 0 0 21 0 8 0 30945558 827760640 4516 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17134/tid=17138] ppid=17124 vsize=808360 CPUtime=0
/proc/17134/task/17138/stat : 17138 (java) S 17124 17124 16165 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 30945561 827760640 4516 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17134/tid=17139] ppid=17124 vsize=808360 CPUtime=0.09
/proc/17134/task/17139/stat : 17139 (java) S 17124 17124 16165 0 -1 64 370 0 0 0 9 0 0 0 16 0 8 0 30945561 827760640 4516 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17134/tid=17140] ppid=17124 vsize=808360 CPUtime=0
/proc/17134/task/17140/stat : 17140 (java) S 17124 17124 16165 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 30945561 827760640 4516 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17134/tid=17141] ppid=17124 vsize=808360 CPUtime=0
/proc/17134/task/17141/stat : 17141 (java) S 17124 17124 16165 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30945561 827760640 4516 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.65
Current children cumulated vsize (KiB) 822084
[startup+6.18654 s]
/proc/loadavg: 1.48 1.87 2.42 2/87 17141
/proc/meminfo: memFree=1779720/2055920 swapFree=4192812/4192956
[pid=17124] ppid=17122 vsize=13724 CPUtime=0.03
/proc/17124/stat : 17124 (sugar) S 17122 17124 16165 0 -1 4194304 1184 0 4 0 3 0 0 0 15 0 1 0 30945495 14053376 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238496559202 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17124/statm: 3431 808 370 3 0 531 0
[pid=17126] ppid=17124 vsize=0 CPUtime=0.26
/proc/17126/stat : 17126 (java) Z 17124 17124 16165 0 -1 1036 3563 0 30 0 21 5 0 0 16 0 1 0 30945510 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/17126/statm: 0 0 0 0 0 0 0
[pid=17134] ppid=17124 vsize=808360 CPUtime=5.56
/proc/17134/stat : 17134 (java) R 17124 17124 16165 0 -1 0 4768 0 2 0 519 37 0 0 17 0 8 0 30945554 827760640 4518 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073644925 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17134/statm: 202090 4518 1501 14 0 189368 0
[pid=17134/tid=17135] ppid=17124 vsize=808360 CPUtime=0
/proc/17134/task/17135/stat : 17135 (java) S 17124 17124 16165 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 30945557 827760640 4518 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17134/tid=17136] ppid=17124 vsize=808360 CPUtime=0
/proc/17134/task/17136/stat : 17136 (java) S 17124 17124 16165 0 -1 64 10 0 0 0 0 0 0 0 20 0 8 0 30945558 827760640 4518 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17134/tid=17137] ppid=17124 vsize=808360 CPUtime=0
/proc/17134/task/17137/stat : 17137 (java) S 17124 17124 16165 0 -1 64 4 0 0 0 0 0 0 0 21 0 8 0 30945558 827760640 4518 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17134/tid=17138] ppid=17124 vsize=808360 CPUtime=0
/proc/17134/task/17138/stat : 17138 (java) S 17124 17124 16165 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 30945561 827760640 4518 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17134/tid=17139] ppid=17124 vsize=808360 CPUtime=0.09
/proc/17134/task/17139/stat : 17139 (java) S 17124 17124 16165 0 -1 64 370 0 0 0 9 0 0 0 16 0 8 0 30945561 827760640 4518 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17134/tid=17140] ppid=17124 vsize=808360 CPUtime=0
/proc/17134/task/17140/stat : 17140 (java) S 17124 17124 16165 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 30945561 827760640 4518 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17134/tid=17141] ppid=17124 vsize=808360 CPUtime=0
/proc/17134/task/17141/stat : 17141 (java) S 17124 17124 16165 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30945561 827760640 4518 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5.85
Current children cumulated vsize (KiB) 822084
[startup+12.6603 s]
/proc/loadavg: 1.45 1.85 2.41 2/87 17141
/proc/meminfo: memFree=1667144/2055920 swapFree=4192812/4192956
[pid=17124] ppid=17122 vsize=13724 CPUtime=0.03
/proc/17124/stat : 17124 (sugar) S 17122 17124 16165 0 -1 4194304 1184 0 4 0 3 0 0 0 15 0 1 0 30945495 14053376 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238496559202 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17124/statm: 3431 808 370 3 0 531 0
[pid=17126] ppid=17124 vsize=0 CPUtime=0.26
/proc/17126/stat : 17126 (java) Z 17124 17124 16165 0 -1 1036 3563 0 30 0 21 5 0 0 16 0 1 0 30945510 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/17126/statm: 0 0 0 0 0 0 0
[pid=17134] ppid=17124 vsize=808360 CPUtime=12.03
/proc/17134/stat : 17134 (java) R 17124 17124 16165 0 -1 0 4773 0 2 0 1127 76 0 0 25 0 8 0 30945554 827760640 4523 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073660669 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17134/statm: 202090 4523 1501 14 0 189368 0
[pid=17134/tid=17135] ppid=17124 vsize=808360 CPUtime=0
/proc/17134/task/17135/stat : 17135 (java) S 17124 17124 16165 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 30945557 827760640 4523 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17134/tid=17136] ppid=17124 vsize=808360 CPUtime=0
/proc/17134/task/17136/stat : 17136 (java) S 17124 17124 16165 0 -1 64 10 0 0 0 0 0 0 0 20 0 8 0 30945558 827760640 4523 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17134/tid=17137] ppid=17124 vsize=808360 CPUtime=0
/proc/17134/task/17137/stat : 17137 (java) S 17124 17124 16165 0 -1 64 4 0 0 0 0 0 0 0 21 0 8 0 30945558 827760640 4523 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17134/tid=17138] ppid=17124 vsize=808360 CPUtime=0
/proc/17134/task/17138/stat : 17138 (java) S 17124 17124 16165 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 30945561 827760640 4523 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17134/tid=17139] ppid=17124 vsize=808360 CPUtime=0.09
/proc/17134/task/17139/stat : 17139 (java) S 17124 17124 16165 0 -1 64 370 0 0 0 9 0 0 0 16 0 8 0 30945561 827760640 4523 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17134/tid=17140] ppid=17124 vsize=808360 CPUtime=0
/proc/17134/task/17140/stat : 17140 (java) S 17124 17124 16165 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 30945561 827760640 4523 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17134/tid=17141] ppid=17124 vsize=808360 CPUtime=0
/proc/17134/task/17141/stat : 17141 (java) S 17124 17124 16165 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30945561 827760640 4523 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.32
Current children cumulated vsize (KiB) 822084
[startup+25.5317 s]
/proc/loadavg: 1.50 1.84 2.40 3/87 17141
/proc/meminfo: memFree=1460168/2055920 swapFree=4192812/4192956
[pid=17124] ppid=17122 vsize=13724 CPUtime=0.03
/proc/17124/stat : 17124 (sugar) S 17122 17124 16165 0 -1 4194304 1184 0 4 0 3 0 0 0 15 0 1 0 30945495 14053376 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238496559202 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17124/statm: 3431 808 370 3 0 531 0
[pid=17126] ppid=17124 vsize=0 CPUtime=0.26
/proc/17126/stat : 17126 (java) Z 17124 17124 16165 0 -1 1036 3563 0 30 0 21 5 0 0 16 0 1 0 30945510 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/17126/statm: 0 0 0 0 0 0 0
[pid=17134] ppid=17124 vsize=808360 CPUtime=24.9
/proc/17134/stat : 17134 (java) R 17124 17124 16165 0 -1 0 4784 0 2 0 2327 163 0 0 25 0 8 0 30945554 827760640 4534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17134/statm: 202090 4534 1501 14 0 189368 0
[pid=17134/tid=17135] ppid=17124 vsize=808360 CPUtime=0
/proc/17134/task/17135/stat : 17135 (java) S 17124 17124 16165 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 30945557 827760640 4534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17134/tid=17136] ppid=17124 vsize=808360 CPUtime=0
/proc/17134/task/17136/stat : 17136 (java) S 17124 17124 16165 0 -1 64 10 0 0 0 0 0 0 0 20 0 8 0 30945558 827760640 4534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17134/tid=17137] ppid=17124 vsize=808360 CPUtime=0
/proc/17134/task/17137/stat : 17137 (java) S 17124 17124 16165 0 -1 64 4 0 0 0 0 0 0 0 21 0 8 0 30945558 827760640 4534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17134/tid=17138] ppid=17124 vsize=808360 CPUtime=0
/proc/17134/task/17138/stat : 17138 (java) S 17124 17124 16165 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 30945561 827760640 4534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17134/tid=17139] ppid=17124 vsize=808360 CPUtime=0.09
/proc/17134/task/17139/stat : 17139 (java) S 17124 17124 16165 0 -1 64 371 0 0 0 9 0 0 0 16 0 8 0 30945561 827760640 4534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17134/tid=17140] ppid=17124 vsize=808360 CPUtime=0
/proc/17134/task/17140/stat : 17140 (java) S 17124 17124 16165 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 30945561 827760640 4534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17134/tid=17141] ppid=17124 vsize=808360 CPUtime=0
/proc/17134/task/17141/stat : 17141 (java) S 17124 17124 16165 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30945561 827760640 4534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.19
Current children cumulated vsize (KiB) 822084
[startup+51.1397 s]
/proc/loadavg: 1.33 1.77 2.36 2/81 17142
/proc/meminfo: memFree=648640/2055920 swapFree=4192812/4192956
[pid=17124] ppid=17122 vsize=13856 CPUtime=0.03
/proc/17124/stat : 17124 (sugar) S 17122 17124 16165 0 -1 4194304 1323 0 4 0 3 0 0 0 16 0 1 0 30945495 14188544 851 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238496559202 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17124/statm: 3464 851 372 3 0 564 0
[pid=17126] ppid=17124 vsize=0 CPUtime=0.26
/proc/17126/stat : 17126 (java) Z 17124 17124 16165 0 -1 1036 3563 0 30 0 21 5 0 0 16 0 1 0 30945510 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/17126/statm: 0 0 0 0 0 0 0
[pid=17134] ppid=17124 vsize=0 CPUtime=43.77
/proc/17134/stat : 17134 (java) Z 17124 17124 16165 0 -1 1036 4827 0 2 0 4081 296 0 0 16 0 1 0 30945554 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/17134/statm: 0 0 0 0 0 0 0
[pid=17142] ppid=17124 vsize=540224 CPUtime=6.7
/proc/17142/stat : 17142 (minisat) R 17124 17124 16165 0 -1 0 128851 0 0 0 590 80 0 0 25 0 1 0 30949938 553189376 128822 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134637150 0 0 4096 0 0 0 0 17 1 0 0
/proc/17142/statm: 135092 128823 36 112 0 134976 0
Current children cumulated CPU time (s) 50.76
Current children cumulated vsize (KiB) 554080
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+56.0582 s]
/proc/loadavg: 1.30 1.76 2.35 2/81 17142
/proc/meminfo: memFree=261568/2055920 swapFree=4192812/4192956
[pid=17124] ppid=17122 vsize=13856 CPUtime=0.03
/proc/17124/stat : 17124 (sugar) S 17122 17124 16165 0 -1 4194304 1323 0 4 0 3 0 0 0 16 0 1 0 30945495 14188544 851 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238496559202 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17124/statm: 3464 851 372 3 0 564 0
[pid=17126] ppid=17124 vsize=0 CPUtime=0.26
/proc/17126/stat : 17126 (java) Z 17124 17124 16165 0 -1 1036 3563 0 30 0 21 5 0 0 16 0 1 0 30945510 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/17126/statm: 0 0 0 0 0 0 0
[pid=17134] ppid=17124 vsize=0 CPUtime=43.77
/proc/17134/stat : 17134 (java) Z 17124 17124 16165 0 -1 1036 4827 0 2 0 4081 296 0 0 16 0 1 0 30945554 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/17134/statm: 0 0 0 0 0 0 0
[pid=17142] ppid=17124 vsize=911660 CPUtime=11.63
/proc/17142/stat : 17142 (minisat) R 17124 17124 16165 0 -1 0 221681 0 0 0 1027 136 0 0 25 0 1 0 30949938 933539840 221652 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134640104 0 0 4096 0 0 0 0 17 1 0 0
/proc/17142/statm: 227915 221652 36 112 0 227799 0
Current children cumulated CPU time (s) 55.69
Current children cumulated vsize (KiB) 925516
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 1
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 17124 and gives childrusage.ru_utime.tv_sec=0 childrusage.ru_utime.tv_usec=37994 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=357945
CPU time returned by wait4() is 0.395939
while last known CPU time is 56.17
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 57.4213
CPU time (s): 56.17
CPU user time (s): 51.32
CPU system time (s): 4.85
CPU usage (%): 97.8208
Max. virtual memory (cumulated for all children) (KiB): 925516
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.037994
system time used= 0.357945
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1415
page faults= 4
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 61
involuntary context switches= 16
runsolver used 0.072988 s user time and 0.148977 s system time
The end
Begin job on node23 on Mon Jan 29 22:31:56 UTC 2007
IDJOB= 247916
IDBENCH= 11666
IDSOLVER= 86
FILE ID= node23/247916-1170109916
PBS_JOBID= 3689938
Free space on /tmp= 66564 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/primes/primes-10/primes-10-20-3-5.xml
COMMAND LINE= /tmp/evaluation/247916-1170109916/solver /tmp/evaluation/247916-1170109916 /tmp/evaluation/247916-1170109916/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node23/watcher-247916-1170109916 -o ROOT/results/node23/solver-247916-1170109916 -C 1800 -M 900 /tmp/evaluation/247916-1170109916/solver /tmp/evaluation/247916-1170109916 /tmp/evaluation/247916-1170109916/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= b221bcd9f39d2f23f71bed1ec9addb5d
RANDOM SEED= 893242686
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.216
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.216
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: 1883952 kB
Buffers: 26396 kB
Cached: 36912 kB
SwapCached: 0 kB
Active: 89832 kB
Inactive: 29036 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1883952 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1616 kB
Writeback: 0 kB
Mapped: 74444 kB
Slab: 38796 kB
Committed_AS: 502384 kB
PageTables: 1672 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= 66564 MiB
End job on node23 on Mon Jan 29 22:32:54 UTC 2007