1.29 c # Sugar v0-40 (/tmp/evaluation/237068-1170108430/sugar-v0-40.jar)
1.29
1.31 c # MAIN BEGIN : /tmp/evaluation/237068-1170108430/unknown.xml [Mon Jan 29 23:07:13 2007]
1.31 c # CONVERT_XML BEGIN : /tmp/evaluation/237068-1170108430/unknown.xml /tmp/evaluation/237068-1170108430/sugar24282.csp [Mon Jan 29 23:07:13 2007]
1.31 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/237068-1170108430/sugar-v0-40.jar -convert /tmp/evaluation/237068-1170108430/unknown.xml /tmp/evaluation/237068-1170108430/sugar24282.csp
1.54 c BEGIN convert /tmp/evaluation/237068-1170108430/unknown.xml
3.77 c END convert (2.229654 seconds)
3.80 c # CONVERT_XML END : /tmp/evaluation/237068-1170108430/sugar24282.csp 700849 bytes (3 seconds) [Mon Jan 29 23:07:16 2007]
3.80 c # CONVERT_XML CPU : 2.24 = 0 + 0 + 2.14 + 0.1
3.80
3.80 c # GENERATE_SAT BEGIN : /tmp/evaluation/237068-1170108430/sugar24282.bcnf [Mon Jan 29 23:07:16 2007]
3.80 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/237068-1170108430/sugar-v0-40.jar -bcnf -map /tmp/evaluation/237068-1170108430/sugar24282.map /tmp/evaluation/237068-1170108430/sugar24282.csp /tmp/evaluation/237068-1170108430/sugar24282.bcnf
3.91 c BEGIN parse /tmp/evaluation/237068-1170108430/sugar24282.csp
6.32 c END parse (2.405598 seconds)
6.32 c BEGIN simplify
6.43 c END simplify (0.115025 seconds)
6.43 c BEGIN encode /tmp/evaluation/237068-1170108430/sugar24282.bcnf
620.08 c END encode (613.65098 seconds)
620.65 c # GENERATE_SAT END : 317548431 variables 882936361 clauses 11363897352 bytes (616 seconds) [Mon Jan 29 23:17:32 2007]
620.65 c # GENERATE_SAT CPU : 591.55 = 0.45 + 0.03 + 543.05 + 48.02
620.65
620.65 c # SOLVE_SAT BEGIN : /tmp/evaluation/237068-1170108430/sugar24282.bcnf [Mon Jan 29 23:17:32 2007]
620.65 c # CMD : /tmp/evaluation/237068-1170108430/minisat /tmp/evaluation/237068-1170108430/sugar24282.bcnf /tmp/evaluation/237068-1170108430/sugar24282.out
620.69 c ERROR! Could not open file: /tmp/evaluation/237068-1170108430/sugar24282.bcnf
620.69 s UNKNOWN
620.69 c # ERROR No such file or directory /tmp/evaluation/237068-1170108430/sugar24282.out, at /tmp/evaluation/237068-1170108430/sugar line 393.
620.69
620.69 c # MAIN END : (619 seconds) [Mon Jan 29 23:17:32 2007]
620.69 c # MAIN CPU : 593.79 = 0.45 + 0.03 + 545.19 + 48.12
620.69
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node60/watcher-237068-1170108430 -o ROOT/results/node60/solver-237068-1170108430 -C 1800 -M 900 /tmp/evaluation/237068-1170108430/solver /tmp/evaluation/237068-1170108430 /tmp/evaluation/237068-1170108430/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: 3.84 4.66 3.65 5/81 24283
/proc/meminfo: memFree=15752/2055920 swapFree=4184188/4192956
[pid=24282] ppid=24280 vsize=5352 CPUtime=0
/proc/24282/stat : 24282 (solver) D 24280 24282 23584 0 -1 4194304 264 0 0 0 0 0 0 0 18 0 1 0 30800007 5480448 231 18446744073709551615 4194304 4889804 548682069296 18446744073709551615 271894244647 0 0 4096 0 18446744071563608240 0 0 17 1 0 0
/proc/24282/statm: 1338 231 193 169 0 49 0
[startup+0.103754 s]
/proc/loadavg: 3.84 4.66 3.65 5/81 24283
/proc/meminfo: memFree=15752/2055920 swapFree=4184188/4192956
[pid=24282] ppid=24280 vsize=5352 CPUtime=0
/proc/24282/stat : 24282 (solver) D 24280 24282 23584 0 -1 4194304 264 0 0 0 0 0 0 0 18 0 1 0 30800007 5480448 231 18446744073709551615 4194304 4889804 548682069296 18446744073709551615 271894244647 0 0 4096 0 18446744071563608240 0 0 17 1 0 0
/proc/24282/statm: 1338 231 193 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352
[startup+0.511827 s]
/proc/loadavg: 3.84 4.66 3.65 5/81 24283
/proc/meminfo: memFree=15752/2055920 swapFree=4184188/4192956
[pid=24282] ppid=24280 vsize=12268 CPUtime=0
/proc/24282/stat : 24282 (sugar) D 24280 24282 23584 0 -1 4194304 598 0 3 0 0 0 0 0 18 0 1 0 30800007 12562432 320 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271903141986 0 0 4224 0 18446744071563608240 0 0 17 0 0 0
/proc/24282/statm: 3067 320 242 3 0 167 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12268
[startup+1.33498 s]
/proc/loadavg: 3.84 4.66 3.65 1/81 24283
/proc/meminfo: memFree=16136/2055920 swapFree=4184188/4192956
[pid=24282] ppid=24280 vsize=13724 CPUtime=0.03
/proc/24282/stat : 24282 (sugar) S 24280 24282 23584 0 -1 4194304 1109 0 3 0 2 1 0 0 18 0 1 0 30800007 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271903141986 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24282/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+2.98727 s]
/proc/loadavg: 3.84 4.66 3.65 4/89 24291
/proc/meminfo: memFree=15304/2055920 swapFree=4184188/4192956
[pid=24282] ppid=24280 vsize=13724 CPUtime=0.03
/proc/24282/stat : 24282 (sugar) S 24280 24282 23584 0 -1 4194304 1118 0 3 0 2 1 0 0 15 0 1 0 30800007 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271903141986 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24282/statm: 3431 805 368 3 0 531 0
[pid=24284] ppid=24282 vsize=807404 CPUtime=1.46
/proc/24284/stat : 24284 (java) R 24282 24282 23584 0 -1 0 14089 0 29 0 138 8 0 0 25 0 8 0 30800139 826781696 13863 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4073812348 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24284/statm: 201851 13863 1690 14 0 189129 0
[pid=24284/tid=24285] ppid=24282 vsize=807404 CPUtime=0.18
/proc/24284/task/24285/stat : 24285 (java) S 24282 24282 23584 0 -1 64 7529 0 0 0 16 2 0 0 16 0 8 0 30800153 826781696 13863 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24284/tid=24286] ppid=24282 vsize=807404 CPUtime=0
/proc/24284/task/24286/stat : 24286 (java) S 24282 24282 23584 0 -1 64 10 0 0 0 0 0 0 0 20 0 8 0 30800154 826781696 13863 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24284/tid=24287] ppid=24282 vsize=807404 CPUtime=0
/proc/24284/task/24287/stat : 24287 (java) S 24282 24282 23584 0 -1 64 4 0 0 0 0 0 0 0 21 0 8 0 30800154 826781696 13863 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24284/tid=24288] ppid=24282 vsize=807404 CPUtime=0
/proc/24284/task/24288/stat : 24288 (java) S 24282 24282 23584 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 30800157 826781696 13863 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24284/tid=24289] ppid=24282 vsize=807404 CPUtime=0.15
/proc/24284/task/24289/stat : 24289 (java) S 24282 24282 23584 0 -1 64 418 0 0 0 15 0 0 0 16 0 8 0 30800157 826781696 13863 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24284/tid=24290] ppid=24282 vsize=807404 CPUtime=0
/proc/24284/task/24290/stat : 24290 (java) S 24282 24282 23584 0 -1 64 2 0 0 0 0 0 0 0 23 0 8 0 30800157 826781696 13863 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24284/tid=24291] ppid=24282 vsize=807404 CPUtime=0
/proc/24284/task/24291/stat : 24291 (java) S 24282 24282 23584 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30800157 826781696 13863 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 821128
[startup+6.27345 s]
/proc/loadavg: 3.77 4.63 3.65 4/89 24299
/proc/meminfo: memFree=16328/2055920 swapFree=4184188/4192956
[pid=24282] ppid=24280 vsize=13724 CPUtime=2.27
/proc/24282/stat : 24282 (sugar) S 24280 24282 23584 0 -1 4194304 1187 14507 3 30 2 1 214 10 15 0 1 0 30800007 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271903141986 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24282/statm: 3431 809 371 3 0 531 0
[pid=24292] ppid=24282 vsize=807376 CPUtime=2.4
/proc/24292/stat : 24292 (java) R 24282 24282 23584 0 -1 0 15783 0 1 0 229 11 0 0 25 0 8 0 30800388 826753024 15518 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24292/statm: 201844 15518 1506 14 0 189122 0
[pid=24292/tid=24293] ppid=24282 vsize=807376 CPUtime=0.54
/proc/24292/task/24293/stat : 24293 (java) R 24282 24282 23584 0 -1 64 9559 0 0 0 49 5 0 0 16 0 8 0 30800391 826753024 15518 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153827336 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24292/tid=24294] ppid=24282 vsize=807376 CPUtime=0
/proc/24292/task/24294/stat : 24294 (java) S 24282 24282 23584 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30800391 826753024 15518 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24292/tid=24295] ppid=24282 vsize=807376 CPUtime=0
/proc/24292/task/24295/stat : 24295 (java) S 24282 24282 23584 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30800391 826753024 15518 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24292/tid=24296] ppid=24282 vsize=807376 CPUtime=0
/proc/24292/task/24296/stat : 24296 (java) S 24282 24282 23584 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 30800394 826753024 15518 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24292/tid=24297] ppid=24282 vsize=807376 CPUtime=0.14
/proc/24292/task/24297/stat : 24297 (java) S 24282 24282 23584 0 -1 64 427 0 0 0 14 0 0 0 16 0 8 0 30800394 826753024 15518 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24292/tid=24298] ppid=24282 vsize=807376 CPUtime=0
/proc/24292/task/24298/stat : 24298 (java) S 24282 24282 23584 0 -1 64 2 0 0 0 0 0 0 0 25 0 8 0 30800394 826753024 15518 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24292/tid=24299] ppid=24282 vsize=807376 CPUtime=0
/proc/24292/task/24299/stat : 24299 (java) S 24282 24282 23584 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30800394 826753024 15518 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4.67
Current children cumulated vsize (KiB) 821100
[startup+12.773 s]
/proc/loadavg: 3.79 4.62 3.65 3/89 24299
/proc/meminfo: memFree=16280/2055920 swapFree=4184188/4192956
[pid=24282] ppid=24280 vsize=13724 CPUtime=2.27
/proc/24282/stat : 24282 (sugar) S 24280 24282 23584 0 -1 4194304 1187 14507 3 30 2 1 214 10 16 0 1 0 30800007 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271903141986 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24282/statm: 3431 809 371 3 0 531 0
[pid=24292] ppid=24282 vsize=807376 CPUtime=8.57
/proc/24292/stat : 24292 (java) R 24282 24282 23584 0 -1 0 17341 0 1 0 789 68 0 0 25 0 8 0 30800388 826753024 17074 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073851614 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24292/statm: 201844 17074 1508 14 0 189122 0
[pid=24292/tid=24293] ppid=24282 vsize=807376 CPUtime=0.6
/proc/24292/task/24293/stat : 24293 (java) S 24282 24282 23584 0 -1 64 11083 0 0 0 55 5 0 0 16 0 8 0 30800391 826753024 17074 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24292/tid=24294] ppid=24282 vsize=807376 CPUtime=0
/proc/24292/task/24294/stat : 24294 (java) S 24282 24282 23584 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30800391 826753024 17074 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24292/tid=24295] ppid=24282 vsize=807376 CPUtime=0
/proc/24292/task/24295/stat : 24295 (java) S 24282 24282 23584 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30800391 826753024 17074 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24292/tid=24296] ppid=24282 vsize=807376 CPUtime=0
/proc/24292/task/24296/stat : 24296 (java) S 24282 24282 23584 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 30800394 826753024 17074 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24292/tid=24297] ppid=24282 vsize=807376 CPUtime=0.16
/proc/24292/task/24297/stat : 24297 (java) S 24282 24282 23584 0 -1 64 437 0 0 0 16 0 0 0 16 0 8 0 30800394 826753024 17074 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24292/tid=24298] ppid=24282 vsize=807376 CPUtime=0
/proc/24292/task/24298/stat : 24298 (java) S 24282 24282 23584 0 -1 64 2 0 0 0 0 0 0 0 25 0 8 0 30800394 826753024 17074 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24292/tid=24299] ppid=24282 vsize=807376 CPUtime=0
/proc/24292/task/24299/stat : 24299 (java) S 24282 24282 23584 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30800394 826753024 17074 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 10.84
Current children cumulated vsize (KiB) 821100
[startup+25.6493 s]
/proc/loadavg: 3.99 4.62 3.66 3/89 24300
/proc/meminfo: memFree=15896/2055920 swapFree=4184188/4192956
[pid=24282] ppid=24280 vsize=13724 CPUtime=2.27
/proc/24282/stat : 24282 (sugar) S 24280 24282 23584 0 -1 4194304 1187 14507 3 30 2 1 214 10 16 0 1 0 30800007 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271903141986 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24282/statm: 3431 809 371 3 0 531 0
[pid=24292] ppid=24282 vsize=807376 CPUtime=20.98
/proc/24292/stat : 24292 (java) R 24282 24282 23584 0 -1 0 17341 0 1 0 1889 209 0 0 25 0 8 0 30800388 826753024 17074 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24292/statm: 201844 17074 1508 14 0 189122 0
[pid=24292/tid=24293] ppid=24282 vsize=807376 CPUtime=0.6
/proc/24292/task/24293/stat : 24293 (java) S 24282 24282 23584 0 -1 64 11083 0 0 0 55 5 0 0 16 0 8 0 30800391 826753024 17074 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24292/tid=24294] ppid=24282 vsize=807376 CPUtime=0
/proc/24292/task/24294/stat : 24294 (java) S 24282 24282 23584 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30800391 826753024 17074 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24292/tid=24295] ppid=24282 vsize=807376 CPUtime=0
/proc/24292/task/24295/stat : 24295 (java) S 24282 24282 23584 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30800391 826753024 17074 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24292/tid=24296] ppid=24282 vsize=807376 CPUtime=0
/proc/24292/task/24296/stat : 24296 (java) S 24282 24282 23584 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 30800394 826753024 17074 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24292/tid=24297] ppid=24282 vsize=807376 CPUtime=0.16
/proc/24292/task/24297/stat : 24297 (java) S 24282 24282 23584 0 -1 64 437 0 0 0 16 0 0 0 16 0 8 0 30800394 826753024 17074 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24292/tid=24298] ppid=24282 vsize=807376 CPUtime=0
/proc/24292/task/24298/stat : 24298 (java) S 24282 24282 23584 0 -1 64 2 0 0 0 0 0 0 0 25 0 8 0 30800394 826753024 17074 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24292/tid=24299] ppid=24282 vsize=807376 CPUtime=0
/proc/24292/task/24299/stat : 24299 (java) S 24282 24282 23584 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30800394 826753024 17074 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 23.25
Current children cumulated vsize (KiB) 821100
[startup+51.3169 s]
/proc/loadavg: 5.04 4.80 3.75 3/96 24310
/proc/meminfo: memFree=15200/2055920 swapFree=4184188/4192956
[pid=24282] ppid=24280 vsize=13724 CPUtime=2.27
/proc/24282/stat : 24282 (sugar) S 24280 24282 23584 0 -1 4194304 1187 14507 3 30 2 1 214 10 16 0 1 0 30800007 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271903141986 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24282/statm: 3431 809 371 3 0 531 0
[pid=24292] ppid=24282 vsize=807376 CPUtime=45.69
/proc/24292/stat : 24292 (java) R 24282 24282 23584 0 -1 0 17341 0 1 0 4061 508 0 0 25 0 8 0 30800388 826753024 17074 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24292/statm: 201844 17074 1508 14 0 189122 0
[pid=24292/tid=24293] ppid=24282 vsize=807376 CPUtime=0.6
/proc/24292/task/24293/stat : 24293 (java) S 24282 24282 23584 0 -1 64 11083 0 0 0 55 5 0 0 16 0 8 0 30800391 826753024 17074 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24292/tid=24294] ppid=24282 vsize=807376 CPUtime=0
/proc/24292/task/24294/stat : 24294 (java) S 24282 24282 23584 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30800391 826753024 17074 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24292/tid=24295] ppid=24282 vsize=807376 CPUtime=0
/proc/24292/task/24295/stat : 24295 (java) S 24282 24282 23584 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30800391 826753024 17074 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24292/tid=24296] ppid=24282 vsize=807376 CPUtime=0
/proc/24292/task/24296/stat : 24296 (java) S 24282 24282 23584 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 30800394 826753024 17074 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24292/tid=24297] ppid=24282 vsize=807376 CPUtime=0.16
/proc/24292/task/24297/stat : 24297 (java) S 24282 24282 23584 0 -1 64 437 0 0 0 16 0 0 0 16 0 8 0 30800394 826753024 17074 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24292/tid=24298] ppid=24282 vsize=807376 CPUtime=0
/proc/24292/task/24298/stat : 24298 (java) S 24282 24282 23584 0 -1 64 2 0 0 0 0 0 0 0 25 0 8 0 30800394 826753024 17074 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24292/tid=24299] ppid=24282 vsize=807376 CPUtime=0
/proc/24292/task/24299/stat : 24299 (java) S 24282 24282 23584 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30800394 826753024 17074 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 47.96
Current children cumulated vsize (KiB) 821100
[startup+102.532 s]
/proc/loadavg: 7.81 5.57 4.06 3/94 24312
/proc/meminfo: memFree=16304/2055920 swapFree=4184188/4192956
[pid=24282] ppid=24280 vsize=13724 CPUtime=2.27
/proc/24282/stat : 24282 (sugar) S 24280 24282 23584 0 -1 4194304 1187 14507 3 30 2 1 214 10 16 0 1 0 30800007 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271903141986 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24282/statm: 3431 809 371 3 0 531 0
[pid=24292] ppid=24282 vsize=807376 CPUtime=94.15
/proc/24292/stat : 24292 (java) R 24282 24282 23584 0 -1 0 17341 0 1 0 8256 1159 0 0 25 0 8 0 30800388 826753024 17074 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24292/statm: 201844 17074 1508 14 0 189122 0
[pid=24292/tid=24293] ppid=24282 vsize=807376 CPUtime=0.6
/proc/24292/task/24293/stat : 24293 (java) S 24282 24282 23584 0 -1 64 11083 0 0 0 55 5 0 0 16 0 8 0 30800391 826753024 17074 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24292/tid=24294] ppid=24282 vsize=807376 CPUtime=0
/proc/24292/task/24294/stat : 24294 (java) S 24282 24282 23584 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30800391 826753024 17074 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24292/tid=24295] ppid=24282 vsize=807376 CPUtime=0
/proc/24292/task/24295/stat : 24295 (java) S 24282 24282 23584 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30800391 826753024 17074 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24292/tid=24296] ppid=24282 vsize=807376 CPUtime=0
/proc/24292/task/24296/stat : 24296 (java) S 24282 24282 23584 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 30800394 826753024 17074 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24292/tid=24297] ppid=24282 vsize=807376 CPUtime=0.16
/proc/24292/task/24297/stat : 24297 (java) S 24282 24282 23584 0 -1 64 437 0 0 0 16 0 0 0 16 0 8 0 30800394 826753024 17074 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24292/tid=24298] ppid=24282 vsize=807376 CPUtime=0
/proc/24292/task/24298/stat : 24298 (java) S 24282 24282 23584 0 -1 64 2 0 0 0 0 0 0 0 25 0 8 0 30800394 826753024 17074 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24292/tid=24299] ppid=24282 vsize=807376 CPUtime=0
/proc/24292/task/24299/stat : 24299 (java) S 24282 24282 23584 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30800394 826753024 17074 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 96.42
Current children cumulated vsize (KiB) 821100
[startup+162.569 s]
################
# More data... #
################
[pid=24292/tid=24294] ppid=24282 vsize=807376 CPUtime=0
/proc/24292/task/24294/stat : 24294 (java) S 24282 24282 23584 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30800391 826753024 18794 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24292/tid=24295] ppid=24282 vsize=807376 CPUtime=0
/proc/24292/task/24295/stat : 24295 (java) S 24282 24282 23584 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30800391 826753024 18794 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24292/tid=24296] ppid=24282 vsize=807376 CPUtime=0
/proc/24292/task/24296/stat : 24296 (java) S 24282 24282 23584 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 30800394 826753024 18794 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24292/tid=24297] ppid=24282 vsize=807376 CPUtime=0.18
/proc/24292/task/24297/stat : 24297 (java) S 24282 24282 23584 0 -1 64 448 0 0 0 18 0 0 0 16 0 8 0 30800394 826753024 18794 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24292/tid=24298] ppid=24282 vsize=807376 CPUtime=0
/proc/24292/task/24298/stat : 24298 (java) S 24282 24282 23584 0 -1 64 2 0 0 0 0 0 0 0 25 0 8 0 30800394 826753024 18794 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24292/tid=24299] ppid=24282 vsize=807376 CPUtime=0
/proc/24292/task/24299/stat : 24299 (java) S 24282 24282 23584 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30800394 826753024 18794 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 211.59
Current children cumulated vsize (KiB) 821100
[startup+282.685 s]
/proc/loadavg: 3.99 5.41 4.32 3/89 24385
/proc/meminfo: memFree=15000/2055920 swapFree=4184188/4192956
[pid=24282] ppid=24280 vsize=13724 CPUtime=2.27
/proc/24282/stat : 24282 (sugar) S 24280 24282 23584 0 -1 4194304 1187 14507 3 30 2 1 214 10 16 0 1 0 30800007 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271903141986 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24282/statm: 3431 809 371 3 0 531 0
[pid=24292] ppid=24282 vsize=807376 CPUtime=266.95
/proc/24292/stat : 24292 (java) R 24282 24282 23584 0 -1 0 19063 0 1 0 24086 2609 0 0 25 0 8 0 30800388 826753024 18794 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073867425 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24292/statm: 201844 18794 1510 14 0 189122 0
[pid=24292/tid=24293] ppid=24282 vsize=807376 CPUtime=0.65
/proc/24292/task/24293/stat : 24293 (java) S 24282 24282 23584 0 -1 64 12791 0 0 0 59 6 0 0 16 0 8 0 30800391 826753024 18794 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24292/tid=24294] ppid=24282 vsize=807376 CPUtime=0
/proc/24292/task/24294/stat : 24294 (java) S 24282 24282 23584 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30800391 826753024 18794 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24292/tid=24295] ppid=24282 vsize=807376 CPUtime=0
/proc/24292/task/24295/stat : 24295 (java) S 24282 24282 23584 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30800391 826753024 18794 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24292/tid=24296] ppid=24282 vsize=807376 CPUtime=0
/proc/24292/task/24296/stat : 24296 (java) S 24282 24282 23584 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 30800394 826753024 18794 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24292/tid=24297] ppid=24282 vsize=807376 CPUtime=0.18
/proc/24292/task/24297/stat : 24297 (java) S 24282 24282 23584 0 -1 64 448 0 0 0 18 0 0 0 16 0 8 0 30800394 826753024 18794 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24292/tid=24298] ppid=24282 vsize=807376 CPUtime=0
/proc/24292/task/24298/stat : 24298 (java) S 24282 24282 23584 0 -1 64 2 0 0 0 0 0 0 0 25 0 8 0 30800394 826753024 18794 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24292/tid=24299] ppid=24282 vsize=807376 CPUtime=0
/proc/24292/task/24299/stat : 24299 (java) S 24282 24282 23584 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30800394 826753024 18794 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 269.22
Current children cumulated vsize (KiB) 821100
[startup+342.768 s]
/proc/loadavg: 3.29 4.95 4.22 3/82 24386
/proc/meminfo: memFree=157776/2055920 swapFree=4184188/4192956
[pid=24282] ppid=24280 vsize=13724 CPUtime=2.27
/proc/24282/stat : 24282 (sugar) S 24280 24282 23584 0 -1 4194304 1187 14507 3 30 2 1 214 10 16 0 1 0 30800007 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271903141986 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24282/statm: 3431 809 371 3 0 531 0
[pid=24292] ppid=24282 vsize=807376 CPUtime=324.75
/proc/24292/stat : 24292 (java) R 24282 24282 23584 0 -1 0 19063 0 1 0 29486 2989 0 0 25 0 8 0 30800388 826753024 18794 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24292/statm: 201844 18794 1510 14 0 189122 0
[pid=24292/tid=24293] ppid=24282 vsize=807376 CPUtime=0.65
/proc/24292/task/24293/stat : 24293 (java) S 24282 24282 23584 0 -1 64 12791 0 0 0 59 6 0 0 16 0 8 0 30800391 826753024 18794 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24292/tid=24294] ppid=24282 vsize=807376 CPUtime=0
/proc/24292/task/24294/stat : 24294 (java) S 24282 24282 23584 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30800391 826753024 18794 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24292/tid=24295] ppid=24282 vsize=807376 CPUtime=0
/proc/24292/task/24295/stat : 24295 (java) S 24282 24282 23584 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30800391 826753024 18794 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24292/tid=24296] ppid=24282 vsize=807376 CPUtime=0
/proc/24292/task/24296/stat : 24296 (java) S 24282 24282 23584 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 30800394 826753024 18794 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24292/tid=24297] ppid=24282 vsize=807376 CPUtime=0.18
/proc/24292/task/24297/stat : 24297 (java) S 24282 24282 23584 0 -1 64 448 0 0 0 18 0 0 0 16 0 8 0 30800394 826753024 18794 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24292/tid=24298] ppid=24282 vsize=807376 CPUtime=0
/proc/24292/task/24298/stat : 24298 (java) S 24282 24282 23584 0 -1 64 2 0 0 0 0 0 0 0 25 0 8 0 30800394 826753024 18794 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24292/tid=24299] ppid=24282 vsize=807376 CPUtime=0
/proc/24292/task/24299/stat : 24299 (java) S 24282 24282 23584 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30800394 826753024 18794 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 327.02
Current children cumulated vsize (KiB) 821100
[startup+402.825 s]
/proc/loadavg: 3.64 4.72 4.19 3/82 24386
/proc/meminfo: memFree=15056/2055920 swapFree=4184188/4192956
[pid=24282] ppid=24280 vsize=13724 CPUtime=2.27
/proc/24282/stat : 24282 (sugar) S 24280 24282 23584 0 -1 4194304 1187 14507 3 30 2 1 214 10 16 0 1 0 30800007 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271903141986 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24282/statm: 3431 809 371 3 0 531 0
[pid=24292] ppid=24282 vsize=807376 CPUtime=382.57
/proc/24292/stat : 24292 (java) R 24282 24282 23584 0 -1 0 19449 0 1 0 34863 3394 0 0 25 0 8 0 30800388 826753024 19179 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24292/statm: 201844 19179 1510 14 0 189122 0
[pid=24292/tid=24293] ppid=24282 vsize=807376 CPUtime=0.66
/proc/24292/task/24293/stat : 24293 (java) S 24282 24282 23584 0 -1 64 13176 0 0 0 60 6 0 0 16 0 8 0 30800391 826753024 19179 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24292/tid=24294] ppid=24282 vsize=807376 CPUtime=0
/proc/24292/task/24294/stat : 24294 (java) S 24282 24282 23584 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30800391 826753024 19179 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24292/tid=24295] ppid=24282 vsize=807376 CPUtime=0
/proc/24292/task/24295/stat : 24295 (java) S 24282 24282 23584 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30800391 826753024 19179 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24292/tid=24296] ppid=24282 vsize=807376 CPUtime=0
/proc/24292/task/24296/stat : 24296 (java) S 24282 24282 23584 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 30800394 826753024 19179 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24292/tid=24297] ppid=24282 vsize=807376 CPUtime=0.18
/proc/24292/task/24297/stat : 24297 (java) S 24282 24282 23584 0 -1 64 448 0 0 0 18 0 0 0 16 0 8 0 30800394 826753024 19179 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24292/tid=24298] ppid=24282 vsize=807376 CPUtime=0
/proc/24292/task/24298/stat : 24298 (java) S 24282 24282 23584 0 -1 64 2 0 0 0 0 0 0 0 25 0 8 0 30800394 826753024 19179 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24292/tid=24299] ppid=24282 vsize=807376 CPUtime=0
/proc/24292/task/24299/stat : 24299 (java) S 24282 24282 23584 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30800394 826753024 19179 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 384.84
Current children cumulated vsize (KiB) 821100
[startup+462.889 s]
/proc/loadavg: 2.95 4.35 4.09 3/82 24386
/proc/meminfo: memFree=14992/2055920 swapFree=4184188/4192956
[pid=24282] ppid=24280 vsize=13724 CPUtime=2.27
/proc/24282/stat : 24282 (sugar) S 24280 24282 23584 0 -1 4194304 1187 14507 3 30 2 1 214 10 16 0 1 0 30800007 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271903141986 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24282/statm: 3431 809 371 3 0 531 0
[pid=24292] ppid=24282 vsize=807376 CPUtime=440.29
/proc/24292/stat : 24292 (java) R 24282 24282 23584 0 -1 0 19449 0 1 0 40248 3781 0 0 25 0 8 0 30800388 826753024 19179 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073869794 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24292/statm: 201844 19179 1510 14 0 189122 0
[pid=24292/tid=24293] ppid=24282 vsize=807376 CPUtime=0.67
/proc/24292/task/24293/stat : 24293 (java) S 24282 24282 23584 0 -1 64 13176 0 0 0 61 6 0 0 16 0 8 0 30800391 826753024 19179 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24292/tid=24294] ppid=24282 vsize=807376 CPUtime=0
/proc/24292/task/24294/stat : 24294 (java) S 24282 24282 23584 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30800391 826753024 19179 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24292/tid=24295] ppid=24282 vsize=807376 CPUtime=0
/proc/24292/task/24295/stat : 24295 (java) S 24282 24282 23584 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30800391 826753024 19179 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24292/tid=24296] ppid=24282 vsize=807376 CPUtime=0
/proc/24292/task/24296/stat : 24296 (java) S 24282 24282 23584 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 30800394 826753024 19179 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24292/tid=24297] ppid=24282 vsize=807376 CPUtime=0.18
/proc/24292/task/24297/stat : 24297 (java) S 24282 24282 23584 0 -1 64 448 0 0 0 18 0 0 0 16 0 8 0 30800394 826753024 19179 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24292/tid=24298] ppid=24282 vsize=807376 CPUtime=0
/proc/24292/task/24298/stat : 24298 (java) S 24282 24282 23584 0 -1 64 2 0 0 0 0 0 0 0 25 0 8 0 30800394 826753024 19179 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24292/tid=24299] ppid=24282 vsize=807376 CPUtime=0
/proc/24292/task/24299/stat : 24299 (java) S 24282 24282 23584 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30800394 826753024 19179 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 442.56
Current children cumulated vsize (KiB) 821100
[startup+522.952 s]
/proc/loadavg: 2.77 4.03 4.00 3/82 24386
/proc/meminfo: memFree=15952/2055920 swapFree=4184188/4192956
[pid=24282] ppid=24280 vsize=13724 CPUtime=2.27
/proc/24282/stat : 24282 (sugar) S 24280 24282 23584 0 -1 4194304 1187 14507 3 30 2 1 214 10 16 0 1 0 30800007 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271903141986 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24282/statm: 3431 809 371 3 0 531 0
[pid=24292] ppid=24282 vsize=807376 CPUtime=497.87
/proc/24292/stat : 24292 (java) R 24282 24282 23584 0 -1 0 19449 0 1 0 45622 4165 0 0 25 0 8 0 30800388 826753024 19179 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24292/statm: 201844 19179 1510 14 0 189122 0
[pid=24292/tid=24293] ppid=24282 vsize=807376 CPUtime=0.67
/proc/24292/task/24293/stat : 24293 (java) S 24282 24282 23584 0 -1 64 13176 0 0 0 61 6 0 0 16 0 8 0 30800391 826753024 19179 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24292/tid=24294] ppid=24282 vsize=807376 CPUtime=0
/proc/24292/task/24294/stat : 24294 (java) S 24282 24282 23584 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30800391 826753024 19179 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24292/tid=24295] ppid=24282 vsize=807376 CPUtime=0
/proc/24292/task/24295/stat : 24295 (java) S 24282 24282 23584 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30800391 826753024 19179 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24292/tid=24296] ppid=24282 vsize=807376 CPUtime=0
/proc/24292/task/24296/stat : 24296 (java) S 24282 24282 23584 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 30800394 826753024 19179 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24292/tid=24297] ppid=24282 vsize=807376 CPUtime=0.18
/proc/24292/task/24297/stat : 24297 (java) S 24282 24282 23584 0 -1 64 448 0 0 0 18 0 0 0 16 0 8 0 30800394 826753024 19179 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24292/tid=24298] ppid=24282 vsize=807376 CPUtime=0
/proc/24292/task/24298/stat : 24298 (java) S 24282 24282 23584 0 -1 64 2 0 0 0 0 0 0 0 25 0 8 0 30800394 826753024 19179 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24292/tid=24299] ppid=24282 vsize=807376 CPUtime=0
/proc/24292/task/24299/stat : 24299 (java) S 24282 24282 23584 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30800394 826753024 19179 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 500.14
Current children cumulated vsize (KiB) 821100
[startup+583.022 s]
/proc/loadavg: 2.76 3.79 3.91 3/82 24386
/proc/meminfo: memFree=15760/2055920 swapFree=4184188/4192956
[pid=24282] ppid=24280 vsize=13724 CPUtime=2.27
/proc/24282/stat : 24282 (sugar) S 24280 24282 23584 0 -1 4194304 1187 14507 3 30 2 1 214 10 16 0 1 0 30800007 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271903141986 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24282/statm: 3431 809 371 3 0 531 0
[pid=24292] ppid=24282 vsize=807376 CPUtime=555.62
/proc/24292/stat : 24292 (java) R 24282 24282 23584 0 -1 0 19450 0 1 0 51007 4555 0 0 25 0 8 0 30800388 826753024 19179 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24292/statm: 201844 19179 1510 14 0 189122 0
[pid=24292/tid=24293] ppid=24282 vsize=807376 CPUtime=0.68
/proc/24292/task/24293/stat : 24293 (java) S 24282 24282 23584 0 -1 64 13176 0 0 0 62 6 0 0 16 0 8 0 30800391 826753024 19179 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24292/tid=24294] ppid=24282 vsize=807376 CPUtime=0
/proc/24292/task/24294/stat : 24294 (java) S 24282 24282 23584 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30800391 826753024 19179 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24292/tid=24295] ppid=24282 vsize=807376 CPUtime=0
/proc/24292/task/24295/stat : 24295 (java) S 24282 24282 23584 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30800391 826753024 19179 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24292/tid=24296] ppid=24282 vsize=807376 CPUtime=0
/proc/24292/task/24296/stat : 24296 (java) S 24282 24282 23584 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 30800394 826753024 19179 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24292/tid=24297] ppid=24282 vsize=807376 CPUtime=0.18
/proc/24292/task/24297/stat : 24297 (java) S 24282 24282 23584 0 -1 64 448 0 0 0 18 0 0 0 16 0 8 0 30800394 826753024 19179 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24292/tid=24298] ppid=24282 vsize=807376 CPUtime=0
/proc/24292/task/24298/stat : 24298 (java) S 24282 24282 23584 0 -1 64 2 0 0 0 0 0 0 0 25 0 8 0 30800394 826753024 19179 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24292/tid=24299] ppid=24282 vsize=807376 CPUtime=0
/proc/24292/task/24299/stat : 24299 (java) S 24282 24282 23584 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30800394 826753024 19179 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 557.89
Current children cumulated vsize (KiB) 821100
Child status: 1
Real time (s): 632.591
CPU time (s): 595.634
CPU user time (s): 545.67
CPU system time (s): 49.9644
CPU usage (%): 94.158
Max. virtual memory (cumulated for all children) (KiB): 821128
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 545.67
system time used= 49.9644
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42544
page faults= 43
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 16524
involuntary context switches= 29336
runsolver used 0.791879 s user time and 2.08468 s system time
The end
Begin job on node60 on Mon Jan 29 22:07:11 UTC 2007
IDJOB= 237068
IDBENCH= 6895
IDSOLVER= 86
FILE ID= node60/237068-1170108430
PBS_JOBID= 3689872
Free space on /tmp= 60460 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/fisher/FISCHER8-6-fair.xml
COMMAND LINE= /tmp/evaluation/237068-1170108430/solver /tmp/evaluation/237068-1170108430 /tmp/evaluation/237068-1170108430/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node60/watcher-237068-1170108430 -o ROOT/results/node60/solver-237068-1170108430 -C 1800 -M 900 /tmp/evaluation/237068-1170108430/solver /tmp/evaluation/237068-1170108430 /tmp/evaluation/237068-1170108430/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= 2a3d3cd5a78ebb12674c35a37a0ec403
RANDOM SEED= 103049702
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.283
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.283
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: 16296 kB
Buffers: 19340 kB
Cached: 1859212 kB
SwapCached: 1512 kB
Active: 99212 kB
Inactive: 1853480 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 16296 kB
SwapTotal: 4192956 kB
SwapFree: 4184188 kB
Dirty: 715304 kB
Writeback: 0 kB
Mapped: 87964 kB
Slab: 72060 kB
Committed_AS: 686536 kB
PageTables: 2048 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= 66534 MiB
End job on node60 on Mon Jan 29 22:17:45 UTC 2007