0.09 c # Sugar v0-40 (/tmp/evaluation/235976-1170107691/sugar-v0-40.jar)
0.09
0.09 c # MAIN BEGIN : /tmp/evaluation/235976-1170107691/unknown.xml [Mon Jan 29 22:54:51 2007]
0.09 c # CONVERT_XML BEGIN : /tmp/evaluation/235976-1170107691/unknown.xml /tmp/evaluation/235976-1170107691/sugar22871.csp [Mon Jan 29 22:54:51 2007]
0.09 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/235976-1170107691/sugar-v0-40.jar -convert /tmp/evaluation/235976-1170107691/unknown.xml /tmp/evaluation/235976-1170107691/sugar22871.csp
0.27 c BEGIN convert /tmp/evaluation/235976-1170107691/unknown.xml
1.90 c END convert (1.633934 seconds)
1.95 c # CONVERT_XML END : /tmp/evaluation/235976-1170107691/sugar22871.csp 466431 bytes (2 seconds) [Mon Jan 29 22:54:53 2007]
1.95 c # CONVERT_XML CPU : 1.71 = 0 + 0 + 1.59 + 0.12
1.95
1.95 c # GENERATE_SAT BEGIN : /tmp/evaluation/235976-1170107691/sugar22871.bcnf [Mon Jan 29 22:54:53 2007]
1.95 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/235976-1170107691/sugar-v0-40.jar -bcnf -map /tmp/evaluation/235976-1170107691/sugar22871.map /tmp/evaluation/235976-1170107691/sugar22871.csp /tmp/evaluation/235976-1170107691/sugar22871.bcnf
2.07 c BEGIN parse /tmp/evaluation/235976-1170107691/sugar22871.csp
3.89 c END parse (1.818945 seconds)
3.89 c BEGIN simplify
3.93 c END simplify (0.041668 seconds)
3.93 c BEGIN encode /tmp/evaluation/235976-1170107691/sugar22871.bcnf
446.66 c END encode (442.726803 seconds)
447.01 c # GENERATE_SAT END : 216596619 variables 603026163 clauses 7763745000 bytes (445 seconds) [Mon Jan 29 23:02:18 2007]
447.01 c # GENERATE_SAT CPU : 0.34 = 0.31 + 0.03 + 0 + 0
447.01
447.01 c # SOLVE_SAT BEGIN : /tmp/evaluation/235976-1170107691/sugar22871.bcnf [Mon Jan 29 23:02:18 2007]
447.01 c # CMD : /tmp/evaluation/235976-1170107691/minisat /tmp/evaluation/235976-1170107691/sugar22871.bcnf /tmp/evaluation/235976-1170107691/sugar22871.out
447.17 c ERROR! Could not open file: /tmp/evaluation/235976-1170107691/sugar22871.bcnf
447.17 s UNKNOWN
447.17 c # ERROR No such file or directory /tmp/evaluation/235976-1170107691/sugar22871.out, at /tmp/evaluation/235976-1170107691/sugar line 393.
447.17
447.17 c # MAIN END : (447 seconds) [Mon Jan 29 23:02:18 2007]
447.17 c # MAIN CPU : 2.05 = 0.31 + 0.03 + 1.59 + 0.12
447.17
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node69/watcher-235976-1170107691 -o ROOT/results/node69/solver-235976-1170107691 -C 1800 -M 900 /tmp/evaluation/235976-1170107691/solver /tmp/evaluation/235976-1170107691 /tmp/evaluation/235976-1170107691/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: 7.89 5.00 3.55 5/81 22872
/proc/meminfo: memFree=663048/2055920 swapFree=4192812/4192956
[pid=22871] ppid=22869 vsize=18540 CPUtime=0
/proc/22871/stat : 22871 (runsolver) R 22869 22871 22806 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 30726813 18984960 279 18446744073709551615 4194304 4267372 548682069040 18446744073709551615 237947645223 0 0 4096 24578 0 0 0 17 1 0 0
/proc/22871/statm: 4635 279 244 17 0 2626 0
[startup+0.109432 s]
/proc/loadavg: 7.89 5.00 3.55 5/81 22872
/proc/meminfo: memFree=663048/2055920 swapFree=4192812/4192956
[pid=22871] ppid=22869 vsize=13724 CPUtime=0.03
/proc/22871/stat : 22871 (sugar) S 22869 22871 22806 0 -1 4194304 1097 0 0 0 3 0 0 0 18 0 1 0 30726813 14053376 804 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237956542562 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22871/statm: 3431 804 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+0.517503 s]
/proc/loadavg: 7.89 5.00 3.55 5/81 22872
/proc/meminfo: memFree=663048/2055920 swapFree=4192812/4192956
[pid=22871] ppid=22869 vsize=13724 CPUtime=0.03
/proc/22871/stat : 22871 (sugar) S 22869 22871 22806 0 -1 4194304 1121 0 0 0 3 0 0 0 15 0 1 0 30726813 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237956542562 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22871/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+1.34064 s]
/proc/loadavg: 7.89 5.00 3.55 3/89 22880
/proc/meminfo: memFree=595272/2055920 swapFree=4192812/4192956
[pid=22871] ppid=22869 vsize=13724 CPUtime=0.03
/proc/22871/stat : 22871 (sugar) S 22869 22871 22806 0 -1 4194304 1121 0 0 0 3 0 0 0 15 0 1 0 30726813 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237956542562 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22871/statm: 3431 805 368 3 0 531 0
[pid=22873] ppid=22871 vsize=807404 CPUtime=1.13
/proc/22873/stat : 22873 (java) R 22871 22871 22806 0 -1 0 11698 0 30 0 103 10 0 0 23 0 8 0 30726823 826781696 11474 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4073811528 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22873/statm: 201851 11474 1690 14 0 189129 0
[pid=22873/tid=22874] ppid=22871 vsize=807404 CPUtime=0.11
/proc/22873/task/22874/stat : 22874 (java) S 22871 22871 22806 0 -1 64 5140 0 0 0 9 2 0 0 16 0 8 0 30726832 826781696 11474 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22873/tid=22875] ppid=22871 vsize=807404 CPUtime=0
/proc/22873/task/22875/stat : 22875 (java) S 22871 22871 22806 0 -1 64 9 0 0 0 0 0 0 0 19 0 8 0 30726832 826781696 11474 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22873/tid=22876] ppid=22871 vsize=807404 CPUtime=0
/proc/22873/task/22876/stat : 22876 (java) S 22871 22871 22806 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 30726832 826781696 11474 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22873/tid=22877] ppid=22871 vsize=807404 CPUtime=0
/proc/22873/task/22877/stat : 22877 (java) S 22871 22871 22806 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30726835 826781696 11474 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22873/tid=22878] ppid=22871 vsize=807404 CPUtime=0.14
/proc/22873/task/22878/stat : 22878 (java) S 22871 22871 22806 0 -1 64 418 0 0 0 14 0 0 0 16 0 8 0 30726835 826781696 11474 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22873/tid=22879] ppid=22871 vsize=807404 CPUtime=0
/proc/22873/task/22879/stat : 22879 (java) S 22871 22871 22806 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30726835 826781696 11474 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22873/tid=22880] ppid=22871 vsize=807404 CPUtime=0
/proc/22873/task/22880/stat : 22880 (java) S 22871 22871 22806 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30726835 826781696 11474 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 821128
[startup+2.99191 s]
/proc/loadavg: 7.65 5.00 3.55 3/89 22888
/proc/meminfo: memFree=602312/2055920 swapFree=4192812/4192956
[pid=22871] ppid=22869 vsize=13724 CPUtime=1.74
/proc/22871/stat : 22871 (sugar) S 22869 22871 22806 0 -1 4194304 1190 12108 0 31 3 0 159 12 15 0 1 0 30726813 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237956542562 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22871/statm: 3431 809 371 3 0 531 0
[pid=22881] ppid=22871 vsize=807376 CPUtime=1.01
/proc/22881/stat : 22881 (java) R 22871 22871 22806 0 -1 0 8831 0 1 0 97 4 0 0 25 0 8 0 30727009 826753024 8578 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154015731 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22881/statm: 201844 8578 1506 14 0 189122 0
[pid=22881/tid=22882] ppid=22871 vsize=807376 CPUtime=0.15
/proc/22881/task/22882/stat : 22882 (java) S 22871 22871 22806 0 -1 64 2632 0 0 0 14 1 0 0 16 0 8 0 30727012 826753024 8578 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22881/tid=22883] ppid=22871 vsize=807376 CPUtime=0
/proc/22881/task/22883/stat : 22883 (java) S 22871 22871 22806 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 30727013 826753024 8578 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22881/tid=22884] ppid=22871 vsize=807376 CPUtime=0
/proc/22881/task/22884/stat : 22884 (java) S 22871 22871 22806 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30727013 826753024 8578 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22881/tid=22885] ppid=22871 vsize=807376 CPUtime=0
/proc/22881/task/22885/stat : 22885 (java) S 22871 22871 22806 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30727016 826753024 8578 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22881/tid=22886] ppid=22871 vsize=807376 CPUtime=0.14
/proc/22881/task/22886/stat : 22886 (java) S 22871 22871 22806 0 -1 64 414 0 0 0 14 0 0 0 16 0 8 0 30727016 826753024 8578 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22881/tid=22887] ppid=22871 vsize=807376 CPUtime=0
/proc/22881/task/22887/stat : 22887 (java) S 22871 22871 22806 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30727016 826753024 8578 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22881/tid=22888] ppid=22871 vsize=807376 CPUtime=0
/proc/22881/task/22888/stat : 22888 (java) S 22871 22871 22806 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30727016 826753024 8578 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.75
Current children cumulated vsize (KiB) 821100
[startup+6.28144 s]
/proc/loadavg: 7.65 5.00 3.55 5/89 22888
/proc/meminfo: memFree=467272/2055920 swapFree=4192812/4192956
[pid=22871] ppid=22869 vsize=13724 CPUtime=1.74
/proc/22871/stat : 22871 (sugar) S 22869 22871 22806 0 -1 4194304 1190 12108 0 31 3 0 159 12 16 0 1 0 30726813 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237956542562 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22871/statm: 3431 809 371 3 0 531 0
[pid=22881] ppid=22871 vsize=807376 CPUtime=4.19
/proc/22881/stat : 22881 (java) R 22871 22871 22806 0 -1 0 14391 0 2 0 390 29 0 0 25 0 8 0 30727009 826753024 14130 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073851156 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22881/statm: 201844 14130 1509 14 0 189122 0
[pid=22881/tid=22882] ppid=22871 vsize=807376 CPUtime=0.44
/proc/22881/task/22882/stat : 22882 (java) S 22871 22871 22806 0 -1 64 8138 0 1 0 40 4 0 0 16 0 8 0 30727012 826753024 14130 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22881/tid=22883] ppid=22871 vsize=807376 CPUtime=0
/proc/22881/task/22883/stat : 22883 (java) S 22871 22871 22806 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 30727013 826753024 14130 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22881/tid=22884] ppid=22871 vsize=807376 CPUtime=0
/proc/22881/task/22884/stat : 22884 (java) S 22871 22871 22806 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30727013 826753024 14130 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22881/tid=22885] ppid=22871 vsize=807376 CPUtime=0
/proc/22881/task/22885/stat : 22885 (java) S 22871 22871 22806 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30727016 826753024 14130 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22881/tid=22886] ppid=22871 vsize=807376 CPUtime=0.17
/proc/22881/task/22886/stat : 22886 (java) S 22871 22871 22806 0 -1 64 436 0 0 0 17 0 0 0 16 0 8 0 30727016 826753024 14130 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22881/tid=22887] ppid=22871 vsize=807376 CPUtime=0
/proc/22881/task/22887/stat : 22887 (java) S 22871 22871 22806 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30727016 826753024 14130 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22881/tid=22888] ppid=22871 vsize=807376 CPUtime=0
/proc/22881/task/22888/stat : 22888 (java) S 22871 22871 22806 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30727016 826753024 14130 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5.93
Current children cumulated vsize (KiB) 821100
[startup+12.6825 s]
/proc/loadavg: 7.08 4.96 3.56 3/89 22888
/proc/meminfo: memFree=177800/2055920 swapFree=4192812/4192956
[pid=22871] ppid=22869 vsize=13724 CPUtime=1.74
/proc/22871/stat : 22871 (sugar) S 22869 22871 22806 0 -1 4194304 1190 12108 0 31 3 0 159 12 16 0 1 0 30726813 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237956542562 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22871/statm: 3431 809 371 3 0 531 0
[pid=22881] ppid=22871 vsize=807376 CPUtime=10.36
/proc/22881/stat : 22881 (java) R 22871 22871 22806 0 -1 0 14391 0 2 0 933 103 0 0 25 0 8 0 30727009 826753024 14130 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073839299 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22881/statm: 201844 14130 1509 14 0 189122 0
[pid=22881/tid=22882] ppid=22871 vsize=807376 CPUtime=0.44
/proc/22881/task/22882/stat : 22882 (java) S 22871 22871 22806 0 -1 64 8138 0 1 0 40 4 0 0 16 0 8 0 30727012 826753024 14130 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22881/tid=22883] ppid=22871 vsize=807376 CPUtime=0
/proc/22881/task/22883/stat : 22883 (java) S 22871 22871 22806 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 30727013 826753024 14130 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22881/tid=22884] ppid=22871 vsize=807376 CPUtime=0
/proc/22881/task/22884/stat : 22884 (java) S 22871 22871 22806 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30727013 826753024 14130 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22881/tid=22885] ppid=22871 vsize=807376 CPUtime=0
/proc/22881/task/22885/stat : 22885 (java) S 22871 22871 22806 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30727016 826753024 14130 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22881/tid=22886] ppid=22871 vsize=807376 CPUtime=0.17
/proc/22881/task/22886/stat : 22886 (java) S 22871 22871 22806 0 -1 64 436 0 0 0 17 0 0 0 16 0 8 0 30727016 826753024 14130 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22881/tid=22887] ppid=22871 vsize=807376 CPUtime=0
/proc/22881/task/22887/stat : 22887 (java) S 22871 22871 22806 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30727016 826753024 14130 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22881/tid=22888] ppid=22871 vsize=807376 CPUtime=0
/proc/22881/task/22888/stat : 22888 (java) S 22871 22871 22806 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30727016 826753024 14130 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.1
Current children cumulated vsize (KiB) 821100
[startup+25.5496 s]
/proc/loadavg: 6.54 4.92 3.56 3/89 22888
/proc/meminfo: memFree=15304/2055920 swapFree=4192812/4192956
[pid=22871] ppid=22869 vsize=13724 CPUtime=1.74
/proc/22871/stat : 22871 (sugar) S 22869 22871 22806 0 -1 4194304 1190 12108 0 31 3 0 159 12 16 0 1 0 30726813 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237956542562 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22871/statm: 3431 809 371 3 0 531 0
[pid=22881] ppid=22871 vsize=807376 CPUtime=22.71
/proc/22881/stat : 22881 (java) R 22871 22871 22806 0 -1 0 14391 0 2 0 2034 237 0 0 25 0 8 0 30727009 826753024 14130 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22881/statm: 201844 14130 1509 14 0 189122 0
[pid=22881/tid=22882] ppid=22871 vsize=807376 CPUtime=0.44
/proc/22881/task/22882/stat : 22882 (java) S 22871 22871 22806 0 -1 64 8138 0 1 0 40 4 0 0 16 0 8 0 30727012 826753024 14130 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22881/tid=22883] ppid=22871 vsize=807376 CPUtime=0
/proc/22881/task/22883/stat : 22883 (java) S 22871 22871 22806 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 30727013 826753024 14130 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22881/tid=22884] ppid=22871 vsize=807376 CPUtime=0
/proc/22881/task/22884/stat : 22884 (java) S 22871 22871 22806 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30727013 826753024 14130 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22881/tid=22885] ppid=22871 vsize=807376 CPUtime=0
/proc/22881/task/22885/stat : 22885 (java) S 22871 22871 22806 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30727016 826753024 14130 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22881/tid=22886] ppid=22871 vsize=807376 CPUtime=0.17
/proc/22881/task/22886/stat : 22886 (java) S 22871 22871 22806 0 -1 64 436 0 0 0 17 0 0 0 16 0 8 0 30727016 826753024 14130 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22881/tid=22887] ppid=22871 vsize=807376 CPUtime=0
/proc/22881/task/22887/stat : 22887 (java) S 22871 22871 22806 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30727016 826753024 14130 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22881/tid=22888] ppid=22871 vsize=807376 CPUtime=0
/proc/22881/task/22888/stat : 22888 (java) S 22871 22871 22806 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30727016 826753024 14130 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 24.45
Current children cumulated vsize (KiB) 821100
[startup+51.2058 s]
/proc/loadavg: 5.89 4.89 3.58 3/89 22891
/proc/meminfo: memFree=15368/2055920 swapFree=4192812/4192956
[pid=22871] ppid=22869 vsize=13724 CPUtime=1.74
/proc/22871/stat : 22871 (sugar) S 22869 22871 22806 0 -1 4194304 1190 12108 0 31 3 0 159 12 16 0 1 0 30726813 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237956542562 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22871/statm: 3431 809 371 3 0 531 0
[pid=22881] ppid=22871 vsize=807376 CPUtime=42.71
/proc/22881/stat : 22881 (java) R 22871 22871 22806 0 -1 0 14391 0 2 0 3805 466 0 0 25 0 8 0 30727009 826753024 14130 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22881/statm: 201844 14130 1509 14 0 189122 0
[pid=22881/tid=22882] ppid=22871 vsize=807376 CPUtime=0.44
/proc/22881/task/22882/stat : 22882 (java) S 22871 22871 22806 0 -1 64 8138 0 1 0 40 4 0 0 16 0 8 0 30727012 826753024 14130 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22881/tid=22883] ppid=22871 vsize=807376 CPUtime=0
/proc/22881/task/22883/stat : 22883 (java) S 22871 22871 22806 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 30727013 826753024 14130 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22881/tid=22884] ppid=22871 vsize=807376 CPUtime=0
/proc/22881/task/22884/stat : 22884 (java) S 22871 22871 22806 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30727013 826753024 14130 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22881/tid=22885] ppid=22871 vsize=807376 CPUtime=0
/proc/22881/task/22885/stat : 22885 (java) S 22871 22871 22806 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30727016 826753024 14130 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22881/tid=22886] ppid=22871 vsize=807376 CPUtime=0.17
/proc/22881/task/22886/stat : 22886 (java) S 22871 22871 22806 0 -1 64 436 0 0 0 17 0 0 0 16 0 8 0 30727016 826753024 14130 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22881/tid=22887] ppid=22871 vsize=807376 CPUtime=0
/proc/22881/task/22887/stat : 22887 (java) S 22871 22871 22806 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30727016 826753024 14130 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22881/tid=22888] ppid=22871 vsize=807376 CPUtime=0
/proc/22881/task/22888/stat : 22888 (java) S 22871 22871 22806 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30727016 826753024 14130 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 44.45
Current children cumulated vsize (KiB) 821100
[startup+102.501 s]
/proc/loadavg: 5.27 4.88 3.65 3/90 22896
/proc/meminfo: memFree=15744/2055920 swapFree=4192812/4192956
[pid=22871] ppid=22869 vsize=13724 CPUtime=1.74
/proc/22871/stat : 22871 (sugar) S 22869 22871 22806 0 -1 4194304 1190 12108 0 31 3 0 159 12 16 0 1 0 30726813 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237956542562 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22871/statm: 3431 809 371 3 0 531 0
[pid=22881] ppid=22871 vsize=807376 CPUtime=82.98
/proc/22881/stat : 22881 (java) R 22871 22871 22806 0 -1 0 14391 0 2 0 7320 978 0 0 25 0 8 0 30727009 826753024 14130 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22881/statm: 201844 14130 1509 14 0 189122 0
[pid=22881/tid=22882] ppid=22871 vsize=807376 CPUtime=0.44
/proc/22881/task/22882/stat : 22882 (java) S 22871 22871 22806 0 -1 64 8138 0 1 0 40 4 0 0 16 0 8 0 30727012 826753024 14130 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22881/tid=22883] ppid=22871 vsize=807376 CPUtime=0
/proc/22881/task/22883/stat : 22883 (java) S 22871 22871 22806 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 30727013 826753024 14130 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22881/tid=22884] ppid=22871 vsize=807376 CPUtime=0
/proc/22881/task/22884/stat : 22884 (java) S 22871 22871 22806 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30727013 826753024 14130 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22881/tid=22885] ppid=22871 vsize=807376 CPUtime=0
/proc/22881/task/22885/stat : 22885 (java) S 22871 22871 22806 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30727016 826753024 14130 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22881/tid=22886] ppid=22871 vsize=807376 CPUtime=0.17
/proc/22881/task/22886/stat : 22886 (java) S 22871 22871 22806 0 -1 64 436 0 0 0 17 0 0 0 16 0 8 0 30727016 826753024 14130 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22881/tid=22887] ppid=22871 vsize=807376 CPUtime=0
/proc/22881/task/22887/stat : 22887 (java) S 22871 22871 22806 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30727016 826753024 14130 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22881/tid=22888] ppid=22871 vsize=807376 CPUtime=0
/proc/22881/task/22888/stat : 22888 (java) S 22871 22871 22806 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30727016 826753024 14130 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 84.72
Current children cumulated vsize (KiB) 821100
[startup+162.578 s]
/proc/loadavg: 7.52 5.53 3.95 3/96 22905
/proc/meminfo: memFree=15696/2055920 swapFree=4192812/4192956
[pid=22871] ppid=22869 vsize=13724 CPUtime=1.74
/proc/22871/stat : 22871 (sugar) S 22869 22871 22806 0 -1 4194304 1190 12108 0 31 3 0 159 12 16 0 1 0 30726813 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237956542562 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22871/statm: 3431 809 371 3 0 531 0
[pid=22881] ppid=22871 vsize=807376 CPUtime=139.85
/proc/22881/stat : 22881 (java) R 22871 22871 22806 0 -1 0 14404 0 2 0 12497 1488 0 0 25 0 8 0 30727009 826753024 14142 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073850142 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22881/statm: 201844 14142 1511 14 0 189122 0
[pid=22881/tid=22882] ppid=22871 vsize=807376 CPUtime=0.44
/proc/22881/task/22882/stat : 22882 (java) S 22871 22871 22806 0 -1 64 8138 0 1 0 40 4 0 0 16 0 8 0 30727012 826753024 14142 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22881/tid=22883] ppid=22871 vsize=807376 CPUtime=0
/proc/22881/task/22883/stat : 22883 (java) S 22871 22871 22806 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 30727013 826753024 14142 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22881/tid=22884] ppid=22871 vsize=807376 CPUtime=0
/proc/22881/task/22884/stat : 22884 (java) S 22871 22871 22806 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30727013 826753024 14142 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22881/tid=22885] ppid=22871 vsize=807376 CPUtime=0
/proc/22881/task/22885/stat : 22885 (java) S 22871 22871 22806 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30727016 826753024 14142 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22881/tid=22886] ppid=22871 vsize=807376 CPUtime=0.19
/proc/22881/task/22886/stat : 22886 (java) S 22871 22871 22806 0 -1 64 447 0 0 0 19 0 0 0 16 0 8 0 30727016 826753024 14142 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22881/tid=22887] ppid=22871 vsize=807376 CPUtime=0
/proc/22881/task/22887/stat : 22887 (java) S 22871 22871 22806 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30727016 826753024 14142 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22881/tid=22888] ppid=22871 vsize=807376 CPUtime=0
/proc/22881/task/22888/stat : 22888 (java) S 22871 22871 22806 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30727016 826753024 14142 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 141.59
Current children cumulated vsize (KiB) 821100
[startup+222.654 s]
/proc/loadavg: 7.98 6.01 4.21 3/99 22914
/proc/meminfo: memFree=14968/2055920 swapFree=4192812/4192956
[pid=22871] ppid=22869 vsize=13724 CPUtime=1.74
/proc/22871/stat : 22871 (sugar) S 22869 22871 22806 0 -1 4194304 1190 12108 0 31 3 0 159 12 16 0 1 0 30726813 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237956542562 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22871/statm: 3431 809 371 3 0 531 0
[pid=22881] ppid=22871 vsize=807376 CPUtime=195.72
/proc/22881/stat : 22881 (java) D 22871 22871 22806 0 -1 0 14405 0 2 0 17634 1938 0 0 25 0 8 0 30727009 826753024 14143 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22881/statm: 201844 14143 1511 14 0 189122 0
[pid=22881/tid=22882] ppid=22871 vsize=807376 CPUtime=0.44
/proc/22881/task/22882/stat : 22882 (java) S 22871 22871 22806 0 -1 64 8138 0 1 0 40 4 0 0 16 0 8 0 30727012 826753024 14143 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22881/tid=22883] ppid=22871 vsize=807376 CPUtime=0
/proc/22881/task/22883/stat : 22883 (java) S 22871 22871 22806 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 30727013 826753024 14143 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22881/tid=22884] ppid=22871 vsize=807376 CPUtime=0
/proc/22881/task/22884/stat : 22884 (java) S 22871 22871 22806 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30727013 826753024 14143 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22881/tid=22885] ppid=22871 vsize=807376 CPUtime=0
/proc/22881/task/22885/stat : 22885 (java) S 22871 22871 22806 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30727016 826753024 14143 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22881/tid=22886] ppid=22871 vsize=807376 CPUtime=0.19
/proc/22881/task/22886/stat : 22886 (java) S 22871 22871 22806 0 -1 64 448 0 0 0 19 0 0 0 16 0 8 0 30727016 826753024 14143 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22881/tid=22887] ppid=22871 vsize=807376 CPUtime=0
/proc/22881/task/22887/stat : 22887 (java) S 22871 22871 22806 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30727016 826753024 14143 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22881/tid=22888] ppid=22871 vsize=807376 CPUtime=0
/proc/22881/task/22888/stat : 22888 (java) S 22871 22871 22806 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30727016 826753024 14143 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 197.46
Current children cumulated vsize (KiB) 821100
[startup+282.756 s]
/proc/loadavg: 9.69 6.87 4.62 3/99 22921
/proc/meminfo: memFree=14904/2055920 swapFree=4192812/4192956
[pid=22871] ppid=22869 vsize=13724 CPUtime=1.74
/proc/22871/stat : 22871 (sugar) S 22869 22871 22806 0 -1 4194304 1190 12108 0 31 3 0 159 12 16 0 1 0 30726813 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237956542562 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22871/statm: 3431 809 371 3 0 531 0
[pid=22881] ppid=22871 vsize=807376 CPUtime=252.45
/proc/22881/stat : 22881 (java) R 22871 22871 22806 0 -1 0 15815 0 2 0 22826 2419 0 0 25 0 8 0 30727009 826753024 15552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073849694 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22881/statm: 201844 15552 1511 14 0 189122 0
[pid=22881/tid=22882] ppid=22871 vsize=807376 CPUtime=0.46
/proc/22881/task/22882/stat : 22882 (java) S 22871 22871 22806 0 -1 64 9547 0 1 0 42 4 0 0 16 0 8 0 30727012 826753024 15552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22881/tid=22883] ppid=22871 vsize=807376 CPUtime=0
/proc/22881/task/22883/stat : 22883 (java) S 22871 22871 22806 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 30727013 826753024 15552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22881/tid=22884] ppid=22871 vsize=807376 CPUtime=0
/proc/22881/task/22884/stat : 22884 (java) S 22871 22871 22806 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30727013 826753024 15552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22881/tid=22885] ppid=22871 vsize=807376 CPUtime=0
/proc/22881/task/22885/stat : 22885 (java) S 22871 22871 22806 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30727016 826753024 15552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22881/tid=22886] ppid=22871 vsize=807376 CPUtime=0.19
/proc/22881/task/22886/stat : 22886 (java) S 22871 22871 22806 0 -1 64 448 0 0 0 19 0 0 0 16 0 8 0 30727016 826753024 15552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22881/tid=22887] ppid=22871 vsize=807376 CPUtime=0
/proc/22881/task/22887/stat : 22887 (java) S 22871 22871 22806 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30727016 826753024 15552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22881/tid=22888] ppid=22871 vsize=807376 CPUtime=0
/proc/22881/task/22888/stat : 22888 (java) S 22871 22871 22806 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30727016 826753024 15552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 254.19
Current children cumulated vsize (KiB) 821100
[startup+342.814 s]
/proc/loadavg: 9.59 7.42 4.95 3/93 22923
/proc/meminfo: memFree=16168/2055920 swapFree=4192812/4192956
[pid=22871] ppid=22869 vsize=13724 CPUtime=1.74
/proc/22871/stat : 22871 (sugar) S 22869 22871 22806 0 -1 4194304 1190 12108 0 31 3 0 159 12 16 0 1 0 30726813 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237956542562 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22871/statm: 3431 809 371 3 0 531 0
[pid=22881] ppid=22871 vsize=807376 CPUtime=309.36
/proc/22881/stat : 22881 (java) R 22871 22871 22806 0 -1 0 15815 0 2 0 28018 2918 0 0 24 0 8 0 30727009 826753024 15552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073851166 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22881/statm: 201844 15552 1511 14 0 189122 0
[pid=22881/tid=22882] ppid=22871 vsize=807376 CPUtime=0.46
/proc/22881/task/22882/stat : 22882 (java) S 22871 22871 22806 0 -1 64 9547 0 1 0 42 4 0 0 16 0 8 0 30727012 826753024 15552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22881/tid=22883] ppid=22871 vsize=807376 CPUtime=0
/proc/22881/task/22883/stat : 22883 (java) S 22871 22871 22806 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 30727013 826753024 15552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22881/tid=22884] ppid=22871 vsize=807376 CPUtime=0
/proc/22881/task/22884/stat : 22884 (java) S 22871 22871 22806 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30727013 826753024 15552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22881/tid=22885] ppid=22871 vsize=807376 CPUtime=0
/proc/22881/task/22885/stat : 22885 (java) S 22871 22871 22806 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30727016 826753024 15552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22881/tid=22886] ppid=22871 vsize=807376 CPUtime=0.19
/proc/22881/task/22886/stat : 22886 (java) S 22871 22871 22806 0 -1 64 448 0 0 0 19 0 0 0 16 0 8 0 30727016 826753024 15552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22881/tid=22887] ppid=22871 vsize=807376 CPUtime=0
/proc/22881/task/22887/stat : 22887 (java) S 22871 22871 22806 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30727016 826753024 15552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22881/tid=22888] ppid=22871 vsize=807376 CPUtime=0
/proc/22881/task/22888/stat : 22888 (java) S 22871 22871 22806 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30727016 826753024 15552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 311.1
Current children cumulated vsize (KiB) 821100
[startup+402.876 s]
/proc/loadavg: 9.41 7.75 5.21 3/101 23036
/proc/meminfo: memFree=15600/2055920 swapFree=4192812/4192956
[pid=22871] ppid=22869 vsize=13724 CPUtime=1.74
/proc/22871/stat : 22871 (sugar) S 22869 22871 22806 0 -1 4194304 1190 12108 0 31 3 0 159 12 16 0 1 0 30726813 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237956542562 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22871/statm: 3431 809 371 3 0 531 0
[pid=22881] ppid=22871 vsize=807376 CPUtime=366.14
/proc/22881/stat : 22881 (java) R 22871 22871 22806 0 -1 0 15815 0 2 0 33216 3398 0 0 25 0 8 0 30727009 826753024 15552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073854328 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22881/statm: 201844 15552 1511 14 0 189122 0
[pid=22881/tid=22882] ppid=22871 vsize=807376 CPUtime=0.46
/proc/22881/task/22882/stat : 22882 (java) S 22871 22871 22806 0 -1 64 9547 0 1 0 42 4 0 0 16 0 8 0 30727012 826753024 15552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22881/tid=22883] ppid=22871 vsize=807376 CPUtime=0
/proc/22881/task/22883/stat : 22883 (java) S 22871 22871 22806 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 30727013 826753024 15552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22881/tid=22884] ppid=22871 vsize=807376 CPUtime=0
/proc/22881/task/22884/stat : 22884 (java) S 22871 22871 22806 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30727013 826753024 15552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22881/tid=22885] ppid=22871 vsize=807376 CPUtime=0
/proc/22881/task/22885/stat : 22885 (java) S 22871 22871 22806 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30727016 826753024 15552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22881/tid=22886] ppid=22871 vsize=807376 CPUtime=0.19
/proc/22881/task/22886/stat : 22886 (java) S 22871 22871 22806 0 -1 64 448 0 0 0 19 0 0 0 16 0 8 0 30727016 826753024 15552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22881/tid=22887] ppid=22871 vsize=807376 CPUtime=0
/proc/22881/task/22887/stat : 22887 (java) S 22871 22871 22806 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30727016 826753024 15552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22881/tid=22888] ppid=22871 vsize=807376 CPUtime=0
/proc/22881/task/22888/stat : 22888 (java) S 22871 22871 22806 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30727016 826753024 15552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 367.88
Current children cumulated vsize (KiB) 821100
[startup+462.948 s]
/proc/loadavg: 5.58 7.03 5.13 1/80 23117
/proc/meminfo: memFree=1881160/2055920 swapFree=4192812/4192956
[pid=22871] ppid=22869 vsize=33348 CPUtime=3.05
/proc/22871/stat : 22871 (sugar) D 22869 22871 22806 0 -1 4194304 6112 12161 0 37 34 100 159 12 18 0 1 0 30726813 34148352 5592 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237947819049 0 0 4224 16386 18446744071563608240 0 0 17 0 0 0
/proc/22871/statm: 8337 5592 377 3 0 5437 0
[pid=22881] ppid=22871 vsize=0 CPUtime=407.48
/proc/22881/stat : 22881 (java) Z 22871 22871 22806 0 -1 1036 15835 0 2 0 37046 3702 0 0 17 0 1 0 30727009 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 0 0 0
/proc/22881/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 410.53
Current children cumulated vsize (KiB) 33348
Child status: 1
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 22871 and gives childrusage.ru_utime.tv_sec=1 childrusage.ru_utime.tv_usec=940704 childrusage.ru_stime.tv_sec=1 childrusage.ru_stime.tv_usec=429782
CPU time returned by wait4() is 3.37049
while last known CPU time is 410.82
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 477.513
CPU time (s): 410.82
CPU user time (s): 372.39
CPU system time (s): 38.43
CPU usage (%): 86.0332
Max. virtual memory (cumulated for all children) (KiB): 821128
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.9407
system time used= 1.42978
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18326
page faults= 37
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2412
involuntary context switches= 854
runsolver used 0.612906 s user time and 1.55576 s system time
The end
Begin job on node69 on Mon Jan 29 21:54:51 UTC 2007
IDJOB= 235976
IDBENCH= 6811
IDSOLVER= 86
FILE ID= node69/235976-1170107691
PBS_JOBID= 3689923
Free space on /tmp= 58182 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/fisher/FISCHER8-4-fair.xml
COMMAND LINE= /tmp/evaluation/235976-1170107691/solver /tmp/evaluation/235976-1170107691 /tmp/evaluation/235976-1170107691/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node69/watcher-235976-1170107691 -o ROOT/results/node69/solver-235976-1170107691 -C 1800 -M 900 /tmp/evaluation/235976-1170107691/solver /tmp/evaluation/235976-1170107691 /tmp/evaluation/235976-1170107691/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= d0c6b318a97d3e630140d79e62d9896c
RANDOM SEED= 350063372
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: 664040 kB
Buffers: 5564 kB
Cached: 1190420 kB
SwapCached: 0 kB
Active: 134072 kB
Inactive: 1170084 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 664040 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 550404 kB
Writeback: 0 kB
Mapped: 124952 kB
Slab: 72772 kB
Committed_AS: 572288 kB
PageTables: 2112 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= 66089 MiB
End job on node69 on Mon Jan 29 22:02:49 UTC 2007