0.45 c # Sugar v0-40 (/tmp/evaluation/236925-1170108338/sugar-v0-40.jar)
0.45
0.45 c # MAIN BEGIN : /tmp/evaluation/236925-1170108338/unknown.xml [Mon Jan 29 23:05:39 2007]
0.45 c # CONVERT_XML BEGIN : /tmp/evaluation/236925-1170108338/unknown.xml /tmp/evaluation/236925-1170108338/sugar19327.csp [Mon Jan 29 23:05:39 2007]
0.45 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/236925-1170108338/sugar-v0-40.jar -convert /tmp/evaluation/236925-1170108338/unknown.xml /tmp/evaluation/236925-1170108338/sugar19327.csp
0.68 c BEGIN convert /tmp/evaluation/236925-1170108338/unknown.xml
1.87 c END convert (1.188567 seconds)
1.89 c # CONVERT_XML END : /tmp/evaluation/236925-1170108338/sugar19327.csp 283999 bytes (1 seconds) [Mon Jan 29 23:05:40 2007]
1.89 c # CONVERT_XML CPU : 1.29 = 0 + 0 + 1.22 + 0.07
1.89
1.89 c # GENERATE_SAT BEGIN : /tmp/evaluation/236925-1170108338/sugar19327.bcnf [Mon Jan 29 23:05:40 2007]
1.89 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/236925-1170108338/sugar-v0-40.jar -bcnf -map /tmp/evaluation/236925-1170108338/sugar19327.map /tmp/evaluation/236925-1170108338/sugar19327.csp /tmp/evaluation/236925-1170108338/sugar19327.bcnf
2.01 c BEGIN parse /tmp/evaluation/236925-1170108338/sugar19327.csp
3.25 c END parse (1.244971 seconds)
3.25 c BEGIN simplify
3.34 c END simplify (0.074835 seconds)
3.34 c BEGIN encode /tmp/evaluation/236925-1170108338/sugar19327.bcnf
475.32 c END encode (471.990233 seconds)
476.25 c # GENERATE_SAT END : 131816737 variables 365534158 clauses 4704764528 bytes (475 seconds) [Mon Jan 29 23:13:35 2007]
476.25 c # GENERATE_SAT CPU : 249.34 = 0.19 + 0.02 + 227.69 + 21.44
476.25
476.25 c # SOLVE_SAT BEGIN : /tmp/evaluation/236925-1170108338/sugar19327.bcnf [Mon Jan 29 23:13:35 2007]
476.50 c # CMD : /tmp/evaluation/236925-1170108338/minisat /tmp/evaluation/236925-1170108338/sugar19327.bcnf /tmp/evaluation/236925-1170108338/sugar19327.out
476.98 c ERROR! Could not open file: /tmp/evaluation/236925-1170108338/sugar19327.bcnf
476.99 s UNKNOWN
476.99 c # ERROR No such file or directory /tmp/evaluation/236925-1170108338/sugar19327.out, at /tmp/evaluation/236925-1170108338/sugar line 393.
476.99
476.99 c # MAIN END : (476 seconds) [Mon Jan 29 23:13:35 2007]
476.99 c # MAIN CPU : 250.63 = 0.19 + 0.02 + 228.91 + 21.51
476.99
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node22/watcher-236925-1170108338 -o ROOT/results/node22/solver-236925-1170108338 -C 1800 -M 900 /tmp/evaluation/236925-1170108338/solver /tmp/evaluation/236925-1170108338 /tmp/evaluation/236925-1170108338/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 3.72 3.81 3.68 5/94 19328
/proc/meminfo: memFree=334240/2055920 swapFree=4192420/4192956
[pid=19327] ppid=19325 vsize=18540 CPUtime=0
/proc/19327/stat : 19327 (runsolver) R 19325 19327 18159 0 -1 4194368 16 0 0 0 0 0 0 0 21 0 1 0 30787753 18984960 279 18446744073709551615 4194304 4267372 548682069040 18446744073709551615 272467815719 0 0 4096 24578 0 0 0 17 1 0 0
/proc/19327/statm: 4635 279 244 17 0 2626 0
[startup+0.109614 s]
/proc/loadavg: 3.72 3.81 3.68 5/94 19328
/proc/meminfo: memFree=334240/2055920 swapFree=4192420/4192956
[pid=19327] ppid=19325 vsize=12268 CPUtime=0
/proc/19327/stat : 19327 (sugar) D 19325 19327 18159 0 -1 4194304 601 0 0 0 0 0 0 0 18 0 1 0 30787753 12562432 320 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 272476713058 0 0 4224 0 18446744071563608240 0 0 17 1 0 0
/proc/19327/statm: 3067 320 242 3 0 167 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12268
[startup+0.517644 s]
/proc/loadavg: 3.72 3.81 3.68 5/94 19328
/proc/meminfo: memFree=334240/2055920 swapFree=4192420/4192956
[pid=19327] ppid=19325 vsize=13724 CPUtime=0.03
/proc/19327/stat : 19327 (sugar) S 19325 19327 18159 0 -1 4194304 1112 0 0 0 3 0 0 0 18 0 1 0 30787753 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 272476713058 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19327/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+1.3447 s]
/proc/loadavg: 3.72 3.81 3.68 4/102 19336
/proc/meminfo: memFree=280544/2055920 swapFree=4192420/4192956
[pid=19327] ppid=19325 vsize=13724 CPUtime=0.03
/proc/19327/stat : 19327 (sugar) S 19325 19327 18159 0 -1 4194304 1121 0 0 0 3 0 0 0 15 0 1 0 30787753 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 272476713058 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19327/statm: 3431 805 368 3 0 531 0
[pid=19329] ppid=19327 vsize=807400 CPUtime=0.75
/proc/19329/stat : 19329 (java) S 19327 19327 18159 0 -1 0 8984 0 1 0 70 5 0 0 16 0 8 0 30787799 826777600 8732 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19329/statm: 201850 8732 1690 14 0 189128 0
[pid=19329/tid=19330] ppid=19327 vsize=807400 CPUtime=0.06
/proc/19329/task/19330/stat : 19330 (java) S 19327 19327 18159 0 -1 64 2407 0 0 0 5 1 0 0 16 0 8 0 30787813 826777600 8732 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19329/tid=19331] ppid=19327 vsize=807400 CPUtime=0
/proc/19329/task/19331/stat : 19331 (java) S 19327 19327 18159 0 -1 64 9 0 0 0 0 0 0 0 19 0 8 0 30787813 826777600 8732 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19329/tid=19332] ppid=19327 vsize=807400 CPUtime=0
/proc/19329/task/19332/stat : 19332 (java) S 19327 19327 18159 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 30787813 826777600 8732 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19329/tid=19333] ppid=19327 vsize=807400 CPUtime=0
/proc/19329/task/19333/stat : 19333 (java) S 19327 19327 18159 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30787817 826777600 8732 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19329/tid=19334] ppid=19327 vsize=807400 CPUtime=0.15
/proc/19329/task/19334/stat : 19334 (java) R 19327 19327 18159 0 -1 64 412 0 0 0 15 0 0 0 20 0 8 0 30787817 826777600 8732 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4153531829 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19329/tid=19335] ppid=19327 vsize=807400 CPUtime=0
/proc/19329/task/19335/stat : 19335 (java) S 19327 19327 18159 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30787817 826777600 8732 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19329/tid=19336] ppid=19327 vsize=807400 CPUtime=0
/proc/19329/task/19336/stat : 19336 (java) S 19327 19327 18159 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30787817 826777600 8732 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.78
Current children cumulated vsize (KiB) 821124
[startup+2.99743 s]
/proc/loadavg: 3.72 3.81 3.68 4/102 19344
/proc/meminfo: memFree=247328/2055920 swapFree=4192420/4192956
[pid=19327] ppid=19325 vsize=13724 CPUtime=1.32
/proc/19327/stat : 19327 (sugar) S 19325 19327 18159 0 -1 4194304 1190 9027 0 1 3 0 122 7 15 0 1 0 30787753 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 272476713058 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19327/statm: 3431 809 371 3 0 531 0
[pid=19337] ppid=19327 vsize=807376 CPUtime=1.07
/proc/19337/stat : 19337 (java) R 19327 19327 18159 0 -1 0 8914 0 1 0 100 7 0 0 17 0 8 0 30787942 826753024 8661 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073702499 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19337/statm: 201844 8661 1506 14 0 189122 0
[pid=19337/tid=19338] ppid=19327 vsize=807376 CPUtime=0.14
/proc/19337/task/19338/stat : 19338 (java) S 19327 19327 18159 0 -1 64 2711 0 0 0 13 1 0 0 16 0 8 0 30787946 826753024 8661 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19337/tid=19339] ppid=19327 vsize=807376 CPUtime=0
/proc/19337/task/19339/stat : 19339 (java) S 19327 19327 18159 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 30787946 826753024 8661 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19337/tid=19340] ppid=19327 vsize=807376 CPUtime=0
/proc/19337/task/19340/stat : 19340 (java) S 19327 19327 18159 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30787946 826753024 8661 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19337/tid=19341] ppid=19327 vsize=807376 CPUtime=0
/proc/19337/task/19341/stat : 19341 (java) S 19327 19327 18159 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30787949 826753024 8661 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19337/tid=19342] ppid=19327 vsize=807376 CPUtime=0.15
/proc/19337/task/19342/stat : 19342 (java) R 19327 19327 18159 0 -1 64 417 0 0 0 14 1 0 0 20 0 8 0 30787950 826753024 8661 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19337/tid=19343] ppid=19327 vsize=807376 CPUtime=0
/proc/19337/task/19343/stat : 19343 (java) S 19327 19327 18159 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30787950 826753024 8661 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19337/tid=19344] ppid=19327 vsize=807376 CPUtime=0
/proc/19337/task/19344/stat : 19344 (java) S 19327 19327 18159 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30787950 826753024 8661 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.39
Current children cumulated vsize (KiB) 821100
[startup+6.28907 s]
/proc/loadavg: 3.82 3.83 3.69 3/102 19344
/proc/meminfo: memFree=78304/2055920 swapFree=4192420/4192956
[pid=19327] ppid=19325 vsize=13724 CPUtime=1.32
/proc/19327/stat : 19327 (sugar) S 19325 19327 18159 0 -1 4194304 1190 9027 0 1 3 0 122 7 16 0 1 0 30787753 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 272476713058 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19327/statm: 3431 809 371 3 0 531 0
[pid=19337] ppid=19327 vsize=807376 CPUtime=4.14
/proc/19337/stat : 19337 (java) R 19327 19327 18159 0 -1 0 10966 0 1 0 370 44 0 0 25 0 8 0 30787942 826753024 10709 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073849886 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19337/statm: 201844 10709 1508 14 0 189122 0
[pid=19337/tid=19338] ppid=19327 vsize=807376 CPUtime=0.25
/proc/19337/task/19338/stat : 19338 (java) S 19327 19327 18159 0 -1 64 4719 0 0 0 23 2 0 0 16 0 8 0 30787946 826753024 10709 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19337/tid=19339] ppid=19327 vsize=807376 CPUtime=0
/proc/19337/task/19339/stat : 19339 (java) S 19327 19327 18159 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 30787946 826753024 10709 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19337/tid=19340] ppid=19327 vsize=807376 CPUtime=0
/proc/19337/task/19340/stat : 19340 (java) S 19327 19327 18159 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30787946 826753024 10709 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19337/tid=19341] ppid=19327 vsize=807376 CPUtime=0
/proc/19337/task/19341/stat : 19341 (java) S 19327 19327 18159 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30787949 826753024 10709 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19337/tid=19342] ppid=19327 vsize=807376 CPUtime=0.17
/proc/19337/task/19342/stat : 19342 (java) S 19327 19327 18159 0 -1 64 436 0 0 0 16 1 0 0 16 0 8 0 30787950 826753024 10709 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19337/tid=19343] ppid=19327 vsize=807376 CPUtime=0
/proc/19337/task/19343/stat : 19343 (java) S 19327 19327 18159 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30787950 826753024 10709 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19337/tid=19344] ppid=19327 vsize=807376 CPUtime=0
/proc/19337/task/19344/stat : 19344 (java) S 19327 19327 18159 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30787950 826753024 10709 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5.46
Current children cumulated vsize (KiB) 821100
[startup+12.6916 s]
/proc/loadavg: 3.99 3.86 3.70 3/102 19344
/proc/meminfo: memFree=15648/2055920 swapFree=4192420/4192956
[pid=19327] ppid=19325 vsize=13724 CPUtime=1.32
/proc/19327/stat : 19327 (sugar) S 19325 19327 18159 0 -1 4194304 1190 9027 0 1 3 0 122 7 16 0 1 0 30787753 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 272476713058 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19327/statm: 3431 809 371 3 0 531 0
[pid=19337] ppid=19327 vsize=807376 CPUtime=10.39
/proc/19337/stat : 19337 (java) R 19327 19327 18159 0 -1 0 10966 0 1 0 910 129 0 0 25 0 8 0 30787942 826753024 10709 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073849886 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19337/statm: 201844 10709 1508 14 0 189122 0
[pid=19337/tid=19338] ppid=19327 vsize=807376 CPUtime=0.25
/proc/19337/task/19338/stat : 19338 (java) S 19327 19327 18159 0 -1 64 4719 0 0 0 23 2 0 0 16 0 8 0 30787946 826753024 10709 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19337/tid=19339] ppid=19327 vsize=807376 CPUtime=0
/proc/19337/task/19339/stat : 19339 (java) S 19327 19327 18159 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 30787946 826753024 10709 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19337/tid=19340] ppid=19327 vsize=807376 CPUtime=0
/proc/19337/task/19340/stat : 19340 (java) S 19327 19327 18159 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30787946 826753024 10709 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19337/tid=19341] ppid=19327 vsize=807376 CPUtime=0
/proc/19337/task/19341/stat : 19341 (java) S 19327 19327 18159 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30787949 826753024 10709 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19337/tid=19342] ppid=19327 vsize=807376 CPUtime=0.17
/proc/19337/task/19342/stat : 19342 (java) S 19327 19327 18159 0 -1 64 436 0 0 0 16 1 0 0 16 0 8 0 30787950 826753024 10709 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19337/tid=19343] ppid=19327 vsize=807376 CPUtime=0
/proc/19337/task/19343/stat : 19343 (java) S 19327 19327 18159 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30787950 826753024 10709 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19337/tid=19344] ppid=19327 vsize=807376 CPUtime=0
/proc/19337/task/19344/stat : 19344 (java) S 19327 19327 18159 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30787950 826753024 10709 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 11.71
Current children cumulated vsize (KiB) 821100
[startup+25.5415 s]
/proc/loadavg: 4.21 3.92 3.72 2/102 19344
/proc/meminfo: memFree=16288/2055920 swapFree=4192420/4192956
[pid=19327] ppid=19325 vsize=13724 CPUtime=1.32
/proc/19327/stat : 19327 (sugar) S 19325 19327 18159 0 -1 4194304 1190 9027 0 1 3 0 122 7 16 0 1 0 30787753 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 272476713058 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19327/statm: 3431 809 371 3 0 531 0
[pid=19337] ppid=19327 vsize=807376 CPUtime=15.12
/proc/19337/stat : 19337 (java) D 19327 19327 18159 0 -1 0 10966 0 1 0 1315 197 0 0 19 0 8 0 30787942 826753024 10709 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19337/statm: 201844 10709 1508 14 0 189122 0
[pid=19337/tid=19338] ppid=19327 vsize=807376 CPUtime=0.25
/proc/19337/task/19338/stat : 19338 (java) S 19327 19327 18159 0 -1 64 4719 0 0 0 23 2 0 0 16 0 8 0 30787946 826753024 10709 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19337/tid=19339] ppid=19327 vsize=807376 CPUtime=0
/proc/19337/task/19339/stat : 19339 (java) S 19327 19327 18159 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 30787946 826753024 10709 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19337/tid=19340] ppid=19327 vsize=807376 CPUtime=0
/proc/19337/task/19340/stat : 19340 (java) S 19327 19327 18159 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30787946 826753024 10709 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19337/tid=19341] ppid=19327 vsize=807376 CPUtime=0
/proc/19337/task/19341/stat : 19341 (java) S 19327 19327 18159 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30787949 826753024 10709 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19337/tid=19342] ppid=19327 vsize=807376 CPUtime=0.17
/proc/19337/task/19342/stat : 19342 (java) S 19327 19327 18159 0 -1 64 436 0 0 0 16 1 0 0 16 0 8 0 30787950 826753024 10709 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19337/tid=19343] ppid=19327 vsize=807376 CPUtime=0
/proc/19337/task/19343/stat : 19343 (java) S 19327 19327 18159 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30787950 826753024 10709 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19337/tid=19344] ppid=19327 vsize=807376 CPUtime=0
/proc/19337/task/19344/stat : 19344 (java) S 19327 19327 18159 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30787950 826753024 10709 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 16.44
Current children cumulated vsize (KiB) 821100
[startup+51.1704 s]
/proc/loadavg: 4.48 4.00 3.75 2/102 19344
/proc/meminfo: memFree=15264/2055920 swapFree=4192420/4192956
[pid=19327] ppid=19325 vsize=13724 CPUtime=1.32
/proc/19327/stat : 19327 (sugar) S 19325 19327 18159 0 -1 4194304 1190 9027 0 1 3 0 122 7 16 0 1 0 30787753 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 272476713058 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19327/statm: 3431 809 371 3 0 531 0
[pid=19337] ppid=19327 vsize=807376 CPUtime=32.35
/proc/19337/stat : 19337 (java) D 19327 19327 18159 0 -1 0 10966 0 1 0 2833 402 0 0 25 0 8 0 30787942 826753024 10709 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19337/statm: 201844 10709 1508 14 0 189122 0
[pid=19337/tid=19338] ppid=19327 vsize=807376 CPUtime=0.25
/proc/19337/task/19338/stat : 19338 (java) S 19327 19327 18159 0 -1 64 4719 0 0 0 23 2 0 0 16 0 8 0 30787946 826753024 10709 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19337/tid=19339] ppid=19327 vsize=807376 CPUtime=0
/proc/19337/task/19339/stat : 19339 (java) S 19327 19327 18159 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 30787946 826753024 10709 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19337/tid=19340] ppid=19327 vsize=807376 CPUtime=0
/proc/19337/task/19340/stat : 19340 (java) S 19327 19327 18159 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30787946 826753024 10709 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19337/tid=19341] ppid=19327 vsize=807376 CPUtime=0
/proc/19337/task/19341/stat : 19341 (java) S 19327 19327 18159 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30787949 826753024 10709 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19337/tid=19342] ppid=19327 vsize=807376 CPUtime=0.17
/proc/19337/task/19342/stat : 19342 (java) S 19327 19327 18159 0 -1 64 436 0 0 0 16 1 0 0 16 0 8 0 30787950 826753024 10709 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19337/tid=19343] ppid=19327 vsize=807376 CPUtime=0
/proc/19337/task/19343/stat : 19343 (java) S 19327 19327 18159 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30787950 826753024 10709 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19337/tid=19344] ppid=19327 vsize=807376 CPUtime=0
/proc/19337/task/19344/stat : 19344 (java) S 19327 19327 18159 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30787950 826753024 10709 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 33.67
Current children cumulated vsize (KiB) 821100
[startup+102.399 s]
/proc/loadavg: 5.78 4.38 3.89 1/103 19346
/proc/meminfo: memFree=29016/2055920 swapFree=4192420/4192956
[pid=19327] ppid=19325 vsize=13724 CPUtime=1.32
/proc/19327/stat : 19327 (sugar) S 19325 19327 18159 0 -1 4194304 1190 9027 0 1 3 0 122 7 16 0 1 0 30787753 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 272476713058 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19327/statm: 3431 809 371 3 0 531 0
[pid=19337] ppid=19327 vsize=807376 CPUtime=41.03
/proc/19337/stat : 19337 (java) D 19327 19327 18159 0 -1 0 10966 0 1 0 3598 505 0 0 25 0 8 0 30787942 826753024 10709 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19337/statm: 201844 10709 1508 14 0 189122 0
[pid=19337/tid=19338] ppid=19327 vsize=807376 CPUtime=0.25
################
# More data... #
################
/proc/19337/task/19343/stat : 19343 (java) S 19327 19327 18159 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30787950 826753024 10709 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19337/tid=19344] ppid=19327 vsize=807376 CPUtime=0
/proc/19337/task/19344/stat : 19344 (java) S 19327 19327 18159 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30787950 826753024 10709 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 42.35
Current children cumulated vsize (KiB) 821100
[startup+162.429 s]
/proc/loadavg: 5.41 4.51 3.96 1/109 19353
/proc/meminfo: memFree=31656/2055920 swapFree=4192420/4192956
[pid=19327] ppid=19325 vsize=13724 CPUtime=1.32
/proc/19327/stat : 19327 (sugar) S 19325 19327 18159 0 -1 4194304 1190 9027 0 1 3 0 122 7 16 0 1 0 30787753 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 272476713058 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19327/statm: 3431 809 371 3 0 531 0
[pid=19337] ppid=19327 vsize=807376 CPUtime=73.09
/proc/19337/stat : 19337 (java) D 19327 19327 18159 0 -1 0 10978 0 2 0 6462 847 0 0 25 0 8 0 30787942 826753024 10721 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19337/statm: 201844 10721 1510 14 0 189122 0
[pid=19337/tid=19338] ppid=19327 vsize=807376 CPUtime=0.25
/proc/19337/task/19338/stat : 19338 (java) S 19327 19327 18159 0 -1 64 4719 0 0 0 23 2 0 0 16 0 8 0 30787946 826753024 10721 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19337/tid=19339] ppid=19327 vsize=807376 CPUtime=0
/proc/19337/task/19339/stat : 19339 (java) S 19327 19327 18159 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 30787946 826753024 10721 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19337/tid=19340] ppid=19327 vsize=807376 CPUtime=0
/proc/19337/task/19340/stat : 19340 (java) S 19327 19327 18159 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30787946 826753024 10721 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19337/tid=19341] ppid=19327 vsize=807376 CPUtime=0
/proc/19337/task/19341/stat : 19341 (java) S 19327 19327 18159 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30787949 826753024 10721 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19337/tid=19342] ppid=19327 vsize=807376 CPUtime=0.18
/proc/19337/task/19342/stat : 19342 (java) S 19327 19327 18159 0 -1 64 446 0 1 0 17 1 0 0 16 0 8 0 30787950 826753024 10721 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19337/tid=19343] ppid=19327 vsize=807376 CPUtime=0
/proc/19337/task/19343/stat : 19343 (java) S 19327 19327 18159 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30787950 826753024 10721 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19337/tid=19344] ppid=19327 vsize=807376 CPUtime=0
/proc/19337/task/19344/stat : 19344 (java) S 19327 19327 18159 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30787950 826753024 10721 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 74.41
Current children cumulated vsize (KiB) 821100
[startup+222.468 s]
/proc/loadavg: 8.22 5.30 4.25 3/110 19360
/proc/meminfo: memFree=15008/2055920 swapFree=4192420/4192956
[pid=19327] ppid=19325 vsize=13724 CPUtime=1.32
/proc/19327/stat : 19327 (sugar) S 19325 19327 18159 0 -1 4194304 1190 9027 0 1 3 0 122 7 16 0 1 0 30787753 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 272476713058 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19327/statm: 3431 809 371 3 0 531 0
[pid=19337] ppid=19327 vsize=807376 CPUtime=112.62
/proc/19337/stat : 19337 (java) D 19327 19327 18159 0 -1 0 10979 0 2 0 10139 1123 0 0 23 0 8 0 30787942 826753024 10722 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19337/statm: 201844 10722 1510 14 0 189122 0
[pid=19337/tid=19338] ppid=19327 vsize=807376 CPUtime=0.25
/proc/19337/task/19338/stat : 19338 (java) S 19327 19327 18159 0 -1 64 4719 0 0 0 23 2 0 0 16 0 8 0 30787946 826753024 10722 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19337/tid=19339] ppid=19327 vsize=807376 CPUtime=0
/proc/19337/task/19339/stat : 19339 (java) S 19327 19327 18159 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 30787946 826753024 10722 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19337/tid=19340] ppid=19327 vsize=807376 CPUtime=0
/proc/19337/task/19340/stat : 19340 (java) S 19327 19327 18159 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30787946 826753024 10722 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19337/tid=19341] ppid=19327 vsize=807376 CPUtime=0
/proc/19337/task/19341/stat : 19341 (java) S 19327 19327 18159 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30787949 826753024 10722 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19337/tid=19342] ppid=19327 vsize=807376 CPUtime=0.19
/proc/19337/task/19342/stat : 19342 (java) S 19327 19327 18159 0 -1 64 447 0 1 0 18 1 0 0 16 0 8 0 30787950 826753024 10722 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19337/tid=19343] ppid=19327 vsize=807376 CPUtime=0
/proc/19337/task/19343/stat : 19343 (java) S 19327 19327 18159 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30787950 826753024 10722 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19337/tid=19344] ppid=19327 vsize=807376 CPUtime=0
/proc/19337/task/19344/stat : 19344 (java) S 19327 19327 18159 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30787950 826753024 10722 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 113.94
Current children cumulated vsize (KiB) 821100
[startup+282.477 s]
/proc/loadavg: 10.31 6.46 4.72 1/107 19360
/proc/meminfo: memFree=57848/2055920 swapFree=4192420/4192956
[pid=19327] ppid=19325 vsize=13724 CPUtime=1.32
/proc/19327/stat : 19327 (sugar) S 19325 19327 18159 0 -1 4194304 1190 9027 0 1 3 0 122 7 16 0 1 0 30787753 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 272476713058 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19327/statm: 3431 809 371 3 0 531 0
[pid=19337] ppid=19327 vsize=807376 CPUtime=125.98
/proc/19337/stat : 19337 (java) R 19327 19327 18159 0 -1 0 10979 0 2 0 11365 1233 0 0 25 0 8 0 30787942 826753024 10722 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073865680 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19337/statm: 201844 10722 1510 14 0 189122 0
[pid=19337/tid=19338] ppid=19327 vsize=807376 CPUtime=0.25
/proc/19337/task/19338/stat : 19338 (java) S 19327 19327 18159 0 -1 64 4719 0 0 0 23 2 0 0 16 0 8 0 30787946 826753024 10722 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19337/tid=19339] ppid=19327 vsize=807376 CPUtime=0
/proc/19337/task/19339/stat : 19339 (java) S 19327 19327 18159 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 30787946 826753024 10722 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19337/tid=19340] ppid=19327 vsize=807376 CPUtime=0
/proc/19337/task/19340/stat : 19340 (java) S 19327 19327 18159 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30787946 826753024 10722 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19337/tid=19341] ppid=19327 vsize=807376 CPUtime=0
/proc/19337/task/19341/stat : 19341 (java) S 19327 19327 18159 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30787949 826753024 10722 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19337/tid=19342] ppid=19327 vsize=807376 CPUtime=0.19
/proc/19337/task/19342/stat : 19342 (java) S 19327 19327 18159 0 -1 64 447 0 1 0 18 1 0 0 16 0 8 0 30787950 826753024 10722 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19337/tid=19343] ppid=19327 vsize=807376 CPUtime=0
/proc/19337/task/19343/stat : 19343 (java) S 19327 19327 18159 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30787950 826753024 10722 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19337/tid=19344] ppid=19327 vsize=807376 CPUtime=0
/proc/19337/task/19344/stat : 19344 (java) S 19327 19327 18159 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30787950 826753024 10722 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 127.3
Current children cumulated vsize (KiB) 821100
[startup+342.54 s]
/proc/loadavg: 6.93 6.18 4.73 2/102 19363
/proc/meminfo: memFree=16096/2055920 swapFree=4192420/4192956
[pid=19327] ppid=19325 vsize=13724 CPUtime=1.32
/proc/19327/stat : 19327 (sugar) S 19325 19327 18159 0 -1 4194304 1190 9027 0 1 3 0 122 7 16 0 1 0 30787753 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 272476713058 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19327/statm: 3431 809 371 3 0 531 0
[pid=19337] ppid=19327 vsize=807376 CPUtime=172.99
/proc/19337/stat : 19337 (java) R 19327 19327 18159 0 -1 0 12416 0 2 0 15697 1602 0 0 25 0 8 0 30787942 826753024 12158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19337/statm: 201844 12158 1510 14 0 189122 0
[pid=19337/tid=19338] ppid=19327 vsize=807376 CPUtime=0.28
/proc/19337/task/19338/stat : 19338 (java) S 19327 19327 18159 0 -1 64 6155 0 0 0 25 3 0 0 16 0 8 0 30787946 826753024 12158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19337/tid=19339] ppid=19327 vsize=807376 CPUtime=0
/proc/19337/task/19339/stat : 19339 (java) S 19327 19327 18159 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 30787946 826753024 12158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19337/tid=19340] ppid=19327 vsize=807376 CPUtime=0
/proc/19337/task/19340/stat : 19340 (java) S 19327 19327 18159 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30787946 826753024 12158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19337/tid=19341] ppid=19327 vsize=807376 CPUtime=0
/proc/19337/task/19341/stat : 19341 (java) S 19327 19327 18159 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30787949 826753024 12158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19337/tid=19342] ppid=19327 vsize=807376 CPUtime=0.19
/proc/19337/task/19342/stat : 19342 (java) S 19327 19327 18159 0 -1 64 447 0 1 0 18 1 0 0 16 0 8 0 30787950 826753024 12158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19337/tid=19343] ppid=19327 vsize=807376 CPUtime=0
/proc/19337/task/19343/stat : 19343 (java) S 19327 19327 18159 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30787950 826753024 12158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19337/tid=19344] ppid=19327 vsize=807376 CPUtime=0
/proc/19337/task/19344/stat : 19344 (java) S 19327 19327 18159 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30787950 826753024 12158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 174.31
Current children cumulated vsize (KiB) 821100
[startup+402.571 s]
/proc/loadavg: 5.75 6.00 4.76 2/103 19368
/proc/meminfo: memFree=16152/2055920 swapFree=4192420/4192956
[pid=19327] ppid=19325 vsize=13724 CPUtime=1.32
/proc/19327/stat : 19327 (sugar) S 19325 19327 18159 0 -1 4194304 1190 9027 0 1 3 0 122 7 16 0 1 0 30787753 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 272476713058 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19327/statm: 3431 809 371 3 0 531 0
[pid=19337] ppid=19327 vsize=807376 CPUtime=219.5
/proc/19337/stat : 19337 (java) R 19327 19327 18159 0 -1 0 12416 0 2 0 20027 1923 0 0 25 0 8 0 30787942 826753024 12158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152033920 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19337/statm: 201844 12158 1510 14 0 189122 0
[pid=19337/tid=19338] ppid=19327 vsize=807376 CPUtime=0.28
/proc/19337/task/19338/stat : 19338 (java) S 19327 19327 18159 0 -1 64 6155 0 0 0 25 3 0 0 16 0 8 0 30787946 826753024 12158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19337/tid=19339] ppid=19327 vsize=807376 CPUtime=0
/proc/19337/task/19339/stat : 19339 (java) S 19327 19327 18159 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 30787946 826753024 12158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19337/tid=19340] ppid=19327 vsize=807376 CPUtime=0
/proc/19337/task/19340/stat : 19340 (java) S 19327 19327 18159 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30787946 826753024 12158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19337/tid=19341] ppid=19327 vsize=807376 CPUtime=0
/proc/19337/task/19341/stat : 19341 (java) S 19327 19327 18159 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30787949 826753024 12158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19337/tid=19342] ppid=19327 vsize=807376 CPUtime=0.19
/proc/19337/task/19342/stat : 19342 (java) S 19327 19327 18159 0 -1 64 447 0 1 0 18 1 0 0 16 0 8 0 30787950 826753024 12158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19337/tid=19343] ppid=19327 vsize=807376 CPUtime=0
/proc/19337/task/19343/stat : 19343 (java) S 19327 19327 18159 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30787950 826753024 12158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19337/tid=19344] ppid=19327 vsize=807376 CPUtime=0
/proc/19337/task/19344/stat : 19344 (java) S 19327 19327 18159 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30787950 826753024 12158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 220.82
Current children cumulated vsize (KiB) 821100
[startup+462.601 s]
/proc/loadavg: 4.85 5.72 4.74 2/104 19371
/proc/meminfo: memFree=33936/2055920 swapFree=4192420/4192956
[pid=19327] ppid=19325 vsize=13724 CPUtime=1.32
/proc/19327/stat : 19327 (sugar) S 19325 19327 18159 0 -1 4194304 1190 9027 0 1 3 0 122 7 16 0 1 0 30787753 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 272476713058 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19327/statm: 3431 809 371 3 0 531 0
[pid=19337] ppid=19327 vsize=807376 CPUtime=248.77
/proc/19337/stat : 19337 (java) D 19327 19327 18159 0 -1 0 12416 0 2 0 22737 2140 0 0 25 0 8 0 30787942 826753024 12158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19337/statm: 201844 12158 1510 14 0 189122 0
[pid=19337/tid=19338] ppid=19327 vsize=807376 CPUtime=0.28
/proc/19337/task/19338/stat : 19338 (java) S 19327 19327 18159 0 -1 64 6155 0 0 0 25 3 0 0 16 0 8 0 30787946 826753024 12158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19337/tid=19339] ppid=19327 vsize=807376 CPUtime=0
/proc/19337/task/19339/stat : 19339 (java) S 19327 19327 18159 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 30787946 826753024 12158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19337/tid=19340] ppid=19327 vsize=807376 CPUtime=0
/proc/19337/task/19340/stat : 19340 (java) S 19327 19327 18159 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30787946 826753024 12158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19337/tid=19341] ppid=19327 vsize=807376 CPUtime=0
/proc/19337/task/19341/stat : 19341 (java) S 19327 19327 18159 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30787949 826753024 12158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19337/tid=19342] ppid=19327 vsize=807376 CPUtime=0.19
/proc/19337/task/19342/stat : 19342 (java) S 19327 19327 18159 0 -1 64 447 0 1 0 18 1 0 0 16 0 8 0 30787950 826753024 12158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19337/tid=19343] ppid=19327 vsize=807376 CPUtime=0
/proc/19337/task/19343/stat : 19343 (java) S 19327 19327 18159 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30787950 826753024 12158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19337/tid=19344] ppid=19327 vsize=807376 CPUtime=0
/proc/19337/task/19344/stat : 19344 (java) S 19327 19327 18159 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30787950 826753024 12158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 250.09
Current children cumulated vsize (KiB) 821100
[startup+522.64 s]
/proc/loadavg: 4.27 5.39 4.68 2/94 19373
/proc/meminfo: memFree=444064/2055920 swapFree=4192420/4192956
[pid=19327] ppid=19325 vsize=26344 CPUtime=251.49
/proc/19327/stat : 19327 (sugar) D 19325 19327 18159 0 -1 4194304 4368 21512 2 12 22 85 22891 2151 18 0 1 0 30787753 26976256 3850 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 272467989545 0 0 4224 16386 18446744071563608240 0 0 17 1 0 0
/proc/19327/statm: 6586 3850 377 3 0 3686 0
Current children cumulated CPU time (s) 251.49
Current children cumulated vsize (KiB) 26344
Child status: 1
Real time (s): 557.619
CPU time (s): 251.601
CPU user time (s): 229.148
CPU system time (s): 22.4526
CPU usage (%): 45.1205
Max. virtual memory (cumulated for all children) (KiB): 821124
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 229.148
system time used= 22.4526
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25934
page faults= 14
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12656
involuntary context switches= 18200
runsolver used 0.670898 s user time and 1.80773 s system time
The end
Begin job on node22 on Mon Jan 29 22:05:38 UTC 2007
IDJOB= 236925
IDBENCH= 6884
IDSOLVER= 86
FILE ID= node22/236925-1170108338
PBS_JOBID= 3689879
Free space on /tmp= 64661 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/fisher/FISCHER4-5-fair.xml
COMMAND LINE= /tmp/evaluation/236925-1170108338/solver /tmp/evaluation/236925-1170108338 /tmp/evaluation/236925-1170108338/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node22/watcher-236925-1170108338 -o ROOT/results/node22/solver-236925-1170108338 -C 1800 -M 900 /tmp/evaluation/236925-1170108338/solver /tmp/evaluation/236925-1170108338 /tmp/evaluation/236925-1170108338/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= 1c859ec9e20a041fc318ff1927e6cdd9
RANDOM SEED= 599009378
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.235
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.235
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: 335168 kB
Buffers: 5772 kB
Cached: 1446060 kB
SwapCached: 36 kB
Active: 203052 kB
Inactive: 1410348 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 335168 kB
SwapTotal: 4192956 kB
SwapFree: 4192420 kB
Dirty: 752028 kB
Writeback: 0 kB
Mapped: 186644 kB
Slab: 92104 kB
Committed_AS: 627052 kB
PageTables: 2288 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= 58874 MiB
End job on node22 on Mon Jan 29 22:15:00 UTC 2007