0.28 c # Sugar v0-40 (/tmp/evaluation/237029-1170108386/sugar-v0-40.jar)
0.28
0.43 c # MAIN BEGIN : /tmp/evaluation/237029-1170108386/unknown.xml [Mon Jan 29 23:06:27 2007]
0.43 c # CONVERT_XML BEGIN : /tmp/evaluation/237029-1170108386/unknown.xml /tmp/evaluation/237029-1170108386/sugar24765.csp [Mon Jan 29 23:06:28 2007]
0.43 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/237029-1170108386/sugar-v0-40.jar -convert /tmp/evaluation/237029-1170108386/unknown.xml /tmp/evaluation/237029-1170108386/sugar24765.csp
1.47 c BEGIN convert /tmp/evaluation/237029-1170108386/unknown.xml
3.30 c END convert (1.823505 seconds)
3.31 c # CONVERT_XML END : /tmp/evaluation/237029-1170108386/sugar24765.csp 501215 bytes (2 seconds) [Mon Jan 29 23:06:30 2007]
3.31 c # CONVERT_XML CPU : 1.8 = 0 + 0.01 + 1.68 + 0.11
3.31
3.31 c # GENERATE_SAT BEGIN : /tmp/evaluation/237029-1170108386/sugar24765.bcnf [Mon Jan 29 23:06:30 2007]
3.31 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/237029-1170108386/sugar-v0-40.jar -bcnf -map /tmp/evaluation/237029-1170108386/sugar24765.map /tmp/evaluation/237029-1170108386/sugar24765.csp /tmp/evaluation/237029-1170108386/sugar24765.bcnf
3.46 c BEGIN parse /tmp/evaluation/237029-1170108386/sugar24765.csp
5.27 c END parse (1.813506 seconds)
5.27 c BEGIN simplify
5.35 c END simplify (0.073226 seconds)
5.35 c BEGIN encode /tmp/evaluation/237029-1170108386/sugar24765.bcnf
466.05 c END encode (460.702424 seconds)
466.83 c # GENERATE_SAT END : 231788881 variables 641907138 clauses 8259039600 bytes (464 seconds) [Mon Jan 29 23:14:14 2007]
466.83 c # GENERATE_SAT CPU : 435.52 = 0.32 + 0.02 + 396.93 + 38.25
466.83
466.83 c # SOLVE_SAT BEGIN : /tmp/evaluation/237029-1170108386/sugar24765.bcnf [Mon Jan 29 23:14:14 2007]
466.91 c # CMD : /tmp/evaluation/237029-1170108386/minisat /tmp/evaluation/237029-1170108386/sugar24765.bcnf /tmp/evaluation/237029-1170108386/sugar24765.out
467.23 c ERROR! Could not open file: /tmp/evaluation/237029-1170108386/sugar24765.bcnf
467.24 s UNKNOWN
467.24 c # ERROR No such file or directory /tmp/evaluation/237029-1170108386/sugar24765.out, at /tmp/evaluation/237029-1170108386/sugar line 393.
467.24
467.24 c # MAIN END : (467 seconds) [Mon Jan 29 23:14:14 2007]
467.24 c # MAIN CPU : 437.32 = 0.32 + 0.03 + 398.61 + 38.36
467.24
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node29/watcher-237029-1170108386 -o ROOT/results/node29/solver-237029-1170108386 -C 1800 -M 900 /tmp/evaluation/237029-1170108386/solver /tmp/evaluation/237029-1170108386 /tmp/evaluation/237029-1170108386/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: 4.64 3.38 2.63 5/94 24766
/proc/meminfo: memFree=14920/2055920 swapFree=4192812/4192956
[pid=24765] ppid=24763 vsize=12268 CPUtime=0
/proc/24765/stat : 24765 (sugar) D 24763 24765 24700 0 -1 4194304 601 0 0 0 0 0 0 0 20 0 1 0 4602956 12562432 320 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 0 18446744071563608240 0 0 17 1 0 0
/proc/24765/statm: 3067 320 242 3 0 167 0
[startup+0.110221 s]
/proc/loadavg: 4.64 3.38 2.63 5/94 24766
/proc/meminfo: memFree=14920/2055920 swapFree=4192812/4192956
[pid=24765] ppid=24763 vsize=12668 CPUtime=0.01
/proc/24765/stat : 24765 (sugar) D 24763 24765 24700 0 -1 4194304 780 0 0 0 1 0 0 0 18 0 1 0 4602956 12972032 499 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 0 18446744071563479169 0 0 17 1 0 0
/proc/24765/statm: 3167 499 315 3 0 267 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 12668
[startup+0.519248 s]
/proc/loadavg: 4.64 3.38 2.63 5/94 24766
/proc/meminfo: memFree=14920/2055920 swapFree=4192812/4192956
[pid=24765] ppid=24763 vsize=13724 CPUtime=0.03
/proc/24765/stat : 24765 (sugar) S 24763 24765 24700 0 -1 4194304 1097 0 0 0 3 0 0 0 18 0 1 0 4602956 14053376 804 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24765/statm: 3431 804 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+1.3483 s]
/proc/loadavg: 4.64 3.38 2.63 2/96 24768
/proc/meminfo: memFree=16056/2055920 swapFree=4192812/4192956
[pid=24765] ppid=24763 vsize=13724 CPUtime=0.03
/proc/24765/stat : 24765 (sugar) S 24763 24765 24700 0 -1 4194304 1112 0 0 0 3 0 0 0 15 0 1 0 4602956 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24765/statm: 3431 805 368 3 0 531 0
[pid=24767] ppid=24765 vsize=9996 CPUtime=0
/proc/24767/stat : 24767 (java) D 24765 24765 24700 0 -1 0 689 0 9 0 0 0 0 0 18 0 1 0 4602999 10235904 458 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4133895 0 0 0 7368 18446744071563479169 0 0 17 0 0 0
/proc/24767/statm: 2499 458 373 14 0 1142 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 23720
[startup+2.9884 s]
/proc/loadavg: 4.64 3.38 2.63 4/102 24775
/proc/meminfo: memFree=14920/2055920 swapFree=4192812/4192956
[pid=24765] ppid=24763 vsize=13724 CPUtime=0.04
/proc/24765/stat : 24765 (sugar) S 24763 24765 24700 0 -1 4194304 1121 0 0 0 3 1 0 0 16 0 1 0 4602956 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24765/statm: 3431 805 368 3 0 531 0
[pid=24767] ppid=24765 vsize=807404 CPUtime=1.47
/proc/24767/stat : 24767 (java) R 24765 24765 24700 0 -1 0 11848 0 28 0 138 9 0 0 25 0 8 0 4602999 826781696 11622 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4073811541 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24767/statm: 201851 11622 1690 14 0 189129 0
[pid=24767/tid=24769] ppid=24765 vsize=807404 CPUtime=0.12
/proc/24767/task/24769/stat : 24769 (java) S 24765 24765 24700 0 -1 64 5287 0 0 0 10 2 0 0 16 0 8 0 4603095 826781696 11622 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24767/tid=24770] ppid=24765 vsize=807404 CPUtime=0
/proc/24767/task/24770/stat : 24770 (java) S 24765 24765 24700 0 -1 64 10 0 0 0 0 0 0 0 20 0 8 0 4603095 826781696 11622 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24767/tid=24771] ppid=24765 vsize=807404 CPUtime=0
/proc/24767/task/24771/stat : 24771 (java) S 24765 24765 24700 0 -1 64 4 0 0 0 0 0 0 0 21 0 8 0 4603095 826781696 11622 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24767/tid=24772] ppid=24765 vsize=807404 CPUtime=0
/proc/24767/task/24772/stat : 24772 (java) S 24765 24765 24700 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 4603099 826781696 11622 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24767/tid=24773] ppid=24765 vsize=807404 CPUtime=0.14
/proc/24767/task/24773/stat : 24773 (java) S 24765 24765 24700 0 -1 64 418 0 0 0 14 0 0 0 16 0 8 0 4603099 826781696 11622 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24767/tid=24774] ppid=24765 vsize=807404 CPUtime=0
/proc/24767/task/24774/stat : 24774 (java) S 24765 24765 24700 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 4603099 826781696 11622 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24767/tid=24775] ppid=24765 vsize=807404 CPUtime=0
/proc/24767/task/24775/stat : 24775 (java) S 24765 24765 24700 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 4603099 826781696 11622 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 821128
[startup+6.27961 s]
/proc/loadavg: 4.67 3.41 2.64 4/102 24783
/proc/meminfo: memFree=15496/2055920 swapFree=4192812/4192956
[pid=24765] ppid=24763 vsize=13724 CPUtime=1.83
/proc/24765/stat : 24765 (sugar) S 24763 24765 24700 0 -1 4194304 1190 12258 0 29 3 1 168 11 16 0 1 0 4602956 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24765/statm: 3431 809 371 3 0 531 0
[pid=24776] ppid=24765 vsize=807376 CPUtime=2.84
/proc/24776/stat : 24776 (java) R 24765 24765 24700 0 -1 0 13705 0 1 0 264 20 0 0 25 0 8 0 4603288 826753024 13444 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24776/statm: 201844 13444 1508 14 0 189122 0
[pid=24776/tid=24777] ppid=24765 vsize=807376 CPUtime=0.41
/proc/24776/task/24777/stat : 24777 (java) S 24765 24765 24700 0 -1 64 7451 0 0 0 36 5 0 0 16 0 8 0 4603294 826753024 13444 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24776/tid=24778] ppid=24765 vsize=807376 CPUtime=0
/proc/24776/task/24778/stat : 24778 (java) S 24765 24765 24700 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 4603295 826753024 13444 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24776/tid=24779] ppid=24765 vsize=807376 CPUtime=0
/proc/24776/task/24779/stat : 24779 (java) S 24765 24765 24700 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 4603295 826753024 13444 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24776/tid=24780] ppid=24765 vsize=807376 CPUtime=0
/proc/24776/task/24780/stat : 24780 (java) S 24765 24765 24700 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 4603298 826753024 13444 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24776/tid=24781] ppid=24765 vsize=807376 CPUtime=0.16
/proc/24776/task/24781/stat : 24781 (java) S 24765 24765 24700 0 -1 64 436 0 0 0 16 0 0 0 16 0 8 0 4603298 826753024 13444 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24776/tid=24782] ppid=24765 vsize=807376 CPUtime=0
/proc/24776/task/24782/stat : 24782 (java) S 24765 24765 24700 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 4603298 826753024 13444 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24776/tid=24783] ppid=24765 vsize=807376 CPUtime=0
/proc/24776/task/24783/stat : 24783 (java) S 24765 24765 24700 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 4603298 826753024 13444 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: 4.70 3.43 2.66 3/102 24783
/proc/meminfo: memFree=16080/2055920 swapFree=4192812/4192956
[pid=24765] ppid=24763 vsize=13724 CPUtime=1.83
/proc/24765/stat : 24765 (sugar) S 24763 24765 24700 0 -1 4194304 1190 12258 0 29 3 1 168 11 16 0 1 0 4602956 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24765/statm: 3431 809 371 3 0 531 0
[pid=24776] ppid=24765 vsize=807376 CPUtime=9.03
/proc/24776/stat : 24776 (java) R 24765 24765 24700 0 -1 0 13706 0 1 0 814 89 0 0 25 0 8 0 4603288 826753024 13444 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24776/statm: 201844 13444 1508 14 0 189122 0
[pid=24776/tid=24777] ppid=24765 vsize=807376 CPUtime=0.41
/proc/24776/task/24777/stat : 24777 (java) S 24765 24765 24700 0 -1 64 7451 0 0 0 36 5 0 0 16 0 8 0 4603294 826753024 13444 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24776/tid=24778] ppid=24765 vsize=807376 CPUtime=0
/proc/24776/task/24778/stat : 24778 (java) S 24765 24765 24700 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 4603295 826753024 13444 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24776/tid=24779] ppid=24765 vsize=807376 CPUtime=0
/proc/24776/task/24779/stat : 24779 (java) S 24765 24765 24700 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 4603295 826753024 13444 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24776/tid=24780] ppid=24765 vsize=807376 CPUtime=0
/proc/24776/task/24780/stat : 24780 (java) S 24765 24765 24700 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 4603298 826753024 13444 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24776/tid=24781] ppid=24765 vsize=807376 CPUtime=0.16
/proc/24776/task/24781/stat : 24781 (java) S 24765 24765 24700 0 -1 64 436 0 0 0 16 0 0 0 16 0 8 0 4603298 826753024 13444 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24776/tid=24782] ppid=24765 vsize=807376 CPUtime=0
/proc/24776/task/24782/stat : 24782 (java) S 24765 24765 24700 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 4603298 826753024 13444 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24776/tid=24783] ppid=24765 vsize=807376 CPUtime=0
/proc/24776/task/24783/stat : 24783 (java) S 24765 24765 24700 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 4603298 826753024 13444 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 10.86
Current children cumulated vsize (KiB) 821100
[startup+25.6658 s]
/proc/loadavg: 4.70 3.49 2.69 3/102 24785
/proc/meminfo: memFree=15312/2055920 swapFree=4192812/4192956
[pid=24765] ppid=24763 vsize=13724 CPUtime=1.83
/proc/24765/stat : 24765 (sugar) S 24763 24765 24700 0 -1 4194304 1190 12258 0 29 3 1 168 11 16 0 1 0 4602956 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24765/statm: 3431 809 371 3 0 531 0
[pid=24776] ppid=24765 vsize=807376 CPUtime=21.04
/proc/24776/stat : 24776 (java) R 24765 24765 24700 0 -1 0 13706 0 1 0 1882 222 0 0 25 0 8 0 4603288 826753024 13444 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24776/statm: 201844 13444 1508 14 0 189122 0
[pid=24776/tid=24777] ppid=24765 vsize=807376 CPUtime=0.41
/proc/24776/task/24777/stat : 24777 (java) S 24765 24765 24700 0 -1 64 7451 0 0 0 36 5 0 0 16 0 8 0 4603294 826753024 13444 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24776/tid=24778] ppid=24765 vsize=807376 CPUtime=0
/proc/24776/task/24778/stat : 24778 (java) S 24765 24765 24700 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 4603295 826753024 13444 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24776/tid=24779] ppid=24765 vsize=807376 CPUtime=0
/proc/24776/task/24779/stat : 24779 (java) S 24765 24765 24700 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 4603295 826753024 13444 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24776/tid=24780] ppid=24765 vsize=807376 CPUtime=0
/proc/24776/task/24780/stat : 24780 (java) S 24765 24765 24700 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 4603298 826753024 13444 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24776/tid=24781] ppid=24765 vsize=807376 CPUtime=0.16
/proc/24776/task/24781/stat : 24781 (java) S 24765 24765 24700 0 -1 64 436 0 0 0 16 0 0 0 16 0 8 0 4603298 826753024 13444 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24776/tid=24782] ppid=24765 vsize=807376 CPUtime=0
/proc/24776/task/24782/stat : 24782 (java) S 24765 24765 24700 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 4603298 826753024 13444 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24776/tid=24783] ppid=24765 vsize=807376 CPUtime=0
/proc/24776/task/24783/stat : 24783 (java) S 24765 24765 24700 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 4603298 826753024 13444 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 22.87
Current children cumulated vsize (KiB) 821100
[startup+51.3224 s]
/proc/loadavg: 4.89 3.63 2.75 3/105 24791
/proc/meminfo: memFree=15416/2055920 swapFree=4192812/4192956
[pid=24765] ppid=24763 vsize=13724 CPUtime=1.83
/proc/24765/stat : 24765 (sugar) S 24763 24765 24700 0 -1 4194304 1190 12258 0 29 3 1 168 11 16 0 1 0 4602956 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24765/statm: 3431 809 371 3 0 531 0
[pid=24776] ppid=24765 vsize=807376 CPUtime=45.89
/proc/24776/stat : 24776 (java) R 24765 24765 24700 0 -1 0 13706 0 1 0 4094 495 0 0 25 0 8 0 4603288 826753024 13444 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073853803 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24776/statm: 201844 13444 1508 14 0 189122 0
[pid=24776/tid=24777] ppid=24765 vsize=807376 CPUtime=0.41
/proc/24776/task/24777/stat : 24777 (java) S 24765 24765 24700 0 -1 64 7451 0 0 0 36 5 0 0 16 0 8 0 4603294 826753024 13444 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24776/tid=24778] ppid=24765 vsize=807376 CPUtime=0
/proc/24776/task/24778/stat : 24778 (java) S 24765 24765 24700 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 4603295 826753024 13444 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24776/tid=24779] ppid=24765 vsize=807376 CPUtime=0
/proc/24776/task/24779/stat : 24779 (java) S 24765 24765 24700 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 4603295 826753024 13444 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24776/tid=24780] ppid=24765 vsize=807376 CPUtime=0
/proc/24776/task/24780/stat : 24780 (java) S 24765 24765 24700 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 4603298 826753024 13444 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24776/tid=24781] ppid=24765 vsize=807376 CPUtime=0.16
/proc/24776/task/24781/stat : 24781 (java) S 24765 24765 24700 0 -1 64 436 0 0 0 16 0 0 0 16 0 8 0 4603298 826753024 13444 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24776/tid=24782] ppid=24765 vsize=807376 CPUtime=0
/proc/24776/task/24782/stat : 24782 (java) S 24765 24765 24700 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 4603298 826753024 13444 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24776/tid=24783] ppid=24765 vsize=807376 CPUtime=0
/proc/24776/task/24783/stat : 24783 (java) S 24765 24765 24700 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 4603298 826753024 13444 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 47.72
Current children cumulated vsize (KiB) 821100
[startup+102.569 s]
/proc/loadavg: 7.11 4.41 3.06 3/106 24798
/proc/meminfo: memFree=16112/2055920 swapFree=4192812/4192956
[pid=24765] ppid=24763 vsize=13724 CPUtime=1.83
/proc/24765/stat : 24765 (sugar) S 24763 24765 24700 0 -1 4194304 1190 12258 0 29 3 1 168 11 16 0 1 0 4602956 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24765/statm: 3431 809 371 3 0 531 0
[pid=24776] ppid=24765 vsize=807376 CPUtime=94.86
/proc/24776/stat : 24776 (java) R 24765 24765 24700 0 -1 0 15965 0 1 0 8342 1144 0 0 25 0 8 0 4603288 826753024 15702 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073849182 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24776/statm: 201844 15702 1508 14 0 189122 0
[pid=24776/tid=24777] ppid=24765 vsize=807376 CPUtime=0.48
/proc/24776/task/24777/stat : 24777 (java) S 24765 24765 24700 0 -1 64 9709 0 0 0 42 6 0 0 16 0 8 0 4603294 826753024 15702 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24776/tid=24778] ppid=24765 vsize=807376 CPUtime=0
/proc/24776/task/24778/stat : 24778 (java) S 24765 24765 24700 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 4603295 826753024 15702 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24776/tid=24779] ppid=24765 vsize=807376 CPUtime=0
/proc/24776/task/24779/stat : 24779 (java) S 24765 24765 24700 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 4603295 826753024 15702 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24776/tid=24780] ppid=24765 vsize=807376 CPUtime=0
/proc/24776/task/24780/stat : 24780 (java) S 24765 24765 24700 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 4603298 826753024 15702 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24776/tid=24781] ppid=24765 vsize=807376 CPUtime=0.16
/proc/24776/task/24781/stat : 24781 (java) S 24765 24765 24700 0 -1 64 436 0 0 0 16 0 0 0 16 0 8 0 4603298 826753024 15702 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24776/tid=24782] ppid=24765 vsize=807376 CPUtime=0
/proc/24776/task/24782/stat : 24782 (java) S 24765 24765 24700 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 4603298 826753024 15702 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24776/tid=24783] ppid=24765 vsize=807376 CPUtime=0
/proc/24776/task/24783/stat : 24783 (java) S 24765 24765 24700 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 4603298 826753024 15702 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 96.69
Current children cumulated vsize (KiB) 821100
[startup+162.578 s]
/proc/loadavg: 9.79 5.61 3.55 3/107 24811
/proc/meminfo: memFree=14888/2055920 swapFree=4192812/4192956
[pid=24765] ppid=24763 vsize=13724 CPUtime=1.83
/proc/24765/stat : 24765 (sugar) S 24763 24765 24700 0 -1 4194304 1190 12258 0 29 3 1 168 11 16 0 1 0 4602956 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24765/statm: 3431 809 371 3 0 531 0
[pid=24776] ppid=24765 vsize=807376 CPUtime=145.77
/proc/24776/stat : 24776 (java) R 24765 24765 24700 0 -1 0 15975 0 1 0 12994 1583 0 0 25 0 8 0 4603288 826753024 15711 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24776/statm: 201844 15711 1510 14 0 189122 0
[pid=24776/tid=24777] ppid=24765 vsize=807376 CPUtime=0.48
/proc/24776/task/24777/stat : 24777 (java) S 24765 24765 24700 0 -1 64 9709 0 0 0 42 6 0 0 16 0 8 0 4603294 826753024 15711 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24776/tid=24778] ppid=24765 vsize=807376 CPUtime=0
/proc/24776/task/24778/stat : 24778 (java) S 24765 24765 24700 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 4603295 826753024 15711 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24776/tid=24779] ppid=24765 vsize=807376 CPUtime=0
/proc/24776/task/24779/stat : 24779 (java) S 24765 24765 24700 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 4603295 826753024 15711 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24776/tid=24780] ppid=24765 vsize=807376 CPUtime=0
/proc/24776/task/24780/stat : 24780 (java) S 24765 24765 24700 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 4603298 826753024 15711 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24776/tid=24781] ppid=24765 vsize=807376 CPUtime=0.17
/proc/24776/task/24781/stat : 24781 (java) S 24765 24765 24700 0 -1 64 444 0 0 0 17 0 0 0 16 0 8 0 4603298 826753024 15711 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24776/tid=24782] ppid=24765 vsize=807376 CPUtime=0
/proc/24776/task/24782/stat : 24782 (java) S 24765 24765 24700 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 4603298 826753024 15711 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24776/tid=24783] ppid=24765 vsize=807376 CPUtime=0
/proc/24776/task/24783/stat : 24783 (java) S 24765 24765 24700 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 4603298 826753024 15711 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 147.6
Current children cumulated vsize (KiB) 821100
[startup+222.595 s]
/proc/loadavg: 10.14 6.45 3.97 3/106 24833
/proc/meminfo: memFree=14896/2055920 swapFree=4192812/4192956
[pid=24765] ppid=24763 vsize=13724 CPUtime=1.83
/proc/24765/stat : 24765 (sugar) S 24763 24765 24700 0 -1 4194304 1190 12258 0 29 3 1 168 11 16 0 1 0 4602956 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24765/statm: 3431 809 371 3 0 531 0
[pid=24776] ppid=24765 vsize=807376 CPUtime=203.67
/proc/24776/stat : 24776 (java) R 24765 24765 24700 0 -1 0 15976 0 1 0 18367 2000 0 0 25 0 8 0 4603288 826753024 15712 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073849630 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24776/statm: 201844 15712 1510 14 0 189122 0
[pid=24776/tid=24777] ppid=24765 vsize=807376 CPUtime=0.48
/proc/24776/task/24777/stat : 24777 (java) S 24765 24765 24700 0 -1 64 9709 0 0 0 42 6 0 0 16 0 8 0 4603294 826753024 15712 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24776/tid=24778] ppid=24765 vsize=807376 CPUtime=0
/proc/24776/task/24778/stat : 24778 (java) S 24765 24765 24700 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 4603295 826753024 15712 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24776/tid=24779] ppid=24765 vsize=807376 CPUtime=0
/proc/24776/task/24779/stat : 24779 (java) S 24765 24765 24700 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 4603295 826753024 15712 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24776/tid=24780] ppid=24765 vsize=807376 CPUtime=0
/proc/24776/task/24780/stat : 24780 (java) S 24765 24765 24700 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 4603298 826753024 15712 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24776/tid=24781] ppid=24765 vsize=807376 CPUtime=0.18
/proc/24776/task/24781/stat : 24781 (java) S 24765 24765 24700 0 -1 64 445 0 0 0 18 0 0 0 16 0 8 0 4603298 826753024 15712 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24776/tid=24782] ppid=24765 vsize=807376 CPUtime=0
/proc/24776/task/24782/stat : 24782 (java) S 24765 24765 24700 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 4603298 826753024 15712 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24776/tid=24783] ppid=24765 vsize=807376 CPUtime=0
/proc/24776/task/24783/stat : 24783 (java) S 24765 24765 24700 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 4603298 826753024 15712 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 205.5
Current children cumulated vsize (KiB) 821100
[startup+282.624 s]
/proc/loadavg: 10.74 7.28 4.41 3/108 24857
/proc/meminfo: memFree=16224/2055920 swapFree=4192812/4192956
[pid=24765] ppid=24763 vsize=13724 CPUtime=1.83
/proc/24765/stat : 24765 (sugar) S 24763 24765 24700 0 -1 4194304 1190 12258 0 29 3 1 168 11 16 0 1 0 4602956 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24765/statm: 3431 809 371 3 0 531 0
[pid=24776] ppid=24765 vsize=807376 CPUtime=261.35
/proc/24776/stat : 24776 (java) R 24765 24765 24700 0 -1 0 15976 0 1 0 23679 2456 0 0 25 0 8 0 4603288 826753024 15712 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24776/statm: 201844 15712 1510 14 0 189122 0
[pid=24776/tid=24777] ppid=24765 vsize=807376 CPUtime=0.48
/proc/24776/task/24777/stat : 24777 (java) S 24765 24765 24700 0 -1 64 9709 0 0 0 42 6 0 0 16 0 8 0 4603294 826753024 15712 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24776/tid=24778] ppid=24765 vsize=807376 CPUtime=0
/proc/24776/task/24778/stat : 24778 (java) S 24765 24765 24700 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 4603295 826753024 15712 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24776/tid=24779] ppid=24765 vsize=807376 CPUtime=0
/proc/24776/task/24779/stat : 24779 (java) S 24765 24765 24700 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 4603295 826753024 15712 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24776/tid=24780] ppid=24765 vsize=807376 CPUtime=0
/proc/24776/task/24780/stat : 24780 (java) S 24765 24765 24700 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 4603298 826753024 15712 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24776/tid=24781] ppid=24765 vsize=807376 CPUtime=0.18
/proc/24776/task/24781/stat : 24781 (java) S 24765 24765 24700 0 -1 64 445 0 0 0 18 0 0 0 16 0 8 0 4603298 826753024 15712 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24776/tid=24782] ppid=24765 vsize=807376 CPUtime=0
/proc/24776/task/24782/stat : 24782 (java) S 24765 24765 24700 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 4603298 826753024 15712 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24776/tid=24783] ppid=24765 vsize=807376 CPUtime=0
/proc/24776/task/24783/stat : 24783 (java) S 24765 24765 24700 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 4603298 826753024 15712 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 263.18
Current children cumulated vsize (KiB) 821100
[startup+342.665 s]
/proc/loadavg: 10.07 7.75 4.75 3/109 24879
/proc/meminfo: memFree=15064/2055920 swapFree=4192812/4192956
[pid=24765] ppid=24763 vsize=13724 CPUtime=1.83
/proc/24765/stat : 24765 (sugar) S 24763 24765 24700 0 -1 4194304 1190 12258 0 29 3 1 168 11 16 0 1 0 4602956 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24765/statm: 3431 809 371 3 0 531 0
[pid=24776] ppid=24765 vsize=807376 CPUtime=318.76
/proc/24776/stat : 24776 (java) R 24765 24765 24700 0 -1 0 16362 0 1 0 28967 2909 0 0 25 0 8 0 4603288 826753024 16097 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073849630 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24776/statm: 201844 16097 1510 14 0 189122 0
[pid=24776/tid=24777] ppid=24765 vsize=807376 CPUtime=0.5
/proc/24776/task/24777/stat : 24777 (java) S 24765 24765 24700 0 -1 64 10094 0 0 0 44 6 0 0 16 0 8 0 4603294 826753024 16097 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24776/tid=24778] ppid=24765 vsize=807376 CPUtime=0
/proc/24776/task/24778/stat : 24778 (java) S 24765 24765 24700 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 4603295 826753024 16097 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24776/tid=24779] ppid=24765 vsize=807376 CPUtime=0
/proc/24776/task/24779/stat : 24779 (java) S 24765 24765 24700 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 4603295 826753024 16097 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24776/tid=24780] ppid=24765 vsize=807376 CPUtime=0
/proc/24776/task/24780/stat : 24780 (java) S 24765 24765 24700 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 4603298 826753024 16097 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24776/tid=24781] ppid=24765 vsize=807376 CPUtime=0.18
/proc/24776/task/24781/stat : 24781 (java) S 24765 24765 24700 0 -1 64 445 0 0 0 18 0 0 0 16 0 8 0 4603298 826753024 16097 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24776/tid=24782] ppid=24765 vsize=807376 CPUtime=0
/proc/24776/task/24782/stat : 24782 (java) S 24765 24765 24700 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 4603298 826753024 16097 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24776/tid=24783] ppid=24765 vsize=807376 CPUtime=0
/proc/24776/task/24783/stat : 24783 (java) S 24765 24765 24700 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 4603298 826753024 16097 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 320.59
Current children cumulated vsize (KiB) 821100
[startup+402.669 s]
/proc/loadavg: 7.53 7.50 4.85 3/106 24897
/proc/meminfo: memFree=16168/2055920 swapFree=4192812/4192956
[pid=24765] ppid=24763 vsize=13724 CPUtime=1.83
/proc/24765/stat : 24765 (sugar) S 24763 24765 24700 0 -1 4194304 1190 12258 0 29 3 1 168 11 16 0 1 0 4602956 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24765/statm: 3431 809 371 3 0 531 0
[pid=24776] ppid=24765 vsize=807376 CPUtime=376.49
/proc/24776/stat : 24776 (java) R 24765 24765 24700 0 -1 0 16362 0 1 0 34279 3370 0 0 25 0 8 0 4603288 826753024 16097 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073849182 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24776/statm: 201844 16097 1510 14 0 189122 0
[pid=24776/tid=24777] ppid=24765 vsize=807376 CPUtime=0.5
/proc/24776/task/24777/stat : 24777 (java) S 24765 24765 24700 0 -1 64 10094 0 0 0 44 6 0 0 16 0 8 0 4603294 826753024 16097 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24776/tid=24778] ppid=24765 vsize=807376 CPUtime=0
/proc/24776/task/24778/stat : 24778 (java) S 24765 24765 24700 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 4603295 826753024 16097 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24776/tid=24779] ppid=24765 vsize=807376 CPUtime=0
/proc/24776/task/24779/stat : 24779 (java) S 24765 24765 24700 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 4603295 826753024 16097 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24776/tid=24780] ppid=24765 vsize=807376 CPUtime=0
/proc/24776/task/24780/stat : 24780 (java) S 24765 24765 24700 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 4603298 826753024 16097 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24776/tid=24781] ppid=24765 vsize=807376 CPUtime=0.18
/proc/24776/task/24781/stat : 24781 (java) S 24765 24765 24700 0 -1 64 445 0 0 0 18 0 0 0 16 0 8 0 4603298 826753024 16097 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24776/tid=24782] ppid=24765 vsize=807376 CPUtime=0
/proc/24776/task/24782/stat : 24782 (java) S 24765 24765 24700 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 4603298 826753024 16097 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24776/tid=24783] ppid=24765 vsize=807376 CPUtime=0
/proc/24776/task/24783/stat : 24783 (java) R 24765 24765 24700 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 4603298 826753024 16097 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 378.32
Current children cumulated vsize (KiB) 821100
[startup+462.681 s]
/proc/loadavg: 4.59 6.68 4.73 3/110 24919
/proc/meminfo: memFree=16072/2055920 swapFree=4192812/4192956
[pid=24765] ppid=24763 vsize=13724 CPUtime=1.83
/proc/24765/stat : 24765 (sugar) S 24763 24765 24700 0 -1 4194304 1190 12258 0 29 3 1 168 11 16 0 1 0 4602956 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24765/statm: 3431 809 371 3 0 531 0
[pid=24776] ppid=24765 vsize=807376 CPUtime=433.91
/proc/24776/stat : 24776 (java) R 24765 24765 24700 0 -1 0 16362 0 1 0 39577 3814 0 0 25 0 8 0 4603288 826753024 16097 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073838876 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24776/statm: 201844 16097 1510 14 0 189122 0
[pid=24776/tid=24777] ppid=24765 vsize=807376 CPUtime=0.5
/proc/24776/task/24777/stat : 24777 (java) S 24765 24765 24700 0 -1 64 10094 0 0 0 44 6 0 0 16 0 8 0 4603294 826753024 16097 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24776/tid=24778] ppid=24765 vsize=807376 CPUtime=0
/proc/24776/task/24778/stat : 24778 (java) S 24765 24765 24700 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 4603295 826753024 16097 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24776/tid=24779] ppid=24765 vsize=807376 CPUtime=0
/proc/24776/task/24779/stat : 24779 (java) S 24765 24765 24700 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 4603295 826753024 16097 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24776/tid=24780] ppid=24765 vsize=807376 CPUtime=0
/proc/24776/task/24780/stat : 24780 (java) S 24765 24765 24700 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 4603298 826753024 16097 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24776/tid=24781] ppid=24765 vsize=807376 CPUtime=0.18
/proc/24776/task/24781/stat : 24781 (java) S 24765 24765 24700 0 -1 64 445 0 0 0 18 0 0 0 16 0 8 0 4603298 826753024 16097 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24776/tid=24782] ppid=24765 vsize=807376 CPUtime=0
/proc/24776/task/24782/stat : 24782 (java) S 24765 24765 24700 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 4603298 826753024 16097 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24776/tid=24783] ppid=24765 vsize=807376 CPUtime=0
/proc/24776/task/24783/stat : 24783 (java) S 24765 24765 24700 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 4603298 826753024 16097 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 435.74
Current children cumulated vsize (KiB) 821100
Child status: 1
Real time (s): 500.319
CPU time (s): 438.397
CPU user time (s): 398.967
CPU system time (s): 39.43
CPU usage (%): 87.6235
Max. virtual memory (cumulated for all children) (KiB): 821128
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 398.967
system time used= 39.43
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35248
page faults= 41
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13053
involuntary context switches= 31038
runsolver used 0.676897 s user time and 1.89471 s system time
The end
Begin job on node29 on Mon Jan 29 22:06:27 UTC 2007
IDJOB= 237029
IDBENCH= 6892
IDSOLVER= 86
FILE ID= node29/237029-1170108386
PBS_JOBID= 3689941
Free space on /tmp= 61830 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/fisher/FISCHER4-9-fair.xml
COMMAND LINE= /tmp/evaluation/237029-1170108386/solver /tmp/evaluation/237029-1170108386 /tmp/evaluation/237029-1170108386/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node29/watcher-237029-1170108386 -o ROOT/results/node29/solver-237029-1170108386 -C 1800 -M 900 /tmp/evaluation/237029-1170108386/solver /tmp/evaluation/237029-1170108386 /tmp/evaluation/237029-1170108386/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= 85c45fb119102a6d0e2cec3da525c021
RANDOM SEED= 391877390
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.209
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 : 5931.00
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.209
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: 15720 kB
Buffers: 8496 kB
Cached: 1725980 kB
SwapCached: 0 kB
Active: 216768 kB
Inactive: 1724352 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 15720 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 393036 kB
Writeback: 0 kB
Mapped: 208528 kB
Slab: 83488 kB
Committed_AS: 673088 kB
PageTables: 2484 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= 54526 MiB
End job on node29 on Mon Jan 29 22:14:48 UTC 2007