0.05 c # Sugar v0-40 (/tmp/evaluation/236171-1170107973/sugar-v0-40.jar)
0.05
0.05 c # MAIN BEGIN : /tmp/evaluation/236171-1170107973/unknown.xml [Mon Jan 29 22:59:33 2007]
0.05 c # CONVERT_XML BEGIN : /tmp/evaluation/236171-1170107973/unknown.xml /tmp/evaluation/236171-1170107973/sugar22934.csp [Mon Jan 29 22:59:33 2007]
0.05 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/236171-1170107973/sugar-v0-40.jar -convert /tmp/evaluation/236171-1170107973/unknown.xml /tmp/evaluation/236171-1170107973/sugar22934.csp
0.17 c BEGIN convert /tmp/evaluation/236171-1170107973/unknown.xml
2.36 c END convert (2.181177 seconds)
2.38 c # CONVERT_XML END : /tmp/evaluation/236171-1170107973/sugar22934.csp 639601 bytes (3 seconds) [Mon Jan 29 22:59:36 2007]
2.38 c # CONVERT_XML CPU : 2.29 = 0 + 0 + 2.2 + 0.09
2.38
2.38 c # GENERATE_SAT BEGIN : /tmp/evaluation/236171-1170107973/sugar22934.bcnf [Mon Jan 29 22:59:36 2007]
2.38 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/236171-1170107973/sugar-v0-40.jar -bcnf -map /tmp/evaluation/236171-1170107973/sugar22934.map /tmp/evaluation/236171-1170107973/sugar22934.csp /tmp/evaluation/236171-1170107973/sugar22934.bcnf
2.50 c BEGIN parse /tmp/evaluation/236171-1170107973/sugar22934.csp
4.86 c END parse (2.360023 seconds)
4.86 c BEGIN simplify
4.91 c END simplify (0.050995 seconds)
4.91 c BEGIN encode /tmp/evaluation/236171-1170107973/sugar22934.bcnf
589.30 c END encode (584.382863 seconds)
590.16 c # GENERATE_SAT END : 290185623 variables 804430663 clauses 10350509840 bytes (587 seconds) [Mon Jan 29 23:09:23 2007]
590.16 c # GENERATE_SAT CPU : 555.71 = 0.39 + 0.04 + 507.59 + 47.69
590.16
590.16 c # SOLVE_SAT BEGIN : /tmp/evaluation/236171-1170107973/sugar22934.bcnf [Mon Jan 29 23:09:23 2007]
590.16 c # CMD : /tmp/evaluation/236171-1170107973/minisat /tmp/evaluation/236171-1170107973/sugar22934.bcnf /tmp/evaluation/236171-1170107973/sugar22934.out
590.66 c ERROR! Could not open file: /tmp/evaluation/236171-1170107973/sugar22934.bcnf
590.66 s UNKNOWN
590.66 c # ERROR No such file or directory /tmp/evaluation/236171-1170107973/sugar22934.out, at /tmp/evaluation/236171-1170107973/sugar line 393.
590.66
590.66 c # MAIN END : (591 seconds) [Mon Jan 29 23:09:24 2007]
590.66 c # MAIN CPU : 558.01 = 0.39 + 0.04 + 509.79 + 47.79
590.66
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node20/watcher-236171-1170107973 -o ROOT/results/node20/solver-236171-1170107973 -C 1800 -M 900 /tmp/evaluation/236171-1170107973/solver /tmp/evaluation/236171-1170107973 /tmp/evaluation/236171-1170107973/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 1.93 1.99 2.09 3/87 22935
/proc/meminfo: memFree=1770520/2055920 swapFree=4192812/4192956
[pid=22934] ppid=22932 vsize=18540 CPUtime=0
/proc/22934/stat : 22934 (runsolver) R 22932 22934 22602 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 30751303 18984960 279 18446744073709551615 4194304 4267372 548682069040 18446744073709551615 273952599335 0 0 4096 24578 0 0 0 17 1 0 0
/proc/22934/statm: 4635 279 244 17 0 2626 0
[startup+0.102244 s]
/proc/loadavg: 1.93 1.99 2.09 3/87 22935
/proc/meminfo: memFree=1770520/2055920 swapFree=4192812/4192956
[pid=22934] ppid=22932 vsize=13724 CPUtime=0.04
/proc/22934/stat : 22934 (sugar) S 22932 22934 22602 0 -1 4194304 1112 0 0 0 3 1 0 0 18 0 1 0 30751303 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 273961496674 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22934/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+0.510294 s]
/proc/loadavg: 1.93 1.99 2.09 3/87 22935
/proc/meminfo: memFree=1770520/2055920 swapFree=4192812/4192956
[pid=22934] ppid=22932 vsize=13724 CPUtime=0.04
/proc/22934/stat : 22934 (sugar) S 22932 22934 22602 0 -1 4194304 1121 0 0 0 3 1 0 0 15 0 1 0 30751303 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 273961496674 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22934/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+1.33339 s]
/proc/loadavg: 1.93 1.99 2.09 5/95 22943
/proc/meminfo: memFree=1727832/2055920 swapFree=4192812/4192956
[pid=22934] ppid=22932 vsize=13724 CPUtime=0.04
/proc/22934/stat : 22934 (sugar) S 22932 22934 22602 0 -1 4194304 1121 0 0 0 3 1 0 0 15 0 1 0 30751303 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 273961496674 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22934/statm: 3431 805 368 3 0 531 0
[pid=22936] ppid=22934 vsize=807404 CPUtime=1.26
/proc/22936/stat : 22936 (java) R 22934 22934 22602 0 -1 0 12096 0 1 0 119 7 0 0 19 0 8 0 30751309 826781696 11843 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4073811546 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22936/statm: 201851 11843 1690 14 0 189129 0
[pid=22936/tid=22937] ppid=22934 vsize=807404 CPUtime=0.13
/proc/22936/task/22937/stat : 22937 (java) S 22934 22934 22602 0 -1 64 5508 0 0 0 11 2 0 0 16 0 8 0 30751312 826781696 11843 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22936/tid=22938] ppid=22934 vsize=807404 CPUtime=0
/proc/22936/task/22938/stat : 22938 (java) S 22934 22934 22602 0 -1 64 9 0 0 0 0 0 0 0 19 0 8 0 30751313 826781696 11843 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22936/tid=22939] ppid=22934 vsize=807404 CPUtime=0
/proc/22936/task/22939/stat : 22939 (java) S 22934 22934 22602 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 30751313 826781696 11843 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22936/tid=22940] ppid=22934 vsize=807404 CPUtime=0
/proc/22936/task/22940/stat : 22940 (java) S 22934 22934 22602 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30751316 826781696 11843 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22936/tid=22941] ppid=22934 vsize=807404 CPUtime=0.16
/proc/22936/task/22941/stat : 22941 (java) R 22934 22934 22602 0 -1 64 418 0 0 0 16 0 0 0 20 0 8 0 30751316 826781696 11843 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22936/tid=22942] ppid=22934 vsize=807404 CPUtime=0
/proc/22936/task/22942/stat : 22942 (java) S 22934 22934 22602 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30751316 826781696 11843 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22936/tid=22943] ppid=22934 vsize=807404 CPUtime=0
/proc/22936/task/22943/stat : 22943 (java) S 22934 22934 22602 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30751316 826781696 11843 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 821128
[startup+2.9766 s]
/proc/loadavg: 1.93 1.99 2.09 3/95 22943
/proc/meminfo: memFree=1721752/2055920 swapFree=4192812/4192956
[pid=22934] ppid=22932 vsize=13724 CPUtime=2.33
/proc/22934/stat : 22934 (sugar) S 22932 22934 22602 0 -1 4194304 1190 13902 0 1 3 1 220 9 15 0 1 0 30751303 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 273961496674 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22934/statm: 3431 809 371 3 0 531 0
Current children cumulated CPU time (s) 2.33
Current children cumulated vsize (KiB) 13724
[startup+6.18002 s]
/proc/loadavg: 1.93 1.99 2.09 3/95 22951
/proc/meminfo: memFree=1690072/2055920 swapFree=4192812/4192956
[pid=22934] ppid=22932 vsize=13724 CPUtime=2.33
/proc/22934/stat : 22934 (sugar) S 22932 22934 22602 0 -1 4194304 1190 13902 0 1 3 1 220 9 16 0 1 0 30751303 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 273961496674 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22934/statm: 3431 809 371 3 0 531 0
[pid=22944] ppid=22934 vsize=807376 CPUtime=3.76
/proc/22944/stat : 22944 (java) R 22934 22934 22602 0 -1 0 17043 0 1 0 354 22 0 0 25 0 8 0 30751542 826753024 16777 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073850654 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22944/statm: 201844 16777 1508 14 0 189122 0
[pid=22944/tid=22945] ppid=22934 vsize=807376 CPUtime=0.64
/proc/22944/task/22945/stat : 22945 (java) S 22934 22934 22602 0 -1 64 10783 0 0 0 59 5 0 0 17 0 8 0 30751545 826753024 16777 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22944/tid=22946] ppid=22934 vsize=807376 CPUtime=0
/proc/22944/task/22946/stat : 22946 (java) S 22934 22934 22602 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30751545 826753024 16777 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22944/tid=22947] ppid=22934 vsize=807376 CPUtime=0
/proc/22944/task/22947/stat : 22947 (java) S 22934 22934 22602 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30751545 826753024 16777 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22944/tid=22948] ppid=22934 vsize=807376 CPUtime=0
/proc/22944/task/22948/stat : 22948 (java) S 22934 22934 22602 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30751549 826753024 16777 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22944/tid=22949] ppid=22934 vsize=807376 CPUtime=0.18
/proc/22944/task/22949/stat : 22949 (java) S 22934 22934 22602 0 -1 64 437 0 0 0 17 1 0 0 16 0 8 0 30751549 826753024 16777 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22944/tid=22950] ppid=22934 vsize=807376 CPUtime=0
/proc/22944/task/22950/stat : 22950 (java) S 22934 22934 22602 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30751549 826753024 16777 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22944/tid=22951] ppid=22934 vsize=807376 CPUtime=0
/proc/22944/task/22951/stat : 22951 (java) S 22934 22934 22602 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30751549 826753024 16777 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.09
Current children cumulated vsize (KiB) 821100
[startup+12.6678 s]
/proc/loadavg: 1.94 1.99 2.09 3/95 22951
/proc/meminfo: memFree=1509848/2055920 swapFree=4192812/4192956
[pid=22934] ppid=22932 vsize=13724 CPUtime=2.33
/proc/22934/stat : 22934 (sugar) S 22932 22934 22602 0 -1 4194304 1190 13902 0 1 3 1 220 9 16 0 1 0 30751303 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 273961496674 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22934/statm: 3431 809 371 3 0 531 0
[pid=22944] ppid=22934 vsize=807376 CPUtime=10.15
/proc/22944/stat : 22944 (java) R 22934 22934 22602 0 -1 0 17043 0 1 0 912 103 0 0 25 0 8 0 30751542 826753024 16777 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073850654 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22944/statm: 201844 16777 1508 14 0 189122 0
[pid=22944/tid=22945] ppid=22934 vsize=807376 CPUtime=0.64
/proc/22944/task/22945/stat : 22945 (java) S 22934 22934 22602 0 -1 64 10783 0 0 0 59 5 0 0 16 0 8 0 30751545 826753024 16777 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22944/tid=22946] ppid=22934 vsize=807376 CPUtime=0
/proc/22944/task/22946/stat : 22946 (java) S 22934 22934 22602 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30751545 826753024 16777 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22944/tid=22947] ppid=22934 vsize=807376 CPUtime=0
/proc/22944/task/22947/stat : 22947 (java) S 22934 22934 22602 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30751545 826753024 16777 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22944/tid=22948] ppid=22934 vsize=807376 CPUtime=0
/proc/22944/task/22948/stat : 22948 (java) S 22934 22934 22602 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30751549 826753024 16777 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22944/tid=22949] ppid=22934 vsize=807376 CPUtime=0.18
/proc/22944/task/22949/stat : 22949 (java) S 22934 22934 22602 0 -1 64 437 0 0 0 17 1 0 0 16 0 8 0 30751549 826753024 16777 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22944/tid=22950] ppid=22934 vsize=807376 CPUtime=0
/proc/22944/task/22950/stat : 22950 (java) S 22934 22934 22602 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30751549 826753024 16777 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22944/tid=22951] ppid=22934 vsize=807376 CPUtime=0
/proc/22944/task/22951/stat : 22951 (java) S 22934 22934 22602 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30751549 826753024 16777 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.48
Current children cumulated vsize (KiB) 821100
[startup+25.5433 s]
/proc/loadavg: 2.02 2.00 2.09 3/97 22956
/proc/meminfo: memFree=1186504/2055920 swapFree=4192812/4192956
[pid=22934] ppid=22932 vsize=13724 CPUtime=2.33
/proc/22934/stat : 22934 (sugar) S 22932 22934 22602 0 -1 4194304 1190 13902 0 1 3 1 220 9 16 0 1 0 30751303 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 273961496674 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22934/statm: 3431 809 371 3 0 531 0
[pid=22944] ppid=22934 vsize=807376 CPUtime=22.69
/proc/22944/stat : 22944 (java) R 22934 22934 22602 0 -1 0 17043 0 1 0 2021 248 0 0 25 0 8 0 30751542 826753024 16777 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073855260 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22944/statm: 201844 16777 1508 14 0 189122 0
[pid=22944/tid=22945] ppid=22934 vsize=807376 CPUtime=0.64
/proc/22944/task/22945/stat : 22945 (java) S 22934 22934 22602 0 -1 64 10783 0 0 0 59 5 0 0 16 0 8 0 30751545 826753024 16777 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22944/tid=22946] ppid=22934 vsize=807376 CPUtime=0
/proc/22944/task/22946/stat : 22946 (java) S 22934 22934 22602 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30751545 826753024 16777 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22944/tid=22947] ppid=22934 vsize=807376 CPUtime=0
/proc/22944/task/22947/stat : 22947 (java) S 22934 22934 22602 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30751545 826753024 16777 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22944/tid=22948] ppid=22934 vsize=807376 CPUtime=0
/proc/22944/task/22948/stat : 22948 (java) S 22934 22934 22602 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30751549 826753024 16777 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22944/tid=22949] ppid=22934 vsize=807376 CPUtime=0.18
/proc/22944/task/22949/stat : 22949 (java) S 22934 22934 22602 0 -1 64 437 0 0 0 17 1 0 0 16 0 8 0 30751549 826753024 16777 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22944/tid=22950] ppid=22934 vsize=807376 CPUtime=0
/proc/22944/task/22950/stat : 22950 (java) S 22934 22934 22602 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30751549 826753024 16777 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22944/tid=22951] ppid=22934 vsize=807376 CPUtime=0
/proc/22944/task/22951/stat : 22951 (java) S 22934 22934 22602 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30751549 826753024 16777 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.02
Current children cumulated vsize (KiB) 821100
[startup+51.2382 s]
/proc/loadavg: 2.29 2.07 2.11 3/96 22964
/proc/meminfo: memFree=517008/2055920 swapFree=4192812/4192956
[pid=22934] ppid=22932 vsize=13724 CPUtime=2.33
/proc/22934/stat : 22934 (sugar) S 22932 22934 22602 0 -1 4194304 1190 13902 0 1 3 1 220 9 16 0 1 0 30751303 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 273961496674 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22934/statm: 3431 809 371 3 0 531 0
[pid=22944] ppid=22934 vsize=807376 CPUtime=47.61
/proc/22944/stat : 22944 (java) R 22934 22934 22602 0 -1 0 17043 0 1 0 4238 523 0 0 25 0 8 0 30751542 826753024 16777 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22944/statm: 201844 16777 1508 14 0 189122 0
[pid=22944/tid=22945] ppid=22934 vsize=807376 CPUtime=0.64
/proc/22944/task/22945/stat : 22945 (java) S 22934 22934 22602 0 -1 64 10783 0 0 0 59 5 0 0 16 0 8 0 30751545 826753024 16777 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22944/tid=22946] ppid=22934 vsize=807376 CPUtime=0
/proc/22944/task/22946/stat : 22946 (java) S 22934 22934 22602 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30751545 826753024 16777 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22944/tid=22947] ppid=22934 vsize=807376 CPUtime=0
/proc/22944/task/22947/stat : 22947 (java) S 22934 22934 22602 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30751545 826753024 16777 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22944/tid=22948] ppid=22934 vsize=807376 CPUtime=0
/proc/22944/task/22948/stat : 22948 (java) S 22934 22934 22602 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30751549 826753024 16777 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22944/tid=22949] ppid=22934 vsize=807376 CPUtime=0.18
/proc/22944/task/22949/stat : 22949 (java) S 22934 22934 22602 0 -1 64 437 0 0 0 17 1 0 0 16 0 8 0 30751549 826753024 16777 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22944/tid=22950] ppid=22934 vsize=807376 CPUtime=0
/proc/22944/task/22950/stat : 22950 (java) S 22934 22934 22602 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30751549 826753024 16777 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22944/tid=22951] ppid=22934 vsize=807376 CPUtime=0
/proc/22944/task/22951/stat : 22951 (java) S 22934 22934 22602 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30751549 826753024 16777 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 49.94
Current children cumulated vsize (KiB) 821100
[startup+102.495 s]
/proc/loadavg: 2.79 2.24 2.16 3/101 23052
/proc/meminfo: memFree=15376/2055920 swapFree=4192812/4192956
[pid=22934] ppid=22932 vsize=13724 CPUtime=2.33
/proc/22934/stat : 22934 (sugar) S 22932 22934 22602 0 -1 4194304 1190 13902 0 1 3 1 220 9 16 0 1 0 30751303 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 273961496674 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22934/statm: 3431 809 371 3 0 531 0
[pid=22944] ppid=22934 vsize=807376 CPUtime=96.91
/proc/22944/stat : 22944 (java) R 22934 22934 22602 0 -1 0 17043 0 1 0 8592 1099 0 0 25 0 8 0 30751542 826753024 16777 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073851102 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22944/statm: 201844 16777 1508 14 0 189122 0
[pid=22944/tid=22945] ppid=22934 vsize=807376 CPUtime=0.64
/proc/22944/task/22945/stat : 22945 (java) S 22934 22934 22602 0 -1 64 10783 0 0 0 59 5 0 0 16 0 8 0 30751545 826753024 16777 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22944/tid=22946] ppid=22934 vsize=807376 CPUtime=0
/proc/22944/task/22946/stat : 22946 (java) S 22934 22934 22602 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30751545 826753024 16777 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22944/tid=22947] ppid=22934 vsize=807376 CPUtime=0
/proc/22944/task/22947/stat : 22947 (java) S 22934 22934 22602 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30751545 826753024 16777 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22944/tid=22948] ppid=22934 vsize=807376 CPUtime=0
/proc/22944/task/22948/stat : 22948 (java) S 22934 22934 22602 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30751549 826753024 16777 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22944/tid=22949] ppid=22934 vsize=807376 CPUtime=0.18
/proc/22944/task/22949/stat : 22949 (java) S 22934 22934 22602 0 -1 64 437 0 0 0 17 1 0 0 16 0 8 0 30751549 826753024 16777 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22944/tid=22950] ppid=22934 vsize=807376 CPUtime=0
/proc/22944/task/22950/stat : 22950 (java) S 22934 22934 22602 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30751549 826753024 16777 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22944/tid=22951] ppid=22934 vsize=807376 CPUtime=0
/proc/22944/task/22951/stat : 22951 (java) R 22934 22934 22602 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30751549 826753024 16777 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 99.24
Current children cumulated vsize (KiB) 821100
[startup+162.502 s]
################
# More data... #
################
[pid=22944/tid=22946] ppid=22934 vsize=807376 CPUtime=0
/proc/22944/task/22946/stat : 22946 (java) S 22934 22934 22602 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30751545 826753024 16787 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22944/tid=22947] ppid=22934 vsize=807376 CPUtime=0
/proc/22944/task/22947/stat : 22947 (java) S 22934 22934 22602 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30751545 826753024 16787 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22944/tid=22948] ppid=22934 vsize=807376 CPUtime=0
/proc/22944/task/22948/stat : 22948 (java) S 22934 22934 22602 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30751549 826753024 16787 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22944/tid=22949] ppid=22934 vsize=807376 CPUtime=0.19
/proc/22944/task/22949/stat : 22949 (java) S 22934 22934 22602 0 -1 64 446 0 0 0 18 1 0 0 16 0 8 0 30751549 826753024 16787 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22944/tid=22950] ppid=22934 vsize=807376 CPUtime=0
/proc/22944/task/22950/stat : 22950 (java) S 22934 22934 22602 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30751549 826753024 16787 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22944/tid=22951] ppid=22934 vsize=807376 CPUtime=0
/proc/22944/task/22951/stat : 22951 (java) S 22934 22934 22602 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30751549 826753024 16787 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 206.65
Current children cumulated vsize (KiB) 821100
[startup+282.615 s]
/proc/loadavg: 6.29 4.26 2.96 3/110 23317
/proc/meminfo: memFree=15888/2055920 swapFree=4192812/4192956
[pid=22934] ppid=22932 vsize=13724 CPUtime=2.33
/proc/22934/stat : 22934 (sugar) S 22932 22934 22602 0 -1 4194304 1190 13902 0 1 3 1 220 9 16 0 1 0 30751303 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 273961496674 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22934/statm: 3431 809 371 3 0 531 0
[pid=22944] ppid=22934 vsize=807376 CPUtime=261.6
/proc/22944/stat : 22944 (java) R 22934 22934 22602 0 -1 0 18466 0 1 0 23591 2569 0 0 25 0 8 0 30751542 826753024 18197 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073851111 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22944/statm: 201844 18197 1510 14 0 189122 0
[pid=22944/tid=22945] ppid=22934 vsize=807376 CPUtime=0.66
/proc/22944/task/22945/stat : 22945 (java) S 22934 22934 22602 0 -1 64 12193 0 0 0 60 6 0 0 16 0 8 0 30751545 826753024 18197 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22944/tid=22946] ppid=22934 vsize=807376 CPUtime=0
/proc/22944/task/22946/stat : 22946 (java) S 22934 22934 22602 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30751545 826753024 18197 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22944/tid=22947] ppid=22934 vsize=807376 CPUtime=0
/proc/22944/task/22947/stat : 22947 (java) S 22934 22934 22602 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30751545 826753024 18197 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22944/tid=22948] ppid=22934 vsize=807376 CPUtime=0
/proc/22944/task/22948/stat : 22948 (java) S 22934 22934 22602 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30751549 826753024 18197 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22944/tid=22949] ppid=22934 vsize=807376 CPUtime=0.19
/proc/22944/task/22949/stat : 22949 (java) S 22934 22934 22602 0 -1 64 446 0 0 0 18 1 0 0 16 0 8 0 30751549 826753024 18197 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22944/tid=22950] ppid=22934 vsize=807376 CPUtime=0
/proc/22944/task/22950/stat : 22950 (java) S 22934 22934 22602 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30751549 826753024 18197 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22944/tid=22951] ppid=22934 vsize=807376 CPUtime=0
/proc/22944/task/22951/stat : 22951 (java) S 22934 22934 22602 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30751549 826753024 18197 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 263.93
Current children cumulated vsize (KiB) 821100
[startup+342.712 s]
/proc/loadavg: 4.32 4.07 2.97 3/107 23333
/proc/meminfo: memFree=15464/2055920 swapFree=4192812/4192956
[pid=22934] ppid=22932 vsize=13724 CPUtime=2.33
/proc/22934/stat : 22934 (sugar) S 22932 22934 22602 0 -1 4194304 1190 13902 0 1 3 1 220 9 16 0 1 0 30751303 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 273961496674 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22934/statm: 3431 809 371 3 0 531 0
[pid=22944] ppid=22934 vsize=807376 CPUtime=319.43
/proc/22944/stat : 22944 (java) R 22934 22934 22602 0 -1 0 18466 0 1 0 28944 2999 0 0 25 0 8 0 30751542 826753024 18197 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073868456 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22944/statm: 201844 18197 1510 14 0 189122 0
[pid=22944/tid=22945] ppid=22934 vsize=807376 CPUtime=0.66
/proc/22944/task/22945/stat : 22945 (java) S 22934 22934 22602 0 -1 64 12193 0 0 0 60 6 0 0 16 0 8 0 30751545 826753024 18197 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22944/tid=22946] ppid=22934 vsize=807376 CPUtime=0
/proc/22944/task/22946/stat : 22946 (java) S 22934 22934 22602 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30751545 826753024 18197 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22944/tid=22947] ppid=22934 vsize=807376 CPUtime=0
/proc/22944/task/22947/stat : 22947 (java) S 22934 22934 22602 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30751545 826753024 18197 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22944/tid=22948] ppid=22934 vsize=807376 CPUtime=0
/proc/22944/task/22948/stat : 22948 (java) S 22934 22934 22602 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30751549 826753024 18197 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22944/tid=22949] ppid=22934 vsize=807376 CPUtime=0.19
/proc/22944/task/22949/stat : 22949 (java) S 22934 22934 22602 0 -1 64 446 0 0 0 18 1 0 0 16 0 8 0 30751549 826753024 18197 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22944/tid=22950] ppid=22934 vsize=807376 CPUtime=0
/proc/22944/task/22950/stat : 22950 (java) S 22934 22934 22602 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30751549 826753024 18197 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22944/tid=22951] ppid=22934 vsize=807376 CPUtime=0
/proc/22944/task/22951/stat : 22951 (java) S 22934 22934 22602 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30751549 826753024 18197 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 321.76
Current children cumulated vsize (KiB) 821100
[startup+402.767 s]
/proc/loadavg: 4.94 4.19 3.07 3/113 23412
/proc/meminfo: memFree=15976/2055920 swapFree=4192812/4192956
[pid=22934] ppid=22932 vsize=13724 CPUtime=2.33
/proc/22934/stat : 22934 (sugar) S 22932 22934 22602 0 -1 4194304 1190 13902 0 1 3 1 220 9 16 0 1 0 30751303 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 273961496674 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22934/statm: 3431 809 371 3 0 531 0
[pid=22944] ppid=22934 vsize=807376 CPUtime=376.72
/proc/22944/stat : 22944 (java) R 22934 22934 22602 0 -1 0 18466 0 1 0 34240 3432 0 0 25 0 8 0 30751542 826753024 18197 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073859877 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22944/statm: 201844 18197 1510 14 0 189122 0
[pid=22944/tid=22945] ppid=22934 vsize=807376 CPUtime=0.66
/proc/22944/task/22945/stat : 22945 (java) S 22934 22934 22602 0 -1 64 12193 0 0 0 60 6 0 0 16 0 8 0 30751545 826753024 18197 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22944/tid=22946] ppid=22934 vsize=807376 CPUtime=0
/proc/22944/task/22946/stat : 22946 (java) S 22934 22934 22602 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30751545 826753024 18197 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22944/tid=22947] ppid=22934 vsize=807376 CPUtime=0
/proc/22944/task/22947/stat : 22947 (java) S 22934 22934 22602 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30751545 826753024 18197 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22944/tid=22948] ppid=22934 vsize=807376 CPUtime=0
/proc/22944/task/22948/stat : 22948 (java) S 22934 22934 22602 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30751549 826753024 18197 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22944/tid=22949] ppid=22934 vsize=807376 CPUtime=0.19
/proc/22944/task/22949/stat : 22949 (java) S 22934 22934 22602 0 -1 64 446 0 0 0 18 1 0 0 16 0 8 0 30751549 826753024 18197 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22944/tid=22950] ppid=22934 vsize=807376 CPUtime=0
/proc/22944/task/22950/stat : 22950 (java) S 22934 22934 22602 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30751549 826753024 18197 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22944/tid=22951] ppid=22934 vsize=807376 CPUtime=0
/proc/22944/task/22951/stat : 22951 (java) S 22934 22934 22602 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30751549 826753024 18197 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 379.05
Current children cumulated vsize (KiB) 821100
[startup+462.859 s]
/proc/loadavg: 7.54 5.16 3.48 2/93 23439
/proc/meminfo: memFree=1099912/2055920 swapFree=4192812/4192956
[pid=22934] ppid=22932 vsize=13724 CPUtime=2.33
/proc/22934/stat : 22934 (sugar) S 22932 22934 22602 0 -1 4194304 1190 13902 0 1 3 1 220 9 16 0 1 0 30751303 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 273961496674 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22934/statm: 3431 809 371 3 0 531 0
[pid=22944] ppid=22934 vsize=807376 CPUtime=434.56
/proc/22944/stat : 22944 (java) R 22934 22934 22602 0 -1 0 18467 0 1 0 39543 3913 0 0 25 0 8 0 30751542 826753024 18197 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073866938 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22944/statm: 201844 18197 1510 14 0 189122 0
[pid=22944/tid=22945] ppid=22934 vsize=807376 CPUtime=0.67
/proc/22944/task/22945/stat : 22945 (java) S 22934 22934 22602 0 -1 64 12193 0 0 0 61 6 0 0 16 0 8 0 30751545 826753024 18197 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22944/tid=22946] ppid=22934 vsize=807376 CPUtime=0
/proc/22944/task/22946/stat : 22946 (java) S 22934 22934 22602 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30751545 826753024 18197 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22944/tid=22947] ppid=22934 vsize=807376 CPUtime=0
/proc/22944/task/22947/stat : 22947 (java) S 22934 22934 22602 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30751545 826753024 18197 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22944/tid=22948] ppid=22934 vsize=807376 CPUtime=0
/proc/22944/task/22948/stat : 22948 (java) S 22934 22934 22602 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30751549 826753024 18197 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22944/tid=22949] ppid=22934 vsize=807376 CPUtime=0.19
/proc/22944/task/22949/stat : 22949 (java) S 22934 22934 22602 0 -1 64 446 0 0 0 18 1 0 0 16 0 8 0 30751549 826753024 18197 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22944/tid=22950] ppid=22934 vsize=807376 CPUtime=0
/proc/22944/task/22950/stat : 22950 (java) S 22934 22934 22602 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30751549 826753024 18197 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22944/tid=22951] ppid=22934 vsize=807376 CPUtime=0
/proc/22944/task/22951/stat : 22951 (java) S 22934 22934 22602 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30751549 826753024 18197 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 436.89
Current children cumulated vsize (KiB) 821100
[startup+522.937 s]
/proc/loadavg: 5.36 4.96 3.52 4/102 23497
/proc/meminfo: memFree=15392/2055920 swapFree=4192812/4192956
[pid=22934] ppid=22932 vsize=13724 CPUtime=2.33
/proc/22934/stat : 22934 (sugar) S 22932 22934 22602 0 -1 4194304 1190 13902 0 1 3 1 220 9 16 0 1 0 30751303 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 273961496674 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22934/statm: 3431 809 371 3 0 531 0
[pid=22944] ppid=22934 vsize=807376 CPUtime=492.11
/proc/22944/stat : 22944 (java) R 22934 22934 22602 0 -1 0 18467 0 1 0 44888 4323 0 0 25 0 8 0 30751542 826753024 18197 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152094386 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22944/statm: 201844 18197 1510 14 0 189122 0
[pid=22944/tid=22945] ppid=22934 vsize=807376 CPUtime=0.67
/proc/22944/task/22945/stat : 22945 (java) S 22934 22934 22602 0 -1 64 12193 0 0 0 61 6 0 0 16 0 8 0 30751545 826753024 18197 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22944/tid=22946] ppid=22934 vsize=807376 CPUtime=0
/proc/22944/task/22946/stat : 22946 (java) S 22934 22934 22602 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30751545 826753024 18197 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22944/tid=22947] ppid=22934 vsize=807376 CPUtime=0
/proc/22944/task/22947/stat : 22947 (java) S 22934 22934 22602 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30751545 826753024 18197 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22944/tid=22948] ppid=22934 vsize=807376 CPUtime=0
/proc/22944/task/22948/stat : 22948 (java) S 22934 22934 22602 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30751549 826753024 18197 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22944/tid=22949] ppid=22934 vsize=807376 CPUtime=0.19
/proc/22944/task/22949/stat : 22949 (java) S 22934 22934 22602 0 -1 64 446 0 0 0 18 1 0 0 16 0 8 0 30751549 826753024 18197 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22944/tid=22950] ppid=22934 vsize=807376 CPUtime=0
/proc/22944/task/22950/stat : 22950 (java) S 22934 22934 22602 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30751549 826753024 18197 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22944/tid=22951] ppid=22934 vsize=807376 CPUtime=0
/proc/22944/task/22951/stat : 22951 (java) S 22934 22934 22602 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30751549 826753024 18197 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 494.44
Current children cumulated vsize (KiB) 821100
[startup+583.006 s]
/proc/loadavg: 4.99 4.93 3.60 3/102 23498
/proc/meminfo: memFree=15072/2055920 swapFree=4192812/4192956
[pid=22934] ppid=22932 vsize=13724 CPUtime=2.33
/proc/22934/stat : 22934 (sugar) S 22932 22934 22602 0 -1 4194304 1190 13902 0 1 3 1 220 9 16 0 1 0 30751303 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 273961496674 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22934/statm: 3431 809 371 3 0 531 0
[pid=22944] ppid=22934 vsize=807376 CPUtime=549.54
/proc/22944/stat : 22944 (java) R 22934 22934 22602 0 -1 0 18467 0 1 0 50231 4723 0 0 25 0 8 0 30751542 826753024 18197 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073867021 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22944/statm: 201844 18197 1510 14 0 189122 0
[pid=22944/tid=22945] ppid=22934 vsize=807376 CPUtime=0.67
/proc/22944/task/22945/stat : 22945 (java) S 22934 22934 22602 0 -1 64 12193 0 0 0 61 6 0 0 16 0 8 0 30751545 826753024 18197 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22944/tid=22946] ppid=22934 vsize=807376 CPUtime=0
/proc/22944/task/22946/stat : 22946 (java) S 22934 22934 22602 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30751545 826753024 18197 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22944/tid=22947] ppid=22934 vsize=807376 CPUtime=0
/proc/22944/task/22947/stat : 22947 (java) S 22934 22934 22602 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30751545 826753024 18197 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22944/tid=22948] ppid=22934 vsize=807376 CPUtime=0
/proc/22944/task/22948/stat : 22948 (java) S 22934 22934 22602 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30751549 826753024 18197 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22944/tid=22949] ppid=22934 vsize=807376 CPUtime=0.19
/proc/22944/task/22949/stat : 22949 (java) S 22934 22934 22602 0 -1 64 446 0 0 0 18 1 0 0 16 0 8 0 30751549 826753024 18197 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22944/tid=22950] ppid=22934 vsize=807376 CPUtime=0
/proc/22944/task/22950/stat : 22950 (java) S 22934 22934 22602 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30751549 826753024 18197 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22944/tid=22951] ppid=22934 vsize=807376 CPUtime=0
/proc/22944/task/22951/stat : 22951 (java) S 22934 22934 22602 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30751549 826753024 18197 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 551.87
Current children cumulated vsize (KiB) 821100
Child status: 1
Real time (s): 635.703
CPU time (s): 559.163
CPU user time (s): 510.217
CPU system time (s): 48.9456
CPU usage (%): 87.9598
Max. virtual memory (cumulated for all children) (KiB): 821128
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 510.217
system time used= 48.9456
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40458
page faults= 8
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15669
involuntary context switches= 38239
runsolver used 0.819875 s user time and 2.21866 s system time
The end
Begin job on node20 on Mon Jan 29 21:59:33 UTC 2007
IDJOB= 236171
IDBENCH= 6826
IDSOLVER= 86
FILE ID= node20/236171-1170107973
PBS_JOBID= 3689851
Free space on /tmp= 66549 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/fisher/FISCHER5-9-fair.xml
COMMAND LINE= /tmp/evaluation/236171-1170107973/solver /tmp/evaluation/236171-1170107973 /tmp/evaluation/236171-1170107973/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node20/watcher-236171-1170107973 -o ROOT/results/node20/solver-236171-1170107973 -C 1800 -M 900 /tmp/evaluation/236171-1170107973/solver /tmp/evaluation/236171-1170107973 /tmp/evaluation/236171-1170107973/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= 8afcb7280a61a3381b6d6833713e97c2
RANDOM SEED= 90702104
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.234
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.234
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1771000 kB
Buffers: 42152 kB
Cached: 75964 kB
SwapCached: 0 kB
Active: 174972 kB
Inactive: 63916 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1771000 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2656 kB
Writeback: 0 kB
Mapped: 140484 kB
Slab: 30884 kB
Committed_AS: 412976 kB
PageTables: 2176 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= 63273 MiB
End job on node20 on Mon Jan 29 22:10:12 UTC 2007