1.41 c # Sugar v0-40 (/tmp/evaluation/236717-1170108293/sugar-v0-40.jar)
1.41
1.51 c # MAIN BEGIN : /tmp/evaluation/236717-1170108293/unknown.xml [Mon Jan 29 23:05:05 2007]
1.51 c # CONVERT_XML BEGIN : /tmp/evaluation/236717-1170108293/unknown.xml /tmp/evaluation/236717-1170108293/sugar23357.csp [Mon Jan 29 23:05:05 2007]
1.51 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/236717-1170108293/sugar-v0-40.jar -convert /tmp/evaluation/236717-1170108293/unknown.xml /tmp/evaluation/236717-1170108293/sugar23357.csp
1.96 c BEGIN convert /tmp/evaluation/236717-1170108293/unknown.xml
3.71 c END convert (1.750311 seconds)
3.72 c # CONVERT_XML END : /tmp/evaluation/236717-1170108293/sugar23357.csp 501535 bytes (2 seconds) [Mon Jan 29 23:05:07 2007]
3.72 c # CONVERT_XML CPU : 1.81 = 0 + 0 + 1.71 + 0.1
3.72
3.72 c # GENERATE_SAT BEGIN : /tmp/evaluation/236717-1170108293/sugar23357.bcnf [Mon Jan 29 23:05:07 2007]
3.72 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/236717-1170108293/sugar-v0-40.jar -bcnf -map /tmp/evaluation/236717-1170108293/sugar23357.map /tmp/evaluation/236717-1170108293/sugar23357.csp /tmp/evaluation/236717-1170108293/sugar23357.bcnf
3.84 c BEGIN parse /tmp/evaluation/236717-1170108293/sugar23357.csp
5.69 c END parse (1.855836 seconds)
5.69 c BEGIN simplify
5.74 c END simplify (0.040494 seconds)
5.74 c BEGIN encode /tmp/evaluation/236717-1170108293/sugar23357.bcnf
491.67 c END encode (485.938441 seconds)
492.08 c # GENERATE_SAT END : 232718533 variables 646999423 clauses 8328176216 bytes (488 seconds) [Mon Jan 29 23:13:15 2007]
492.08 c # GENERATE_SAT CPU : 436.18 = 0.34 + 0.03 + 400.83 + 34.98
492.08
492.08 c # SOLVE_SAT BEGIN : /tmp/evaluation/236717-1170108293/sugar23357.bcnf [Mon Jan 29 23:13:15 2007]
492.08 c # CMD : /tmp/evaluation/236717-1170108293/minisat /tmp/evaluation/236717-1170108293/sugar23357.bcnf /tmp/evaluation/236717-1170108293/sugar23357.out
492.38 c ERROR! Could not open file: /tmp/evaluation/236717-1170108293/sugar23357.bcnf
492.38 s UNKNOWN
492.38 c # ERROR No such file or directory /tmp/evaluation/236717-1170108293/sugar23357.out, at /tmp/evaluation/236717-1170108293/sugar line 393.
492.38
492.38 c # MAIN END : (491 seconds) [Mon Jan 29 23:13:16 2007]
492.38 c # MAIN CPU : 438 = 0.34 + 0.04 + 402.54 + 35.08
492.38
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node69/watcher-236717-1170108293 -o ROOT/results/node69/solver-236717-1170108293 -C 1800 -M 900 /tmp/evaluation/236717-1170108293/solver /tmp/evaluation/236717-1170108293 /tmp/evaluation/236717-1170108293/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: 5.78 6.48 5.19 5/83 23358
/proc/meminfo: memFree=899256/2055920 swapFree=4192812/4192956
[pid=23357] ppid=23355 vsize=18540 CPUtime=0
/proc/23357/stat : 23357 (runsolver) R 23355 23357 23209 0 -1 4194368 16 0 0 0 0 0 0 0 18 0 1 0 30788042 18984960 279 18446744073709551615 4194304 4267372 548682069040 18446744073709551615 237947645223 0 0 4096 24578 0 0 0 17 1 0 0
/proc/23357/statm: 4635 279 244 17 0 2626 0
[startup+0.107736 s]
/proc/loadavg: 5.78 6.48 5.19 5/83 23358
/proc/meminfo: memFree=899256/2055920 swapFree=4192812/4192956
[pid=23357] ppid=23355 vsize=5352 CPUtime=0
/proc/23357/stat : 23357 (solver) R 23355 23357 23209 0 -1 4194304 264 0 0 0 0 0 0 0 18 0 1 0 30788042 5480448 231 18446744073709551615 4194304 4889804 548682069296 18446744073709551615 237947645223 0 0 4096 0 0 0 0 17 1 0 0
/proc/23357/statm: 1338 231 193 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352
[startup+0.515802 s]
/proc/loadavg: 5.78 6.48 5.19 5/83 23358
/proc/meminfo: memFree=899256/2055920 swapFree=4192812/4192956
[pid=23357] ppid=23355 vsize=8540 CPUtime=0
/proc/23357/stat : 23357 (sugar) D 23355 23357 23209 0 -1 4194304 314 0 2 0 0 0 0 0 18 0 1 0 30788042 8744960 52 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237945029380 0 0 4096 0 18446744071563479169 0 0 17 1 0 0
/proc/23357/statm: 2135 52 39 3 0 55 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8540
[startup+1.34294 s]
/proc/loadavg: 5.78 6.48 5.19 2/83 23358
/proc/meminfo: memFree=1759224/2055920 swapFree=4192812/4192956
[pid=23357] ppid=23355 vsize=13196 CPUtime=0.02
/proc/23357/stat : 23357 (sugar) D 23355 23357 23209 0 -1 4194304 929 0 3 0 2 0 0 0 18 0 1 0 30788042 13512704 651 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237956542562 0 0 4224 0 18446744071563479169 0 0 17 0 0 0
/proc/23357/statm: 3299 651 334 3 0 399 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 13196
[startup+2.98021 s]
/proc/loadavg: 5.78 6.48 5.19 3/90 23366
/proc/meminfo: memFree=1723776/2055920 swapFree=4192812/4192956
[pid=23357] ppid=23355 vsize=13724 CPUtime=0.03
/proc/23357/stat : 23357 (sugar) S 23355 23357 23209 0 -1 4194304 1118 0 3 0 3 0 0 0 15 0 1 0 30788042 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237956542562 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23357/statm: 3431 805 368 3 0 531 0
[pid=23359] ppid=23357 vsize=807404 CPUtime=1.07
/proc/23359/stat : 23359 (java) R 23357 23357 23209 0 -1 0 11851 0 28 0 99 8 0 0 25 0 8 0 30788193 826781696 11625 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4073811511 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23359/statm: 201851 11625 1690 14 0 189129 0
[pid=23359/tid=23360] ppid=23357 vsize=807404 CPUtime=0.12
/proc/23359/task/23360/stat : 23360 (java) S 23357 23357 23209 0 -1 64 5291 0 0 0 10 2 0 0 16 0 8 0 30788227 826781696 11625 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23359/tid=23361] ppid=23357 vsize=807404 CPUtime=0
/proc/23359/task/23361/stat : 23361 (java) S 23357 23357 23209 0 -1 64 10 0 0 0 0 0 0 0 20 0 8 0 30788227 826781696 11625 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23359/tid=23362] ppid=23357 vsize=807404 CPUtime=0
/proc/23359/task/23362/stat : 23362 (java) S 23357 23357 23209 0 -1 64 4 0 0 0 0 0 0 0 21 0 8 0 30788227 826781696 11625 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23359/tid=23363] ppid=23357 vsize=807404 CPUtime=0
/proc/23359/task/23363/stat : 23363 (java) S 23357 23357 23209 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 30788230 826781696 11625 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23359/tid=23364] ppid=23357 vsize=807404 CPUtime=0.14
/proc/23359/task/23364/stat : 23364 (java) S 23357 23357 23209 0 -1 64 418 0 0 0 14 0 0 0 16 0 8 0 30788230 826781696 11625 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23359/tid=23365] ppid=23357 vsize=807404 CPUtime=0
/proc/23359/task/23365/stat : 23365 (java) S 23357 23357 23209 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 30788231 826781696 11625 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23359/tid=23366] ppid=23357 vsize=807404 CPUtime=0
/proc/23359/task/23366/stat : 23366 (java) S 23357 23357 23209 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30788231 826781696 11625 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.1
Current children cumulated vsize (KiB) 821128
[startup+6.27875 s]
/proc/loadavg: 5.55 6.42 5.18 3/90 23374
/proc/meminfo: memFree=1634496/2055920 swapFree=4192812/4192956
[pid=23357] ppid=23355 vsize=13724 CPUtime=1.85
/proc/23357/stat : 23357 (sugar) S 23355 23357 23209 0 -1 4194304 1187 12261 3 29 3 1 171 10 16 0 1 0 30788042 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237956542562 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23357/statm: 3431 809 371 3 0 531 0
[pid=23367] ppid=23357 vsize=807376 CPUtime=2.48
/proc/23367/stat : 23367 (java) R 23357 23357 23209 0 -1 0 14953 0 1 0 236 12 0 0 25 0 8 0 30788414 826753024 14691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073854287 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23367/statm: 201844 14691 1508 14 0 189122 0
[pid=23367/tid=23368] ppid=23357 vsize=807376 CPUtime=0.46
/proc/23367/task/23368/stat : 23368 (java) S 23357 23357 23209 0 -1 64 8701 0 0 0 44 2 0 0 16 0 8 0 30788418 826753024 14691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23367/tid=23369] ppid=23357 vsize=807376 CPUtime=0
/proc/23367/task/23369/stat : 23369 (java) S 23357 23357 23209 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30788418 826753024 14691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23367/tid=23370] ppid=23357 vsize=807376 CPUtime=0
/proc/23367/task/23370/stat : 23370 (java) S 23357 23357 23209 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30788418 826753024 14691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23367/tid=23371] ppid=23357 vsize=807376 CPUtime=0
/proc/23367/task/23371/stat : 23371 (java) S 23357 23357 23209 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 30788422 826753024 14691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23367/tid=23372] ppid=23357 vsize=807376 CPUtime=0.16
/proc/23367/task/23372/stat : 23372 (java) S 23357 23357 23209 0 -1 64 432 0 0 0 15 1 0 0 16 0 8 0 30788422 826753024 14691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23367/tid=23373] ppid=23357 vsize=807376 CPUtime=0
/proc/23367/task/23373/stat : 23373 (java) S 23357 23357 23209 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 30788422 826753024 14691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23367/tid=23374] ppid=23357 vsize=807376 CPUtime=0
/proc/23367/task/23374/stat : 23374 (java) S 23357 23357 23209 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30788422 826753024 14691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4.33
Current children cumulated vsize (KiB) 821100
[startup+12.7618 s]
/proc/loadavg: 5.27 6.35 5.16 3/90 23374
/proc/meminfo: memFree=1344136/2055920 swapFree=4192812/4192956
[pid=23357] ppid=23355 vsize=13724 CPUtime=1.85
/proc/23357/stat : 23357 (sugar) S 23355 23357 23209 0 -1 4194304 1187 12261 3 29 3 1 171 10 16 0 1 0 30788042 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237956542562 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23357/statm: 3431 809 371 3 0 531 0
[pid=23367] ppid=23357 vsize=807376 CPUtime=8.61
/proc/23367/stat : 23367 (java) R 23357 23357 23209 0 -1 0 14954 0 1 0 783 78 0 0 25 0 8 0 30788414 826753024 14691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073849694 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23367/statm: 201844 14691 1508 14 0 189122 0
[pid=23367/tid=23368] ppid=23357 vsize=807376 CPUtime=0.46
/proc/23367/task/23368/stat : 23368 (java) S 23357 23357 23209 0 -1 64 8701 0 0 0 44 2 0 0 16 0 8 0 30788418 826753024 14691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23367/tid=23369] ppid=23357 vsize=807376 CPUtime=0
/proc/23367/task/23369/stat : 23369 (java) S 23357 23357 23209 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30788418 826753024 14691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23367/tid=23370] ppid=23357 vsize=807376 CPUtime=0
/proc/23367/task/23370/stat : 23370 (java) S 23357 23357 23209 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30788418 826753024 14691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23367/tid=23371] ppid=23357 vsize=807376 CPUtime=0
/proc/23367/task/23371/stat : 23371 (java) S 23357 23357 23209 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 30788422 826753024 14691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23367/tid=23372] ppid=23357 vsize=807376 CPUtime=0.16
/proc/23367/task/23372/stat : 23372 (java) S 23357 23357 23209 0 -1 64 432 0 0 0 15 1 0 0 16 0 8 0 30788422 826753024 14691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23367/tid=23373] ppid=23357 vsize=807376 CPUtime=0
/proc/23367/task/23373/stat : 23373 (java) S 23357 23357 23209 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 30788422 826753024 14691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23367/tid=23374] ppid=23357 vsize=807376 CPUtime=0
/proc/23367/task/23374/stat : 23374 (java) S 23357 23357 23209 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30788422 826753024 14691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 10.46
Current children cumulated vsize (KiB) 821100
[startup+25.6379 s]
/proc/loadavg: 5.07 6.25 5.15 3/90 23376
/proc/meminfo: memFree=821384/2055920 swapFree=4192812/4192956
[pid=23357] ppid=23355 vsize=13724 CPUtime=1.85
/proc/23357/stat : 23357 (sugar) S 23355 23357 23209 0 -1 4194304 1187 12261 3 29 3 1 171 10 16 0 1 0 30788042 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237956542562 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23357/statm: 3431 809 371 3 0 531 0
[pid=23367] ppid=23357 vsize=807376 CPUtime=20.9
/proc/23367/stat : 23367 (java) R 23357 23357 23209 0 -1 0 14954 0 1 0 1879 211 0 0 25 0 8 0 30788414 826753024 14691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073839219 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23367/statm: 201844 14691 1508 14 0 189122 0
[pid=23367/tid=23368] ppid=23357 vsize=807376 CPUtime=0.46
/proc/23367/task/23368/stat : 23368 (java) S 23357 23357 23209 0 -1 64 8701 0 0 0 44 2 0 0 16 0 8 0 30788418 826753024 14691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23367/tid=23369] ppid=23357 vsize=807376 CPUtime=0
/proc/23367/task/23369/stat : 23369 (java) S 23357 23357 23209 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30788418 826753024 14691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23367/tid=23370] ppid=23357 vsize=807376 CPUtime=0
/proc/23367/task/23370/stat : 23370 (java) S 23357 23357 23209 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30788418 826753024 14691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23367/tid=23371] ppid=23357 vsize=807376 CPUtime=0
/proc/23367/task/23371/stat : 23371 (java) S 23357 23357 23209 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 30788422 826753024 14691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23367/tid=23372] ppid=23357 vsize=807376 CPUtime=0.16
/proc/23367/task/23372/stat : 23372 (java) S 23357 23357 23209 0 -1 64 432 0 0 0 15 1 0 0 16 0 8 0 30788422 826753024 14691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23367/tid=23373] ppid=23357 vsize=807376 CPUtime=0
/proc/23367/task/23373/stat : 23373 (java) S 23357 23357 23209 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 30788422 826753024 14691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23367/tid=23374] ppid=23357 vsize=807376 CPUtime=0
/proc/23367/task/23374/stat : 23374 (java) S 23357 23357 23209 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30788422 826753024 14691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 22.75
Current children cumulated vsize (KiB) 821100
[startup+51.3123 s]
/proc/loadavg: 5.11 6.17 5.15 3/93 23382
/proc/meminfo: memFree=15536/2055920 swapFree=4192812/4192956
[pid=23357] ppid=23355 vsize=13724 CPUtime=1.85
/proc/23357/stat : 23357 (sugar) S 23355 23357 23209 0 -1 4194304 1187 12261 3 29 3 1 171 10 16 0 1 0 30788042 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237956542562 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23357/statm: 3431 809 371 3 0 531 0
[pid=23367] ppid=23357 vsize=807376 CPUtime=45.4
/proc/23367/stat : 23367 (java) R 23357 23357 23209 0 -1 0 14954 0 1 0 4032 508 0 0 25 0 8 0 30788414 826753024 14691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073850142 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23367/statm: 201844 14691 1508 14 0 189122 0
[pid=23367/tid=23368] ppid=23357 vsize=807376 CPUtime=0.46
/proc/23367/task/23368/stat : 23368 (java) S 23357 23357 23209 0 -1 64 8701 0 0 0 44 2 0 0 16 0 8 0 30788418 826753024 14691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23367/tid=23369] ppid=23357 vsize=807376 CPUtime=0
/proc/23367/task/23369/stat : 23369 (java) S 23357 23357 23209 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30788418 826753024 14691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23367/tid=23370] ppid=23357 vsize=807376 CPUtime=0
/proc/23367/task/23370/stat : 23370 (java) S 23357 23357 23209 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30788418 826753024 14691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23367/tid=23371] ppid=23357 vsize=807376 CPUtime=0
/proc/23367/task/23371/stat : 23371 (java) S 23357 23357 23209 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 30788422 826753024 14691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23367/tid=23372] ppid=23357 vsize=807376 CPUtime=0.16
/proc/23367/task/23372/stat : 23372 (java) S 23357 23357 23209 0 -1 64 432 0 0 0 15 1 0 0 16 0 8 0 30788422 826753024 14691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23367/tid=23373] ppid=23357 vsize=807376 CPUtime=0
/proc/23367/task/23373/stat : 23373 (java) S 23357 23357 23209 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 30788422 826753024 14691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23367/tid=23374] ppid=23357 vsize=807376 CPUtime=0
/proc/23367/task/23374/stat : 23374 (java) S 23357 23357 23209 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30788422 826753024 14691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 47.25
Current children cumulated vsize (KiB) 821100
[startup+102.545 s]
/proc/loadavg: 4.88 5.96 5.13 2/90 23387
/proc/meminfo: memFree=15752/2055920 swapFree=4192812/4192956
[pid=23357] ppid=23355 vsize=13724 CPUtime=1.85
/proc/23357/stat : 23357 (sugar) S 23355 23357 23209 0 -1 4194304 1187 12261 3 29 3 1 171 10 16 0 1 0 30788042 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237956542562 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23357/statm: 3431 809 371 3 0 531 0
[pid=23367] ppid=23357 vsize=807376 CPUtime=91.16
/proc/23367/stat : 23367 (java) D 23357 23357 23209 0 -1 0 14954 0 1 0 8087 1029 0 0 25 0 8 0 30788414 826753024 14691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23367/statm: 201844 14691 1508 14 0 189122 0
[pid=23367/tid=23368] ppid=23357 vsize=807376 CPUtime=0.46
/proc/23367/task/23368/stat : 23368 (java) S 23357 23357 23209 0 -1 64 8701 0 0 0 44 2 0 0 16 0 8 0 30788418 826753024 14691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23367/tid=23369] ppid=23357 vsize=807376 CPUtime=0
/proc/23367/task/23369/stat : 23369 (java) S 23357 23357 23209 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30788418 826753024 14691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23367/tid=23370] ppid=23357 vsize=807376 CPUtime=0
/proc/23367/task/23370/stat : 23370 (java) S 23357 23357 23209 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30788418 826753024 14691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23367/tid=23371] ppid=23357 vsize=807376 CPUtime=0
/proc/23367/task/23371/stat : 23371 (java) S 23357 23357 23209 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 30788422 826753024 14691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23367/tid=23372] ppid=23357 vsize=807376 CPUtime=0.16
/proc/23367/task/23372/stat : 23372 (java) S 23357 23357 23209 0 -1 64 432 0 0 0 15 1 0 0 16 0 8 0 30788422 826753024 14691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23367/tid=23373] ppid=23357 vsize=807376 CPUtime=0
/proc/23367/task/23373/stat : 23373 (java) S 23357 23357 23209 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 30788422 826753024 14691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23367/tid=23374] ppid=23357 vsize=807376 CPUtime=0
/proc/23367/task/23374/stat : 23374 (java) S 23357 23357 23209 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30788422 826753024 14691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 93.01
Current children cumulated vsize (KiB) 821100
[startup+162.598 s]
/proc/loadavg: 5.56 5.92 5.17 3/93 23393
/proc/meminfo: memFree=15792/2055920 swapFree=4192812/4192956
[pid=23357] ppid=23355 vsize=13724 CPUtime=1.85
/proc/23357/stat : 23357 (sugar) S 23355 23357 23209 0 -1 4194304 1187 12261 3 29 3 1 171 10 16 0 1 0 30788042 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237956542562 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23357/statm: 3431 809 371 3 0 531 0
[pid=23367] ppid=23357 vsize=807376 CPUtime=118.35
/proc/23367/stat : 23367 (java) R 23357 23357 23209 0 -1 0 14965 0 1 0 10528 1307 0 0 25 0 8 0 30788414 826753024 14700 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073865985 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23367/statm: 201844 14700 1510 14 0 189122 0
[pid=23367/tid=23368] ppid=23357 vsize=807376 CPUtime=0.46
/proc/23367/task/23368/stat : 23368 (java) S 23357 23357 23209 0 -1 64 8701 0 0 0 44 2 0 0 16 0 8 0 30788418 826753024 14700 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23367/tid=23369] ppid=23357 vsize=807376 CPUtime=0
/proc/23367/task/23369/stat : 23369 (java) S 23357 23357 23209 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30788418 826753024 14700 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23367/tid=23370] ppid=23357 vsize=807376 CPUtime=0
/proc/23367/task/23370/stat : 23370 (java) S 23357 23357 23209 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30788418 826753024 14700 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23367/tid=23371] ppid=23357 vsize=807376 CPUtime=0
/proc/23367/task/23371/stat : 23371 (java) S 23357 23357 23209 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 30788422 826753024 14700 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23367/tid=23372] ppid=23357 vsize=807376 CPUtime=0.18
/proc/23367/task/23372/stat : 23372 (java) S 23357 23357 23209 0 -1 64 440 0 0 0 17 1 0 0 16 0 8 0 30788422 826753024 14700 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23367/tid=23373] ppid=23357 vsize=807376 CPUtime=0
/proc/23367/task/23373/stat : 23373 (java) S 23357 23357 23209 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 30788422 826753024 14700 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23367/tid=23374] ppid=23357 vsize=807376 CPUtime=0
/proc/23367/task/23374/stat : 23374 (java) S 23357 23357 23209 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30788422 826753024 14700 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 120.2
Current children cumulated vsize (KiB) 821100
[startup+222.615 s]
/proc/loadavg: 5.31 5.89 5.21 3/82 23469
/proc/meminfo: memFree=402816/2055920 swapFree=4192812/4192956
[pid=23357] ppid=23355 vsize=13724 CPUtime=1.85
/proc/23357/stat : 23357 (sugar) S 23355 23357 23209 0 -1 4194304 1187 12261 3 29 3 1 171 10 16 0 1 0 30788042 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237956542562 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23357/statm: 3431 809 371 3 0 531 0
[pid=23367] ppid=23357 vsize=807376 CPUtime=175.86
/proc/23367/stat : 23367 (java) R 23357 23357 23209 0 -1 0 14966 0 1 0 15885 1701 0 0 25 0 8 0 30788414 826753024 14701 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152094853 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23367/statm: 201844 14701 1510 14 0 189122 0
[pid=23367/tid=23368] ppid=23357 vsize=807376 CPUtime=0.46
/proc/23367/task/23368/stat : 23368 (java) S 23357 23357 23209 0 -1 64 8701 0 0 0 44 2 0 0 16 0 8 0 30788418 826753024 14701 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23367/tid=23369] ppid=23357 vsize=807376 CPUtime=0
/proc/23367/task/23369/stat : 23369 (java) S 23357 23357 23209 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30788418 826753024 14701 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23367/tid=23370] ppid=23357 vsize=807376 CPUtime=0
/proc/23367/task/23370/stat : 23370 (java) S 23357 23357 23209 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30788418 826753024 14701 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23367/tid=23371] ppid=23357 vsize=807376 CPUtime=0
/proc/23367/task/23371/stat : 23371 (java) S 23357 23357 23209 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 30788422 826753024 14701 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23367/tid=23372] ppid=23357 vsize=807376 CPUtime=0.18
/proc/23367/task/23372/stat : 23372 (java) S 23357 23357 23209 0 -1 64 441 0 0 0 17 1 0 0 16 0 8 0 30788422 826753024 14701 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23367/tid=23373] ppid=23357 vsize=807376 CPUtime=0
/proc/23367/task/23373/stat : 23373 (java) S 23357 23357 23209 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 30788422 826753024 14701 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23367/tid=23374] ppid=23357 vsize=807376 CPUtime=0
/proc/23367/task/23374/stat : 23374 (java) S 23357 23357 23209 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30788422 826753024 14701 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 177.71
Current children cumulated vsize (KiB) 821100
[startup+282.65 s]
/proc/loadavg: 3.48 5.25 5.03 2/76 23792
/proc/meminfo: memFree=16248/2055920 swapFree=4192812/4192956
[pid=23357] ppid=23355 vsize=13724 CPUtime=1.85
/proc/23357/stat : 23357 (sugar) S 23355 23357 23209 0 -1 4194304 1187 12261 3 29 3 1 171 10 16 0 1 0 30788042 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237956542562 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23357/statm: 3431 809 371 3 0 531 0
[pid=23367] ppid=23357 vsize=807376 CPUtime=234.74
/proc/23367/stat : 23367 (java) R 23357 23357 23209 0 -1 0 16376 0 1 0 21384 2090 0 0 25 0 8 0 30788414 826753024 16110 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073865956 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23367/statm: 201844 16110 1510 14 0 189122 0
[pid=23367/tid=23368] ppid=23357 vsize=807376 CPUtime=0.48
/proc/23367/task/23368/stat : 23368 (java) S 23357 23357 23209 0 -1 64 10110 0 0 0 45 3 0 0 16 0 8 0 30788418 826753024 16110 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23367/tid=23369] ppid=23357 vsize=807376 CPUtime=0
/proc/23367/task/23369/stat : 23369 (java) S 23357 23357 23209 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30788418 826753024 16110 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23367/tid=23370] ppid=23357 vsize=807376 CPUtime=0
/proc/23367/task/23370/stat : 23370 (java) S 23357 23357 23209 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30788418 826753024 16110 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23367/tid=23371] ppid=23357 vsize=807376 CPUtime=0
/proc/23367/task/23371/stat : 23371 (java) S 23357 23357 23209 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 30788422 826753024 16110 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23367/tid=23372] ppid=23357 vsize=807376 CPUtime=0.18
/proc/23367/task/23372/stat : 23372 (java) S 23357 23357 23209 0 -1 64 441 0 0 0 17 1 0 0 16 0 8 0 30788422 826753024 16110 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23367/tid=23373] ppid=23357 vsize=807376 CPUtime=0
/proc/23367/task/23373/stat : 23373 (java) S 23357 23357 23209 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 30788422 826753024 16110 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23367/tid=23374] ppid=23357 vsize=807376 CPUtime=0
/proc/23367/task/23374/stat : 23374 (java) S 23357 23357 23209 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30788422 826753024 16110 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 236.59
Current children cumulated vsize (KiB) 821100
[startup+342.734 s]
/proc/loadavg: 4.18 5.08 4.98 3/90 23969
/proc/meminfo: memFree=15168/2055920 swapFree=4192812/4192956
[pid=23357] ppid=23355 vsize=13724 CPUtime=1.85
/proc/23357/stat : 23357 (sugar) S 23355 23357 23209 0 -1 4194304 1187 12261 3 29 3 1 171 10 16 0 1 0 30788042 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237956542562 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23357/statm: 3431 809 371 3 0 531 0
[pid=23367] ppid=23357 vsize=807376 CPUtime=293.3
/proc/23367/stat : 23367 (java) R 23357 23357 23209 0 -1 0 16376 0 1 0 26828 2502 0 0 25 0 8 0 30788414 826753024 16110 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073839609 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23367/statm: 201844 16110 1510 14 0 189122 0
[pid=23367/tid=23368] ppid=23357 vsize=807376 CPUtime=0.48
/proc/23367/task/23368/stat : 23368 (java) S 23357 23357 23209 0 -1 64 10110 0 0 0 45 3 0 0 16 0 8 0 30788418 826753024 16110 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23367/tid=23369] ppid=23357 vsize=807376 CPUtime=0
/proc/23367/task/23369/stat : 23369 (java) S 23357 23357 23209 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30788418 826753024 16110 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23367/tid=23370] ppid=23357 vsize=807376 CPUtime=0
/proc/23367/task/23370/stat : 23370 (java) S 23357 23357 23209 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30788418 826753024 16110 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23367/tid=23371] ppid=23357 vsize=807376 CPUtime=0
/proc/23367/task/23371/stat : 23371 (java) S 23357 23357 23209 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 30788422 826753024 16110 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23367/tid=23372] ppid=23357 vsize=807376 CPUtime=0.18
/proc/23367/task/23372/stat : 23372 (java) S 23357 23357 23209 0 -1 64 441 0 0 0 17 1 0 0 16 0 8 0 30788422 826753024 16110 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23367/tid=23373] ppid=23357 vsize=807376 CPUtime=0
/proc/23367/task/23373/stat : 23373 (java) S 23357 23357 23209 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 30788422 826753024 16110 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23367/tid=23374] ppid=23357 vsize=807376 CPUtime=0
/proc/23367/task/23374/stat : 23374 (java) S 23357 23357 23209 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30788422 826753024 16110 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 295.15
Current children cumulated vsize (KiB) 821100
[startup+402.785 s]
/proc/loadavg: 4.17 4.95 4.94 4/90 23969
/proc/meminfo: memFree=14848/2055920 swapFree=4192812/4192956
[pid=23357] ppid=23355 vsize=13724 CPUtime=1.85
/proc/23357/stat : 23357 (sugar) S 23355 23357 23209 0 -1 4194304 1187 12261 3 29 3 1 171 10 16 0 1 0 30788042 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237956542562 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23357/statm: 3431 809 371 3 0 531 0
[pid=23367] ppid=23357 vsize=807376 CPUtime=350.74
/proc/23367/stat : 23367 (java) R 23357 23357 23209 0 -1 0 16376 0 1 0 32160 2914 0 0 25 0 8 0 30788414 826753024 16110 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152096930 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23367/statm: 201844 16110 1510 14 0 189122 0
[pid=23367/tid=23368] ppid=23357 vsize=807376 CPUtime=0.48
/proc/23367/task/23368/stat : 23368 (java) S 23357 23357 23209 0 -1 64 10110 0 0 0 45 3 0 0 16 0 8 0 30788418 826753024 16110 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23367/tid=23369] ppid=23357 vsize=807376 CPUtime=0
/proc/23367/task/23369/stat : 23369 (java) S 23357 23357 23209 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30788418 826753024 16110 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23367/tid=23370] ppid=23357 vsize=807376 CPUtime=0
/proc/23367/task/23370/stat : 23370 (java) S 23357 23357 23209 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30788418 826753024 16110 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23367/tid=23371] ppid=23357 vsize=807376 CPUtime=0
/proc/23367/task/23371/stat : 23371 (java) S 23357 23357 23209 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 30788422 826753024 16110 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23367/tid=23372] ppid=23357 vsize=807376 CPUtime=0.18
/proc/23367/task/23372/stat : 23372 (java) S 23357 23357 23209 0 -1 64 441 0 0 0 17 1 0 0 16 0 8 0 30788422 826753024 16110 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23367/tid=23373] ppid=23357 vsize=807376 CPUtime=0
/proc/23367/task/23373/stat : 23373 (java) S 23357 23357 23209 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 30788422 826753024 16110 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23367/tid=23374] ppid=23357 vsize=807376 CPUtime=0
/proc/23367/task/23374/stat : 23374 (java) S 23357 23357 23209 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30788422 826753024 16110 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 352.59
Current children cumulated vsize (KiB) 821100
[startup+462.846 s]
/proc/loadavg: 3.31 4.56 4.81 3/83 23970
/proc/meminfo: memFree=76920/2055920 swapFree=4192812/4192956
[pid=23357] ppid=23355 vsize=13724 CPUtime=1.85
/proc/23357/stat : 23357 (sugar) S 23355 23357 23209 0 -1 4194304 1187 12261 3 29 3 1 171 10 16 0 1 0 30788042 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237956542562 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23357/statm: 3431 809 371 3 0 531 0
[pid=23367] ppid=23357 vsize=807376 CPUtime=408.35
/proc/23367/stat : 23367 (java) R 23357 23357 23209 0 -1 0 16377 0 1 0 37523 3312 0 0 25 0 8 0 30788414 826753024 16110 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073854328 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23367/statm: 201844 16110 1510 14 0 189122 0
[pid=23367/tid=23368] ppid=23357 vsize=807376 CPUtime=0.49
/proc/23367/task/23368/stat : 23368 (java) S 23357 23357 23209 0 -1 64 10110 0 0 0 46 3 0 0 16 0 8 0 30788418 826753024 16110 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23367/tid=23369] ppid=23357 vsize=807376 CPUtime=0
/proc/23367/task/23369/stat : 23369 (java) S 23357 23357 23209 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30788418 826753024 16110 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23367/tid=23370] ppid=23357 vsize=807376 CPUtime=0
/proc/23367/task/23370/stat : 23370 (java) S 23357 23357 23209 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30788418 826753024 16110 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23367/tid=23371] ppid=23357 vsize=807376 CPUtime=0
/proc/23367/task/23371/stat : 23371 (java) S 23357 23357 23209 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 30788422 826753024 16110 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23367/tid=23372] ppid=23357 vsize=807376 CPUtime=0.18
/proc/23367/task/23372/stat : 23372 (java) S 23357 23357 23209 0 -1 64 441 0 0 0 17 1 0 0 16 0 8 0 30788422 826753024 16110 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23367/tid=23373] ppid=23357 vsize=807376 CPUtime=0
/proc/23367/task/23373/stat : 23373 (java) S 23357 23357 23209 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 30788422 826753024 16110 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23367/tid=23374] ppid=23357 vsize=807376 CPUtime=0
/proc/23367/task/23374/stat : 23374 (java) S 23357 23357 23209 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30788422 826753024 16110 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 410.2
Current children cumulated vsize (KiB) 821100
Child status: 1
Real time (s): 503.461
CPU time (s): 439.553
CPU user time (s): 402.921
CPU system time (s): 36.6324
CPU usage (%): 87.3063
Max. virtual memory (cumulated for all children) (KiB): 821128
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 402.921
system time used= 36.6324
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35280
page faults= 38
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13189
involuntary context switches= 20705
runsolver used 0.6529 s user time and 1.66275 s system time
The end
Begin job on node69 on Mon Jan 29 22:05:03 UTC 2007
IDJOB= 236717
IDBENCH= 6868
IDSOLVER= 86
FILE ID= node69/236717-1170108293
PBS_JOBID= 3689933
Free space on /tmp= 62439 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/fisher/FISCHER7-5-fair.xml
COMMAND LINE= /tmp/evaluation/236717-1170108293/solver /tmp/evaluation/236717-1170108293 /tmp/evaluation/236717-1170108293/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node69/watcher-236717-1170108293 -o ROOT/results/node69/solver-236717-1170108293 -C 1800 -M 900 /tmp/evaluation/236717-1170108293/solver /tmp/evaluation/236717-1170108293 /tmp/evaluation/236717-1170108293/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= bf44f1bca0ccd763dde18385fce86ebc
RANDOM SEED= 846923321
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.261
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.261
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: 899928 kB
Buffers: 4552 kB
Cached: 154432 kB
SwapCached: 0 kB
Active: 959896 kB
Inactive: 135112 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 899928 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 14548 kB
Writeback: 21992 kB
Mapped: 952964 kB
Slab: 43136 kB
Committed_AS: 1556572 kB
PageTables: 4884 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 node69 on Mon Jan 29 22:13:27 UTC 2007