0.04 c # Sugar v0-40 (/tmp/evaluation/195866-1170092245/sugar-v0-40.jar)
0.04
0.04 c # MAIN BEGIN : /tmp/evaluation/195866-1170092245/unknown.xml [Mon Jan 29 18:37:27 2007]
0.04 c # CONVERT_XML BEGIN : /tmp/evaluation/195866-1170092245/unknown.xml /tmp/evaluation/195866-1170092245/sugar16713.csp [Mon Jan 29 18:37:27 2007]
0.04 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/195866-1170092245/sugar-v0-40.jar -convert /tmp/evaluation/195866-1170092245/unknown.xml /tmp/evaluation/195866-1170092245/sugar16713.csp
0.35 c BEGIN convert /tmp/evaluation/195866-1170092245/unknown.xml
3.14 c END convert (2.78769 seconds)
3.16 c # CONVERT_XML END : /tmp/evaluation/195866-1170092245/sugar16713.csp 16500082 bytes (3 seconds) [Mon Jan 29 18:37:30 2007]
3.16 c # CONVERT_XML CPU : 2.87 = 0 + 0 + 2.69 + 0.18
3.16
3.16 c # GENERATE_SAT BEGIN : /tmp/evaluation/195866-1170092245/sugar16713.bcnf [Mon Jan 29 18:37:30 2007]
3.16 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/195866-1170092245/sugar-v0-40.jar -bcnf -map /tmp/evaluation/195866-1170092245/sugar16713.map /tmp/evaluation/195866-1170092245/sugar16713.csp /tmp/evaluation/195866-1170092245/sugar16713.bcnf
3.28 c BEGIN parse /tmp/evaluation/195866-1170092245/sugar16713.csp
1809.50
1809.50 s UNKNOWN
1809.50 c # INTERRUPTED
1809.50 c # MAIN END : (1810 seconds) [Mon Jan 29 19:07:37 2007]
1809.50 c # MAIN CPU : 2.87 = 0 + 0 + 2.69 + 0.18
1809.50
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node68/watcher-195866-1170092245 -o ROOT/results/node68/solver-195866-1170092245 -C 1800 -M 900 /tmp/evaluation/195866-1170092245/solver /tmp/evaluation/195866-1170092245 /tmp/evaluation/195866-1170092245/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 1.78 1.91 5/73 16714
/proc/meminfo: memFree=1566864/2055920 swapFree=4192956/4192956
[pid=16713] ppid=16707 vsize=18540 CPUtime=0
/proc/16713/stat : 16713 (runsolver) R 16707 16713 16579 0 -1 4194368 16 0 0 0 0 0 0 0 18 0 1 0 29182348 18984960 279 18446744073709551615 4194304 4267372 548682069040 18446744073709551615 257414458663 0 0 4096 24578 0 0 0 17 1 0 0
/proc/16713/statm: 4635 279 244 17 0 2626 0
[startup+0.10371 s]
/proc/loadavg: 1.20 1.78 1.91 5/73 16714
/proc/meminfo: memFree=1566864/2055920 swapFree=4192956/4192956
[pid=16713] ppid=16707 vsize=13724 CPUtime=0.04
/proc/16713/stat : 16713 (sugar) S 16707 16713 16579 0 -1 4194304 1112 0 0 0 3 1 0 0 18 0 1 0 29182348 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 257423356002 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/16713/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+0.511747 s]
/proc/loadavg: 1.20 1.78 1.91 5/73 16714
/proc/meminfo: memFree=1566864/2055920 swapFree=4192956/4192956
[pid=16713] ppid=16707 vsize=13724 CPUtime=0.04
/proc/16713/stat : 16713 (sugar) S 16707 16713 16579 0 -1 4194304 1121 0 0 0 3 1 0 0 15 0 1 0 29182348 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 257423356002 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/16713/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+1.33382 s]
/proc/loadavg: 1.20 1.78 1.91 4/89 16730
/proc/meminfo: memFree=1470224/2055920 swapFree=4192956/4192956
[pid=16713] ppid=16707 vsize=13724 CPUtime=0.04
/proc/16713/stat : 16713 (sugar) S 16707 16713 16579 0 -1 4194304 1121 0 0 0 3 1 0 0 15 0 1 0 29182348 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 257423356002 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/16713/statm: 3431 805 368 3 0 531 0
[pid=16716] ppid=16713 vsize=807124 CPUtime=1.07
/proc/16716/stat : 16716 (java) R 16713 16713 16579 0 -1 0 12710 0 64 0 95 12 0 0 23 0 8 0 29182353 826494976 12514 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4073574820 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16716/statm: 201781 12514 1695 14 0 189059 0
[pid=16716/tid=16717] ppid=16713 vsize=807124 CPUtime=0.09
/proc/16716/task/16717/stat : 16717 (java) S 16713 16713 16579 0 -1 64 6288 0 0 0 7 2 0 0 16 0 8 0 29182372 826494976 12514 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16716/tid=16719] ppid=16713 vsize=807124 CPUtime=0
/proc/16716/task/16719/stat : 16719 (java) S 16713 16713 16579 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29182372 826494976 12514 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16716/tid=16721] ppid=16713 vsize=807124 CPUtime=0
/proc/16716/task/16721/stat : 16721 (java) S 16713 16713 16579 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 29182372 826494976 12514 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16716/tid=16723] ppid=16713 vsize=807124 CPUtime=0
/proc/16716/task/16723/stat : 16723 (java) S 16713 16713 16579 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 29182377 826494976 12514 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16716/tid=16724] ppid=16713 vsize=807124 CPUtime=0.07
/proc/16716/task/16724/stat : 16724 (java) S 16713 16713 16579 0 -1 64 306 0 0 0 7 0 0 0 16 0 8 0 29182377 826494976 12514 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16716/tid=16726] ppid=16713 vsize=807124 CPUtime=0
/proc/16716/task/16726/stat : 16726 (java) S 16713 16713 16579 0 -1 64 2 0 0 0 0 0 0 0 22 0 8 0 29182377 826494976 12514 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16716/tid=16729] ppid=16713 vsize=807124 CPUtime=0
/proc/16716/task/16729/stat : 16729 (java) S 16713 16713 16579 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29182377 826494976 12514 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.11
Current children cumulated vsize (KiB) 820848
[startup+2.98598 s]
/proc/loadavg: 1.20 1.78 1.91 3/89 16730
/proc/meminfo: memFree=1440784/2055920 swapFree=4192956/4192956
[pid=16713] ppid=16707 vsize=13724 CPUtime=0.04
/proc/16713/stat : 16713 (sugar) S 16707 16713 16579 0 -1 4194304 1121 0 0 0 3 1 0 0 15 0 1 0 29182348 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 257423356002 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/16713/statm: 3431 805 368 3 0 531 0
[pid=16716] ppid=16713 vsize=807124 CPUtime=2.7
/proc/16716/stat : 16716 (java) R 16713 16713 16579 0 -1 0 12758 0 64 0 253 17 0 0 25 0 8 0 29182353 826494976 12520 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4073417753 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16716/statm: 201781 12520 1695 14 0 189059 0
[pid=16716/tid=16717] ppid=16713 vsize=807124 CPUtime=0.2
/proc/16716/task/16717/stat : 16717 (java) S 16713 16713 16579 0 -1 64 6288 0 0 0 17 3 0 0 16 0 8 0 29182372 826494976 12520 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16716/tid=16719] ppid=16713 vsize=807124 CPUtime=0
/proc/16716/task/16719/stat : 16719 (java) S 16713 16713 16579 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29182372 826494976 12520 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16716/tid=16721] ppid=16713 vsize=807124 CPUtime=0
/proc/16716/task/16721/stat : 16721 (java) S 16713 16713 16579 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 29182372 826494976 12520 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16716/tid=16723] ppid=16713 vsize=807124 CPUtime=0
/proc/16716/task/16723/stat : 16723 (java) S 16713 16713 16579 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 29182377 826494976 12520 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16716/tid=16724] ppid=16713 vsize=807124 CPUtime=0.08
/proc/16716/task/16724/stat : 16724 (java) S 16713 16713 16579 0 -1 64 312 0 0 0 8 0 0 0 16 0 8 0 29182377 826494976 12520 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16716/tid=16726] ppid=16713 vsize=807124 CPUtime=0
/proc/16716/task/16726/stat : 16726 (java) S 16713 16713 16579 0 -1 64 2 0 0 0 0 0 0 0 22 0 8 0 29182377 826494976 12520 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16716/tid=16729] ppid=16713 vsize=807124 CPUtime=0
/proc/16716/task/16729/stat : 16729 (java) S 16713 16713 16579 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29182377 826494976 12520 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.74
Current children cumulated vsize (KiB) 820848
[startup+6.28728 s]
/proc/loadavg: 1.26 1.78 1.91 4/89 16746
/proc/meminfo: memFree=1396312/2055920 swapFree=4192956/4192956
[pid=16713] ppid=16707 vsize=13724 CPUtime=2.91
/proc/16713/stat : 16713 (sugar) S 16707 16713 16579 0 -1 4194304 1190 12773 0 64 3 1 269 18 16 0 1 0 29182348 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 257423356002 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16713/statm: 3431 809 371 3 0 531 0
[pid=16731] ppid=16713 vsize=807064 CPUtime=3.1
/proc/16731/stat : 16731 (java) R 16713 16713 16579 0 -1 0 19460 0 3 0 300 10 0 0 25 0 8 0 29182664 826433536 19186 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073491412 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16731/statm: 201766 19186 1494 14 0 189044 0
[pid=16731/tid=16732] ppid=16713 vsize=807064 CPUtime=0.81
/proc/16731/task/16732/stat : 16732 (java) S 16713 16713 16579 0 -1 64 13386 0 0 0 75 6 0 0 16 0 8 0 29182668 826433536 19186 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16731/tid=16733] ppid=16713 vsize=807064 CPUtime=0
/proc/16731/task/16733/stat : 16733 (java) S 16713 16713 16579 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29182668 826433536 19186 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16731/tid=16734] ppid=16713 vsize=807064 CPUtime=0
/proc/16731/task/16734/stat : 16734 (java) S 16713 16713 16579 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 29182668 826433536 19186 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16731/tid=16735] ppid=16713 vsize=807064 CPUtime=0
/proc/16731/task/16735/stat : 16735 (java) S 16713 16713 16579 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 29182671 826433536 19186 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16731/tid=16736] ppid=16713 vsize=807064 CPUtime=0.05
/proc/16731/task/16736/stat : 16736 (java) S 16713 16713 16579 0 -1 64 291 0 0 0 5 0 0 0 17 0 8 0 29182671 826433536 19186 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16731/tid=16737] ppid=16713 vsize=807064 CPUtime=0
/proc/16731/task/16737/stat : 16737 (java) S 16713 16713 16579 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 29182671 826433536 19186 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16731/tid=16738] ppid=16713 vsize=807064 CPUtime=0
/proc/16731/task/16738/stat : 16738 (java) S 16713 16713 16579 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29182672 826433536 19186 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.01
Current children cumulated vsize (KiB) 820788
[startup+12.7099 s]
/proc/loadavg: 1.40 1.80 1.92 6/89 16746
/proc/meminfo: memFree=1140184/2055920 swapFree=4192956/4192956
[pid=16713] ppid=16707 vsize=13724 CPUtime=2.91
/proc/16713/stat : 16713 (sugar) S 16707 16713 16579 0 -1 4194304 1190 12773 0 64 3 1 269 18 16 0 1 0 29182348 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 257423356002 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16713/statm: 3431 809 371 3 0 531 0
[pid=16731] ppid=16713 vsize=807064 CPUtime=9.52
/proc/16731/stat : 16731 (java) R 16713 16713 16579 0 -1 0 48794 0 3 0 928 24 0 0 25 0 8 0 29182664 826433536 48458 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16731/statm: 201766 48458 1494 14 0 189044 0
[pid=16731/tid=16732] ppid=16713 vsize=807064 CPUtime=2.72
/proc/16731/task/16732/stat : 16732 (java) R 16713 16713 16579 0 -1 64 42658 0 0 0 253 19 0 0 15 0 8 0 29182668 826433536 48458 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154023967 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16731/tid=16733] ppid=16713 vsize=807064 CPUtime=0
/proc/16731/task/16733/stat : 16733 (java) S 16713 16713 16579 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29182668 826433536 48458 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16731/tid=16734] ppid=16713 vsize=807064 CPUtime=0
/proc/16731/task/16734/stat : 16734 (java) S 16713 16713 16579 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 29182668 826433536 48458 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16731/tid=16735] ppid=16713 vsize=807064 CPUtime=0
/proc/16731/task/16735/stat : 16735 (java) S 16713 16713 16579 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 29182671 826433536 48458 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16731/tid=16736] ppid=16713 vsize=807064 CPUtime=0.05
/proc/16731/task/16736/stat : 16736 (java) S 16713 16713 16579 0 -1 64 291 0 0 0 5 0 0 0 17 0 8 0 29182671 826433536 48458 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16731/tid=16737] ppid=16713 vsize=807064 CPUtime=0
/proc/16731/task/16737/stat : 16737 (java) S 16713 16713 16579 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 29182671 826433536 48458 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16731/tid=16738] ppid=16713 vsize=807064 CPUtime=0
/proc/16731/task/16738/stat : 16738 (java) S 16713 16713 16579 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29182672 826433536 48458 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.43
Current children cumulated vsize (KiB) 820788
[startup+25.6 s]
/proc/loadavg: 1.99 1.91 1.95 5/89 16746
/proc/meminfo: memFree=744984/2055920 swapFree=4192956/4192956
[pid=16713] ppid=16707 vsize=13724 CPUtime=2.91
/proc/16713/stat : 16713 (sugar) S 16707 16713 16579 0 -1 4194304 1190 12773 0 64 3 1 269 18 16 0 1 0 29182348 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 257423356002 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16713/statm: 3431 809 371 3 0 531 0
[pid=16731] ppid=16713 vsize=807356 CPUtime=22.41
/proc/16731/stat : 16731 (java) R 16713 16713 16579 0 -1 0 100151 0 4 0 2191 50 0 0 25 0 8 0 29182664 826732544 99754 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073489627 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16731/statm: 201839 99754 1507 14 0 189117 0
[pid=16731/tid=16732] ppid=16713 vsize=807356 CPUtime=9.14
/proc/16731/task/16732/stat : 16732 (java) S 16713 16713 16579 0 -1 64 89944 0 0 0 873 41 0 0 16 0 8 0 29182668 826732544 99754 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16731/tid=16733] ppid=16713 vsize=807356 CPUtime=0
/proc/16731/task/16733/stat : 16733 (java) S 16713 16713 16579 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29182668 826732544 99754 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16731/tid=16734] ppid=16713 vsize=807356 CPUtime=0
/proc/16731/task/16734/stat : 16734 (java) S 16713 16713 16579 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 29182668 826732544 99754 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16731/tid=16735] ppid=16713 vsize=807356 CPUtime=0
/proc/16731/task/16735/stat : 16735 (java) S 16713 16713 16579 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 29182671 826732544 99754 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16731/tid=16736] ppid=16713 vsize=807356 CPUtime=0.12
/proc/16731/task/16736/stat : 16736 (java) S 16713 16713 16579 0 -1 64 373 0 0 0 11 1 0 0 16 0 8 0 29182671 826732544 99754 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16731/tid=16737] ppid=16713 vsize=807356 CPUtime=0
/proc/16731/task/16737/stat : 16737 (java) S 16713 16713 16579 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 29182671 826732544 99754 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16731/tid=16738] ppid=16713 vsize=807356 CPUtime=0
/proc/16731/task/16738/stat : 16738 (java) S 16713 16713 16579 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29182672 826732544 99754 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.32
Current children cumulated vsize (KiB) 821080
[startup+51.2234 s]
/proc/loadavg: 2.34 1.99 1.98 5/89 16746
/proc/meminfo: memFree=339480/2055920 swapFree=4192956/4192956
[pid=16713] ppid=16707 vsize=13724 CPUtime=2.91
/proc/16713/stat : 16713 (sugar) S 16707 16713 16579 0 -1 4194304 1190 12773 0 64 3 1 269 18 16 0 1 0 29182348 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 257423356002 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16713/statm: 3431 809 371 3 0 531 0
[pid=16731] ppid=16713 vsize=807356 CPUtime=48.03
/proc/16731/stat : 16731 (java) R 16713 16713 16579 0 -1 0 148594 0 4 0 4725 78 0 0 25 0 8 0 29182664 826732544 147973 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16731/statm: 201839 147973 1507 14 0 189117 0
[pid=16731/tid=16732] ppid=16713 vsize=807356 CPUtime=22.68
/proc/16731/task/16732/stat : 16732 (java) R 16713 16713 16579 0 -1 64 138159 0 0 0 2201 67 0 0 17 0 8 0 29182668 826732544 147973 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155525126 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16731/tid=16733] ppid=16713 vsize=807356 CPUtime=0
/proc/16731/task/16733/stat : 16733 (java) S 16713 16713 16579 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29182668 826732544 147973 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16731/tid=16734] ppid=16713 vsize=807356 CPUtime=0
/proc/16731/task/16734/stat : 16734 (java) S 16713 16713 16579 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 29182668 826732544 147973 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16731/tid=16735] ppid=16713 vsize=807356 CPUtime=0
/proc/16731/task/16735/stat : 16735 (java) S 16713 16713 16579 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 29182671 826732544 147973 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16731/tid=16736] ppid=16713 vsize=807356 CPUtime=0.13
/proc/16731/task/16736/stat : 16736 (java) S 16713 16713 16579 0 -1 64 378 0 0 0 12 1 0 0 17 0 8 0 29182671 826732544 147973 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16731/tid=16737] ppid=16713 vsize=807356 CPUtime=0
/proc/16731/task/16737/stat : 16737 (java) S 16713 16713 16579 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 29182671 826732544 147973 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16731/tid=16738] ppid=16713 vsize=807356 CPUtime=0
/proc/16731/task/16738/stat : 16738 (java) S 16713 16713 16579 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29182672 826732544 147973 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.94
Current children cumulated vsize (KiB) 821080
[startup+102.503 s]
/proc/loadavg: 2.90 2.21 2.05 4/89 16746
/proc/meminfo: memFree=323416/2055920 swapFree=4192956/4192956
[pid=16713] ppid=16707 vsize=13724 CPUtime=2.91
/proc/16713/stat : 16713 (sugar) S 16707 16713 16579 0 -1 4194304 1190 12773 0 64 3 1 269 18 16 0 1 0 29182348 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 257423356002 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16713/statm: 3431 809 371 3 0 531 0
[pid=16731] ppid=16713 vsize=807356 CPUtime=99.2
/proc/16731/stat : 16731 (java) R 16713 16713 16579 0 -1 0 151050 0 4 0 9836 84 0 0 25 0 8 0 29182664 826732544 150078 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16731/statm: 201839 150078 1507 14 0 189117 0
[pid=16731/tid=16732] ppid=16713 vsize=807356 CPUtime=55.12
################
# More data... #
################
/proc/loadavg: 2.38 2.30 2.35 3/89 16944
/proc/meminfo: memFree=310872/2055920 swapFree=4192956/4192956
[pid=16713] ppid=16707 vsize=13724 CPUtime=2.91
/proc/16713/stat : 16713 (sugar) S 16707 16713 16579 0 -1 4194304 1190 12773 0 64 3 1 269 18 16 0 1 0 29182348 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 257423356002 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16713/statm: 3431 809 371 3 0 531 0
[pid=16731] ppid=16713 vsize=807356 CPUtime=1533.68
/proc/16731/stat : 16731 (java) S 16713 16713 16579 0 -1 0 156924 0 4 0 153207 161 0 0 16 0 8 0 29182664 826732544 151237 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16731/statm: 201839 151237 1507 14 0 189117 0
[pid=16731/tid=16732] ppid=16713 vsize=807356 CPUtime=1242.49
/proc/16731/task/16732/stat : 16732 (java) R 16713 16713 16579 0 -1 64 141422 0 0 0 124122 127 0 0 25 0 8 0 29182668 826732544 151237 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153899345 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16731/tid=16733] ppid=16713 vsize=807356 CPUtime=0
/proc/16731/task/16733/stat : 16733 (java) S 16713 16713 16579 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 29182668 826732544 151237 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16731/tid=16734] ppid=16713 vsize=807356 CPUtime=0
/proc/16731/task/16734/stat : 16734 (java) S 16713 16713 16579 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 29182668 826732544 151237 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16731/tid=16735] ppid=16713 vsize=807356 CPUtime=0
/proc/16731/task/16735/stat : 16735 (java) S 16713 16713 16579 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 29182671 826732544 151237 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16731/tid=16736] ppid=16713 vsize=807356 CPUtime=0.14
/proc/16731/task/16736/stat : 16736 (java) S 16713 16713 16579 0 -1 64 379 0 0 0 13 1 0 0 16 0 8 0 29182671 826732544 151237 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16731/tid=16737] ppid=16713 vsize=807356 CPUtime=0
/proc/16731/task/16737/stat : 16737 (java) S 16713 16713 16579 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 29182671 826732544 151237 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16731/tid=16738] ppid=16713 vsize=807356 CPUtime=0
/proc/16731/task/16738/stat : 16738 (java) S 16713 16713 16579 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29182672 826732544 151237 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1536.59
Current children cumulated vsize (KiB) 821080
[startup+1604.06 s]
/proc/loadavg: 2.24 2.28 2.35 3/89 16944
/proc/meminfo: memFree=310872/2055920 swapFree=4192956/4192956
[pid=16713] ppid=16707 vsize=13724 CPUtime=2.91
/proc/16713/stat : 16713 (sugar) S 16707 16713 16579 0 -1 4194304 1190 12773 0 64 3 1 269 18 16 0 1 0 29182348 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 257423356002 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16713/statm: 3431 809 371 3 0 531 0
[pid=16731] ppid=16713 vsize=807356 CPUtime=1593.4
/proc/16731/stat : 16731 (java) S 16713 16713 16579 0 -1 0 157081 0 4 0 159177 163 0 0 16 0 8 0 29182664 826732544 151237 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16731/statm: 201839 151237 1507 14 0 189117 0
[pid=16731/tid=16732] ppid=16713 vsize=807356 CPUtime=1294.87
/proc/16731/task/16732/stat : 16732 (java) R 16713 16713 16579 0 -1 64 141422 0 0 0 129358 129 0 0 25 0 8 0 29182668 826732544 151237 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154022701 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16731/tid=16733] ppid=16713 vsize=807356 CPUtime=0
/proc/16731/task/16733/stat : 16733 (java) S 16713 16713 16579 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 29182668 826732544 151237 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16731/tid=16734] ppid=16713 vsize=807356 CPUtime=0
/proc/16731/task/16734/stat : 16734 (java) S 16713 16713 16579 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 29182668 826732544 151237 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16731/tid=16735] ppid=16713 vsize=807356 CPUtime=0
/proc/16731/task/16735/stat : 16735 (java) S 16713 16713 16579 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 29182671 826732544 151237 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16731/tid=16736] ppid=16713 vsize=807356 CPUtime=0.14
/proc/16731/task/16736/stat : 16736 (java) S 16713 16713 16579 0 -1 64 379 0 0 0 13 1 0 0 16 0 8 0 29182671 826732544 151237 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16731/tid=16737] ppid=16713 vsize=807356 CPUtime=0
/proc/16731/task/16737/stat : 16737 (java) S 16713 16713 16579 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 29182671 826732544 151237 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16731/tid=16738] ppid=16713 vsize=807356 CPUtime=0
/proc/16731/task/16738/stat : 16738 (java) S 16713 16713 16579 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29182672 826732544 151237 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1596.31
Current children cumulated vsize (KiB) 821080
[startup+1664.07 s]
/proc/loadavg: 2.21 2.27 2.34 3/89 16944
/proc/meminfo: memFree=310872/2055920 swapFree=4192956/4192956
[pid=16713] ppid=16707 vsize=13724 CPUtime=2.91
/proc/16713/stat : 16713 (sugar) S 16707 16713 16579 0 -1 4194304 1190 12773 0 64 3 1 269 18 16 0 1 0 29182348 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 257423356002 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16713/statm: 3431 809 371 3 0 531 0
[pid=16731] ppid=16713 vsize=807356 CPUtime=1653.09
/proc/16731/stat : 16731 (java) S 16713 16713 16579 0 -1 0 157216 0 4 0 165145 164 0 0 16 0 8 0 29182664 826732544 151237 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16731/statm: 201839 151237 1507 14 0 189117 0
[pid=16731/tid=16732] ppid=16713 vsize=807356 CPUtime=1347.72
/proc/16731/task/16732/stat : 16732 (java) R 16713 16713 16579 0 -1 64 141422 0 0 0 134643 129 0 0 25 0 8 0 29182668 826732544 151237 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155525058 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16731/tid=16733] ppid=16713 vsize=807356 CPUtime=0
/proc/16731/task/16733/stat : 16733 (java) S 16713 16713 16579 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 29182668 826732544 151237 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16731/tid=16734] ppid=16713 vsize=807356 CPUtime=0
/proc/16731/task/16734/stat : 16734 (java) S 16713 16713 16579 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 29182668 826732544 151237 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16731/tid=16735] ppid=16713 vsize=807356 CPUtime=0
/proc/16731/task/16735/stat : 16735 (java) S 16713 16713 16579 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 29182671 826732544 151237 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16731/tid=16736] ppid=16713 vsize=807356 CPUtime=0.14
/proc/16731/task/16736/stat : 16736 (java) S 16713 16713 16579 0 -1 64 379 0 0 0 13 1 0 0 16 0 8 0 29182671 826732544 151237 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16731/tid=16737] ppid=16713 vsize=807356 CPUtime=0
/proc/16731/task/16737/stat : 16737 (java) S 16713 16713 16579 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 29182671 826732544 151237 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16731/tid=16738] ppid=16713 vsize=807356 CPUtime=0
/proc/16731/task/16738/stat : 16738 (java) S 16713 16713 16579 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29182672 826732544 151237 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1656
Current children cumulated vsize (KiB) 821080
[startup+1724.13 s]
/proc/loadavg: 2.33 2.29 2.34 4/89 16944
/proc/meminfo: memFree=310872/2055920 swapFree=4192956/4192956
[pid=16713] ppid=16707 vsize=13724 CPUtime=2.91
/proc/16713/stat : 16713 (sugar) S 16707 16713 16579 0 -1 4194304 1190 12773 0 64 3 1 269 18 16 0 1 0 29182348 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 257423356002 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16713/statm: 3431 809 371 3 0 531 0
[pid=16731] ppid=16713 vsize=807356 CPUtime=1712.66
/proc/16731/stat : 16731 (java) S 16713 16713 16579 0 -1 0 157396 0 4 0 171100 166 0 0 16 0 8 0 29182664 826732544 151237 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16731/statm: 201839 151237 1507 14 0 189117 0
[pid=16731/tid=16732] ppid=16713 vsize=807356 CPUtime=1398.41
/proc/16731/task/16732/stat : 16732 (java) R 16713 16713 16579 0 -1 64 141422 0 0 0 139710 131 0 0 25 0 8 0 29182668 826732544 151237 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155523707 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16731/tid=16733] ppid=16713 vsize=807356 CPUtime=0
/proc/16731/task/16733/stat : 16733 (java) S 16713 16713 16579 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 29182668 826732544 151237 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16731/tid=16734] ppid=16713 vsize=807356 CPUtime=0
/proc/16731/task/16734/stat : 16734 (java) S 16713 16713 16579 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 29182668 826732544 151237 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16731/tid=16735] ppid=16713 vsize=807356 CPUtime=0
/proc/16731/task/16735/stat : 16735 (java) S 16713 16713 16579 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 29182671 826732544 151237 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16731/tid=16736] ppid=16713 vsize=807356 CPUtime=0.14
/proc/16731/task/16736/stat : 16736 (java) S 16713 16713 16579 0 -1 64 379 0 0 0 13 1 0 0 16 0 8 0 29182671 826732544 151237 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16731/tid=16737] ppid=16713 vsize=807356 CPUtime=0
/proc/16731/task/16737/stat : 16737 (java) S 16713 16713 16579 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 29182671 826732544 151237 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16731/tid=16738] ppid=16713 vsize=807356 CPUtime=0
/proc/16731/task/16738/stat : 16738 (java) S 16713 16713 16579 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29182672 826732544 151237 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1715.57
Current children cumulated vsize (KiB) 821080
[startup+1784.14 s]
/proc/loadavg: 2.25 2.27 2.33 4/89 16944
/proc/meminfo: memFree=310936/2055920 swapFree=4192956/4192956
[pid=16713] ppid=16707 vsize=13724 CPUtime=2.91
/proc/16713/stat : 16713 (sugar) S 16707 16713 16579 0 -1 4194304 1190 12773 0 64 3 1 269 18 16 0 1 0 29182348 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 257423356002 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16713/statm: 3431 809 371 3 0 531 0
[pid=16731] ppid=16713 vsize=807356 CPUtime=1772.07
/proc/16731/stat : 16731 (java) R 16713 16713 16579 0 -1 0 157539 0 4 0 177039 168 0 0 16 0 8 0 29182664 826732544 151237 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073332698 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16731/statm: 201839 151237 1507 14 0 189117 0
[pid=16731/tid=16732] ppid=16713 vsize=807356 CPUtime=1451.02
/proc/16731/task/16732/stat : 16732 (java) R 16713 16713 16579 0 -1 64 141422 0 0 0 144970 132 0 0 25 0 8 0 29182668 826732544 151237 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16731/tid=16733] ppid=16713 vsize=807356 CPUtime=0
/proc/16731/task/16733/stat : 16733 (java) S 16713 16713 16579 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 29182668 826732544 151237 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16731/tid=16734] ppid=16713 vsize=807356 CPUtime=0
/proc/16731/task/16734/stat : 16734 (java) S 16713 16713 16579 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 29182668 826732544 151237 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16731/tid=16735] ppid=16713 vsize=807356 CPUtime=0
/proc/16731/task/16735/stat : 16735 (java) S 16713 16713 16579 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 29182671 826732544 151237 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16731/tid=16736] ppid=16713 vsize=807356 CPUtime=0.14
/proc/16731/task/16736/stat : 16736 (java) S 16713 16713 16579 0 -1 64 379 0 0 0 13 1 0 0 16 0 8 0 29182671 826732544 151237 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16731/tid=16737] ppid=16713 vsize=807356 CPUtime=0
/proc/16731/task/16737/stat : 16737 (java) S 16713 16713 16579 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 29182671 826732544 151237 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16731/tid=16738] ppid=16713 vsize=807356 CPUtime=0
/proc/16731/task/16738/stat : 16738 (java) S 16713 16713 16579 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29182672 826732544 151237 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1774.98
Current children cumulated vsize (KiB) 821080
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1809.49 s]
/proc/loadavg: 2.35 2.29 2.33 3/89 16944
/proc/meminfo: memFree=310872/2055920 swapFree=4192956/4192956
[pid=16713] ppid=16707 vsize=13724 CPUtime=2.91
/proc/16713/stat : 16713 (sugar) S 16707 16713 16579 0 -1 4194304 1190 12773 0 64 3 1 269 18 16 0 1 0 29182348 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 257423356002 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16713/statm: 3431 809 371 3 0 531 0
[pid=16731] ppid=16713 vsize=807356 CPUtime=1797.19
/proc/16731/stat : 16731 (java) S 16713 16713 16579 0 -1 0 157590 0 4 0 179550 169 0 0 16 0 8 0 29182664 826732544 151237 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16731/statm: 201839 151237 1507 14 0 189117 0
[pid=16731/tid=16732] ppid=16713 vsize=807356 CPUtime=1473.45
/proc/16731/task/16732/stat : 16732 (java) R 16713 16713 16579 0 -1 64 141422 0 0 0 147213 132 0 0 25 0 8 0 29182668 826732544 151237 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154022744 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16731/tid=16733] ppid=16713 vsize=807356 CPUtime=0
/proc/16731/task/16733/stat : 16733 (java) S 16713 16713 16579 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 29182668 826732544 151237 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16731/tid=16734] ppid=16713 vsize=807356 CPUtime=0
/proc/16731/task/16734/stat : 16734 (java) S 16713 16713 16579 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 29182668 826732544 151237 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16731/tid=16735] ppid=16713 vsize=807356 CPUtime=0
/proc/16731/task/16735/stat : 16735 (java) S 16713 16713 16579 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 29182671 826732544 151237 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16731/tid=16736] ppid=16713 vsize=807356 CPUtime=0.14
/proc/16731/task/16736/stat : 16736 (java) S 16713 16713 16579 0 -1 64 379 0 0 0 13 1 0 0 16 0 8 0 29182671 826732544 151237 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16731/tid=16737] ppid=16713 vsize=807356 CPUtime=0
/proc/16731/task/16737/stat : 16737 (java) S 16713 16713 16579 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 29182671 826732544 151237 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16731/tid=16738] ppid=16713 vsize=807356 CPUtime=0
/proc/16731/task/16738/stat : 16738 (java) S 16713 16713 16579 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29182672 826732544 151237 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 821080
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 1
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 16713 and gives childrusage.ru_utime.tv_sec=2 childrusage.ru_utime.tv_usec=726585 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=202969
CPU time returned by wait4() is 2.92955
while last known CPU time is 1801.02
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 1810.51
CPU time (s): 1801.02
CPU user time (s): 1799.14
CPU system time (s): 1.88
CPU usage (%): 99.4757
Max. virtual memory (cumulated for all children) (KiB): 821080
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.72659
system time used= 0.202969
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14043
page faults= 64
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1002
involuntary context switches= 991
runsolver used 2.08368 s user time and 6.03308 s system time
The end
Begin job on node68 on Mon Jan 29 17:37:27 UTC 2007
IDJOB= 195866
IDBENCH= 3307
IDSOLVER= 86
FILE ID= node68/195866-1170092245
PBS_JOBID= 3689590
Free space on /tmp= 66558 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-24-24/rand-3-24-24-76-632-36_ext.xml
COMMAND LINE= /tmp/evaluation/195866-1170092245/solver /tmp/evaluation/195866-1170092245 /tmp/evaluation/195866-1170092245/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node68/watcher-195866-1170092245 -o ROOT/results/node68/solver-195866-1170092245 -C 1800 -M 900 /tmp/evaluation/195866-1170092245/solver /tmp/evaluation/195866-1170092245 /tmp/evaluation/195866-1170092245/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= f30eb18bfd25ea1f67b84401c08189b2
RANDOM SEED= 351627686
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: 1568920 kB
Buffers: 49708 kB
Cached: 346324 kB
SwapCached: 0 kB
Active: 177536 kB
Inactive: 238660 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1568920 kB
SwapTotal: 4192956 kB
SwapFree: 4192956 kB
Dirty: 7564 kB
Writeback: 0 kB
Mapped: 30276 kB
Slab: 56496 kB
Committed_AS: 60156 kB
PageTables: 1568 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= 66525 MiB
End job on node68 on Mon Jan 29 18:07:38 UTC 2007