0.05 c # Sugar v0-40 (/tmp/evaluation/203153-1170095887/sugar-v0-40.jar)
0.05
0.05 c # MAIN BEGIN : /tmp/evaluation/203153-1170095887/unknown.xml [Mon Jan 29 19:38:09 2007]
0.05 c # CONVERT_XML BEGIN : /tmp/evaluation/203153-1170095887/unknown.xml /tmp/evaluation/203153-1170095887/sugar22195.csp [Mon Jan 29 19:38:09 2007]
0.05 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/203153-1170095887/sugar-v0-40.jar -convert /tmp/evaluation/203153-1170095887/unknown.xml /tmp/evaluation/203153-1170095887/sugar22195.csp
0.18 c BEGIN convert /tmp/evaluation/203153-1170095887/unknown.xml
6.00 c END convert (5.821726 seconds)
6.04 c # CONVERT_XML END : /tmp/evaluation/203153-1170095887/sugar22195.csp 33651289 bytes (6 seconds) [Mon Jan 29 19:38:15 2007]
6.04 c # CONVERT_XML CPU : 5.89 = 0 + 0 + 5.63 + 0.26
6.04
6.04 c # GENERATE_SAT BEGIN : /tmp/evaluation/203153-1170095887/sugar22195.bcnf [Mon Jan 29 19:38:15 2007]
6.04 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/203153-1170095887/sugar-v0-40.jar -bcnf -map /tmp/evaluation/203153-1170095887/sugar22195.map /tmp/evaluation/203153-1170095887/sugar22195.csp /tmp/evaluation/203153-1170095887/sugar22195.bcnf
6.16 c BEGIN parse /tmp/evaluation/203153-1170095887/sugar22195.csp
342.06 c Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
342.20 s UNKNOWN
342.20 c # ERROR /tmp/evaluation/203153-1170095887/sugar22195.bcnf is not generated, at /tmp/evaluation/203153-1170095887/sugar line 310.
342.20
342.20 c # MAIN END : (342 seconds) [Mon Jan 29 19:43:51 2007]
342.20 c # MAIN CPU : 5.89 = 0 + 0 + 5.63 + 0.26
342.20
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node43/watcher-203153-1170095887 -o ROOT/results/node43/solver-203153-1170095887 -C 1800 -M 900 /tmp/evaluation/203153-1170095887/solver /tmp/evaluation/203153-1170095887 /tmp/evaluation/203153-1170095887/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: 2.68 2.79 2.73 3/81 22196
/proc/meminfo: memFree=881640/2055920 swapFree=4192956/4192956
[pid=22195] ppid=22193 vsize=18540 CPUtime=0
/proc/22195/stat : 22195 (runsolver) R 22193 22195 21520 0 -1 4194368 16 0 0 0 0 0 0 0 18 0 1 0 29544937 18984960 279 18446744073709551615 4194304 4267372 548682069040 18446744073709551615 216849247527 0 0 4096 24578 0 0 0 17 1 0 0
/proc/22195/statm: 4635 279 244 17 0 2626 0
[startup+0.102559 s]
/proc/loadavg: 2.68 2.79 2.73 3/81 22196
/proc/meminfo: memFree=881640/2055920 swapFree=4192956/4192956
[pid=22195] ppid=22193 vsize=13724 CPUtime=0.03
/proc/22195/stat : 22195 (sugar) S 22193 22195 21520 0 -1 4194304 1112 0 0 0 3 0 0 0 18 0 1 0 29544937 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 216858144866 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22195/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+0.510629 s]
/proc/loadavg: 2.68 2.79 2.73 3/81 22196
/proc/meminfo: memFree=881640/2055920 swapFree=4192956/4192956
[pid=22195] ppid=22193 vsize=13724 CPUtime=0.03
/proc/22195/stat : 22195 (sugar) S 22193 22195 21520 0 -1 4194304 1121 0 0 0 3 0 0 0 15 0 1 0 29544937 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 216858144866 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22195/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+1.33277 s]
/proc/loadavg: 2.68 2.79 2.73 3/89 22204
/proc/meminfo: memFree=828200/2055920 swapFree=4192956/4192956
[pid=22195] ppid=22193 vsize=13724 CPUtime=0.03
/proc/22195/stat : 22195 (sugar) S 22193 22195 21520 0 -1 4194304 1121 0 0 0 3 0 0 0 15 0 1 0 29544937 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 216858144866 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22195/statm: 3431 805 368 3 0 531 0
[pid=22197] ppid=22195 vsize=807124 CPUtime=1.25
/proc/22197/stat : 22197 (java) R 22195 22195 21520 0 -1 0 15967 0 1 0 117 8 0 0 25 0 8 0 29544943 826494976 15710 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4152819921 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22197/statm: 201781 15710 1693 14 0 189059 0
[pid=22197/tid=22198] ppid=22195 vsize=807124 CPUtime=0.15
/proc/22197/task/22198/stat : 22198 (java) S 22195 22195 21520 0 -1 64 9494 0 0 0 12 3 0 0 16 0 8 0 29544946 826494976 15710 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22197/tid=22199] ppid=22195 vsize=807124 CPUtime=0
/proc/22197/task/22199/stat : 22199 (java) S 22195 22195 21520 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29544947 826494976 15710 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22197/tid=22200] ppid=22195 vsize=807124 CPUtime=0
/proc/22197/task/22200/stat : 22200 (java) S 22195 22195 21520 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 29544947 826494976 15710 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22197/tid=22201] ppid=22195 vsize=807124 CPUtime=0
/proc/22197/task/22201/stat : 22201 (java) S 22195 22195 21520 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 29544950 826494976 15710 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22197/tid=22202] ppid=22195 vsize=807124 CPUtime=0.07
/proc/22197/task/22202/stat : 22202 (java) S 22195 22195 21520 0 -1 64 305 0 0 0 7 0 0 0 16 0 8 0 29544950 826494976 15710 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22197/tid=22203] ppid=22195 vsize=807124 CPUtime=0
/proc/22197/task/22203/stat : 22203 (java) S 22195 22195 21520 0 -1 64 2 0 0 0 0 0 0 0 24 0 8 0 29544950 826494976 15710 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22197/tid=22204] ppid=22195 vsize=807124 CPUtime=0
/proc/22197/task/22204/stat : 22204 (java) S 22195 22195 21520 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29544950 826494976 15710 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 820848
[startup+2.98605 s]
/proc/loadavg: 2.71 2.80 2.73 3/89 22204
/proc/meminfo: memFree=806376/2055920 swapFree=4192956/4192956
[pid=22195] ppid=22193 vsize=13724 CPUtime=0.03
/proc/22195/stat : 22195 (sugar) S 22193 22195 21520 0 -1 4194304 1121 0 0 0 3 0 0 0 15 0 1 0 29544937 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 216858144866 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22195/statm: 3431 805 368 3 0 531 0
[pid=22197] ppid=22195 vsize=807124 CPUtime=2.88
/proc/22197/stat : 22197 (java) R 22195 22195 21520 0 -1 0 19205 0 1 0 274 14 0 0 25 0 8 0 29544943 826494976 18913 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4073599835 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22197/statm: 201781 18913 1696 14 0 189059 0
[pid=22197/tid=22198] ppid=22195 vsize=807124 CPUtime=0.36
/proc/22197/task/22198/stat : 22198 (java) S 22195 22195 21520 0 -1 64 12672 0 0 0 30 6 0 0 16 0 8 0 29544946 826494976 18913 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22197/tid=22199] ppid=22195 vsize=807124 CPUtime=0
/proc/22197/task/22199/stat : 22199 (java) S 22195 22195 21520 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29544947 826494976 18913 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22197/tid=22200] ppid=22195 vsize=807124 CPUtime=0
/proc/22197/task/22200/stat : 22200 (java) S 22195 22195 21520 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 29544947 826494976 18913 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22197/tid=22201] ppid=22195 vsize=807124 CPUtime=0
/proc/22197/task/22201/stat : 22201 (java) S 22195 22195 21520 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 29544950 826494976 18913 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22197/tid=22202] ppid=22195 vsize=807124 CPUtime=0.09
/proc/22197/task/22202/stat : 22202 (java) S 22195 22195 21520 0 -1 64 317 0 0 0 9 0 0 0 16 0 8 0 29544950 826494976 18913 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22197/tid=22203] ppid=22195 vsize=807124 CPUtime=0
/proc/22197/task/22203/stat : 22203 (java) S 22195 22195 21520 0 -1 64 2 0 0 0 0 0 0 0 24 0 8 0 29544950 826494976 18913 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22197/tid=22204] ppid=22195 vsize=807124 CPUtime=0
/proc/22197/task/22204/stat : 22204 (java) S 22195 22195 21520 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29544950 826494976 18913 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 820848
[startup+6.27659 s]
/proc/loadavg: 2.71 2.80 2.73 3/89 22204
/proc/meminfo: memFree=775592/2055920 swapFree=4192956/4192956
[pid=22195] ppid=22193 vsize=13724 CPUtime=5.92
/proc/22195/stat : 22195 (sugar) S 22193 22195 21520 0 -1 4194304 1190 20132 0 1 3 0 563 26 15 0 1 0 29544937 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 216858144866 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22195/statm: 3431 809 371 3 0 531 0
Current children cumulated CPU time (s) 5.92
Current children cumulated vsize (KiB) 13724
[startup+12.6787 s]
/proc/loadavg: 2.67 2.79 2.73 4/89 22212
/proc/meminfo: memFree=711656/2055920 swapFree=4192956/4192956
[pid=22195] ppid=22193 vsize=13724 CPUtime=5.92
/proc/22195/stat : 22195 (sugar) S 22193 22195 21520 0 -1 4194304 1190 20132 0 1 3 0 563 26 15 0 1 0 29544937 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 216858144866 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22195/statm: 3431 809 371 3 0 531 0
[pid=22205] ppid=22195 vsize=807064 CPUtime=6.54
/proc/22205/stat : 22205 (java) R 22195 22195 21520 0 -1 0 36426 0 1 0 634 20 0 0 25 0 8 0 29545542 826433536 36114 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22205/statm: 201766 36114 1494 14 0 189044 0
[pid=22205/tid=22206] ppid=22195 vsize=807064 CPUtime=1.9
/proc/22205/task/22206/stat : 22206 (java) R 22195 22195 21520 0 -1 64 30314 0 0 0 177 13 0 0 16 0 8 0 29545545 826433536 36114 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154023989 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22205/tid=22207] ppid=22195 vsize=807064 CPUtime=0
/proc/22205/task/22207/stat : 22207 (java) S 22195 22195 21520 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29545546 826433536 36114 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22205/tid=22208] ppid=22195 vsize=807064 CPUtime=0
/proc/22205/task/22208/stat : 22208 (java) S 22195 22195 21520 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29545546 826433536 36114 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22205/tid=22209] ppid=22195 vsize=807064 CPUtime=0
/proc/22205/task/22209/stat : 22209 (java) S 22195 22195 21520 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 29545549 826433536 36114 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22205/tid=22210] ppid=22195 vsize=807064 CPUtime=0.04
/proc/22205/task/22210/stat : 22210 (java) S 22195 22195 21520 0 -1 64 291 0 0 0 4 0 0 0 17 0 8 0 29545549 826433536 36114 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22205/tid=22211] ppid=22195 vsize=807064 CPUtime=0
/proc/22205/task/22211/stat : 22211 (java) S 22195 22195 21520 0 -1 64 2 0 0 0 0 0 0 0 25 0 8 0 29545549 826433536 36114 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22205/tid=22212] ppid=22195 vsize=807064 CPUtime=0
/proc/22205/task/22212/stat : 22212 (java) S 22195 22195 21520 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29545549 826433536 36114 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.46
Current children cumulated vsize (KiB) 820788
[startup+25.5788 s]
/proc/loadavg: 2.72 2.79 2.73 4/89 22212
/proc/meminfo: memFree=493544/2055920 swapFree=4192956/4192956
[pid=22195] ppid=22193 vsize=13724 CPUtime=5.92
/proc/22195/stat : 22195 (sugar) S 22193 22195 21520 0 -1 4194304 1190 20132 0 1 3 0 563 26 15 0 1 0 29544937 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 216858144866 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22195/statm: 3431 809 371 3 0 531 0
[pid=22205] ppid=22195 vsize=807064 CPUtime=19.31
/proc/22205/stat : 22205 (java) R 22195 22195 21520 0 -1 0 89836 0 1 0 1880 51 0 0 25 0 8 0 29545542 826433536 89446 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22205/statm: 201766 89446 1495 14 0 189044 0
[pid=22205/tid=22206] ppid=22195 vsize=807064 CPUtime=7.26
/proc/22205/task/22206/stat : 22206 (java) R 22195 22195 21520 0 -1 64 82285 0 0 0 685 41 0 0 16 0 8 0 29545545 826433536 89446 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154022744 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22205/tid=22207] ppid=22195 vsize=807064 CPUtime=0
/proc/22205/task/22207/stat : 22207 (java) S 22195 22195 21520 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29545546 826433536 89446 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22205/tid=22208] ppid=22195 vsize=807064 CPUtime=0
/proc/22205/task/22208/stat : 22208 (java) S 22195 22195 21520 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29545546 826433536 89446 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22205/tid=22209] ppid=22195 vsize=807064 CPUtime=0
/proc/22205/task/22209/stat : 22209 (java) S 22195 22195 21520 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 29545549 826433536 89446 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22205/tid=22210] ppid=22195 vsize=807064 CPUtime=0.05
/proc/22205/task/22210/stat : 22210 (java) S 22195 22195 21520 0 -1 64 292 0 0 0 5 0 0 0 17 0 8 0 29545549 826433536 89446 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22205/tid=22211] ppid=22195 vsize=807064 CPUtime=0
/proc/22205/task/22211/stat : 22211 (java) S 22195 22195 21520 0 -1 64 2 0 0 0 0 0 0 0 25 0 8 0 29545549 826433536 89446 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22205/tid=22212] ppid=22195 vsize=807064 CPUtime=0
/proc/22205/task/22212/stat : 22212 (java) S 22195 22195 21520 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29545549 826433536 89446 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.23
Current children cumulated vsize (KiB) 820788
[startup+51.2521 s]
/proc/loadavg: 2.55 2.75 2.72 3/89 22212
/proc/meminfo: memFree=245608/2055920 swapFree=4192956/4192956
[pid=22195] ppid=22193 vsize=13724 CPUtime=5.92
/proc/22195/stat : 22195 (sugar) S 22193 22195 21520 0 -1 4194304 1190 20132 0 1 3 0 563 26 15 0 1 0 29544937 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 216858144866 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22195/statm: 3431 809 371 3 0 531 0
[pid=22205] ppid=22195 vsize=807064 CPUtime=44.69
/proc/22205/stat : 22205 (java) S 22195 22195 21520 0 -1 0 151780 0 1 0 4387 82 0 0 18 0 8 0 29545542 826433536 151347 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22205/statm: 201766 151347 1495 14 0 189044 0
[pid=22205/tid=22206] ppid=22195 vsize=807064 CPUtime=24.17
/proc/22205/task/22206/stat : 22206 (java) R 22195 22195 21520 0 -1 64 141882 0 0 0 2348 69 0 0 25 0 8 0 29545545 826433536 151347 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154035725 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22205/tid=22207] ppid=22195 vsize=807064 CPUtime=0
/proc/22205/task/22207/stat : 22207 (java) S 22195 22195 21520 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29545546 826433536 151347 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22205/tid=22208] ppid=22195 vsize=807064 CPUtime=0
/proc/22205/task/22208/stat : 22208 (java) S 22195 22195 21520 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29545546 826433536 151347 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22205/tid=22209] ppid=22195 vsize=807064 CPUtime=0
/proc/22205/task/22209/stat : 22209 (java) S 22195 22195 21520 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 29545549 826433536 151347 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22205/tid=22210] ppid=22195 vsize=807064 CPUtime=0.05
/proc/22205/task/22210/stat : 22210 (java) S 22195 22195 21520 0 -1 64 293 0 0 0 5 0 0 0 17 0 8 0 29545549 826433536 151347 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22205/tid=22211] ppid=22195 vsize=807064 CPUtime=0
/proc/22205/task/22211/stat : 22211 (java) S 22195 22195 21520 0 -1 64 2 0 0 0 0 0 0 0 25 0 8 0 29545549 826433536 151347 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22205/tid=22212] ppid=22195 vsize=807064 CPUtime=0
/proc/22205/task/22212/stat : 22212 (java) S 22195 22195 21520 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29545549 826433536 151347 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.61
Current children cumulated vsize (KiB) 820788
[startup+102.536 s]
/proc/loadavg: 2.57 2.71 2.71 4/89 22278
/proc/meminfo: memFree=630568/2055920 swapFree=4192956/4192956
[pid=22195] ppid=22193 vsize=13724 CPUtime=5.92
/proc/22195/stat : 22195 (sugar) S 22193 22195 21520 0 -1 4194304 1190 20132 0 1 3 0 563 26 15 0 1 0 29544937 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 216858144866 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22195/statm: 3431 809 371 3 0 531 0
[pid=22205] ppid=22195 vsize=807064 CPUtime=95.7
/proc/22205/stat : 22205 (java) R 22195 22195 21520 0 -1 0 156489 0 1 0 9485 85 0 0 17 0 8 0 29545542 826433536 156039 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22205/statm: 201766 156039 1495 14 0 189044 0
[pid=22205/tid=22206] ppid=22195 vsize=807064 CPUtime=71.98
/proc/22205/task/22206/stat : 22206 (java) R 22195 22195 21520 0 -1 64 146574 0 0 0 7127 71 0 0 16 0 8 0 29545545 826433536 156039 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154022752 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22205/tid=22207] ppid=22195 vsize=807064 CPUtime=0
/proc/22205/task/22207/stat : 22207 (java) S 22195 22195 21520 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29545546 826433536 156039 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22205/tid=22208] ppid=22195 vsize=807064 CPUtime=0
/proc/22205/task/22208/stat : 22208 (java) S 22195 22195 21520 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29545546 826433536 156039 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22205/tid=22209] ppid=22195 vsize=807064 CPUtime=0
/proc/22205/task/22209/stat : 22209 (java) S 22195 22195 21520 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 29545549 826433536 156039 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22205/tid=22210] ppid=22195 vsize=807064 CPUtime=0.05
/proc/22205/task/22210/stat : 22210 (java) S 22195 22195 21520 0 -1 64 293 0 0 0 5 0 0 0 17 0 8 0 29545549 826433536 156039 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22205/tid=22211] ppid=22195 vsize=807064 CPUtime=0
/proc/22205/task/22211/stat : 22211 (java) S 22195 22195 21520 0 -1 64 2 0 0 0 0 0 0 0 25 0 8 0 29545549 826433536 156039 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22205/tid=22212] ppid=22195 vsize=807064 CPUtime=0
/proc/22205/task/22212/stat : 22212 (java) S 22195 22195 21520 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29545549 826433536 156039 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.62
Current children cumulated vsize (KiB) 820788
[startup+162.594 s]
/proc/loadavg: 2.28 2.61 2.67 3/82 22279
/proc/meminfo: memFree=805152/2055920 swapFree=4192956/4192956
[pid=22195] ppid=22193 vsize=13724 CPUtime=5.92
/proc/22195/stat : 22195 (sugar) S 22193 22195 21520 0 -1 4194304 1190 20132 0 1 3 0 563 26 15 0 1 0 29544937 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 216858144866 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22195/statm: 3431 809 371 3 0 531 0
[pid=22205] ppid=22195 vsize=807064 CPUtime=155.51
/proc/22205/stat : 22205 (java) S 22195 22195 21520 0 -1 0 156506 0 1 0 15465 86 0 0 17 0 8 0 29545542 826433536 156039 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22205/statm: 201766 156039 1495 14 0 189044 0
[pid=22205/tid=22206] ppid=22195 vsize=807064 CPUtime=130.92
/proc/22205/task/22206/stat : 22206 (java) R 22195 22195 21520 0 -1 64 146574 0 0 0 13020 72 0 0 25 0 8 0 29545545 826433536 156039 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154022736 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22205/tid=22207] ppid=22195 vsize=807064 CPUtime=0
/proc/22205/task/22207/stat : 22207 (java) S 22195 22195 21520 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29545546 826433536 156039 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22205/tid=22208] ppid=22195 vsize=807064 CPUtime=0
/proc/22205/task/22208/stat : 22208 (java) S 22195 22195 21520 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29545546 826433536 156039 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22205/tid=22209] ppid=22195 vsize=807064 CPUtime=0
/proc/22205/task/22209/stat : 22209 (java) S 22195 22195 21520 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 29545549 826433536 156039 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22205/tid=22210] ppid=22195 vsize=807064 CPUtime=0.05
/proc/22205/task/22210/stat : 22210 (java) S 22195 22195 21520 0 -1 64 293 0 0 0 5 0 0 0 17 0 8 0 29545549 826433536 156039 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22205/tid=22211] ppid=22195 vsize=807064 CPUtime=0
/proc/22205/task/22211/stat : 22211 (java) S 22195 22195 21520 0 -1 64 2 0 0 0 0 0 0 0 25 0 8 0 29545549 826433536 156039 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22205/tid=22212] ppid=22195 vsize=807064 CPUtime=0
/proc/22205/task/22212/stat : 22212 (java) S 22195 22195 21520 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29545549 826433536 156039 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.43
Current children cumulated vsize (KiB) 820788
[startup+222.64 s]
/proc/loadavg: 2.10 2.49 2.62 3/82 22279
/proc/meminfo: memFree=798496/2055920 swapFree=4192956/4192956
[pid=22195] ppid=22193 vsize=13724 CPUtime=5.92
/proc/22195/stat : 22195 (sugar) S 22193 22195 21520 0 -1 4194304 1190 20132 0 1 3 0 563 26 15 0 1 0 29544937 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 216858144866 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22195/statm: 3431 809 371 3 0 531 0
[pid=22205] ppid=22195 vsize=807064 CPUtime=214.97
/proc/22205/stat : 22205 (java) S 22195 22195 21520 0 -1 0 156525 0 1 0 21411 86 0 0 17 0 8 0 29545542 826433536 156039 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22205/statm: 201766 156039 1495 14 0 189044 0
[pid=22205/tid=22206] ppid=22195 vsize=807064 CPUtime=190.34
/proc/22205/task/22206/stat : 22206 (java) R 22195 22195 21520 0 -1 64 146574 0 0 0 18962 72 0 0 25 0 8 0 29545545 826433536 156039 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155134173 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22205/tid=22207] ppid=22195 vsize=807064 CPUtime=0
/proc/22205/task/22207/stat : 22207 (java) S 22195 22195 21520 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29545546 826433536 156039 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22205/tid=22208] ppid=22195 vsize=807064 CPUtime=0
/proc/22205/task/22208/stat : 22208 (java) S 22195 22195 21520 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29545546 826433536 156039 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22205/tid=22209] ppid=22195 vsize=807064 CPUtime=0
/proc/22205/task/22209/stat : 22209 (java) S 22195 22195 21520 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 29545549 826433536 156039 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22205/tid=22210] ppid=22195 vsize=807064 CPUtime=0.05
/proc/22205/task/22210/stat : 22210 (java) S 22195 22195 21520 0 -1 64 293 0 0 0 5 0 0 0 17 0 8 0 29545549 826433536 156039 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22205/tid=22211] ppid=22195 vsize=807064 CPUtime=0
/proc/22205/task/22211/stat : 22211 (java) S 22195 22195 21520 0 -1 64 2 0 0 0 0 0 0 0 25 0 8 0 29545549 826433536 156039 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22205/tid=22212] ppid=22195 vsize=807064 CPUtime=0
/proc/22205/task/22212/stat : 22212 (java) S 22195 22195 21520 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29545549 826433536 156039 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 220.89
Current children cumulated vsize (KiB) 820788
[startup+282.711 s]
/proc/loadavg: 2.08 2.42 2.59 3/82 22279
/proc/meminfo: memFree=792608/2055920 swapFree=4192956/4192956
[pid=22195] ppid=22193 vsize=13724 CPUtime=5.92
/proc/22195/stat : 22195 (sugar) S 22193 22195 21520 0 -1 4194304 1190 20132 0 1 3 0 563 26 15 0 1 0 29544937 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 216858144866 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22195/statm: 3431 809 371 3 0 531 0
[pid=22205] ppid=22195 vsize=807064 CPUtime=274.49
/proc/22205/stat : 22205 (java) S 22195 22195 21520 0 -1 0 156544 0 1 0 27363 86 0 0 17 0 8 0 29545542 826433536 156039 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22205/statm: 201766 156039 1495 14 0 189044 0
[pid=22205/tid=22206] ppid=22195 vsize=807064 CPUtime=249.86
/proc/22205/task/22206/stat : 22206 (java) R 22195 22195 21520 0 -1 64 146574 0 0 0 24914 72 0 0 25 0 8 0 29545545 826433536 156039 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154022732 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22205/tid=22207] ppid=22195 vsize=807064 CPUtime=0
/proc/22205/task/22207/stat : 22207 (java) S 22195 22195 21520 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29545546 826433536 156039 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22205/tid=22208] ppid=22195 vsize=807064 CPUtime=0
/proc/22205/task/22208/stat : 22208 (java) S 22195 22195 21520 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29545546 826433536 156039 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22205/tid=22209] ppid=22195 vsize=807064 CPUtime=0
/proc/22205/task/22209/stat : 22209 (java) S 22195 22195 21520 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 29545549 826433536 156039 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22205/tid=22210] ppid=22195 vsize=807064 CPUtime=0.05
/proc/22205/task/22210/stat : 22210 (java) S 22195 22195 21520 0 -1 64 293 0 0 0 5 0 0 0 17 0 8 0 29545549 826433536 156039 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22205/tid=22211] ppid=22195 vsize=807064 CPUtime=0
/proc/22205/task/22211/stat : 22211 (java) S 22195 22195 21520 0 -1 64 2 0 0 0 0 0 0 0 25 0 8 0 29545549 826433536 156039 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22205/tid=22212] ppid=22195 vsize=807064 CPUtime=0
/proc/22205/task/22212/stat : 22212 (java) S 22195 22195 21520 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29545549 826433536 156039 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 280.41
Current children cumulated vsize (KiB) 820788
Child status: 1
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 22195 and gives childrusage.ru_utime.tv_sec=5 childrusage.ru_utime.tv_usec=666138 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=284956
CPU time returned by wait4() is 5.95109
while last known CPU time is 339.24
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 342.21
CPU time (s): 339.24
CPU user time (s): 338.07
CPU system time (s): 1.17
CPU usage (%): 99.132
Max. virtual memory (cumulated for all children) (KiB): 820848
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.66614
system time used= 0.284956
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21400
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1425
involuntary context switches= 1450
runsolver used 0.421935 s user time and 1.12683 s system time
The end
Begin job on node43 on Mon Jan 29 18:38:08 UTC 2007
IDJOB= 203153
IDBENCH= 3919
IDSOLVER= 86
FILE ID= node43/203153-1170095887
PBS_JOBID= 3689588
Free space on /tmp= 66538 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-28-28-fcd/rand-3-28-28-93-632-fcd-23_ext.xml
COMMAND LINE= /tmp/evaluation/203153-1170095887/solver /tmp/evaluation/203153-1170095887 /tmp/evaluation/203153-1170095887/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node43/watcher-203153-1170095887 -o ROOT/results/node43/solver-203153-1170095887 -C 1800 -M 900 /tmp/evaluation/203153-1170095887/solver /tmp/evaluation/203153-1170095887 /tmp/evaluation/203153-1170095887/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= 58fcccf7639b9a5f4e21b01c2c47a417
RANDOM SEED= 550044124
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.281
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.281
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: 882256 kB
Buffers: 49900 kB
Cached: 428888 kB
SwapCached: 0 kB
Active: 791440 kB
Inactive: 309512 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 882256 kB
SwapTotal: 4192956 kB
SwapFree: 4192956 kB
Dirty: 6584 kB
Writeback: 0 kB
Mapped: 638908 kB
Slab: 56956 kB
Committed_AS: 750604 kB
PageTables: 2988 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= 66541 MiB
End job on node43 on Mon Jan 29 18:43:52 UTC 2007