0.05 c # Sugar v0-40 (/tmp/evaluation/205828-1170096226/sugar-v0-40.jar)
0.05
0.05 c # MAIN BEGIN : /tmp/evaluation/205828-1170096226/unknown.xml [Mon Jan 29 19:43:50 2007]
0.05 c # CONVERT_XML BEGIN : /tmp/evaluation/205828-1170096226/unknown.xml /tmp/evaluation/205828-1170096226/sugar25358.csp [Mon Jan 29 19:43:50 2007]
0.05 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/205828-1170096226/sugar-v0-40.jar -convert /tmp/evaluation/205828-1170096226/unknown.xml /tmp/evaluation/205828-1170096226/sugar25358.csp
0.17 c BEGIN convert /tmp/evaluation/205828-1170096226/unknown.xml
9.07 c END convert (8.903134 seconds)
9.12 c # CONVERT_XML END : /tmp/evaluation/205828-1170096226/sugar25358.csp 59323210 bytes (9 seconds) [Mon Jan 29 19:43:59 2007]
9.12 c # CONVERT_XML CPU : 9.03 = 0 + 0.01 + 8.53 + 0.49
9.12
9.12 c # GENERATE_SAT BEGIN : /tmp/evaluation/205828-1170096226/sugar25358.bcnf [Mon Jan 29 19:43:59 2007]
9.12 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/205828-1170096226/sugar-v0-40.jar -bcnf -map /tmp/evaluation/205828-1170096226/sugar25358.map /tmp/evaluation/205828-1170096226/sugar25358.csp /tmp/evaluation/205828-1170096226/sugar25358.bcnf
9.24 c BEGIN parse /tmp/evaluation/205828-1170096226/sugar25358.csp
343.49 c Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
343.62 s UNKNOWN
343.62 c # ERROR /tmp/evaluation/205828-1170096226/sugar25358.bcnf is not generated, at /tmp/evaluation/205828-1170096226/sugar line 310.
343.62
343.62 c # MAIN END : (344 seconds) [Mon Jan 29 19:49:34 2007]
343.62 c # MAIN CPU : 9.03 = 0 + 0.01 + 8.53 + 0.49
343.62
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node24/watcher-205828-1170096226 -o ROOT/results/node24/solver-205828-1170096226 -C 1800 -M 900 /tmp/evaluation/205828-1170096226/solver /tmp/evaluation/205828-1170096226 /tmp/evaluation/205828-1170096226/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.20 2.06 2.57 8/86 25359
/proc/meminfo: memFree=1877496/2055920 swapFree=4145204/4192956
[pid=25358] ppid=25353 vsize=12128 CPUtime=0
/proc/25358/stat : 25358 (sugar) R 25353 25358 25253 0 -1 4194304 526 0 0 0 0 0 0 0 18 0 1 0 29577316 12419072 245 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237788107489 0 0 4224 0 0 0 0 17 1 0 0
/proc/25358/statm: 3032 245 186 3 0 132 0
[startup+0.105996 s]
/proc/loadavg: 1.20 2.06 2.57 8/86 25359
/proc/meminfo: memFree=1877496/2055920 swapFree=4145204/4192956
[pid=25358] ppid=25353 vsize=13724 CPUtime=0.04
/proc/25358/stat : 25358 (sugar) S 25353 25358 25253 0 -1 4194304 1112 0 0 0 3 1 0 0 18 0 1 0 29577316 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237797159010 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25358/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+0.514047 s]
/proc/loadavg: 1.20 2.06 2.57 8/86 25359
/proc/meminfo: memFree=1877496/2055920 swapFree=4145204/4192956
[pid=25358] ppid=25353 vsize=13724 CPUtime=0.04
/proc/25358/stat : 25358 (sugar) S 25353 25358 25253 0 -1 4194304 1121 0 0 0 3 1 0 0 16 0 1 0 29577316 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237797159010 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25358/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+1.33813 s]
/proc/loadavg: 1.20 2.06 2.57 5/102 25375
/proc/meminfo: memFree=1761080/2055920 swapFree=4145204/4192956
[pid=25358] ppid=25353 vsize=13724 CPUtime=0.04
/proc/25358/stat : 25358 (sugar) S 25353 25358 25253 0 -1 4194304 1121 0 0 0 3 1 0 0 16 0 1 0 29577316 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237797159010 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25358/statm: 3431 805 368 3 0 531 0
[pid=25361] ppid=25358 vsize=807288 CPUtime=1.26
/proc/25361/stat : 25361 (java) R 25358 25358 25253 0 -1 0 17404 0 1 0 115 11 0 0 25 0 8 0 29577321 826662912 17149 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25361/statm: 201822 17149 1658 14 0 189100 0
[pid=25361/tid=25362] ppid=25358 vsize=807288 CPUtime=0.23
/proc/25361/task/25362/stat : 25362 (java) S 25358 25358 25253 0 -1 64 10941 0 0 0 18 5 0 0 16 0 8 0 29577324 826662912 17149 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25361/tid=25364] ppid=25358 vsize=807288 CPUtime=0
/proc/25361/task/25364/stat : 25364 (java) S 25358 25358 25253 0 -1 64 9 0 0 0 0 0 0 0 20 0 8 0 29577325 826662912 17149 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25361/tid=25365] ppid=25358 vsize=807288 CPUtime=0
/proc/25361/task/25365/stat : 25365 (java) S 25358 25358 25253 0 -1 64 4 0 0 0 0 0 0 0 21 0 8 0 29577325 826662912 17149 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25361/tid=25368] ppid=25358 vsize=807288 CPUtime=0
/proc/25361/task/25368/stat : 25368 (java) S 25358 25358 25253 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 29577328 826662912 17149 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25361/tid=25369] ppid=25358 vsize=807288 CPUtime=0.08
/proc/25361/task/25369/stat : 25369 (java) S 25358 25358 25253 0 -1 64 370 0 0 0 8 0 0 0 16 0 8 0 29577328 826662912 17149 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25361/tid=25370] ppid=25358 vsize=807288 CPUtime=0
/proc/25361/task/25370/stat : 25370 (java) S 25358 25358 25253 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 29577328 826662912 17149 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25361/tid=25371] ppid=25358 vsize=807288 CPUtime=0
/proc/25361/task/25371/stat : 25371 (java) S 25358 25358 25253 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29577328 826662912 17149 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 821012
[startup+2.99031 s]
/proc/loadavg: 1.20 2.06 2.57 3/102 25375
/proc/meminfo: memFree=1653688/2055920 swapFree=4145204/4192956
[pid=25358] ppid=25353 vsize=13724 CPUtime=0.04
/proc/25358/stat : 25358 (sugar) S 25353 25358 25253 0 -1 4194304 1121 0 0 0 3 1 0 0 16 0 1 0 29577316 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237797159010 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25358/statm: 3431 805 368 3 0 531 0
[pid=25361] ppid=25358 vsize=807420 CPUtime=2.92
/proc/25361/stat : 25361 (java) R 25358 25358 25253 0 -1 0 31298 0 1 0 273 19 0 0 25 0 8 0 29577321 826798080 31038 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4073704144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25361/statm: 201855 31038 1690 14 0 189133 0
[pid=25361/tid=25362] ppid=25358 vsize=807420 CPUtime=0.66
/proc/25361/task/25362/stat : 25362 (java) S 25358 25358 25253 0 -1 64 24715 0 0 0 55 11 0 0 17 0 8 0 29577324 826798080 31038 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25361/tid=25364] ppid=25358 vsize=807420 CPUtime=0
/proc/25361/task/25364/stat : 25364 (java) S 25358 25358 25253 0 -1 64 9 0 0 0 0 0 0 0 20 0 8 0 29577325 826798080 31038 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25361/tid=25365] ppid=25358 vsize=807420 CPUtime=0
/proc/25361/task/25365/stat : 25365 (java) S 25358 25358 25253 0 -1 64 4 0 0 0 0 0 0 0 21 0 8 0 29577325 826798080 31038 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25361/tid=25368] ppid=25358 vsize=807420 CPUtime=0
/proc/25361/task/25368/stat : 25368 (java) S 25358 25358 25253 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 29577328 826798080 31038 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25361/tid=25369] ppid=25358 vsize=807420 CPUtime=0.14
/proc/25361/task/25369/stat : 25369 (java) S 25358 25358 25253 0 -1 64 410 0 0 0 14 0 0 0 16 0 8 0 29577328 826798080 31038 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25361/tid=25370] ppid=25358 vsize=807420 CPUtime=0
/proc/25361/task/25370/stat : 25370 (java) S 25358 25358 25253 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 29577328 826798080 31038 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25361/tid=25371] ppid=25358 vsize=807420 CPUtime=0
/proc/25361/task/25371/stat : 25371 (java) S 25358 25358 25253 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29577328 826798080 31038 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 821144
[startup+6.28466 s]
/proc/loadavg: 1.27 2.06 2.57 3/102 25375
/proc/meminfo: memFree=1549496/2055920 swapFree=4145204/4192956
[pid=25358] ppid=25353 vsize=13724 CPUtime=0.04
/proc/25358/stat : 25358 (sugar) S 25353 25358 25253 0 -1 4194304 1121 0 0 0 3 1 0 0 16 0 1 0 29577316 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237797159010 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25358/statm: 3431 805 368 3 0 531 0
[pid=25361] ppid=25358 vsize=807420 CPUtime=6.21
/proc/25361/stat : 25361 (java) R 25358 25358 25253 0 -1 0 34806 0 1 0 586 35 0 0 25 0 8 0 29577321 826798080 34476 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4073799654 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25361/statm: 201855 34476 1691 14 0 189133 0
[pid=25361/tid=25362] ppid=25358 vsize=807420 CPUtime=0.94
/proc/25361/task/25362/stat : 25362 (java) S 25358 25358 25253 0 -1 64 28134 0 0 0 81 13 0 0 16 0 8 0 29577324 826798080 34476 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25361/tid=25364] ppid=25358 vsize=807420 CPUtime=0
/proc/25361/task/25364/stat : 25364 (java) S 25358 25358 25253 0 -1 64 9 0 0 0 0 0 0 0 20 0 8 0 29577325 826798080 34476 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25361/tid=25365] ppid=25358 vsize=807420 CPUtime=0
/proc/25361/task/25365/stat : 25365 (java) S 25358 25358 25253 0 -1 64 4 0 0 0 0 0 0 0 21 0 8 0 29577325 826798080 34476 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25361/tid=25368] ppid=25358 vsize=807420 CPUtime=0
/proc/25361/task/25368/stat : 25368 (java) S 25358 25358 25253 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 29577328 826798080 34476 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25361/tid=25369] ppid=25358 vsize=807420 CPUtime=0.18
/proc/25361/task/25369/stat : 25369 (java) S 25358 25358 25253 0 -1 64 422 0 0 0 17 1 0 0 15 0 8 0 29577328 826798080 34476 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25361/tid=25370] ppid=25358 vsize=807420 CPUtime=0
/proc/25361/task/25370/stat : 25370 (java) S 25358 25358 25253 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 29577328 826798080 34476 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25361/tid=25371] ppid=25358 vsize=807420 CPUtime=0
/proc/25361/task/25371/stat : 25371 (java) S 25358 25358 25253 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29577328 826798080 34476 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 821144
[startup+12.7754 s]
/proc/loadavg: 1.41 2.07 2.57 4/102 25391
/proc/meminfo: memFree=1614584/2055920 swapFree=4145204/4192956
[pid=25358] ppid=25353 vsize=13724 CPUtime=9.06
/proc/25358/stat : 25358 (sugar) S 25353 25358 25253 0 -1 4194304 1190 34880 0 1 3 1 853 49 15 0 1 0 29577316 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237797159010 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25358/statm: 3431 809 371 3 0 531 0
[pid=25384] ppid=25358 vsize=807064 CPUtime=3.61
/proc/25384/stat : 25384 (java) R 25358 25358 25253 0 -1 0 20072 0 1 0 347 14 0 0 25 0 8 0 29578228 826433536 19794 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073530471 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25384/statm: 201766 19794 1494 14 0 189044 0
[pid=25384/tid=25385] ppid=25358 vsize=807064 CPUtime=1.05
/proc/25384/task/25385/stat : 25385 (java) S 25358 25358 25253 0 -1 64 13991 0 0 0 97 8 0 0 16 0 8 0 29578232 826433536 19794 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25384/tid=25386] ppid=25358 vsize=807064 CPUtime=0
/proc/25384/task/25386/stat : 25386 (java) S 25358 25358 25253 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29578232 826433536 19794 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25384/tid=25387] ppid=25358 vsize=807064 CPUtime=0
/proc/25384/task/25387/stat : 25387 (java) S 25358 25358 25253 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29578232 826433536 19794 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25384/tid=25388] ppid=25358 vsize=807064 CPUtime=0
/proc/25384/task/25388/stat : 25388 (java) S 25358 25358 25253 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29578236 826433536 19794 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25384/tid=25389] ppid=25358 vsize=807064 CPUtime=0.05
/proc/25384/task/25389/stat : 25389 (java) S 25358 25358 25253 0 -1 64 292 0 0 0 5 0 0 0 17 0 8 0 29578236 826433536 19794 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25384/tid=25390] ppid=25358 vsize=807064 CPUtime=0
/proc/25384/task/25390/stat : 25390 (java) S 25358 25358 25253 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29578236 826433536 19794 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25384/tid=25391] ppid=25358 vsize=807064 CPUtime=0
/proc/25384/task/25391/stat : 25391 (java) S 25358 25358 25253 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29578236 826433536 19794 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 820788
[startup+25.6068 s]
/proc/loadavg: 1.61 2.09 2.56 4/102 25391
/proc/meminfo: memFree=1225336/2055920 swapFree=4145204/4192956
[pid=25358] ppid=25353 vsize=13724 CPUtime=9.06
/proc/25358/stat : 25358 (sugar) S 25353 25358 25253 0 -1 4194304 1190 34880 0 1 3 1 853 49 15 0 1 0 29577316 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237797159010 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25358/statm: 3431 809 371 3 0 531 0
[pid=25384] ppid=25358 vsize=807092 CPUtime=16.44
/proc/25384/stat : 25384 (java) R 25358 25358 25253 0 -1 0 69096 0 1 0 1607 37 0 0 25 0 8 0 29578228 826462208 67977 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25384/statm: 201773 67979 1495 14 0 189051 0
[pid=25384/tid=25385] ppid=25358 vsize=807092 CPUtime=5.79
/proc/25384/task/25385/stat : 25385 (java) R 25358 25358 25253 0 -1 64 61567 0 0 0 553 26 0 0 15 0 8 0 29578232 826462208 67980 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153968433 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25384/tid=25386] ppid=25358 vsize=807092 CPUtime=0
/proc/25384/task/25386/stat : 25386 (java) S 25358 25358 25253 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29578232 826462208 67980 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25384/tid=25387] ppid=25358 vsize=807092 CPUtime=0
/proc/25384/task/25387/stat : 25387 (java) S 25358 25358 25253 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29578232 826462208 67980 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25384/tid=25388] ppid=25358 vsize=807092 CPUtime=0
/proc/25384/task/25388/stat : 25388 (java) S 25358 25358 25253 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29578236 826462208 67980 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25384/tid=25389] ppid=25358 vsize=807092 CPUtime=0.06
/proc/25384/task/25389/stat : 25389 (java) S 25358 25358 25253 0 -1 64 294 0 0 0 6 0 0 0 16 0 8 0 29578236 826462208 67980 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25384/tid=25390] ppid=25358 vsize=807092 CPUtime=0
/proc/25384/task/25390/stat : 25390 (java) S 25358 25358 25253 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29578236 826462208 67980 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25384/tid=25391] ppid=25358 vsize=807092 CPUtime=0
/proc/25384/task/25391/stat : 25391 (java) S 25358 25358 25253 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29578236 826462208 67980 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 820816
[startup+51.3055 s]
/proc/loadavg: 2.09 2.16 2.57 4/102 25391
/proc/meminfo: memFree=582968/2055920 swapFree=4145204/4192956
[pid=25358] ppid=25353 vsize=13724 CPUtime=9.06
/proc/25358/stat : 25358 (sugar) S 25353 25358 25253 0 -1 4194304 1190 34880 0 1 3 1 853 49 15 0 1 0 29577316 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237797159010 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25358/statm: 3431 809 371 3 0 531 0
[pid=25384] ppid=25358 vsize=811096 CPUtime=42.11
/proc/25384/stat : 25384 (java) R 25358 25358 25253 0 -1 0 152914 0 1 0 4128 83 0 0 25 0 8 0 29578228 830562304 147498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25384/statm: 202774 147498 1495 14 0 190052 0
[pid=25384/tid=25385] ppid=25358 vsize=811096 CPUtime=18.03
/proc/25384/task/25385/stat : 25385 (java) R 25358 25358 25253 0 -1 64 143087 0 0 0 1736 67 0 0 17 0 8 0 29578232 830562304 147498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155523553 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25384/tid=25386] ppid=25358 vsize=811096 CPUtime=0
/proc/25384/task/25386/stat : 25386 (java) S 25358 25358 25253 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29578232 830562304 147498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25384/tid=25387] ppid=25358 vsize=811096 CPUtime=0
/proc/25384/task/25387/stat : 25387 (java) S 25358 25358 25253 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29578232 830562304 147498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25384/tid=25388] ppid=25358 vsize=811096 CPUtime=0
/proc/25384/task/25388/stat : 25388 (java) S 25358 25358 25253 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29578236 830562304 147498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25384/tid=25389] ppid=25358 vsize=811096 CPUtime=0.06
/proc/25384/task/25389/stat : 25389 (java) S 25358 25358 25253 0 -1 64 294 0 0 0 6 0 0 0 16 0 8 0 29578236 830562304 147498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25384/tid=25390] ppid=25358 vsize=811096 CPUtime=0
/proc/25384/task/25390/stat : 25390 (java) S 25358 25358 25253 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29578236 830562304 147498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25384/tid=25391] ppid=25358 vsize=811096 CPUtime=0
/proc/25384/task/25391/stat : 25391 (java) S 25358 25358 25253 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29578236 830562304 147498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.17
Current children cumulated vsize (KiB) 824820
[startup+102.531 s]
/proc/loadavg: 2.10 2.15 2.54 3/102 25391
/proc/meminfo: memFree=511608/2055920 swapFree=4145204/4192956
[pid=25358] ppid=25353 vsize=13724 CPUtime=9.06
/proc/25358/stat : 25358 (sugar) S 25353 25358 25253 0 -1 4194304 1190 34880 0 1 3 1 853 49 15 0 1 0 29577316 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237797159010 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25358/statm: 3431 809 371 3 0 531 0
[pid=25384] ppid=25358 vsize=811096 CPUtime=93.24
/proc/25384/stat : 25384 (java) S 25358 25358 25253 0 -1 0 194299 0 1 0 9218 106 0 0 18 0 8 0 29578228 830562304 156728 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25384/statm: 202774 156729 1495 14 0 190052 0
[pid=25384/tid=25385] ppid=25358 vsize=811096 CPUtime=65.33
/proc/25384/task/25385/stat : 25385 (java) R 25358 25358 25253 0 -1 64 184457 0 0 0 6443 90 0 0 25 0 8 0 29578232 830562304 156729 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155134375 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25384/tid=25386] ppid=25358 vsize=811096 CPUtime=0
/proc/25384/task/25386/stat : 25386 (java) S 25358 25358 25253 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29578232 830562304 156730 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25384/tid=25387] ppid=25358 vsize=811096 CPUtime=0
/proc/25384/task/25387/stat : 25387 (java) S 25358 25358 25253 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29578232 830562304 156730 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25384/tid=25388] ppid=25358 vsize=811096 CPUtime=0
/proc/25384/task/25388/stat : 25388 (java) S 25358 25358 25253 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29578236 830562304 156731 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25384/tid=25389] ppid=25358 vsize=811096 CPUtime=0.06
/proc/25384/task/25389/stat : 25389 (java) S 25358 25358 25253 0 -1 64 294 0 0 0 6 0 0 0 17 0 8 0 29578236 830562304 156732 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25384/tid=25390] ppid=25358 vsize=811096 CPUtime=0
/proc/25384/task/25390/stat : 25390 (java) S 25358 25358 25253 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29578236 830562304 156732 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25384/tid=25391] ppid=25358 vsize=811096 CPUtime=0
/proc/25384/task/25391/stat : 25391 (java) S 25358 25358 25253 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29578236 830562304 156733 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 824820
[startup+162.613 s]
/proc/loadavg: 2.03 2.12 2.51 3/102 25391
/proc/meminfo: memFree=510776/2055920 swapFree=4145204/4192956
[pid=25358] ppid=25353 vsize=13724 CPUtime=9.06
/proc/25358/stat : 25358 (sugar) S 25353 25358 25253 0 -1 4194304 1190 34880 0 1 3 1 853 49 15 0 1 0 29577316 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237797159010 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25358/statm: 3431 809 371 3 0 531 0
[pid=25384] ppid=25358 vsize=813100 CPUtime=153.3
/proc/25384/stat : 25384 (java) S 25358 25358 25253 0 -1 0 248606 0 1 0 15196 134 0 0 17 0 8 0 29578228 832614400 156604 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25384/statm: 203275 156608 1495 14 0 190553 0
[pid=25384/tid=25385] ppid=25358 vsize=813100 CPUtime=123.77
/proc/25384/task/25385/stat : 25385 (java) R 25358 25358 25253 0 -1 64 238752 0 0 0 12259 118 0 0 25 0 8 0 29578232 832614400 156613 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153982952 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25384/tid=25386] ppid=25358 vsize=813100 CPUtime=0
/proc/25384/task/25386/stat : 25386 (java) S 25358 25358 25253 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29578232 832614400 156618 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25384/tid=25387] ppid=25358 vsize=813100 CPUtime=0
/proc/25384/task/25387/stat : 25387 (java) S 25358 25358 25253 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29578232 832614400 156624 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25384/tid=25388] ppid=25358 vsize=813100 CPUtime=0
/proc/25384/task/25388/stat : 25388 (java) S 25358 25358 25253 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29578236 832614400 156631 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25384/tid=25389] ppid=25358 vsize=813100 CPUtime=0.06
/proc/25384/task/25389/stat : 25389 (java) S 25358 25358 25253 0 -1 64 294 0 0 0 6 0 0 0 16 0 8 0 29578236 832614400 156635 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25384/tid=25390] ppid=25358 vsize=813100 CPUtime=0
/proc/25384/task/25390/stat : 25390 (java) S 25358 25358 25253 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29578236 832614400 156641 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25384/tid=25391] ppid=25358 vsize=813100 CPUtime=0
/proc/25384/task/25391/stat : 25391 (java) S 25358 25358 25253 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29578236 832614400 156647 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 162.36
Current children cumulated vsize (KiB) 826824
[startup+222.708 s]
/proc/loadavg: 2.01 2.09 2.47 4/102 25391
/proc/meminfo: memFree=510648/2055920 swapFree=4145204/4192956
[pid=25358] ppid=25353 vsize=13724 CPUtime=9.06
/proc/25358/stat : 25358 (sugar) S 25353 25358 25253 0 -1 4194304 1190 34880 0 1 3 1 853 49 15 0 1 0 29577316 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237797159010 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25358/statm: 3431 809 371 3 0 531 0
[pid=25384] ppid=25358 vsize=815096 CPUtime=213.38
/proc/25384/stat : 25384 (java) S 25358 25358 25253 0 -1 0 309530 0 1 0 21168 170 0 0 17 0 8 0 29578228 834658304 156986 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25384/statm: 203774 156986 1495 14 0 191052 0
[pid=25384/tid=25385] ppid=25358 vsize=815096 CPUtime=183.75
/proc/25384/task/25385/stat : 25385 (java) R 25358 25358 25253 0 -1 64 299647 0 0 0 18222 153 0 0 25 0 8 0 29578232 834658304 156986 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155525058 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25384/tid=25386] ppid=25358 vsize=815096 CPUtime=0
/proc/25384/task/25386/stat : 25386 (java) S 25358 25358 25253 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29578232 834658304 156986 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25384/tid=25387] ppid=25358 vsize=815096 CPUtime=0
/proc/25384/task/25387/stat : 25387 (java) S 25358 25358 25253 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29578232 834658304 156986 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25384/tid=25388] ppid=25358 vsize=815096 CPUtime=0
/proc/25384/task/25388/stat : 25388 (java) S 25358 25358 25253 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29578236 834658304 156986 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25384/tid=25389] ppid=25358 vsize=815096 CPUtime=0.06
/proc/25384/task/25389/stat : 25389 (java) S 25358 25358 25253 0 -1 64 294 0 0 0 6 0 0 0 16 0 8 0 29578236 834658304 156986 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25384/tid=25390] ppid=25358 vsize=815096 CPUtime=0
/proc/25384/task/25390/stat : 25390 (java) S 25358 25358 25253 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29578236 834658304 156986 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25384/tid=25391] ppid=25358 vsize=815096 CPUtime=0
/proc/25384/task/25391/stat : 25391 (java) S 25358 25358 25253 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29578236 834658304 156986 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 222.44
Current children cumulated vsize (KiB) 828820
[startup+282.803 s]
/proc/loadavg: 2.00 2.07 2.44 3/102 25391
/proc/meminfo: memFree=513080/2055920 swapFree=4145204/4192956
[pid=25358] ppid=25353 vsize=13724 CPUtime=9.06
/proc/25358/stat : 25358 (sugar) S 25353 25358 25253 0 -1 4194304 1190 34880 0 1 3 1 853 49 15 0 1 0 29577316 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237797159010 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25358/statm: 3431 809 371 3 0 531 0
[pid=25384] ppid=25358 vsize=815096 CPUtime=273.46
/proc/25384/stat : 25384 (java) S 25358 25358 25253 0 -1 0 371522 0 1 0 27139 207 0 0 17 0 8 0 29578228 834658304 156986 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25384/statm: 203774 156986 1495 14 0 191052 0
[pid=25384/tid=25385] ppid=25358 vsize=815096 CPUtime=243.83
/proc/25384/task/25385/stat : 25385 (java) R 25358 25358 25253 0 -1 64 361618 0 0 0 24192 191 0 0 25 0 8 0 29578232 834658304 156986 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155215767 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25384/tid=25386] ppid=25358 vsize=815096 CPUtime=0
/proc/25384/task/25386/stat : 25386 (java) S 25358 25358 25253 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29578232 834658304 156986 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25384/tid=25387] ppid=25358 vsize=815096 CPUtime=0
/proc/25384/task/25387/stat : 25387 (java) S 25358 25358 25253 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29578232 834658304 156986 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25384/tid=25388] ppid=25358 vsize=815096 CPUtime=0
/proc/25384/task/25388/stat : 25388 (java) S 25358 25358 25253 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29578236 834658304 156986 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25384/tid=25389] ppid=25358 vsize=815096 CPUtime=0.06
/proc/25384/task/25389/stat : 25389 (java) S 25358 25358 25253 0 -1 64 294 0 0 0 6 0 0 0 16 0 8 0 29578236 834658304 156986 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25384/tid=25390] ppid=25358 vsize=815096 CPUtime=0
/proc/25384/task/25390/stat : 25390 (java) S 25358 25358 25253 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29578236 834658304 156986 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25384/tid=25391] ppid=25358 vsize=815096 CPUtime=0
/proc/25384/task/25391/stat : 25391 (java) S 25358 25358 25253 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29578236 834658304 156986 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 282.52
Current children cumulated vsize (KiB) 828820
[startup+342.876 s]
/proc/loadavg: 1.93 2.04 2.41 4/102 25454
/proc/meminfo: memFree=1138168/2055920 swapFree=4145204/4192956
[pid=25358] ppid=25353 vsize=13724 CPUtime=9.06
/proc/25358/stat : 25358 (sugar) S 25353 25358 25253 0 -1 4194304 1190 34880 0 1 3 1 853 49 15 0 1 0 29577316 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237797159010 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25358/statm: 3431 809 371 3 0 531 0
[pid=25384] ppid=25358 vsize=815096 CPUtime=333.45
/proc/25384/stat : 25384 (java) S 25358 25358 25253 0 -1 0 430561 0 1 0 33103 242 0 0 17 0 8 0 29578228 834658304 156986 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25384/statm: 203774 156986 1495 14 0 191052 0
[pid=25384/tid=25385] ppid=25358 vsize=815096 CPUtime=303.81
/proc/25384/task/25385/stat : 25385 (java) R 25358 25358 25253 0 -1 64 420638 0 0 0 30156 225 0 0 25 0 8 0 29578232 834658304 156986 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155525866 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25384/tid=25386] ppid=25358 vsize=815096 CPUtime=0
/proc/25384/task/25386/stat : 25386 (java) S 25358 25358 25253 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29578232 834658304 156986 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25384/tid=25387] ppid=25358 vsize=815096 CPUtime=0
/proc/25384/task/25387/stat : 25387 (java) S 25358 25358 25253 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29578232 834658304 156986 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25384/tid=25388] ppid=25358 vsize=815096 CPUtime=0
/proc/25384/task/25388/stat : 25388 (java) S 25358 25358 25253 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29578236 834658304 156986 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25384/tid=25389] ppid=25358 vsize=815096 CPUtime=0.06
/proc/25384/task/25389/stat : 25389 (java) S 25358 25358 25253 0 -1 64 294 0 0 0 6 0 0 0 16 0 8 0 29578236 834658304 156986 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25384/tid=25390] ppid=25358 vsize=815096 CPUtime=0
/proc/25384/task/25390/stat : 25390 (java) S 25358 25358 25253 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29578236 834658304 156986 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25384/tid=25391] ppid=25358 vsize=815096 CPUtime=0
/proc/25384/task/25391/stat : 25391 (java) S 25358 25358 25253 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29578236 834658304 156986 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 342.51
Current children cumulated vsize (KiB) 828820
Child status: 1
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 25358 and gives childrusage.ru_utime.tv_sec=8 childrusage.ru_utime.tv_usec=570697 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=540917
CPU time returned by wait4() is 9.11161
while last known CPU time is 343.2
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 343.643
CPU time (s): 343.2
CPU user time (s): 340.2
CPU system time (s): 3
CPU usage (%): 99.8711
Max. virtual memory (cumulated for all children) (KiB): 832824
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.5707
system time used= 0.540917
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36148
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= 1942
involuntary context switches= 1889
runsolver used 0.419936 s user time and 1.11783 s system time
The end
Begin job on node24 on Mon Jan 29 18:43:50 UTC 2007
IDJOB= 205828
IDBENCH= 4170
IDSOLVER= 86
FILE ID= node24/205828-1170096226
PBS_JOBID= 3689663
Free space on /tmp= 66546 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp36-40/fapp38/fapp38-2500-9.xml
COMMAND LINE= /tmp/evaluation/205828-1170096226/solver /tmp/evaluation/205828-1170096226 /tmp/evaluation/205828-1170096226/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node24/watcher-205828-1170096226 -o ROOT/results/node24/solver-205828-1170096226 -C 1800 -M 900 /tmp/evaluation/205828-1170096226/solver /tmp/evaluation/205828-1170096226 /tmp/evaluation/205828-1170096226/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= 905321a8d9852006a24c0f2b5f8b53c5
RANDOM SEED= 71967827
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.232
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.232
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: 1878592 kB
Buffers: 29304 kB
Cached: 83008 kB
SwapCached: 4580 kB
Active: 64872 kB
Inactive: 63608 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1878592 kB
SwapTotal: 4192956 kB
SwapFree: 4145204 kB
Dirty: 18920 kB
Writeback: 0 kB
Mapped: 22776 kB
Slab: 34128 kB
Committed_AS: 277140 kB
PageTables: 1944 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= 66517 MiB
End job on node24 on Mon Jan 29 18:49:34 UTC 2007