0.04 c # Sugar v0-40 (/tmp/evaluation/226667-1170105365/sugar-v0-40.jar)
0.04
0.04 c # MAIN BEGIN : /tmp/evaluation/226667-1170105365/unknown.xml [Mon Jan 29 22:16:05 2007]
0.04 c # CONVERT_XML BEGIN : /tmp/evaluation/226667-1170105365/unknown.xml /tmp/evaluation/226667-1170105365/sugar19337.csp [Mon Jan 29 22:16:05 2007]
0.04 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/226667-1170105365/sugar-v0-40.jar -convert /tmp/evaluation/226667-1170105365/unknown.xml /tmp/evaluation/226667-1170105365/sugar19337.csp
0.17 c BEGIN convert /tmp/evaluation/226667-1170105365/unknown.xml
0.79 c END convert (0.62731 seconds)
0.80 c # CONVERT_XML END : /tmp/evaluation/226667-1170105365/sugar19337.csp 2349295 bytes (1 seconds) [Mon Jan 29 22:16:06 2007]
0.80 c # CONVERT_XML CPU : 0.75 = 0 + 0.01 + 0.68 + 0.06
0.81
0.81 c # GENERATE_SAT BEGIN : /tmp/evaluation/226667-1170105365/sugar19337.bcnf [Mon Jan 29 22:16:06 2007]
0.81 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/226667-1170105365/sugar-v0-40.jar -bcnf -map /tmp/evaluation/226667-1170105365/sugar19337.map /tmp/evaluation/226667-1170105365/sugar19337.csp /tmp/evaluation/226667-1170105365/sugar19337.bcnf
0.92 c BEGIN parse /tmp/evaluation/226667-1170105365/sugar19337.csp
1809.19
1809.19 s UNKNOWN
1809.19 c # INTERRUPTED
1809.19 c # MAIN END : (1809 seconds) [Mon Jan 29 22:46:14 2007]
1809.19 c # MAIN CPU : 0.75 = 0 + 0.01 + 0.68 + 0.06
1809.19
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node55/watcher-226667-1170105365 -o ROOT/results/node55/solver-226667-1170105365 -C 1800 -M 900 /tmp/evaluation/226667-1170105365/solver /tmp/evaluation/226667-1170105365 /tmp/evaluation/226667-1170105365/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: 0.92 0.98 0.99 5/70 19338
/proc/meminfo: memFree=1921464/2055920 swapFree=4184204/4192956
[pid=19337] ppid=19334 vsize=12268 CPUtime=0
/proc/19337/stat : 19337 (sugar) R 19334 19337 19208 0 -1 4194304 596 0 0 0 0 0 0 0 18 0 1 0 30492968 12562432 315 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 248761776741 0 0 4224 0 0 0 0 17 1 0 0
/proc/19337/statm: 3067 315 241 3 0 167 0
[startup+0.106497 s]
/proc/loadavg: 0.92 0.98 0.99 5/70 19338
/proc/meminfo: memFree=1921464/2055920 swapFree=4184204/4192956
[pid=19337] ppid=19334 vsize=13724 CPUtime=0.03
/proc/19337/stat : 19337 (sugar) S 19334 19337 19208 0 -1 4194304 1112 0 0 0 3 0 0 0 18 0 1 0 30492968 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 248770506850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19337/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+0.514542 s]
/proc/loadavg: 0.92 0.98 0.99 5/70 19338
/proc/meminfo: memFree=1921464/2055920 swapFree=4184204/4192956
[pid=19337] ppid=19334 vsize=13724 CPUtime=0.03
/proc/19337/stat : 19337 (sugar) S 19334 19337 19208 0 -1 4194304 1121 0 0 0 3 0 0 0 15 0 1 0 30492968 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 248770506850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19337/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+1.33562 s]
/proc/loadavg: 0.92 0.98 0.99 5/90 19373
/proc/meminfo: memFree=1874328/2055920 swapFree=4184204/4192956
[pid=19337] ppid=19334 vsize=13724 CPUtime=0.78
/proc/19337/stat : 19337 (sugar) S 19334 19337 19208 0 -1 4194304 1190 7934 0 1 3 1 68 6 16 0 1 0 30492968 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 248770506850 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/19337/statm: 3431 809 371 3 0 531 0
[pid=19359] ppid=19337 vsize=807064 CPUtime=0.5
/proc/19359/stat : 19359 (java) R 19337 19337 19208 0 -1 0 7765 0 1 0 46 4 0 0 19 0 8 0 30493049 826433536 7513 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19359/statm: 201766 7513 1494 14 0 189044 0
[pid=19359/tid=19361] ppid=19337 vsize=807064 CPUtime=0.08
/proc/19359/task/19361/stat : 19361 (java) R 19337 19337 19208 0 -1 64 1714 0 0 0 7 1 0 0 16 0 8 0 30493052 826433536 7513 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152891621 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19359/tid=19364] ppid=19337 vsize=807064 CPUtime=0
/proc/19359/task/19364/stat : 19364 (java) S 19337 19337 19208 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30493053 826433536 7513 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19359/tid=19365] ppid=19337 vsize=807064 CPUtime=0
/proc/19359/task/19365/stat : 19365 (java) S 19337 19337 19208 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 30493053 826433536 7513 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19359/tid=19370] ppid=19337 vsize=807064 CPUtime=0
/proc/19359/task/19370/stat : 19370 (java) S 19337 19337 19208 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30493056 826433536 7513 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19359/tid=19371] ppid=19337 vsize=807064 CPUtime=0.05
/proc/19359/task/19371/stat : 19371 (java) S 19337 19337 19208 0 -1 64 290 0 0 0 5 0 0 0 16 0 8 0 30493056 826433536 7513 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19359/tid=19372] ppid=19337 vsize=807064 CPUtime=0
/proc/19359/task/19372/stat : 19372 (java) S 19337 19337 19208 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30493056 826433536 7513 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19359/tid=19373] ppid=19337 vsize=807064 CPUtime=0
/proc/19359/task/19373/stat : 19373 (java) S 19337 19337 19208 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30493056 826433536 7513 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 820788
[startup+2.97277 s]
/proc/loadavg: 0.92 0.98 0.99 3/90 19373
/proc/meminfo: memFree=1831384/2055920 swapFree=4184204/4192956
[pid=19337] ppid=19334 vsize=13724 CPUtime=0.78
/proc/19337/stat : 19337 (sugar) S 19334 19337 19208 0 -1 4194304 1190 7934 0 1 3 1 68 6 16 0 1 0 30492968 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 248770506850 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/19337/statm: 3431 809 371 3 0 531 0
[pid=19359] ppid=19337 vsize=807064 CPUtime=2.12
/proc/19359/stat : 19359 (java) R 19337 19337 19208 0 -1 0 15359 0 1 0 205 7 0 0 25 0 8 0 30493049 826433536 15091 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479415 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19359/statm: 201766 15091 1494 14 0 189044 0
[pid=19359/tid=19361] ppid=19337 vsize=807064 CPUtime=0.55
/proc/19359/task/19361/stat : 19361 (java) S 19337 19337 19208 0 -1 64 9292 0 0 0 52 3 0 0 16 0 8 0 30493052 826433536 15091 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19359/tid=19364] ppid=19337 vsize=807064 CPUtime=0
/proc/19359/task/19364/stat : 19364 (java) S 19337 19337 19208 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30493053 826433536 15091 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19359/tid=19365] ppid=19337 vsize=807064 CPUtime=0
/proc/19359/task/19365/stat : 19365 (java) S 19337 19337 19208 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 30493053 826433536 15091 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19359/tid=19370] ppid=19337 vsize=807064 CPUtime=0
/proc/19359/task/19370/stat : 19370 (java) S 19337 19337 19208 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30493056 826433536 15091 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19359/tid=19371] ppid=19337 vsize=807064 CPUtime=0.05
/proc/19359/task/19371/stat : 19371 (java) S 19337 19337 19208 0 -1 64 290 0 0 0 5 0 0 0 16 0 8 0 30493056 826433536 15091 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19359/tid=19372] ppid=19337 vsize=807064 CPUtime=0
/proc/19359/task/19372/stat : 19372 (java) S 19337 19337 19208 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30493056 826433536 15091 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19359/tid=19373] ppid=19337 vsize=807064 CPUtime=0
/proc/19359/task/19373/stat : 19373 (java) S 19337 19337 19208 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30493056 826433536 15091 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 820788
[startup+6.2111 s]
/proc/loadavg: 1.17 1.03 1.01 4/90 19373
/proc/meminfo: memFree=1654744/2055920 swapFree=4184204/4192956
[pid=19337] ppid=19334 vsize=13724 CPUtime=0.78
/proc/19337/stat : 19337 (sugar) S 19334 19337 19208 0 -1 4194304 1190 7934 0 1 3 1 68 6 16 0 1 0 30492968 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 248770506850 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/19337/statm: 3431 809 371 3 0 531 0
[pid=19359] ppid=19337 vsize=807340 CPUtime=5.32
/proc/19359/stat : 19359 (java) R 19337 19337 19208 0 -1 0 38482 0 1 0 512 20 0 0 25 0 8 0 30493049 826716160 38123 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073574014 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19359/statm: 201835 38123 1506 14 0 189113 0
[pid=19359/tid=19361] ppid=19337 vsize=807340 CPUtime=1.65
/proc/19359/task/19361/stat : 19361 (java) S 19337 19337 19208 0 -1 64 32184 0 0 0 150 15 0 0 16 0 8 0 30493052 826716160 38123 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19359/tid=19364] ppid=19337 vsize=807340 CPUtime=0
/proc/19359/task/19364/stat : 19364 (java) S 19337 19337 19208 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30493053 826716160 38123 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19359/tid=19365] ppid=19337 vsize=807340 CPUtime=0
/proc/19359/task/19365/stat : 19365 (java) S 19337 19337 19208 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 30493053 826716160 38123 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19359/tid=19370] ppid=19337 vsize=807340 CPUtime=0
/proc/19359/task/19370/stat : 19370 (java) S 19337 19337 19208 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30493056 826716160 38123 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19359/tid=19371] ppid=19337 vsize=807340 CPUtime=0.11
/proc/19359/task/19371/stat : 19371 (java) S 19337 19337 19208 0 -1 64 384 0 0 0 11 0 0 0 16 0 8 0 30493056 826716160 38123 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19359/tid=19372] ppid=19337 vsize=807340 CPUtime=0
/proc/19359/task/19372/stat : 19372 (java) S 19337 19337 19208 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30493056 826716160 38123 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19359/tid=19373] ppid=19337 vsize=807340 CPUtime=0
/proc/19359/task/19373/stat : 19373 (java) S 19337 19337 19208 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30493056 826716160 38123 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.1
Current children cumulated vsize (KiB) 821064
[startup+12.6877 s]
/proc/loadavg: 1.39 1.08 1.03 3/90 19373
/proc/meminfo: memFree=1490520/2055920 swapFree=4184204/4192956
[pid=19337] ppid=19334 vsize=13724 CPUtime=0.78
/proc/19337/stat : 19337 (sugar) S 19334 19337 19208 0 -1 4194304 1190 7934 0 1 3 1 68 6 16 0 1 0 30492968 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 248770506850 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/19337/statm: 3431 809 371 3 0 531 0
[pid=19359] ppid=19337 vsize=807340 CPUtime=11.71
/proc/19359/stat : 19359 (java) R 19337 19337 19208 0 -1 0 55354 0 1 0 1141 30 0 0 25 0 8 0 30493049 826716160 54100 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153380400 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19359/statm: 201835 54100 1507 14 0 189113 0
[pid=19359/tid=19361] ppid=19337 vsize=807340 CPUtime=4.23
/proc/19359/task/19361/stat : 19361 (java) S 19337 19337 19208 0 -1 64 48852 0 0 0 399 24 0 0 16 0 8 0 30493052 826716160 54100 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19359/tid=19364] ppid=19337 vsize=807340 CPUtime=0
/proc/19359/task/19364/stat : 19364 (java) S 19337 19337 19208 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30493053 826716160 54100 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19359/tid=19365] ppid=19337 vsize=807340 CPUtime=0
/proc/19359/task/19365/stat : 19365 (java) S 19337 19337 19208 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 30493053 826716160 54100 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19359/tid=19370] ppid=19337 vsize=807340 CPUtime=0
/proc/19359/task/19370/stat : 19370 (java) S 19337 19337 19208 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30493056 826716160 54100 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19359/tid=19371] ppid=19337 vsize=807340 CPUtime=0.11
/proc/19359/task/19371/stat : 19371 (java) S 19337 19337 19208 0 -1 64 387 0 0 0 11 0 0 0 16 0 8 0 30493056 826716160 54100 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19359/tid=19372] ppid=19337 vsize=807340 CPUtime=0
/proc/19359/task/19372/stat : 19372 (java) S 19337 19337 19208 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30493056 826716160 54100 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19359/tid=19373] ppid=19337 vsize=807340 CPUtime=0
/proc/19359/task/19373/stat : 19373 (java) S 19337 19337 19208 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30493056 826716160 54100 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.49
Current children cumulated vsize (KiB) 821064
[startup+25.5485 s]
/proc/loadavg: 1.76 1.18 1.06 3/90 19373
/proc/meminfo: memFree=1490648/2055920 swapFree=4184204/4192956
[pid=19337] ppid=19334 vsize=13724 CPUtime=0.78
/proc/19337/stat : 19337 (sugar) S 19334 19337 19208 0 -1 4194304 1190 7934 0 1 3 1 68 6 16 0 1 0 30492968 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 248770506850 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/19337/statm: 3431 809 371 3 0 531 0
[pid=19359] ppid=19337 vsize=807340 CPUtime=24.51
/proc/19359/stat : 19359 (java) R 19337 19337 19208 0 -1 0 59490 0 1 0 2414 37 0 0 25 0 8 0 30493049 826716160 54104 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19359/statm: 201835 54104 1507 14 0 189113 0
[pid=19359/tid=19361] ppid=19337 vsize=807340 CPUtime=10.34
/proc/19359/task/19361/stat : 19361 (java) S 19337 19337 19208 0 -1 64 52625 0 0 0 1005 29 0 0 15 0 8 0 30493052 826716160 54104 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19359/tid=19364] ppid=19337 vsize=807340 CPUtime=0
/proc/19359/task/19364/stat : 19364 (java) S 19337 19337 19208 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30493053 826716160 54104 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19359/tid=19365] ppid=19337 vsize=807340 CPUtime=0
/proc/19359/task/19365/stat : 19365 (java) S 19337 19337 19208 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 30493053 826716160 54104 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19359/tid=19370] ppid=19337 vsize=807340 CPUtime=0
/proc/19359/task/19370/stat : 19370 (java) S 19337 19337 19208 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30493056 826716160 54104 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19359/tid=19371] ppid=19337 vsize=807340 CPUtime=0.12
/proc/19359/task/19371/stat : 19371 (java) S 19337 19337 19208 0 -1 64 391 0 0 0 12 0 0 0 17 0 8 0 30493056 826716160 54104 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19359/tid=19372] ppid=19337 vsize=807340 CPUtime=0
/proc/19359/task/19372/stat : 19372 (java) S 19337 19337 19208 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30493056 826716160 54104 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19359/tid=19373] ppid=19337 vsize=807340 CPUtime=0
/proc/19359/task/19373/stat : 19373 (java) S 19337 19337 19208 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30493056 826716160 54104 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.29
Current children cumulated vsize (KiB) 821064
[startup+51.1994 s]
/proc/loadavg: 2.06 1.29 1.10 4/90 19373
/proc/meminfo: memFree=1490520/2055920 swapFree=4184204/4192956
[pid=19337] ppid=19334 vsize=13724 CPUtime=0.78
/proc/19337/stat : 19337 (sugar) S 19334 19337 19208 0 -1 4194304 1190 7934 0 1 3 1 68 6 16 0 1 0 30492968 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 248770506850 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/19337/statm: 3431 809 371 3 0 531 0
[pid=19359] ppid=19337 vsize=807340 CPUtime=49.99
/proc/19359/stat : 19359 (java) R 19337 19337 19208 0 -1 0 67034 0 1 0 4949 50 0 0 25 0 8 0 30493049 826716160 54126 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073332706 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19359/statm: 201835 54126 1507 14 0 189113 0
[pid=19359/tid=19361] ppid=19337 vsize=807340 CPUtime=22.73
/proc/19359/task/19361/stat : 19361 (java) S 19337 19337 19208 0 -1 64 59438 0 0 0 2235 38 0 0 16 0 8 0 30493052 826716160 54126 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19359/tid=19364] ppid=19337 vsize=807340 CPUtime=0
/proc/19359/task/19364/stat : 19364 (java) S 19337 19337 19208 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30493053 826716160 54126 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19359/tid=19365] ppid=19337 vsize=807340 CPUtime=0
/proc/19359/task/19365/stat : 19365 (java) S 19337 19337 19208 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 30493053 826716160 54126 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19359/tid=19370] ppid=19337 vsize=807340 CPUtime=0
/proc/19359/task/19370/stat : 19370 (java) S 19337 19337 19208 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30493056 826716160 54126 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19359/tid=19371] ppid=19337 vsize=807340 CPUtime=0.13
/proc/19359/task/19371/stat : 19371 (java) S 19337 19337 19208 0 -1 64 397 0 0 0 13 0 0 0 17 0 8 0 30493056 826716160 54126 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19359/tid=19372] ppid=19337 vsize=807340 CPUtime=0
/proc/19359/task/19372/stat : 19372 (java) S 19337 19337 19208 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30493056 826716160 54126 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19359/tid=19373] ppid=19337 vsize=807340 CPUtime=0
/proc/19359/task/19373/stat : 19373 (java) S 19337 19337 19208 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30493056 826716160 54126 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.77
Current children cumulated vsize (KiB) 821064
[startup+102.431 s]
/proc/loadavg: 2.62 1.55 1.19 3/90 19373
/proc/meminfo: memFree=1490584/2055920 swapFree=4184204/4192956
[pid=19337] ppid=19334 vsize=13724 CPUtime=0.78
/proc/19337/stat : 19337 (sugar) S 19334 19337 19208 0 -1 4194304 1190 7934 0 1 3 1 68 6 16 0 1 0 30492968 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 248770506850 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/19337/statm: 3431 809 371 3 0 531 0
[pid=19359] ppid=19337 vsize=807340 CPUtime=100.92
/proc/19359/stat : 19359 (java) R 19337 19337 19208 0 -1 0 78716 0 1 0 10017 75 0 0 25 0 8 0 30493049 826716160 54130 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073590798 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19359/statm: 201835 54130 1507 14 0 189113 0
[pid=19359/tid=19361] ppid=19337 vsize=807340 CPUtime=48.66
################
# More data... #
################
/proc/loadavg: 2.08 2.42 2.37 3/90 19375
/proc/meminfo: memFree=696536/2055920 swapFree=4184204/4192956
[pid=19337] ppid=19334 vsize=13724 CPUtime=0.78
/proc/19337/stat : 19337 (sugar) S 19334 19337 19208 0 -1 4194304 1190 7934 0 1 3 1 68 6 16 0 1 0 30492968 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 248770506850 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/19337/statm: 3431 809 371 3 0 531 0
[pid=19359] ppid=19337 vsize=807844 CPUtime=1535.24
/proc/19359/stat : 19359 (java) S 19337 19337 19208 0 -1 0 271242 0 1 0 153211 313 0 0 17 0 8 0 30493049 827232256 153429 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19359/statm: 201961 153429 1507 14 0 189239 0
[pid=19359/tid=19361] ppid=19337 vsize=807844 CPUtime=1066.41
/proc/19359/task/19361/stat : 19361 (java) R 19337 19337 19208 0 -1 64 251888 0 0 0 106396 245 0 0 25 0 8 0 30493052 827232256 153429 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155134322 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19359/tid=19364] ppid=19337 vsize=807844 CPUtime=0
/proc/19359/task/19364/stat : 19364 (java) S 19337 19337 19208 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 30493053 827232256 153429 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19359/tid=19365] ppid=19337 vsize=807844 CPUtime=0
/proc/19359/task/19365/stat : 19365 (java) S 19337 19337 19208 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 30493053 827232256 153429 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19359/tid=19370] ppid=19337 vsize=807844 CPUtime=0
/proc/19359/task/19370/stat : 19370 (java) S 19337 19337 19208 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30493056 827232256 153429 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19359/tid=19371] ppid=19337 vsize=807844 CPUtime=0.13
/proc/19359/task/19371/stat : 19371 (java) S 19337 19337 19208 0 -1 64 398 0 0 0 13 0 0 0 17 0 8 0 30493056 827232256 153429 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19359/tid=19372] ppid=19337 vsize=807844 CPUtime=0
/proc/19359/task/19372/stat : 19372 (java) S 19337 19337 19208 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30493056 827232256 153429 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19359/tid=19373] ppid=19337 vsize=807844 CPUtime=0.02
/proc/19359/task/19373/stat : 19373 (java) S 19337 19337 19208 0 -1 64 0 0 0 0 1 1 0 0 15 0 8 0 30493056 827232256 153429 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1536.02
Current children cumulated vsize (KiB) 821568
[startup+1603.94 s]
/proc/loadavg: 2.14 2.37 2.36 3/90 19375
/proc/meminfo: memFree=692824/2055920 swapFree=4184204/4192956
[pid=19337] ppid=19334 vsize=13724 CPUtime=0.78
/proc/19337/stat : 19337 (sugar) S 19334 19337 19208 0 -1 4194304 1190 7934 0 1 3 1 68 6 16 0 1 0 30492968 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 248770506850 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/19337/statm: 3431 809 371 3 0 531 0
[pid=19359] ppid=19337 vsize=807844 CPUtime=1595.02
/proc/19359/stat : 19359 (java) S 19337 19337 19208 0 -1 0 275517 0 1 0 159185 317 0 0 17 0 8 0 30493049 827232256 153429 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19359/statm: 201961 153429 1507 14 0 189239 0
[pid=19359/tid=19361] ppid=19337 vsize=807844 CPUtime=1124.1
/proc/19359/task/19361/stat : 19361 (java) R 19337 19337 19208 0 -1 64 256118 0 0 0 112161 249 0 0 25 0 8 0 30493052 827232256 153429 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155526126 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19359/tid=19364] ppid=19337 vsize=807844 CPUtime=0
/proc/19359/task/19364/stat : 19364 (java) S 19337 19337 19208 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 30493053 827232256 153429 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19359/tid=19365] ppid=19337 vsize=807844 CPUtime=0
/proc/19359/task/19365/stat : 19365 (java) S 19337 19337 19208 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 30493053 827232256 153429 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19359/tid=19370] ppid=19337 vsize=807844 CPUtime=0
/proc/19359/task/19370/stat : 19370 (java) S 19337 19337 19208 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30493056 827232256 153429 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19359/tid=19371] ppid=19337 vsize=807844 CPUtime=0.13
/proc/19359/task/19371/stat : 19371 (java) S 19337 19337 19208 0 -1 64 398 0 0 0 13 0 0 0 17 0 8 0 30493056 827232256 153429 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19359/tid=19372] ppid=19337 vsize=807844 CPUtime=0
/proc/19359/task/19372/stat : 19372 (java) S 19337 19337 19208 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30493056 827232256 153429 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19359/tid=19373] ppid=19337 vsize=807844 CPUtime=0.02
/proc/19359/task/19373/stat : 19373 (java) S 19337 19337 19208 0 -1 64 0 0 0 0 1 1 0 0 15 0 8 0 30493056 827232256 153429 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1595.8
Current children cumulated vsize (KiB) 821568
[startup+1664 s]
/proc/loadavg: 2.12 2.32 2.34 3/90 19375
/proc/meminfo: memFree=690392/2055920 swapFree=4184204/4192956
[pid=19337] ppid=19334 vsize=13724 CPUtime=0.78
/proc/19337/stat : 19337 (sugar) S 19334 19337 19208 0 -1 4194304 1190 7934 0 1 3 1 68 6 16 0 1 0 30492968 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 248770506850 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/19337/statm: 3431 809 371 3 0 531 0
[pid=19359] ppid=19337 vsize=807844 CPUtime=1654.81
/proc/19359/stat : 19359 (java) S 19337 19337 19208 0 -1 0 279909 0 1 0 165161 320 0 0 17 0 8 0 30493049 827232256 153432 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19359/statm: 201961 153432 1507 14 0 189239 0
[pid=19359/tid=19361] ppid=19337 vsize=807844 CPUtime=1181.67
/proc/19359/task/19361/stat : 19361 (java) R 19337 19337 19208 0 -1 64 260465 0 0 0 117915 252 0 0 25 0 8 0 30493052 827232256 153432 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154035704 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19359/tid=19364] ppid=19337 vsize=807844 CPUtime=0
/proc/19359/task/19364/stat : 19364 (java) S 19337 19337 19208 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 30493053 827232256 153432 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19359/tid=19365] ppid=19337 vsize=807844 CPUtime=0
/proc/19359/task/19365/stat : 19365 (java) S 19337 19337 19208 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 30493053 827232256 153432 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19359/tid=19370] ppid=19337 vsize=807844 CPUtime=0
/proc/19359/task/19370/stat : 19370 (java) S 19337 19337 19208 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30493056 827232256 153432 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19359/tid=19371] ppid=19337 vsize=807844 CPUtime=0.13
/proc/19359/task/19371/stat : 19371 (java) S 19337 19337 19208 0 -1 64 398 0 0 0 13 0 0 0 17 0 8 0 30493056 827232256 153432 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19359/tid=19372] ppid=19337 vsize=807844 CPUtime=0
/proc/19359/task/19372/stat : 19372 (java) S 19337 19337 19208 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30493056 827232256 153432 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19359/tid=19373] ppid=19337 vsize=807844 CPUtime=0.02
/proc/19359/task/19373/stat : 19373 (java) S 19337 19337 19208 0 -1 64 0 0 0 0 1 1 0 0 15 0 8 0 30493056 827232256 153432 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1655.59
Current children cumulated vsize (KiB) 821568
[startup+1724.07 s]
/proc/loadavg: 2.15 2.29 2.33 3/90 19375
/proc/meminfo: memFree=682968/2055920 swapFree=4184204/4192956
[pid=19337] ppid=19334 vsize=13724 CPUtime=0.78
/proc/19337/stat : 19337 (sugar) S 19334 19337 19208 0 -1 4194304 1190 7934 0 1 3 1 68 6 16 0 1 0 30492968 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 248770506850 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/19337/statm: 3431 809 371 3 0 531 0
[pid=19359] ppid=19337 vsize=807844 CPUtime=1714.59
/proc/19359/stat : 19359 (java) S 19337 19337 19208 0 -1 0 285407 0 1 0 171137 322 0 0 17 0 8 0 30493049 827232256 154520 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19359/statm: 201961 154520 1507 14 0 189239 0
[pid=19359/tid=19361] ppid=19337 vsize=807844 CPUtime=1239.29
/proc/19359/task/19361/stat : 19361 (java) R 19337 19337 19208 0 -1 64 265918 0 0 0 123675 254 0 0 25 0 8 0 30493052 827232256 154520 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155134388 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19359/tid=19364] ppid=19337 vsize=807844 CPUtime=0
/proc/19359/task/19364/stat : 19364 (java) S 19337 19337 19208 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 30493053 827232256 154520 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19359/tid=19365] ppid=19337 vsize=807844 CPUtime=0
/proc/19359/task/19365/stat : 19365 (java) S 19337 19337 19208 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 30493053 827232256 154520 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19359/tid=19370] ppid=19337 vsize=807844 CPUtime=0
/proc/19359/task/19370/stat : 19370 (java) S 19337 19337 19208 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30493056 827232256 154520 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19359/tid=19371] ppid=19337 vsize=807844 CPUtime=0.13
/proc/19359/task/19371/stat : 19371 (java) S 19337 19337 19208 0 -1 64 398 0 0 0 13 0 0 0 17 0 8 0 30493056 827232256 154520 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19359/tid=19372] ppid=19337 vsize=807844 CPUtime=0
/proc/19359/task/19372/stat : 19372 (java) S 19337 19337 19208 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30493056 827232256 154520 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19359/tid=19373] ppid=19337 vsize=807844 CPUtime=0.02
/proc/19359/task/19373/stat : 19373 (java) S 19337 19337 19208 0 -1 64 0 0 0 0 1 1 0 0 15 0 8 0 30493056 827232256 154520 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1715.37
Current children cumulated vsize (KiB) 821568
[startup+1784.14 s]
/proc/loadavg: 2.18 2.26 2.31 3/90 19375
/proc/meminfo: memFree=677720/2055920 swapFree=4184204/4192956
[pid=19337] ppid=19334 vsize=13724 CPUtime=0.78
/proc/19337/stat : 19337 (sugar) S 19334 19337 19208 0 -1 4194304 1190 7934 0 1 3 1 68 6 16 0 1 0 30492968 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 248770506850 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/19337/statm: 3431 809 371 3 0 531 0
[pid=19359] ppid=19337 vsize=807844 CPUtime=1774.38
/proc/19359/stat : 19359 (java) S 19337 19337 19208 0 -1 0 290844 0 1 0 177112 326 0 0 17 0 8 0 30493049 827232256 155547 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19359/statm: 201961 155547 1507 14 0 189239 0
[pid=19359/tid=19361] ppid=19337 vsize=807844 CPUtime=1296.96
/proc/19359/task/19361/stat : 19361 (java) R 19337 19337 19208 0 -1 64 271310 0 0 0 129438 258 0 0 25 0 8 0 30493052 827232256 155547 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155215822 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19359/tid=19364] ppid=19337 vsize=807844 CPUtime=0
/proc/19359/task/19364/stat : 19364 (java) S 19337 19337 19208 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 30493053 827232256 155547 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19359/tid=19365] ppid=19337 vsize=807844 CPUtime=0
/proc/19359/task/19365/stat : 19365 (java) S 19337 19337 19208 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 30493053 827232256 155547 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19359/tid=19370] ppid=19337 vsize=807844 CPUtime=0
/proc/19359/task/19370/stat : 19370 (java) S 19337 19337 19208 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30493056 827232256 155547 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19359/tid=19371] ppid=19337 vsize=807844 CPUtime=0.13
/proc/19359/task/19371/stat : 19371 (java) S 19337 19337 19208 0 -1 64 398 0 0 0 13 0 0 0 17 0 8 0 30493056 827232256 155547 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19359/tid=19372] ppid=19337 vsize=807844 CPUtime=0
/proc/19359/task/19372/stat : 19372 (java) S 19337 19337 19208 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30493056 827232256 155547 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19359/tid=19373] ppid=19337 vsize=807844 CPUtime=0.02
/proc/19359/task/19373/stat : 19373 (java) S 19337 19337 19208 0 -1 64 0 0 0 0 1 1 0 0 15 0 8 0 30493056 827232256 155547 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1775.16
Current children cumulated vsize (KiB) 821568
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1809.18 s]
/proc/loadavg: 2.11 2.24 2.30 3/90 19375
/proc/meminfo: memFree=676440/2055920 swapFree=4184204/4192956
[pid=19337] ppid=19334 vsize=13724 CPUtime=0.78
/proc/19337/stat : 19337 (sugar) S 19334 19337 19208 0 -1 4194304 1190 7934 0 1 3 1 68 6 16 0 1 0 30492968 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 248770506850 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/19337/statm: 3431 809 371 3 0 531 0
[pid=19359] ppid=19337 vsize=807844 CPUtime=1799.3
/proc/19359/stat : 19359 (java) S 19337 19337 19208 0 -1 0 292931 0 1 0 179602 328 0 0 17 0 8 0 30493049 827232256 155870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19359/statm: 201961 155870 1507 14 0 189239 0
[pid=19359/tid=19361] ppid=19337 vsize=807844 CPUtime=1321.03
/proc/19359/task/19361/stat : 19361 (java) R 19337 19337 19208 0 -1 64 273379 0 0 0 131843 260 0 0 25 0 8 0 30493052 827232256 155870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155222440 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19359/tid=19364] ppid=19337 vsize=807844 CPUtime=0
/proc/19359/task/19364/stat : 19364 (java) S 19337 19337 19208 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 30493053 827232256 155870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19359/tid=19365] ppid=19337 vsize=807844 CPUtime=0
/proc/19359/task/19365/stat : 19365 (java) S 19337 19337 19208 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 30493053 827232256 155870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19359/tid=19370] ppid=19337 vsize=807844 CPUtime=0
/proc/19359/task/19370/stat : 19370 (java) S 19337 19337 19208 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30493056 827232256 155870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19359/tid=19371] ppid=19337 vsize=807844 CPUtime=0.13
/proc/19359/task/19371/stat : 19371 (java) S 19337 19337 19208 0 -1 64 398 0 0 0 13 0 0 0 17 0 8 0 30493056 827232256 155870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19359/tid=19372] ppid=19337 vsize=807844 CPUtime=0
/proc/19359/task/19372/stat : 19372 (java) S 19337 19337 19208 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30493056 827232256 155870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19359/tid=19373] ppid=19337 vsize=807844 CPUtime=0.02
/proc/19359/task/19373/stat : 19373 (java) S 19337 19337 19208 0 -1 64 0 0 0 0 1 1 0 0 15 0 8 0 30493056 827232256 155870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 821568
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 1
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 19337 and gives childrusage.ru_utime.tv_sec=0 childrusage.ru_utime.tv_usec=719890 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=74988
CPU time returned by wait4() is 0.794878
while last known CPU time is 1801.01
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 1810.2
CPU time (s): 1801.01
CPU user time (s): 1797.66
CPU system time (s): 3.35
CPU usage (%): 99.4921
Max. virtual memory (cumulated for all children) (KiB): 822600
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.71989
system time used= 0.074988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9204
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= 401
involuntary context switches= 310
runsolver used 2.21166 s user time and 6.06308 s system time
The end
Begin job on node55 on Mon Jan 29 21:16:05 UTC 2007
IDJOB= 226667
IDBENCH= 5999
IDSOLVER= 86
FILE ID= node55/226667-1170105365
PBS_JOBID= 3689830
Free space on /tmp= 66562 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.65/rand-2-40-40-135-650-19_ext.xml
COMMAND LINE= /tmp/evaluation/226667-1170105365/solver /tmp/evaluation/226667-1170105365 /tmp/evaluation/226667-1170105365/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node55/watcher-226667-1170105365 -o ROOT/results/node55/solver-226667-1170105365 -C 1800 -M 900 /tmp/evaluation/226667-1170105365/solver /tmp/evaluation/226667-1170105365 /tmp/evaluation/226667-1170105365/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= aadb901839dc42f9264281ee6b8f03fe
RANDOM SEED= 476486922
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.247
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.247
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: 1922336 kB
Buffers: 33044 kB
Cached: 41320 kB
SwapCached: 3156 kB
Active: 42668 kB
Inactive: 46340 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1922336 kB
SwapTotal: 4192956 kB
SwapFree: 4184204 kB
Dirty: 2556 kB
Writeback: 0 kB
Mapped: 20136 kB
Slab: 30368 kB
Committed_AS: 373660 kB
PageTables: 1572 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= 66558 MiB
End job on node55 on Mon Jan 29 21:46:15 UTC 2007