0.05 c # Sugar v0-40 (/tmp/evaluation/237081-1170108435/sugar-v0-40.jar)
0.05
0.05 c # MAIN BEGIN : /tmp/evaluation/237081-1170108435/unknown.xml [Mon Jan 29 23:07:15 2007]
0.05 c # CONVERT_XML BEGIN : /tmp/evaluation/237081-1170108435/unknown.xml /tmp/evaluation/237081-1170108435/sugar22490.csp [Mon Jan 29 23:07:15 2007]
0.05 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/237081-1170108435/sugar-v0-40.jar -convert /tmp/evaluation/237081-1170108435/unknown.xml /tmp/evaluation/237081-1170108435/sugar22490.csp
0.17 c BEGIN convert /tmp/evaluation/237081-1170108435/unknown.xml
1.51 c END convert (1.341822 seconds)
1.54 c # CONVERT_XML END : /tmp/evaluation/237081-1170108435/sugar22490.csp 338297 bytes (2 seconds) [Mon Jan 29 23:07:17 2007]
1.54 c # CONVERT_XML CPU : 1.44 = 0 + 0 + 1.38 + 0.06
1.54
1.54 c # GENERATE_SAT BEGIN : /tmp/evaluation/237081-1170108435/sugar22490.bcnf [Mon Jan 29 23:07:17 2007]
1.54 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/237081-1170108435/sugar-v0-40.jar -bcnf -map /tmp/evaluation/237081-1170108435/sugar22490.map /tmp/evaluation/237081-1170108435/sugar22490.csp /tmp/evaluation/237081-1170108435/sugar22490.bcnf
1.66 c BEGIN parse /tmp/evaluation/237081-1170108435/sugar22490.csp
3.11 c END parse (1.450802 seconds)
3.11 c BEGIN simplify
3.14 c END simplify (0.031623 seconds)
3.14 c BEGIN encode /tmp/evaluation/237081-1170108435/sugar22490.bcnf
401.33 c END encode (398.18668 seconds)
402.13 c # GENERATE_SAT END : 156809773 variables 434627403 clauses 5593333296 bytes (400 seconds) [Mon Jan 29 23:13:57 2007]
402.13 c # GENERATE_SAT CPU : 0.25 = 0.23 + 0.02 + 0 + 0
402.13
402.13 c # SOLVE_SAT BEGIN : /tmp/evaluation/237081-1170108435/sugar22490.bcnf [Mon Jan 29 23:13:57 2007]
402.30 c # CMD : /tmp/evaluation/237081-1170108435/minisat /tmp/evaluation/237081-1170108435/sugar22490.bcnf /tmp/evaluation/237081-1170108435/sugar22490.out
402.63 c ERROR! Could not open file: /tmp/evaluation/237081-1170108435/sugar22490.bcnf
402.63 s UNKNOWN
402.63 c # ERROR No such file or directory /tmp/evaluation/237081-1170108435/sugar22490.out, at /tmp/evaluation/237081-1170108435/sugar line 393.
402.63
402.63 c # MAIN END : (403 seconds) [Mon Jan 29 23:13:58 2007]
402.63 c # MAIN CPU : 1.69 = 0.23 + 0.02 + 1.38 + 0.06
402.63
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node68/watcher-237081-1170108435 -o ROOT/results/node68/solver-237081-1170108435 -C 1800 -M 900 /tmp/evaluation/237081-1170108435/solver /tmp/evaluation/237081-1170108435 /tmp/evaluation/237081-1170108435/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.01 2.00 2.11 5/82 22491
/proc/meminfo: memFree=1908984/2055920 swapFree=4192812/4192956
[pid=22490] ppid=22488 vsize=18540 CPUtime=0
/proc/22490/stat : 22490 (runsolver) R 22488 22490 22037 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 30801141 18984960 279 18446744073709551615 4194304 4267372 548682069040 18446744073709551615 257414458663 0 0 4096 24578 0 0 0 17 1 0 0
/proc/22490/statm: 4635 279 244 17 0 2626 0
[startup+0.110829 s]
/proc/loadavg: 2.01 2.00 2.11 5/82 22491
/proc/meminfo: memFree=1908984/2055920 swapFree=4192812/4192956
[pid=22490] ppid=22488 vsize=13724 CPUtime=0.03
/proc/22490/stat : 22490 (sugar) S 22488 22490 22037 0 -1 4194304 1112 0 0 0 3 0 0 0 20 0 1 0 30801141 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 257423356002 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22490/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+0.522781 s]
/proc/loadavg: 2.01 2.00 2.11 5/82 22491
/proc/meminfo: memFree=1908984/2055920 swapFree=4192812/4192956
[pid=22490] ppid=22488 vsize=13724 CPUtime=0.03
/proc/22490/stat : 22490 (sugar) S 22488 22490 22037 0 -1 4194304 1121 0 0 0 3 0 0 0 15 0 1 0 30801141 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 257423356002 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22490/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+1.35594 s]
/proc/loadavg: 2.01 2.00 2.11 4/90 22499
/proc/meminfo: memFree=1859640/2055920 swapFree=4192812/4192956
[pid=22490] ppid=22488 vsize=13724 CPUtime=0.03
/proc/22490/stat : 22490 (sugar) S 22488 22490 22037 0 -1 4194304 1121 0 0 0 3 0 0 0 15 0 1 0 30801141 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 257423356002 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22490/statm: 3431 805 368 3 0 531 0
[pid=22492] ppid=22490 vsize=808424 CPUtime=1.28
/proc/22492/stat : 22492 (java) R 22490 22490 22037 0 -1 0 8990 0 1 0 123 5 0 0 20 0 8 0 30801147 827826176 8738 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4073809725 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22492/statm: 202106 8738 1690 14 0 189384 0
[pid=22492/tid=22493] ppid=22490 vsize=808424 CPUtime=0.05
/proc/22492/task/22493/stat : 22493 (java) S 22490 22490 22037 0 -1 64 2404 0 0 0 4 1 0 0 16 0 8 0 30801150 827826176 8738 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22492/tid=22494] ppid=22490 vsize=808424 CPUtime=0
/proc/22492/task/22494/stat : 22494 (java) S 22490 22490 22037 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 30801150 827826176 8738 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22492/tid=22495] ppid=22490 vsize=808424 CPUtime=0
/proc/22492/task/22495/stat : 22495 (java) S 22490 22490 22037 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 30801150 827826176 8738 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22492/tid=22496] ppid=22490 vsize=808424 CPUtime=0
/proc/22492/task/22496/stat : 22496 (java) S 22490 22490 22037 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30801154 827826176 8738 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22492/tid=22497] ppid=22490 vsize=808424 CPUtime=0.16
/proc/22492/task/22497/stat : 22497 (java) S 22490 22490 22037 0 -1 64 419 0 0 0 16 0 0 0 20 0 8 0 30801154 827826176 8738 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22492/tid=22498] ppid=22490 vsize=808424 CPUtime=0
/proc/22492/task/22498/stat : 22498 (java) S 22490 22490 22037 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 30801154 827826176 8738 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22492/tid=22499] ppid=22490 vsize=808424 CPUtime=0
/proc/22492/task/22499/stat : 22499 (java) S 22490 22490 22037 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30801154 827826176 8738 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 822148
[startup+3.00709 s]
/proc/loadavg: 2.01 2.00 2.11 4/90 22507
/proc/meminfo: memFree=1843448/2055920 swapFree=4192812/4192956
[pid=22490] ppid=22488 vsize=13724 CPUtime=1.47
/proc/22490/stat : 22490 (sugar) S 22488 22490 22037 0 -1 4194304 1190 10480 0 1 3 0 138 6 15 0 1 0 30801141 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 257423356002 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22490/statm: 3431 809 371 3 0 531 0
[pid=22500] ppid=22490 vsize=807376 CPUtime=1.44
/proc/22500/stat : 22500 (java) R 22490 22490 22037 0 -1 0 10687 0 1 0 138 6 0 0 17 0 8 0 30801296 826753024 10431 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073524007 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22500/statm: 201844 10431 1506 14 0 189122 0
[pid=22500/tid=22501] ppid=22490 vsize=807376 CPUtime=0.25
/proc/22500/task/22501/stat : 22501 (java) S 22490 22490 22037 0 -1 64 4473 0 0 0 23 2 0 0 16 0 8 0 30801299 826753024 10431 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22500/tid=22502] ppid=22490 vsize=807376 CPUtime=0
/proc/22500/task/22502/stat : 22502 (java) S 22490 22490 22037 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30801300 826753024 10431 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22500/tid=22503] ppid=22490 vsize=807376 CPUtime=0
/proc/22500/task/22503/stat : 22503 (java) S 22490 22490 22037 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30801300 826753024 10431 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22500/tid=22504] ppid=22490 vsize=807376 CPUtime=0
/proc/22500/task/22504/stat : 22504 (java) S 22490 22490 22037 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30801303 826753024 10431 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22500/tid=22505] ppid=22490 vsize=807376 CPUtime=0.16
/proc/22500/task/22505/stat : 22505 (java) R 22490 22490 22037 0 -1 64 426 0 0 0 16 0 0 0 19 0 8 0 30801303 826753024 10431 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22500/tid=22506] ppid=22490 vsize=807376 CPUtime=0
/proc/22500/task/22506/stat : 22506 (java) S 22490 22490 22037 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 30801303 826753024 10431 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22500/tid=22507] ppid=22490 vsize=807376 CPUtime=0
/proc/22500/task/22507/stat : 22507 (java) S 22490 22490 22037 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30801303 826753024 10431 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 821100
[startup+6.29839 s]
/proc/loadavg: 2.00 2.00 2.11 3/90 22507
/proc/meminfo: memFree=1675192/2055920 swapFree=4192812/4192956
[pid=22490] ppid=22488 vsize=13724 CPUtime=1.47
/proc/22490/stat : 22490 (sugar) S 22488 22490 22037 0 -1 4194304 1190 10480 0 1 3 0 138 6 16 0 1 0 30801141 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 257423356002 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22490/statm: 3431 809 371 3 0 531 0
[pid=22500] ppid=22490 vsize=807376 CPUtime=4.7
/proc/22500/stat : 22500 (java) R 22490 22490 22037 0 -1 0 11331 0 1 0 430 40 0 0 25 0 8 0 30801296 826753024 11073 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073850206 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22500/statm: 201844 11073 1508 14 0 189122 0
[pid=22500/tid=22501] ppid=22490 vsize=807376 CPUtime=0.28
/proc/22500/task/22501/stat : 22501 (java) S 22490 22490 22037 0 -1 64 5084 0 0 0 26 2 0 0 16 0 8 0 30801299 826753024 11073 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22500/tid=22502] ppid=22490 vsize=807376 CPUtime=0
/proc/22500/task/22502/stat : 22502 (java) S 22490 22490 22037 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30801300 826753024 11073 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22500/tid=22503] ppid=22490 vsize=807376 CPUtime=0
/proc/22500/task/22503/stat : 22503 (java) S 22490 22490 22037 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30801300 826753024 11073 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22500/tid=22504] ppid=22490 vsize=807376 CPUtime=0
/proc/22500/task/22504/stat : 22504 (java) S 22490 22490 22037 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30801303 826753024 11073 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22500/tid=22505] ppid=22490 vsize=807376 CPUtime=0.18
/proc/22500/task/22505/stat : 22505 (java) S 22490 22490 22037 0 -1 64 436 0 0 0 18 0 0 0 16 0 8 0 30801303 826753024 11073 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22500/tid=22506] ppid=22490 vsize=807376 CPUtime=0
/proc/22500/task/22506/stat : 22506 (java) S 22490 22490 22037 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 30801303 826753024 11073 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22500/tid=22507] ppid=22490 vsize=807376 CPUtime=0
/proc/22500/task/22507/stat : 22507 (java) S 22490 22490 22037 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30801303 826753024 11073 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 821100
[startup+12.707 s]
/proc/loadavg: 2.24 2.05 2.12 3/90 22507
/proc/meminfo: memFree=1293560/2055920 swapFree=4192812/4192956
[pid=22490] ppid=22488 vsize=13724 CPUtime=1.47
/proc/22490/stat : 22490 (sugar) S 22488 22490 22037 0 -1 4194304 1190 10480 0 1 3 0 138 6 16 0 1 0 30801141 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 257423356002 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22490/statm: 3431 809 371 3 0 531 0
[pid=22500] ppid=22490 vsize=807376 CPUtime=10.98
/proc/22500/stat : 22500 (java) R 22490 22490 22037 0 -1 0 11331 0 1 0 996 102 0 0 25 0 8 0 30801296 826753024 11073 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073849758 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22500/statm: 201844 11073 1508 14 0 189122 0
[pid=22500/tid=22501] ppid=22490 vsize=807376 CPUtime=0.28
/proc/22500/task/22501/stat : 22501 (java) S 22490 22490 22037 0 -1 64 5084 0 0 0 26 2 0 0 16 0 8 0 30801299 826753024 11073 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22500/tid=22502] ppid=22490 vsize=807376 CPUtime=0
/proc/22500/task/22502/stat : 22502 (java) S 22490 22490 22037 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30801300 826753024 11073 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22500/tid=22503] ppid=22490 vsize=807376 CPUtime=0
/proc/22500/task/22503/stat : 22503 (java) S 22490 22490 22037 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30801300 826753024 11073 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22500/tid=22504] ppid=22490 vsize=807376 CPUtime=0
/proc/22500/task/22504/stat : 22504 (java) S 22490 22490 22037 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30801303 826753024 11073 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22500/tid=22505] ppid=22490 vsize=807376 CPUtime=0.18
/proc/22500/task/22505/stat : 22505 (java) S 22490 22490 22037 0 -1 64 436 0 0 0 18 0 0 0 16 0 8 0 30801303 826753024 11073 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22500/tid=22506] ppid=22490 vsize=807376 CPUtime=0
/proc/22500/task/22506/stat : 22506 (java) S 22490 22490 22037 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 30801303 826753024 11073 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22500/tid=22507] ppid=22490 vsize=807376 CPUtime=0
/proc/22500/task/22507/stat : 22507 (java) S 22490 22490 22037 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30801303 826753024 11073 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.45
Current children cumulated vsize (KiB) 821100
[startup+25.5761 s]
/proc/loadavg: 2.82 2.18 2.16 4/91 22510
/proc/meminfo: memFree=622320/2055920 swapFree=4192812/4192956
[pid=22490] ppid=22488 vsize=13724 CPUtime=1.47
/proc/22490/stat : 22490 (sugar) S 22488 22490 22037 0 -1 4194304 1190 10480 0 1 3 0 138 6 16 0 1 0 30801141 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 257423356002 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22490/statm: 3431 809 371 3 0 531 0
[pid=22500] ppid=22490 vsize=807376 CPUtime=23.72
/proc/22500/stat : 22500 (java) R 22490 22490 22037 0 -1 0 11331 0 1 0 2122 250 0 0 25 0 8 0 30801296 826753024 11073 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073850177 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22500/statm: 201844 11073 1508 14 0 189122 0
[pid=22500/tid=22501] ppid=22490 vsize=807376 CPUtime=0.28
/proc/22500/task/22501/stat : 22501 (java) S 22490 22490 22037 0 -1 64 5084 0 0 0 26 2 0 0 16 0 8 0 30801299 826753024 11073 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22500/tid=22502] ppid=22490 vsize=807376 CPUtime=0
/proc/22500/task/22502/stat : 22502 (java) S 22490 22490 22037 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30801300 826753024 11073 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22500/tid=22503] ppid=22490 vsize=807376 CPUtime=0
/proc/22500/task/22503/stat : 22503 (java) S 22490 22490 22037 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30801300 826753024 11073 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22500/tid=22504] ppid=22490 vsize=807376 CPUtime=0
/proc/22500/task/22504/stat : 22504 (java) S 22490 22490 22037 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30801303 826753024 11073 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22500/tid=22505] ppid=22490 vsize=807376 CPUtime=0.18
/proc/22500/task/22505/stat : 22505 (java) S 22490 22490 22037 0 -1 64 436 0 0 0 18 0 0 0 16 0 8 0 30801303 826753024 11073 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22500/tid=22506] ppid=22490 vsize=807376 CPUtime=0
/proc/22500/task/22506/stat : 22506 (java) S 22490 22490 22037 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 30801303 826753024 11073 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22500/tid=22507] ppid=22490 vsize=807376 CPUtime=0
/proc/22500/task/22507/stat : 22507 (java) R 22490 22490 22037 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30801303 826753024 11073 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.19
Current children cumulated vsize (KiB) 821100
[startup+51.2193 s]
/proc/loadavg: 4.25 2.58 2.30 1/93 22514
/proc/meminfo: memFree=22816/2055920 swapFree=4191892/4192956
[pid=22490] ppid=22488 vsize=13724 CPUtime=1.47
/proc/22490/stat : 22490 (sugar) S 22488 22490 22037 0 -1 4194304 1190 10480 0 1 3 0 138 6 16 0 1 0 30801141 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 257423356002 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22490/statm: 3431 809 371 3 0 531 0
[pid=22500] ppid=22490 vsize=807376 CPUtime=41.3
/proc/22500/stat : 22500 (java) D 22490 22490 22037 0 -1 0 11331 0 1 0 3647 483 0 0 25 0 8 0 30801296 826753024 11073 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22500/statm: 201844 11073 1508 14 0 189122 0
[pid=22500/tid=22501] ppid=22490 vsize=807376 CPUtime=0.28
/proc/22500/task/22501/stat : 22501 (java) S 22490 22490 22037 0 -1 64 5084 0 0 0 26 2 0 0 16 0 8 0 30801299 826753024 11073 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22500/tid=22502] ppid=22490 vsize=807376 CPUtime=0
/proc/22500/task/22502/stat : 22502 (java) S 22490 22490 22037 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30801300 826753024 11073 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22500/tid=22503] ppid=22490 vsize=807376 CPUtime=0
/proc/22500/task/22503/stat : 22503 (java) S 22490 22490 22037 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30801300 826753024 11073 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22500/tid=22504] ppid=22490 vsize=807376 CPUtime=0
/proc/22500/task/22504/stat : 22504 (java) S 22490 22490 22037 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30801303 826753024 11073 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22500/tid=22505] ppid=22490 vsize=807376 CPUtime=0.18
/proc/22500/task/22505/stat : 22505 (java) S 22490 22490 22037 0 -1 64 436 0 0 0 18 0 0 0 16 0 8 0 30801303 826753024 11073 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22500/tid=22506] ppid=22490 vsize=807376 CPUtime=0
/proc/22500/task/22506/stat : 22506 (java) S 22490 22490 22037 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 30801303 826753024 11073 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22500/tid=22507] ppid=22490 vsize=807376 CPUtime=0
/proc/22500/task/22507/stat : 22507 (java) S 22490 22490 22037 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30801303 826753024 11073 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 42.77
Current children cumulated vsize (KiB) 821100
[startup+102.478 s]
/proc/loadavg: 5.34 3.18 2.52 3/90 22518
/proc/meminfo: memFree=15864/2055920 swapFree=4191892/4192956
[pid=22490] ppid=22488 vsize=13724 CPUtime=1.47
/proc/22490/stat : 22490 (sugar) S 22488 22490 22037 0 -1 4194304 1190 10480 0 1 3 0 138 6 16 0 1 0 30801141 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 257423356002 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22490/statm: 3431 809 371 3 0 531 0
[pid=22500] ppid=22490 vsize=807376 CPUtime=72.32
/proc/22500/stat : 22500 (java) R 22490 22490 22037 0 -1 0 11335 0 3 0 6389 843 0 0 25 0 8 0 30801296 826753024 11079 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073851214 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22500/statm: 201844 11079 1510 14 0 189122 0
[pid=22500/tid=22501] ppid=22490 vsize=807376 CPUtime=0.28
/proc/22500/task/22501/stat : 22501 (java) S 22490 22490 22037 0 -1 64 5084 0 0 0 26 2 0 0 16 0 8 0 30801299 826753024 11079 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22500/tid=22502] ppid=22490 vsize=807376 CPUtime=0
/proc/22500/task/22502/stat : 22502 (java) S 22490 22490 22037 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30801300 826753024 11079 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22500/tid=22503] ppid=22490 vsize=807376 CPUtime=0
/proc/22500/task/22503/stat : 22503 (java) S 22490 22490 22037 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30801300 826753024 11079 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22500/tid=22504] ppid=22490 vsize=807376 CPUtime=0
/proc/22500/task/22504/stat : 22504 (java) S 22490 22490 22037 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30801303 826753024 11079 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22500/tid=22505] ppid=22490 vsize=807376 CPUtime=0.19
/proc/22500/task/22505/stat : 22505 (java) S 22490 22490 22037 0 -1 64 440 0 1 0 19 0 0 0 16 0 8 0 30801303 826753024 11079 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22500/tid=22506] ppid=22490 vsize=807376 CPUtime=0
/proc/22500/task/22506/stat : 22506 (java) S 22490 22490 22037 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 30801303 826753024 11079 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22500/tid=22507] ppid=22490 vsize=807376 CPUtime=0
/proc/22500/task/22507/stat : 22507 (java) S 22490 22490 22037 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30801303 826753024 11079 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 73.79
Current children cumulated vsize (KiB) 821100
[startup+162.517 s]
/proc/loadavg: 5.40 3.57 2.69 1/91 22520
/proc/meminfo: memFree=18736/2055920 swapFree=4191892/4192956
[pid=22490] ppid=22488 vsize=13724 CPUtime=1.47
/proc/22490/stat : 22490 (sugar) S 22488 22490 22037 0 -1 4194304 1190 10480 0 1 3 0 138 6 16 0 1 0 30801141 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 257423356002 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22490/statm: 3431 809 371 3 0 531 0
[pid=22500] ppid=22490 vsize=807376 CPUtime=125.88
/proc/22500/stat : 22500 (java) D 22490 22490 22037 0 -1 0 13272 0 3 0 11356 1232 0 0 25 0 8 0 30801296 826753024 13014 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22500/statm: 201844 13014 1510 14 0 189122 0
[pid=22500/tid=22501] ppid=22490 vsize=807376 CPUtime=0.33
/proc/22500/task/22501/stat : 22501 (java) S 22490 22490 22037 0 -1 64 7015 0 0 0 30 3 0 0 16 0 8 0 30801299 826753024 13014 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22500/tid=22502] ppid=22490 vsize=807376 CPUtime=0
/proc/22500/task/22502/stat : 22502 (java) S 22490 22490 22037 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30801300 826753024 13014 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22500/tid=22503] ppid=22490 vsize=807376 CPUtime=0
/proc/22500/task/22503/stat : 22503 (java) S 22490 22490 22037 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30801300 826753024 13014 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22500/tid=22504] ppid=22490 vsize=807376 CPUtime=0
/proc/22500/task/22504/stat : 22504 (java) S 22490 22490 22037 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30801303 826753024 13014 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22500/tid=22505] ppid=22490 vsize=807376 CPUtime=0.2
/proc/22500/task/22505/stat : 22505 (java) S 22490 22490 22037 0 -1 64 444 0 1 0 20 0 0 0 16 0 8 0 30801303 826753024 13014 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22500/tid=22506] ppid=22490 vsize=807376 CPUtime=0
/proc/22500/task/22506/stat : 22506 (java) S 22490 22490 22037 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 30801303 826753024 13014 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22500/tid=22507] ppid=22490 vsize=807376 CPUtime=0
/proc/22500/task/22507/stat : 22507 (java) S 22490 22490 22037 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30801303 826753024 13014 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 127.35
Current children cumulated vsize (KiB) 821100
[startup+222.583 s]
/proc/loadavg: 5.19 3.84 2.84 3/90 22522
/proc/meminfo: memFree=16248/2055920 swapFree=4191892/4192956
[pid=22490] ppid=22488 vsize=13724 CPUtime=1.47
/proc/22490/stat : 22490 (sugar) S 22488 22490 22037 0 -1 4194304 1190 10480 0 1 3 0 138 6 16 0 1 0 30801141 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 257423356002 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22490/statm: 3431 809 371 3 0 531 0
[pid=22500] ppid=22490 vsize=807376 CPUtime=178.49
/proc/22500/stat : 22500 (java) R 22490 22490 22037 0 -1 0 13272 0 3 0 16272 1577 0 0 25 0 8 0 30801296 826753024 13014 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073849758 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22500/statm: 201844 13014 1510 14 0 189122 0
[pid=22500/tid=22501] ppid=22490 vsize=807376 CPUtime=0.33
/proc/22500/task/22501/stat : 22501 (java) S 22490 22490 22037 0 -1 64 7015 0 0 0 30 3 0 0 16 0 8 0 30801299 826753024 13014 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22500/tid=22502] ppid=22490 vsize=807376 CPUtime=0
/proc/22500/task/22502/stat : 22502 (java) S 22490 22490 22037 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30801300 826753024 13014 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22500/tid=22503] ppid=22490 vsize=807376 CPUtime=0
/proc/22500/task/22503/stat : 22503 (java) S 22490 22490 22037 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30801300 826753024 13014 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22500/tid=22504] ppid=22490 vsize=807376 CPUtime=0
/proc/22500/task/22504/stat : 22504 (java) S 22490 22490 22037 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30801303 826753024 13014 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22500/tid=22505] ppid=22490 vsize=807376 CPUtime=0.2
/proc/22500/task/22505/stat : 22505 (java) S 22490 22490 22037 0 -1 64 444 0 1 0 20 0 0 0 16 0 8 0 30801303 826753024 13014 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22500/tid=22506] ppid=22490 vsize=807376 CPUtime=0
/proc/22500/task/22506/stat : 22506 (java) S 22490 22490 22037 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 30801303 826753024 13014 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22500/tid=22507] ppid=22490 vsize=807376 CPUtime=0
/proc/22500/task/22507/stat : 22507 (java) S 22490 22490 22037 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30801303 826753024 13014 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 179.96
Current children cumulated vsize (KiB) 821100
[startup+282.589 s]
/proc/loadavg: 4.76 3.97 2.94 2/90 22525
/proc/meminfo: memFree=15992/2055920 swapFree=4191892/4192956
[pid=22490] ppid=22488 vsize=13724 CPUtime=1.47
/proc/22490/stat : 22490 (sugar) S 22488 22490 22037 0 -1 4194304 1190 10480 0 1 3 0 138 6 16 0 1 0 30801141 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 257423356002 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22490/statm: 3431 809 371 3 0 531 0
[pid=22500] ppid=22490 vsize=807376 CPUtime=212.99
/proc/22500/stat : 22500 (java) R 22490 22490 22037 0 -1 0 13272 0 3 0 19451 1848 0 0 25 0 8 0 30801296 826753024 13014 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073839452 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22500/statm: 201844 13014 1510 14 0 189122 0
[pid=22500/tid=22501] ppid=22490 vsize=807376 CPUtime=0.33
/proc/22500/task/22501/stat : 22501 (java) S 22490 22490 22037 0 -1 64 7015 0 0 0 30 3 0 0 16 0 8 0 30801299 826753024 13014 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22500/tid=22502] ppid=22490 vsize=807376 CPUtime=0
/proc/22500/task/22502/stat : 22502 (java) S 22490 22490 22037 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30801300 826753024 13014 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22500/tid=22503] ppid=22490 vsize=807376 CPUtime=0
/proc/22500/task/22503/stat : 22503 (java) S 22490 22490 22037 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30801300 826753024 13014 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22500/tid=22504] ppid=22490 vsize=807376 CPUtime=0
/proc/22500/task/22504/stat : 22504 (java) S 22490 22490 22037 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30801303 826753024 13014 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22500/tid=22505] ppid=22490 vsize=807376 CPUtime=0.2
/proc/22500/task/22505/stat : 22505 (java) S 22490 22490 22037 0 -1 64 444 0 1 0 20 0 0 0 16 0 8 0 30801303 826753024 13014 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22500/tid=22506] ppid=22490 vsize=807376 CPUtime=0
/proc/22500/task/22506/stat : 22506 (java) S 22490 22490 22037 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 30801303 826753024 13014 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22500/tid=22507] ppid=22490 vsize=807376 CPUtime=0
/proc/22500/task/22507/stat : 22507 (java) S 22490 22490 22037 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30801303 826753024 13014 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 214.46
Current children cumulated vsize (KiB) 821100
[startup+342.62 s]
/proc/loadavg: 4.79 4.13 3.06 2/91 22529
/proc/meminfo: memFree=16240/2055920 swapFree=4191892/4192956
[pid=22490] ppid=22488 vsize=13724 CPUtime=1.47
/proc/22490/stat : 22490 (sugar) S 22488 22490 22037 0 -1 4194304 1190 10480 0 1 3 0 138 6 16 0 1 0 30801141 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 257423356002 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22490/statm: 3431 809 371 3 0 531 0
[pid=22500] ppid=22490 vsize=807376 CPUtime=252.68
/proc/22500/stat : 22500 (java) D 22490 22490 22037 0 -1 0 13272 0 3 0 23122 2146 0 0 25 0 8 0 30801296 826753024 13014 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22500/statm: 201844 13014 1510 14 0 189122 0
[pid=22500/tid=22501] ppid=22490 vsize=807376 CPUtime=0.33
/proc/22500/task/22501/stat : 22501 (java) S 22490 22490 22037 0 -1 64 7015 0 0 0 30 3 0 0 16 0 8 0 30801299 826753024 13014 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22500/tid=22502] ppid=22490 vsize=807376 CPUtime=0
/proc/22500/task/22502/stat : 22502 (java) S 22490 22490 22037 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30801300 826753024 13014 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22500/tid=22503] ppid=22490 vsize=807376 CPUtime=0
/proc/22500/task/22503/stat : 22503 (java) S 22490 22490 22037 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30801300 826753024 13014 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22500/tid=22504] ppid=22490 vsize=807376 CPUtime=0
/proc/22500/task/22504/stat : 22504 (java) S 22490 22490 22037 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30801303 826753024 13014 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22500/tid=22505] ppid=22490 vsize=807376 CPUtime=0.2
/proc/22500/task/22505/stat : 22505 (java) S 22490 22490 22037 0 -1 64 444 0 1 0 20 0 0 0 16 0 8 0 30801303 826753024 13014 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22500/tid=22506] ppid=22490 vsize=807376 CPUtime=0
/proc/22500/task/22506/stat : 22506 (java) S 22490 22490 22037 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 30801303 826753024 13014 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22500/tid=22507] ppid=22490 vsize=807376 CPUtime=0
/proc/22500/task/22507/stat : 22507 (java) S 22490 22490 22037 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30801303 826753024 13014 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 254.15
Current children cumulated vsize (KiB) 821100
[startup+402.672 s]
/proc/loadavg: 4.70 4.22 3.16 1/83 22532
/proc/meminfo: memFree=51448/2055920 swapFree=4191892/4192956
[pid=22490] ppid=22488 vsize=28328 CPUtime=1.72
/proc/22490/stat : 22490 (sugar) D 22488 22490 22037 0 -1 4194304 4850 10534 2 6 26 2 138 6 16 0 1 0 30801141 29007872 4332 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 257414632489 0 0 4224 16386 18446744071563608240 0 0 17 0 0 0
/proc/22490/statm: 7082 4332 377 3 0 4182 0
[pid=22500] ppid=22490 vsize=0 CPUtime=295.06
/proc/22500/stat : 22500 (java) Z 22490 22490 22037 0 -1 1036 13672 0 8 0 27015 2491 0 0 15 0 1 0 30801296 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 0 0 0
/proc/22500/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 296.78
Current children cumulated vsize (KiB) 28328
Child status: 1
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 22490 and gives childrusage.ru_utime.tv_sec=1 childrusage.ru_utime.tv_usec=650749 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=100984
CPU time returned by wait4() is 1.75173
while last known CPU time is 296.78
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 402.771
CPU time (s): 296.78
CPU user time (s): 271.79
CPU system time (s): 24.99
CPU usage (%): 73.6845
Max. virtual memory (cumulated for all children) (KiB): 822148
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.65075
system time used= 0.100984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15437
page faults= 8
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 628
involuntary context switches= 585
runsolver used 0.538918 s user time and 1.3108 s system time
The end
Begin job on node68 on Mon Jan 29 22:07:15 UTC 2007
IDJOB= 237081
IDBENCH= 6896
IDSOLVER= 86
FILE ID= node68/237081-1170108435
PBS_JOBID= 3689890
Free space on /tmp= 66556 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/fisher/FISCHER4-6-fair.xml
COMMAND LINE= /tmp/evaluation/237081-1170108435/solver /tmp/evaluation/237081-1170108435 /tmp/evaluation/237081-1170108435/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node68/watcher-237081-1170108435 -o ROOT/results/node68/solver-237081-1170108435 -C 1800 -M 900 /tmp/evaluation/237081-1170108435/solver /tmp/evaluation/237081-1170108435 /tmp/evaluation/237081-1170108435/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= 0818587fa8afea34ed37f9948f6033b3
RANDOM SEED= 741658712
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: 1909464 kB
Buffers: 1860 kB
Cached: 53968 kB
SwapCached: 0 kB
Active: 73944 kB
Inactive: 28008 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1909464 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 9068 kB
Writeback: 0 kB
Mapped: 62832 kB
Slab: 29816 kB
Committed_AS: 688120 kB
PageTables: 1856 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= 54365 MiB
End job on node68 on Mon Jan 29 22:14:00 UTC 2007