2.18 c # Sugar v0-40 (/tmp/evaluation/203140-1170095885/sugar-v0-40.jar)
2.18
2.19 c # MAIN BEGIN : /tmp/evaluation/203140-1170095885/unknown.xml [Mon Jan 29 19:38:09 2007]
2.19 c # CONVERT_XML BEGIN : /tmp/evaluation/203140-1170095885/unknown.xml /tmp/evaluation/203140-1170095885/sugar17327.csp [Mon Jan 29 19:38:09 2007]
2.19 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/203140-1170095885/sugar-v0-40.jar -convert /tmp/evaluation/203140-1170095885/unknown.xml /tmp/evaluation/203140-1170095885/sugar17327.csp
2.45 c BEGIN convert /tmp/evaluation/203140-1170095885/unknown.xml
8.09 c END convert (5.64212 seconds)
8.19 c # CONVERT_XML END : /tmp/evaluation/203140-1170095885/sugar17327.csp 33709538 bytes (6 seconds) [Mon Jan 29 19:38:15 2007]
8.19 c # CONVERT_XML CPU : 5.59 = 0 + 0 + 5.3 + 0.29
8.19
8.19 c # GENERATE_SAT BEGIN : /tmp/evaluation/203140-1170095885/sugar17327.bcnf [Mon Jan 29 19:38:15 2007]
8.19 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/203140-1170095885/sugar-v0-40.jar -bcnf -map /tmp/evaluation/203140-1170095885/sugar17327.map /tmp/evaluation/203140-1170095885/sugar17327.csp /tmp/evaluation/203140-1170095885/sugar17327.bcnf
8.30 c BEGIN parse /tmp/evaluation/203140-1170095885/sugar17327.csp
308.71 c Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
309.45 s UNKNOWN
309.45 c # ERROR /tmp/evaluation/203140-1170095885/sugar17327.bcnf is not generated, at /tmp/evaluation/203140-1170095885/sugar line 310.
309.45
309.45 c # MAIN END : (307 seconds) [Mon Jan 29 19:43:16 2007]
309.45 c # MAIN CPU : 5.59 = 0 + 0 + 5.3 + 0.29
309.45
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node68/watcher-203140-1170095885 -o ROOT/results/node68/solver-203140-1170095885 -C 1800 -M 900 /tmp/evaluation/203140-1170095885/solver /tmp/evaluation/203140-1170095885 /tmp/evaluation/203140-1170095885/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.97 2.90 2.64 5/83 17328
/proc/meminfo: memFree=15552/2055920 swapFree=4192812/4192956
[pid=17327] ppid=17325 vsize=5352 CPUtime=0
/proc/17327/stat : 17327 (solver) D 17325 17327 16605 0 -1 4194304 264 0 0 0 0 0 0 0 20 0 1 0 29546271 5480448 231 18446744073709551615 4194304 4889804 548682069296 18446744073709551615 257414458663 0 0 4096 0 18446744071563608240 0 0 17 1 0 0
/proc/17327/statm: 1338 231 193 169 0 49 0
[startup+0.105763 s]
/proc/loadavg: 2.97 2.90 2.64 5/83 17328
/proc/meminfo: memFree=15552/2055920 swapFree=4192812/4192956
[pid=17327] ppid=17325 vsize=24 CPUtime=0
/proc/17327/stat : 17327 (sugar) D 17325 17327 16605 0 -1 4194304 264 0 0 0 0 0 0 0 18 0 1 0 29546271 24576 1 18446744073709551615 0 0 548682069995 18446744073709551615 257414458663 0 0 4096 0 18446744071563479169 0 0 17 1 0 0
/proc/17327/statm: 6 1 0 0 0 1 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 24
[startup+0.516804 s]
/proc/loadavg: 2.97 2.90 2.64 5/83 17328
/proc/meminfo: memFree=15552/2055920 swapFree=4192812/4192956
[pid=17327] ppid=17325 vsize=2504 CPUtime=0
/proc/17327/stat : 17327 (sugar) D 17325 17327 16605 0 -1 4194304 288 0 2 0 0 0 0 0 18 0 1 0 29546271 2564096 26 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 257411839369 0 0 4096 0 18446744071563608240 0 0 17 1 0 0
/proc/17327/statm: 626 26 19 3 0 5 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2504
[startup+1.34188 s]
/proc/loadavg: 2.97 2.90 2.64 2/82 17328
/proc/meminfo: memFree=15624/2055920 swapFree=4192812/4192956
[pid=17327] ppid=17325 vsize=12272 CPUtime=0
/proc/17327/stat : 17327 (sugar) D 17325 17327 16605 0 -1 4194304 607 0 4 0 0 0 0 0 18 0 1 0 29546271 12566528 330 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 257423356002 0 0 4224 0 18446744071563479169 0 0 17 1 0 0
/proc/17327/statm: 3068 330 246 3 0 168 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12272
[startup+2.99403 s]
/proc/loadavg: 2.97 2.90 2.64 2/83 17329
/proc/meminfo: memFree=15104/2055920 swapFree=4192812/4192956
[pid=17327] ppid=17325 vsize=13724 CPUtime=0.04
/proc/17327/stat : 17327 (sugar) S 17325 17327 16605 0 -1 4194304 1117 0 4 0 3 1 0 0 16 0 1 0 29546271 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 257423356002 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/17327/statm: 3431 805 368 3 0 531 0
[pid=17329] ppid=17327 vsize=807124 CPUtime=0.59
/proc/17329/stat : 17329 (java) R 17327 17327 16605 0 -1 0 11159 0 29 0 50 9 0 0 23 0 8 0 29546490 826494976 10934 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4073585647 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17329/statm: 201781 10934 1693 14 0 189059 0
Current children cumulated CPU time (s) 0.63
Current children cumulated vsize (KiB) 820848
[startup+6.29533 s]
/proc/loadavg: 2.97 2.90 2.64 4/90 17336
/proc/meminfo: memFree=16072/2055920 swapFree=4192812/4192956
[pid=17327] ppid=17325 vsize=13724 CPUtime=0.04
/proc/17327/stat : 17327 (sugar) S 17325 17327 16605 0 -1 4194304 1117 0 4 0 3 1 0 0 16 0 1 0 29546271 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 257423356002 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/17327/statm: 3431 805 368 3 0 531 0
[pid=17329] ppid=17327 vsize=807124 CPUtime=3.82
/proc/17329/stat : 17329 (java) R 17327 17327 16605 0 -1 0 19679 0 30 0 360 22 0 0 25 0 8 0 29546490 826494976 19389 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17329/statm: 201781 19389 1696 14 0 189059 0
[pid=17329/tid=17330] ppid=17327 vsize=807124 CPUtime=0.41
/proc/17329/task/17330/stat : 17330 (java) R 17327 17327 16605 0 -1 64 13143 0 0 0 36 5 0 0 15 0 8 0 29546507 826494976 19389 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4155529767 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17329/tid=17331] ppid=17327 vsize=807124 CPUtime=0
/proc/17329/task/17331/stat : 17331 (java) S 17327 17327 16605 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 29546508 826494976 19389 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17329/tid=17332] ppid=17327 vsize=807124 CPUtime=0
/proc/17329/task/17332/stat : 17332 (java) S 17327 17327 16605 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 29546508 826494976 19389 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17329/tid=17333] ppid=17327 vsize=807124 CPUtime=0
/proc/17329/task/17333/stat : 17333 (java) S 17327 17327 16605 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 29546511 826494976 19389 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17329/tid=17334] ppid=17327 vsize=807124 CPUtime=0.09
/proc/17329/task/17334/stat : 17334 (java) S 17327 17327 16605 0 -1 64 321 0 0 0 9 0 0 0 15 0 8 0 29546511 826494976 19389 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17329/tid=17335] ppid=17327 vsize=807124 CPUtime=0
/proc/17329/task/17335/stat : 17335 (java) S 17327 17327 16605 0 -1 64 3 0 0 0 0 0 0 0 22 0 8 0 29546511 826494976 19389 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17329/tid=17336] ppid=17327 vsize=807124 CPUtime=0
/proc/17329/task/17336/stat : 17336 (java) S 17327 17327 16605 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29546512 826494976 19389 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.86
Current children cumulated vsize (KiB) 820848
[startup+12.7869 s]
/proc/loadavg: 3.05 2.92 2.65 4/90 17344
/proc/meminfo: memFree=15312/2055920 swapFree=4192812/4192956
[pid=17327] ppid=17325 vsize=13724 CPUtime=5.63
/proc/17327/stat : 17327 (sugar) S 17325 17327 16605 0 -1 4194304 1186 20486 4 32 3 1 530 29 15 0 1 0 29546271 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 257423356002 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/17327/statm: 3431 809 371 3 0 531 0
[pid=17337] ppid=17327 vsize=807064 CPUtime=4.51
/proc/17337/stat : 17337 (java) R 17327 17327 16605 0 -1 0 27534 0 1 0 436 15 0 0 25 0 8 0 29547091 826433536 27241 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17337/statm: 201766 27243 1494 14 0 189044 0
[pid=17337/tid=17338] ppid=17327 vsize=807064 CPUtime=1.23
/proc/17337/task/17338/stat : 17338 (java) R 17327 17327 16605 0 -1 64 21445 0 0 0 116 7 0 0 16 0 8 0 29547094 826433536 27244 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153968433 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17337/tid=17339] ppid=17327 vsize=807064 CPUtime=0
/proc/17337/task/17339/stat : 17339 (java) S 17327 17327 16605 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 29547094 826433536 27246 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17337/tid=17340] ppid=17327 vsize=807064 CPUtime=0
/proc/17337/task/17340/stat : 17340 (java) S 17327 17327 16605 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29547094 826433536 27247 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17337/tid=17341] ppid=17327 vsize=807064 CPUtime=0
/proc/17337/task/17341/stat : 17341 (java) S 17327 17327 16605 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 29547097 826433536 27249 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17337/tid=17342] ppid=17327 vsize=807064 CPUtime=0.04
/proc/17337/task/17342/stat : 17342 (java) S 17327 17327 16605 0 -1 64 291 0 0 0 4 0 0 0 17 0 8 0 29547097 826433536 27251 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17337/tid=17343] ppid=17327 vsize=807064 CPUtime=0
/proc/17337/task/17343/stat : 17343 (java) S 17327 17327 16605 0 -1 64 3 0 0 0 0 0 0 0 24 0 8 0 29547097 826433536 27252 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17337/tid=17344] ppid=17327 vsize=807064 CPUtime=0
/proc/17337/task/17344/stat : 17344 (java) S 17327 17327 16605 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29547097 826433536 27254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 10.14
Current children cumulated vsize (KiB) 820788
[startup+25.5911 s]
/proc/loadavg: 3.26 2.97 2.67 4/90 17344
/proc/meminfo: memFree=15248/2055920 swapFree=4192812/4192956
[pid=17327] ppid=17325 vsize=13724 CPUtime=5.63
/proc/17327/stat : 17327 (sugar) S 17325 17327 16605 0 -1 4194304 1186 20486 4 32 3 1 530 29 15 0 1 0 29546271 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 257423356002 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/17327/statm: 3431 809 371 3 0 531 0
[pid=17337] ppid=17327 vsize=807064 CPUtime=17.16
/proc/17337/stat : 17337 (java) R 17327 17327 16605 0 -1 0 85027 0 2 0 1670 46 0 0 18 0 8 0 29547091 826433536 84644 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073481342 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17337/statm: 201766 84644 1495 14 0 189044 0
[pid=17337/tid=17338] ppid=17327 vsize=807064 CPUtime=5.8
/proc/17337/task/17338/stat : 17338 (java) S 17327 17327 16605 0 -1 64 77482 0 1 0 547 33 0 0 16 0 8 0 29547094 826433536 84644 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17337/tid=17339] ppid=17327 vsize=807064 CPUtime=0
/proc/17337/task/17339/stat : 17339 (java) S 17327 17327 16605 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 29547094 826433536 84644 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17337/tid=17340] ppid=17327 vsize=807064 CPUtime=0
/proc/17337/task/17340/stat : 17340 (java) S 17327 17327 16605 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29547094 826433536 84644 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17337/tid=17341] ppid=17327 vsize=807064 CPUtime=0
/proc/17337/task/17341/stat : 17341 (java) S 17327 17327 16605 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 29547097 826433536 84644 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17337/tid=17342] ppid=17327 vsize=807064 CPUtime=0.05
/proc/17337/task/17342/stat : 17342 (java) S 17327 17327 16605 0 -1 64 293 0 0 0 5 0 0 0 17 0 8 0 29547097 826433536 84644 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17337/tid=17343] ppid=17327 vsize=807064 CPUtime=0
/proc/17337/task/17343/stat : 17343 (java) S 17327 17327 16605 0 -1 64 3 0 0 0 0 0 0 0 24 0 8 0 29547097 826433536 84644 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17337/tid=17344] ppid=17327 vsize=807064 CPUtime=0
/proc/17337/task/17344/stat : 17344 (java) S 17327 17327 16605 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29547097 826433536 84644 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 22.79
Current children cumulated vsize (KiB) 820788
[startup+51.2894 s]
/proc/loadavg: 3.30 3.01 2.69 4/90 17344
/proc/meminfo: memFree=15760/2055920 swapFree=4192812/4192956
[pid=17327] ppid=17325 vsize=13724 CPUtime=5.63
/proc/17327/stat : 17327 (sugar) S 17325 17327 16605 0 -1 4194304 1186 20486 4 32 3 1 530 29 15 0 1 0 29546271 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 257423356002 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/17327/statm: 3431 809 371 3 0 531 0
[pid=17337] ppid=17327 vsize=807064 CPUtime=42.51
/proc/17337/stat : 17337 (java) S 17327 17327 16605 0 -1 0 151805 0 2 0 4170 81 0 0 18 0 8 0 29547091 826433536 151373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17337/statm: 201766 151373 1495 14 0 189044 0
[pid=17337/tid=17338] ppid=17327 vsize=807064 CPUtime=21.45
/proc/17337/task/17338/stat : 17338 (java) R 17327 17327 16605 0 -1 64 141908 0 1 0 2086 59 0 0 25 0 8 0 29547094 826433536 151373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154022744 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17337/tid=17339] ppid=17327 vsize=807064 CPUtime=0
/proc/17337/task/17339/stat : 17339 (java) S 17327 17327 16605 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 29547094 826433536 151373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17337/tid=17340] ppid=17327 vsize=807064 CPUtime=0
/proc/17337/task/17340/stat : 17340 (java) S 17327 17327 16605 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29547094 826433536 151373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17337/tid=17341] ppid=17327 vsize=807064 CPUtime=0
/proc/17337/task/17341/stat : 17341 (java) S 17327 17327 16605 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 29547097 826433536 151373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17337/tid=17342] ppid=17327 vsize=807064 CPUtime=0.05
/proc/17337/task/17342/stat : 17342 (java) S 17327 17327 16605 0 -1 64 293 0 0 0 5 0 0 0 17 0 8 0 29547097 826433536 151373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17337/tid=17343] ppid=17327 vsize=807064 CPUtime=0
/proc/17337/task/17343/stat : 17343 (java) S 17327 17327 16605 0 -1 64 3 0 0 0 0 0 0 0 24 0 8 0 29547097 826433536 151373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17337/tid=17344] ppid=17327 vsize=807064 CPUtime=0
/proc/17337/task/17344/stat : 17344 (java) S 17327 17327 16605 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29547097 826433536 151373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 48.14
Current children cumulated vsize (KiB) 820788
[startup+102.496 s]
/proc/loadavg: 3.79 3.16 2.76 3/90 17344
/proc/meminfo: memFree=16272/2055920 swapFree=4192812/4192956
[pid=17327] ppid=17325 vsize=13724 CPUtime=5.63
/proc/17327/stat : 17327 (sugar) S 17325 17327 16605 0 -1 4194304 1186 20486 4 32 3 1 530 29 15 0 1 0 29546271 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 257423356002 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/17327/statm: 3431 809 371 3 0 531 0
[pid=17337] ppid=17327 vsize=807064 CPUtime=93.15
/proc/17337/stat : 17337 (java) S 17327 17327 16605 0 -1 0 156485 0 2 0 9212 103 0 0 17 0 8 0 29547091 826433536 156038 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17337/statm: 201766 156038 1495 14 0 189044 0
[pid=17337/tid=17338] ppid=17327 vsize=807064 CPUtime=68.93
/proc/17337/task/17338/stat : 17338 (java) R 17327 17327 16605 0 -1 64 146573 0 1 0 6814 79 0 0 25 0 8 0 29547094 826433536 156038 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155523709 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17337/tid=17339] ppid=17327 vsize=807064 CPUtime=0
/proc/17337/task/17339/stat : 17339 (java) S 17327 17327 16605 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 29547094 826433536 156038 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17337/tid=17340] ppid=17327 vsize=807064 CPUtime=0
/proc/17337/task/17340/stat : 17340 (java) S 17327 17327 16605 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29547094 826433536 156038 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17337/tid=17341] ppid=17327 vsize=807064 CPUtime=0
/proc/17337/task/17341/stat : 17341 (java) S 17327 17327 16605 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 29547097 826433536 156038 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17337/tid=17342] ppid=17327 vsize=807064 CPUtime=0.05
/proc/17337/task/17342/stat : 17342 (java) S 17327 17327 16605 0 -1 64 293 0 0 0 5 0 0 0 17 0 8 0 29547097 826433536 156038 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17337/tid=17343] ppid=17327 vsize=807064 CPUtime=0
/proc/17337/task/17343/stat : 17343 (java) S 17327 17327 16605 0 -1 64 3 0 0 0 0 0 0 0 24 0 8 0 29547097 826433536 156038 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17337/tid=17344] ppid=17327 vsize=807064 CPUtime=0
/proc/17337/task/17344/stat : 17344 (java) S 17327 17327 16605 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29547097 826433536 156038 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 98.78
Current children cumulated vsize (KiB) 820788
[startup+162.505 s]
/proc/loadavg: 4.07 3.38 2.86 3/90 17344
/proc/meminfo: memFree=15120/2055920 swapFree=4192812/4192956
[pid=17327] ppid=17325 vsize=13724 CPUtime=5.63
/proc/17327/stat : 17327 (sugar) S 17325 17327 16605 0 -1 4194304 1186 20486 4 32 3 1 530 29 15 0 1 0 29546271 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 257423356002 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/17327/statm: 3431 809 371 3 0 531 0
[pid=17337] ppid=17327 vsize=807064 CPUtime=152.73
/proc/17337/stat : 17337 (java) S 17327 17327 16605 0 -1 0 156505 0 2 0 15146 127 0 0 16 0 8 0 29547091 826433536 156038 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17337/statm: 201766 156038 1495 14 0 189044 0
[pid=17337/tid=17338] ppid=17327 vsize=807064 CPUtime=127.55
/proc/17337/task/17338/stat : 17338 (java) R 17327 17327 16605 0 -1 64 146573 0 1 0 12653 102 0 0 25 0 8 0 29547094 826433536 156038 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154022744 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17337/tid=17339] ppid=17327 vsize=807064 CPUtime=0
/proc/17337/task/17339/stat : 17339 (java) S 17327 17327 16605 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 29547094 826433536 156038 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17337/tid=17340] ppid=17327 vsize=807064 CPUtime=0
/proc/17337/task/17340/stat : 17340 (java) S 17327 17327 16605 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29547094 826433536 156038 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17337/tid=17341] ppid=17327 vsize=807064 CPUtime=0
/proc/17337/task/17341/stat : 17341 (java) S 17327 17327 16605 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 29547097 826433536 156038 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17337/tid=17342] ppid=17327 vsize=807064 CPUtime=0.05
/proc/17337/task/17342/stat : 17342 (java) S 17327 17327 16605 0 -1 64 293 0 0 0 5 0 0 0 17 0 8 0 29547097 826433536 156038 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17337/tid=17343] ppid=17327 vsize=807064 CPUtime=0
/proc/17337/task/17343/stat : 17343 (java) S 17327 17327 16605 0 -1 64 3 0 0 0 0 0 0 0 24 0 8 0 29547097 826433536 156038 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17337/tid=17344] ppid=17327 vsize=807064 CPUtime=0
/proc/17337/task/17344/stat : 17344 (java) S 17327 17327 16605 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29547097 826433536 156038 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 158.36
Current children cumulated vsize (KiB) 820788
[startup+222.606 s]
/proc/loadavg: 2.92 3.17 2.81 3/90 17344
/proc/meminfo: memFree=15120/2055920 swapFree=4192812/4192956
[pid=17327] ppid=17325 vsize=13724 CPUtime=5.63
/proc/17327/stat : 17327 (sugar) S 17325 17327 16605 0 -1 4194304 1186 20486 4 32 3 1 530 29 15 0 1 0 29546271 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 257423356002 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/17327/statm: 3431 809 371 3 0 531 0
[pid=17337] ppid=17327 vsize=807064 CPUtime=212.41
/proc/17337/stat : 17337 (java) S 17327 17327 16605 0 -1 0 156525 0 2 0 21089 152 0 0 17 0 8 0 29547091 826433536 156038 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17337/statm: 201766 156038 1495 14 0 189044 0
[pid=17337/tid=17338] ppid=17327 vsize=807064 CPUtime=187.19
/proc/17337/task/17338/stat : 17338 (java) R 17327 17327 16605 0 -1 64 146573 0 1 0 18592 127 0 0 25 0 8 0 29547094 826433536 156038 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154022744 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17337/tid=17339] ppid=17327 vsize=807064 CPUtime=0
/proc/17337/task/17339/stat : 17339 (java) S 17327 17327 16605 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 29547094 826433536 156038 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17337/tid=17340] ppid=17327 vsize=807064 CPUtime=0
/proc/17337/task/17340/stat : 17340 (java) S 17327 17327 16605 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29547094 826433536 156038 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17337/tid=17341] ppid=17327 vsize=807064 CPUtime=0
/proc/17337/task/17341/stat : 17341 (java) S 17327 17327 16605 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 29547097 826433536 156038 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17337/tid=17342] ppid=17327 vsize=807064 CPUtime=0.05
/proc/17337/task/17342/stat : 17342 (java) S 17327 17327 16605 0 -1 64 293 0 0 0 5 0 0 0 17 0 8 0 29547097 826433536 156038 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17337/tid=17343] ppid=17327 vsize=807064 CPUtime=0
/proc/17337/task/17343/stat : 17343 (java) S 17327 17327 16605 0 -1 64 3 0 0 0 0 0 0 0 24 0 8 0 29547097 826433536 156038 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17337/tid=17344] ppid=17327 vsize=807064 CPUtime=0
/proc/17337/task/17344/stat : 17344 (java) S 17327 17327 16605 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29547097 826433536 156038 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 218.04
Current children cumulated vsize (KiB) 820788
[startup+282.634 s]
/proc/loadavg: 2.59 3.03 2.79 4/90 17344
/proc/meminfo: memFree=15952/2055920 swapFree=4192812/4192956
[pid=17327] ppid=17325 vsize=13724 CPUtime=5.63
/proc/17327/stat : 17327 (sugar) S 17325 17327 16605 0 -1 4194304 1186 20486 4 32 3 1 530 29 15 0 1 0 29546271 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 257423356002 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/17327/statm: 3431 809 371 3 0 531 0
[pid=17337] ppid=17327 vsize=807064 CPUtime=272.03
/proc/17337/stat : 17337 (java) S 17327 17327 16605 0 -1 0 156545 0 2 0 27031 172 0 0 17 0 8 0 29547091 826433536 156038 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17337/statm: 201766 156038 1495 14 0 189044 0
[pid=17337/tid=17338] ppid=17327 vsize=807064 CPUtime=246.82
/proc/17337/task/17338/stat : 17338 (java) R 17327 17327 16605 0 -1 64 146573 0 1 0 24535 147 0 0 25 0 8 0 29547094 826433536 156038 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155134289 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17337/tid=17339] ppid=17327 vsize=807064 CPUtime=0
/proc/17337/task/17339/stat : 17339 (java) S 17327 17327 16605 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 29547094 826433536 156038 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17337/tid=17340] ppid=17327 vsize=807064 CPUtime=0
/proc/17337/task/17340/stat : 17340 (java) S 17327 17327 16605 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29547094 826433536 156038 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17337/tid=17341] ppid=17327 vsize=807064 CPUtime=0
/proc/17337/task/17341/stat : 17341 (java) S 17327 17327 16605 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 29547097 826433536 156038 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17337/tid=17342] ppid=17327 vsize=807064 CPUtime=0.05
/proc/17337/task/17342/stat : 17342 (java) S 17327 17327 16605 0 -1 64 293 0 0 0 5 0 0 0 17 0 8 0 29547097 826433536 156038 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17337/tid=17343] ppid=17327 vsize=807064 CPUtime=0
/proc/17337/task/17343/stat : 17343 (java) S 17327 17327 16605 0 -1 64 3 0 0 0 0 0 0 0 24 0 8 0 29547097 826433536 156038 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17337/tid=17344] ppid=17327 vsize=807064 CPUtime=0
/proc/17337/task/17344/stat : 17344 (java) S 17327 17327 16605 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29547097 826433536 156038 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 277.66
Current children cumulated vsize (KiB) 820788
Child status: 1
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 17327 and gives childrusage.ru_utime.tv_sec=5 childrusage.ru_utime.tv_usec=334189 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=320951
CPU time returned by wait4() is 5.65514
while last known CPU time is 303.63
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 309.54
CPU time (s): 303.63
CPU user time (s): 301.42
CPU system time (s): 2.21
CPU usage (%): 98.0908
Max. virtual memory (cumulated for all children) (KiB): 820848
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.33419
system time used= 0.320951
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21748
page faults= 38
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1531
involuntary context switches= 1567
runsolver used 0.359945 s user time and 1.06084 s system time
The end
Begin job on node68 on Mon Jan 29 18:38:06 UTC 2007
IDJOB= 203140
IDBENCH= 3917
IDSOLVER= 86
FILE ID= node68/203140-1170095885
PBS_JOBID= 3689591
Free space on /tmp= 51705 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-33_ext.xml
COMMAND LINE= /tmp/evaluation/203140-1170095885/solver /tmp/evaluation/203140-1170095885 /tmp/evaluation/203140-1170095885/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node68/watcher-203140-1170095885 -o ROOT/results/node68/solver-203140-1170095885 -C 1800 -M 900 /tmp/evaluation/203140-1170095885/solver /tmp/evaluation/203140-1170095885 /tmp/evaluation/203140-1170095885/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= dfbff00c5978e70c23dc5678ed550f66
RANDOM SEED= 215883496
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.234
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.234
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: 16096 kB
Buffers: 3144 kB
Cached: 1832244 kB
SwapCached: 0 kB
Active: 137304 kB
Inactive: 1806712 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 16096 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 825700 kB
Writeback: 0 kB
Mapped: 125508 kB
Slab: 80924 kB
Committed_AS: 344120 kB
PageTables: 1976 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= 46660 MiB
End job on node68 on Mon Jan 29 18:43:17 UTC 2007