0.05 c # Sugar v0-40 (/tmp/evaluation/226186-1170104733/sugar-v0-40.jar)
0.05
0.05 c # MAIN BEGIN : /tmp/evaluation/226186-1170104733/unknown.xml [Mon Jan 29 22:05:34 2007]
0.05 c # CONVERT_XML BEGIN : /tmp/evaluation/226186-1170104733/unknown.xml /tmp/evaluation/226186-1170104733/sugar19140.csp [Mon Jan 29 22:05:34 2007]
0.05 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/226186-1170104733/sugar-v0-40.jar -convert /tmp/evaluation/226186-1170104733/unknown.xml /tmp/evaluation/226186-1170104733/sugar19140.csp
0.16 c BEGIN convert /tmp/evaluation/226186-1170104733/unknown.xml
0.77 c END convert (0.601533 seconds)
0.80 c # CONVERT_XML END : /tmp/evaluation/226186-1170104733/sugar19140.csp 2348165 bytes (0 seconds) [Mon Jan 29 22:05:34 2007]
0.80 c # CONVERT_XML CPU : 0.72 = 0 + 0 + 0.65 + 0.07
0.80
0.80 c # GENERATE_SAT BEGIN : /tmp/evaluation/226186-1170104733/sugar19140.bcnf [Mon Jan 29 22:05:34 2007]
0.80 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/226186-1170104733/sugar-v0-40.jar -bcnf -map /tmp/evaluation/226186-1170104733/sugar19140.map /tmp/evaluation/226186-1170104733/sugar19140.csp /tmp/evaluation/226186-1170104733/sugar19140.bcnf
0.92 c BEGIN parse /tmp/evaluation/226186-1170104733/sugar19140.csp
1814.87
1814.87 s UNKNOWN
1814.87 c # INTERRUPTED
1814.87 c # MAIN END : (1814 seconds) [Mon Jan 29 22:35:48 2007]
1814.87 c # MAIN CPU : 0.72 = 0 + 0 + 0.65 + 0.07
1814.87
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node38/watcher-226186-1170104733 -o ROOT/results/node38/solver-226186-1170104733 -C 1800 -M 900 /tmp/evaluation/226186-1170104733/solver /tmp/evaluation/226186-1170104733 /tmp/evaluation/226186-1170104733/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: 2.26 2.06 2.06 5/81 19141
/proc/meminfo: memFree=1551952/2055920 swapFree=4192812/4192956
[pid=19140] ppid=19138 vsize=18540 CPUtime=0
/proc/19140/stat : 19140 (runsolver) R 19138 19140 17842 0 -1 4194368 16 0 0 0 0 0 0 0 18 0 1 0 30429190 18984960 279 18446744073709551615 4194304 4267372 548682069040 18446744073709551615 266890439975 0 0 4096 24578 0 0 0 17 1 0 0
/proc/19140/statm: 4635 279 244 17 0 2626 0
[startup+0.108385 s]
/proc/loadavg: 2.26 2.06 2.06 5/81 19141
/proc/meminfo: memFree=1551952/2055920 swapFree=4192812/4192956
[pid=19140] ppid=19138 vsize=13724 CPUtime=0.03
/proc/19140/stat : 19140 (sugar) S 19138 19140 17842 0 -1 4194304 1112 0 0 0 3 0 0 0 18 0 1 0 30429190 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/19140/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+0.518315 s]
/proc/loadavg: 2.26 2.06 2.06 5/81 19141
/proc/meminfo: memFree=1551952/2055920 swapFree=4192812/4192956
[pid=19140] ppid=19138 vsize=13724 CPUtime=0.03
/proc/19140/stat : 19140 (sugar) S 19138 19140 17842 0 -1 4194304 1121 0 0 0 3 0 0 0 15 0 1 0 30429190 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/19140/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+1.34742 s]
/proc/loadavg: 2.26 2.06 2.06 3/89 19157
/proc/meminfo: memFree=1522960/2055920 swapFree=4192812/4192956
[pid=19140] ppid=19138 vsize=13724 CPUtime=0.75
/proc/19140/stat : 19140 (sugar) S 19138 19140 17842 0 -1 4194304 1190 7932 0 1 3 0 65 7 16 0 1 0 30429190 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/19140/statm: 3431 809 371 3 0 531 0
[pid=19150] ppid=19140 vsize=807064 CPUtime=0.51
/proc/19150/stat : 19150 (java) R 19140 19140 17842 0 -1 0 7872 0 1 0 46 5 0 0 25 0 8 0 30429271 826433536 7620 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19150/statm: 201766 7620 1494 14 0 189044 0
[pid=19150/tid=19151] ppid=19140 vsize=807064 CPUtime=0.08
/proc/19150/task/19151/stat : 19151 (java) R 19140 19140 17842 0 -1 64 1820 0 0 0 8 0 0 0 16 0 8 0 30429274 826433536 7620 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960128 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19150/tid=19152] ppid=19140 vsize=807064 CPUtime=0
/proc/19150/task/19152/stat : 19152 (java) S 19140 19140 17842 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30429274 826433536 7620 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19150/tid=19153] ppid=19140 vsize=807064 CPUtime=0
/proc/19150/task/19153/stat : 19153 (java) S 19140 19140 17842 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30429275 826433536 7620 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19150/tid=19154] ppid=19140 vsize=807064 CPUtime=0
/proc/19150/task/19154/stat : 19154 (java) S 19140 19140 17842 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 30429278 826433536 7620 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19150/tid=19155] ppid=19140 vsize=807064 CPUtime=0.05
/proc/19150/task/19155/stat : 19155 (java) S 19140 19140 17842 0 -1 64 290 0 0 0 5 0 0 0 19 0 8 0 30429278 826433536 7620 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19150/tid=19156] ppid=19140 vsize=807064 CPUtime=0
/proc/19150/task/19156/stat : 19156 (java) S 19140 19140 17842 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 30429278 826433536 7620 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19150/tid=19157] ppid=19140 vsize=807064 CPUtime=0
/proc/19150/task/19157/stat : 19157 (java) S 19140 19140 17842 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30429278 826433536 7620 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 820788
[startup+2.9906 s]
/proc/loadavg: 2.24 2.06 2.06 4/89 19157
/proc/meminfo: memFree=1507088/2055920 swapFree=4192812/4192956
[pid=19140] ppid=19138 vsize=13724 CPUtime=0.75
/proc/19140/stat : 19140 (sugar) S 19138 19140 17842 0 -1 4194304 1190 7932 0 1 3 0 65 7 16 0 1 0 30429190 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/19140/statm: 3431 809 371 3 0 531 0
[pid=19150] ppid=19140 vsize=807064 CPUtime=2.15
/proc/19150/stat : 19150 (java) R 19140 19140 17842 0 -1 0 14891 0 1 0 206 9 0 0 25 0 8 0 30429271 826433536 14624 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073485698 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19150/statm: 201766 14624 1494 14 0 189044 0
[pid=19150/tid=19151] ppid=19140 vsize=807064 CPUtime=0.58
/proc/19150/task/19151/stat : 19151 (java) S 19140 19140 17842 0 -1 64 8824 0 0 0 55 3 0 0 16 0 8 0 30429274 826433536 14624 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19150/tid=19152] ppid=19140 vsize=807064 CPUtime=0
/proc/19150/task/19152/stat : 19152 (java) S 19140 19140 17842 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30429274 826433536 14624 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19150/tid=19153] ppid=19140 vsize=807064 CPUtime=0
/proc/19150/task/19153/stat : 19153 (java) S 19140 19140 17842 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30429275 826433536 14624 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19150/tid=19154] ppid=19140 vsize=807064 CPUtime=0
/proc/19150/task/19154/stat : 19154 (java) S 19140 19140 17842 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 30429278 826433536 14624 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19150/tid=19155] ppid=19140 vsize=807064 CPUtime=0.05
/proc/19150/task/19155/stat : 19155 (java) S 19140 19140 17842 0 -1 64 290 0 0 0 5 0 0 0 19 0 8 0 30429278 826433536 14624 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19150/tid=19156] ppid=19140 vsize=807064 CPUtime=0
/proc/19150/task/19156/stat : 19156 (java) S 19140 19140 17842 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 30429278 826433536 14624 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19150/tid=19157] ppid=19140 vsize=807064 CPUtime=0
/proc/19150/task/19157/stat : 19157 (java) S 19140 19140 17842 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30429278 826433536 14624 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 820788
[startup+6.22599 s]
/proc/loadavg: 2.24 2.06 2.06 4/89 19157
/proc/meminfo: memFree=1411856/2055920 swapFree=4192812/4192956
[pid=19140] ppid=19138 vsize=13724 CPUtime=0.75
/proc/19140/stat : 19140 (sugar) S 19138 19140 17842 0 -1 4194304 1190 7932 0 1 3 0 65 7 16 0 1 0 30429190 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/19140/statm: 3431 809 371 3 0 531 0
[pid=19150] ppid=19140 vsize=807340 CPUtime=5.35
/proc/19150/stat : 19150 (java) R 19140 19140 17842 0 -1 0 37863 0 1 0 514 21 0 0 25 0 8 0 30429271 826716160 37506 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073590798 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19150/statm: 201835 37506 1506 14 0 189113 0
[pid=19150/tid=19151] ppid=19140 vsize=807340 CPUtime=1.68
/proc/19150/task/19151/stat : 19151 (java) S 19140 19140 17842 0 -1 64 31568 0 0 0 153 15 0 0 16 0 8 0 30429274 826716160 37506 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19150/tid=19152] ppid=19140 vsize=807340 CPUtime=0
/proc/19150/task/19152/stat : 19152 (java) S 19140 19140 17842 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30429274 826716160 37506 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19150/tid=19153] ppid=19140 vsize=807340 CPUtime=0
/proc/19150/task/19153/stat : 19153 (java) S 19140 19140 17842 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30429275 826716160 37506 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19150/tid=19154] ppid=19140 vsize=807340 CPUtime=0
/proc/19150/task/19154/stat : 19154 (java) S 19140 19140 17842 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 30429278 826716160 37506 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19150/tid=19155] ppid=19140 vsize=807340 CPUtime=0.12
/proc/19150/task/19155/stat : 19155 (java) S 19140 19140 17842 0 -1 64 383 0 0 0 12 0 0 0 16 0 8 0 30429278 826716160 37506 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19150/tid=19156] ppid=19140 vsize=807340 CPUtime=0
/proc/19150/task/19156/stat : 19156 (java) S 19140 19140 17842 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 30429278 826716160 37506 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19150/tid=19157] ppid=19140 vsize=807340 CPUtime=0
/proc/19150/task/19157/stat : 19157 (java) S 19140 19140 17842 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30429278 826716160 37506 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.1
Current children cumulated vsize (KiB) 821064
[startup+12.7097 s]
/proc/loadavg: 2.20 2.06 2.06 4/89 19157
/proc/meminfo: memFree=1328784/2055920 swapFree=4192812/4192956
[pid=19140] ppid=19138 vsize=13724 CPUtime=0.75
/proc/19140/stat : 19140 (sugar) S 19138 19140 17842 0 -1 4194304 1190 7932 0 1 3 0 65 7 16 0 1 0 30429190 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/19140/statm: 3431 809 371 3 0 531 0
[pid=19150] ppid=19140 vsize=807340 CPUtime=11.73
/proc/19150/stat : 19150 (java) R 19140 19140 17842 0 -1 0 55073 0 1 0 1142 31 0 0 25 0 8 0 30429271 826716160 54099 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073332698 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19150/statm: 201835 54099 1507 14 0 189113 0
[pid=19150/tid=19151] ppid=19140 vsize=807340 CPUtime=4.29
/proc/19150/task/19151/stat : 19151 (java) S 19140 19140 17842 0 -1 64 48564 0 0 0 404 25 0 0 16 0 8 0 30429274 826716160 54099 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19150/tid=19152] ppid=19140 vsize=807340 CPUtime=0
/proc/19150/task/19152/stat : 19152 (java) S 19140 19140 17842 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30429274 826716160 54099 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19150/tid=19153] ppid=19140 vsize=807340 CPUtime=0
/proc/19150/task/19153/stat : 19153 (java) S 19140 19140 17842 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30429275 826716160 54099 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19150/tid=19154] ppid=19140 vsize=807340 CPUtime=0
/proc/19150/task/19154/stat : 19154 (java) S 19140 19140 17842 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 30429278 826716160 54099 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19150/tid=19155] ppid=19140 vsize=807340 CPUtime=0.12
/proc/19150/task/19155/stat : 19155 (java) S 19140 19140 17842 0 -1 64 387 0 0 0 12 0 0 0 16 0 8 0 30429278 826716160 54099 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19150/tid=19156] ppid=19140 vsize=807340 CPUtime=0
/proc/19150/task/19156/stat : 19156 (java) S 19140 19140 17842 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 30429278 826716160 54099 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19150/tid=19157] ppid=19140 vsize=807340 CPUtime=0
/proc/19150/task/19157/stat : 19157 (java) S 19140 19140 17842 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30429278 826716160 54099 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.48
Current children cumulated vsize (KiB) 821064
[startup+25.6042 s]
/proc/loadavg: 2.25 2.07 2.07 4/89 19157
/proc/meminfo: memFree=1325008/2055920 swapFree=4192812/4192956
[pid=19140] ppid=19138 vsize=13724 CPUtime=0.75
/proc/19140/stat : 19140 (sugar) S 19138 19140 17842 0 -1 4194304 1190 7932 0 1 3 0 65 7 16 0 1 0 30429190 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/19140/statm: 3431 809 371 3 0 531 0
[pid=19150] ppid=19140 vsize=807340 CPUtime=24.44
/proc/19150/stat : 19150 (java) R 19140 19140 17842 0 -1 0 59883 0 1 0 2406 38 0 0 25 0 8 0 30429271 826716160 54309 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19150/statm: 201835 54309 1507 14 0 189113 0
[pid=19150/tid=19151] ppid=19140 vsize=807340 CPUtime=10.61
/proc/19150/task/19151/stat : 19151 (java) R 19140 19140 17842 0 -1 64 53008 0 0 0 1031 30 0 0 16 0 8 0 30429274 826716160 54309 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154035601 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19150/tid=19152] ppid=19140 vsize=807340 CPUtime=0
/proc/19150/task/19152/stat : 19152 (java) S 19140 19140 17842 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30429274 826716160 54309 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19150/tid=19153] ppid=19140 vsize=807340 CPUtime=0
/proc/19150/task/19153/stat : 19153 (java) S 19140 19140 17842 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30429275 826716160 54309 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19150/tid=19154] ppid=19140 vsize=807340 CPUtime=0
/proc/19150/task/19154/stat : 19154 (java) S 19140 19140 17842 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 30429278 826716160 54309 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19150/tid=19155] ppid=19140 vsize=807340 CPUtime=0.13
/proc/19150/task/19155/stat : 19155 (java) S 19140 19140 17842 0 -1 64 391 0 0 0 13 0 0 0 17 0 8 0 30429278 826716160 54309 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19150/tid=19156] ppid=19140 vsize=807340 CPUtime=0
/proc/19150/task/19156/stat : 19156 (java) S 19140 19140 17842 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 30429278 826716160 54309 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19150/tid=19157] ppid=19140 vsize=807340 CPUtime=0
/proc/19150/task/19157/stat : 19157 (java) S 19140 19140 17842 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30429278 826716160 54309 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.19
Current children cumulated vsize (KiB) 821064
[startup+51.2091 s]
/proc/loadavg: 2.63 2.18 2.10 5/89 19157
/proc/meminfo: memFree=1313872/2055920 swapFree=4192812/4192956
[pid=19140] ppid=19138 vsize=13724 CPUtime=0.75
/proc/19140/stat : 19140 (sugar) S 19138 19140 17842 0 -1 4194304 1190 7932 0 1 3 0 65 7 16 0 1 0 30429190 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/19140/statm: 3431 809 371 3 0 531 0
[pid=19150] ppid=19140 vsize=807340 CPUtime=49.74
/proc/19150/stat : 19150 (java) R 19140 19140 17842 0 -1 0 66891 0 1 0 4921 53 0 0 25 0 8 0 30429271 826716160 54497 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19150/statm: 201835 54497 1507 14 0 189113 0
[pid=19150/tid=19151] ppid=19140 vsize=807340 CPUtime=22.82
/proc/19150/task/19151/stat : 19151 (java) R 19140 19140 17842 0 -1 64 59258 0 0 0 2241 41 0 0 16 0 8 0 30429274 826716160 54497 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155134579 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19150/tid=19152] ppid=19140 vsize=807340 CPUtime=0
/proc/19150/task/19152/stat : 19152 (java) S 19140 19140 17842 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30429274 826716160 54497 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19150/tid=19153] ppid=19140 vsize=807340 CPUtime=0
/proc/19150/task/19153/stat : 19153 (java) S 19140 19140 17842 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30429275 826716160 54497 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19150/tid=19154] ppid=19140 vsize=807340 CPUtime=0
/proc/19150/task/19154/stat : 19154 (java) S 19140 19140 17842 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 30429278 826716160 54497 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19150/tid=19155] ppid=19140 vsize=807340 CPUtime=0.14
/proc/19150/task/19155/stat : 19155 (java) S 19140 19140 17842 0 -1 64 397 0 0 0 14 0 0 0 17 0 8 0 30429278 826716160 54497 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19150/tid=19156] ppid=19140 vsize=807340 CPUtime=0
/proc/19150/task/19156/stat : 19156 (java) S 19140 19140 17842 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 30429278 826716160 54497 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19150/tid=19157] ppid=19140 vsize=807340 CPUtime=0
/proc/19150/task/19157/stat : 19157 (java) S 19140 19140 17842 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30429278 826716160 54497 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.49
Current children cumulated vsize (KiB) 821064
[startup+102.429 s]
/proc/loadavg: 3.06 2.36 2.17 4/89 19157
/proc/meminfo: memFree=1286608/2055920 swapFree=4192812/4192956
[pid=19140] ppid=19138 vsize=13724 CPUtime=0.75
/proc/19140/stat : 19140 (sugar) S 19138 19140 17842 0 -1 4194304 1190 7932 0 1 3 0 65 7 16 0 1 0 30429190 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/19140/statm: 3431 809 371 3 0 531 0
[pid=19150] ppid=19140 vsize=807340 CPUtime=100.52
/proc/19150/stat : 19150 (java) R 19140 19140 17842 0 -1 0 82462 0 1 0 9971 81 0 0 25 0 8 0 30429271 826716160 54128 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073332698 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19150/statm: 201835 54128 1507 14 0 189113 0
[pid=19150/tid=19151] ppid=19140 vsize=807340 CPUtime=48.84
################
# More data... #
################
/proc/loadavg: 2.90 3.03 2.94 4/89 19157
/proc/meminfo: memFree=693072/2055920 swapFree=4192812/4192956
[pid=19140] ppid=19138 vsize=13724 CPUtime=0.75
/proc/19140/stat : 19140 (sugar) S 19138 19140 17842 0 -1 4194304 1190 7932 0 1 3 0 65 7 16 0 1 0 30429190 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/19140/statm: 3431 809 371 3 0 531 0
[pid=19150] ppid=19140 vsize=807844 CPUtime=1531.07
/proc/19150/stat : 19150 (java) S 19140 19140 17842 0 -1 0 270025 0 1 0 152772 335 0 0 17 0 8 0 30429271 827232256 152773 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19150/statm: 201961 152773 1507 14 0 189239 0
[pid=19150/tid=19151] ppid=19140 vsize=807844 CPUtime=1048.23
/proc/19150/task/19151/stat : 19151 (java) R 19140 19140 17842 0 -1 64 250742 0 0 0 104563 260 0 0 25 0 8 0 30429274 827232256 152773 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155134174 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19150/tid=19152] ppid=19140 vsize=807844 CPUtime=0
/proc/19150/task/19152/stat : 19152 (java) S 19140 19140 17842 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30429274 827232256 152773 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19150/tid=19153] ppid=19140 vsize=807844 CPUtime=0
/proc/19150/task/19153/stat : 19153 (java) S 19140 19140 17842 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30429275 827232256 152773 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19150/tid=19154] ppid=19140 vsize=807844 CPUtime=0
/proc/19150/task/19154/stat : 19154 (java) S 19140 19140 17842 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 30429278 827232256 152773 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19150/tid=19155] ppid=19140 vsize=807844 CPUtime=0.15
/proc/19150/task/19155/stat : 19155 (java) S 19140 19140 17842 0 -1 64 398 0 0 0 15 0 0 0 17 0 8 0 30429278 827232256 152773 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19150/tid=19156] ppid=19140 vsize=807844 CPUtime=0
/proc/19150/task/19156/stat : 19156 (java) S 19140 19140 17842 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 30429278 827232256 152773 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19150/tid=19157] ppid=19140 vsize=807844 CPUtime=0
/proc/19150/task/19157/stat : 19157 (java) S 19140 19140 17842 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30429278 827232256 152773 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1531.82
Current children cumulated vsize (KiB) 821568
[startup+1604.03 s]
/proc/loadavg: 2.88 2.99 2.93 4/89 19157
/proc/meminfo: memFree=690640/2055920 swapFree=4192812/4192956
[pid=19140] ppid=19138 vsize=13724 CPUtime=0.75
/proc/19140/stat : 19140 (sugar) S 19138 19140 17842 0 -1 4194304 1190 7932 0 1 3 0 65 7 16 0 1 0 30429190 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/19140/statm: 3431 809 371 3 0 531 0
[pid=19150] ppid=19140 vsize=807844 CPUtime=1590.43
/proc/19150/stat : 19150 (java) S 19140 19140 17842 0 -1 0 274902 0 1 0 158704 339 0 0 17 0 8 0 30429271 827232256 153375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19150/statm: 201961 153375 1507 14 0 189239 0
[pid=19150/tid=19151] ppid=19140 vsize=807844 CPUtime=1105.11
/proc/19150/task/19151/stat : 19151 (java) R 19140 19140 17842 0 -1 64 255574 0 0 0 110247 264 0 0 25 0 8 0 30429274 827232256 153375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155134188 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19150/tid=19152] ppid=19140 vsize=807844 CPUtime=0
/proc/19150/task/19152/stat : 19152 (java) S 19140 19140 17842 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30429274 827232256 153375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19150/tid=19153] ppid=19140 vsize=807844 CPUtime=0
/proc/19150/task/19153/stat : 19153 (java) S 19140 19140 17842 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30429275 827232256 153375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19150/tid=19154] ppid=19140 vsize=807844 CPUtime=0
/proc/19150/task/19154/stat : 19154 (java) S 19140 19140 17842 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 30429278 827232256 153375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19150/tid=19155] ppid=19140 vsize=807844 CPUtime=0.15
/proc/19150/task/19155/stat : 19155 (java) S 19140 19140 17842 0 -1 64 398 0 0 0 15 0 0 0 17 0 8 0 30429278 827232256 153375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19150/tid=19156] ppid=19140 vsize=807844 CPUtime=0
/proc/19150/task/19156/stat : 19156 (java) S 19140 19140 17842 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 30429278 827232256 153375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19150/tid=19157] ppid=19140 vsize=807844 CPUtime=0
/proc/19150/task/19157/stat : 19157 (java) S 19140 19140 17842 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30429278 827232256 153375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1591.18
Current children cumulated vsize (KiB) 821568
[startup+1664.09 s]
/proc/loadavg: 2.73 2.93 2.91 4/89 19157
/proc/meminfo: memFree=688528/2055920 swapFree=4192812/4192956
[pid=19140] ppid=19138 vsize=13724 CPUtime=0.75
/proc/19140/stat : 19140 (sugar) S 19138 19140 17842 0 -1 4194304 1190 7932 0 1 3 0 65 7 16 0 1 0 30429190 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/19140/statm: 3431 809 371 3 0 531 0
[pid=19150] ppid=19140 vsize=807844 CPUtime=1649.81
/proc/19150/stat : 19150 (java) S 19140 19140 17842 0 -1 0 279712 0 1 0 164638 343 0 0 17 0 8 0 30429271 827232256 153892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19150/statm: 201961 153892 1507 14 0 189239 0
[pid=19150/tid=19151] ppid=19140 vsize=807844 CPUtime=1161.98
/proc/19150/task/19151/stat : 19151 (java) R 19140 19140 17842 0 -1 64 260339 0 0 0 115930 268 0 0 25 0 8 0 30429274 827232256 153892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155215825 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19150/tid=19152] ppid=19140 vsize=807844 CPUtime=0
/proc/19150/task/19152/stat : 19152 (java) S 19140 19140 17842 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30429274 827232256 153892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19150/tid=19153] ppid=19140 vsize=807844 CPUtime=0
/proc/19150/task/19153/stat : 19153 (java) S 19140 19140 17842 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30429275 827232256 153892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19150/tid=19154] ppid=19140 vsize=807844 CPUtime=0
/proc/19150/task/19154/stat : 19154 (java) S 19140 19140 17842 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 30429278 827232256 153892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19150/tid=19155] ppid=19140 vsize=807844 CPUtime=0.15
/proc/19150/task/19155/stat : 19155 (java) S 19140 19140 17842 0 -1 64 398 0 0 0 15 0 0 0 17 0 8 0 30429278 827232256 153892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19150/tid=19156] ppid=19140 vsize=807844 CPUtime=0
/proc/19150/task/19156/stat : 19156 (java) S 19140 19140 17842 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 30429278 827232256 153892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19150/tid=19157] ppid=19140 vsize=807844 CPUtime=0
/proc/19150/task/19157/stat : 19157 (java) S 19140 19140 17842 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30429278 827232256 153892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1650.56
Current children cumulated vsize (KiB) 821568
[startup+1724.14 s]
/proc/loadavg: 2.84 2.92 2.91 4/89 19157
/proc/meminfo: memFree=688208/2055920 swapFree=4192812/4192956
[pid=19140] ppid=19138 vsize=13724 CPUtime=0.75
/proc/19140/stat : 19140 (sugar) S 19138 19140 17842 0 -1 4194304 1190 7932 0 1 3 0 65 7 16 0 1 0 30429190 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/19140/statm: 3431 809 371 3 0 531 0
[pid=19150] ppid=19140 vsize=807844 CPUtime=1709.17
/proc/19150/stat : 19150 (java) S 19140 19140 17842 0 -1 0 284105 0 1 0 170570 347 0 0 17 0 8 0 30429271 827232256 153973 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19150/statm: 201961 153973 1507 14 0 189239 0
[pid=19150/tid=19151] ppid=19140 vsize=807844 CPUtime=1218.84
/proc/19150/task/19151/stat : 19151 (java) R 19140 19140 17842 0 -1 64 264688 0 0 0 121612 272 0 0 25 0 8 0 30429274 827232256 153973 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155222440 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19150/tid=19152] ppid=19140 vsize=807844 CPUtime=0
/proc/19150/task/19152/stat : 19152 (java) S 19140 19140 17842 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30429274 827232256 153973 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19150/tid=19153] ppid=19140 vsize=807844 CPUtime=0
/proc/19150/task/19153/stat : 19153 (java) S 19140 19140 17842 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30429275 827232256 153973 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19150/tid=19154] ppid=19140 vsize=807844 CPUtime=0
/proc/19150/task/19154/stat : 19154 (java) S 19140 19140 17842 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 30429278 827232256 153973 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19150/tid=19155] ppid=19140 vsize=807844 CPUtime=0.15
/proc/19150/task/19155/stat : 19155 (java) S 19140 19140 17842 0 -1 64 398 0 0 0 15 0 0 0 17 0 8 0 30429278 827232256 153973 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19150/tid=19156] ppid=19140 vsize=807844 CPUtime=0
/proc/19150/task/19156/stat : 19156 (java) S 19140 19140 17842 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 30429278 827232256 153973 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19150/tid=19157] ppid=19140 vsize=807844 CPUtime=0
/proc/19150/task/19157/stat : 19157 (java) R 19140 19140 17842 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30429278 827232256 153973 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1709.92
Current children cumulated vsize (KiB) 821568
[startup+1784.16 s]
/proc/loadavg: 2.14 2.74 2.85 3/81 19241
/proc/meminfo: memFree=1293848/2055920 swapFree=4192812/4192956
[pid=19140] ppid=19138 vsize=13724 CPUtime=0.75
/proc/19140/stat : 19140 (sugar) S 19138 19140 17842 0 -1 4194304 1190 7932 0 1 3 0 65 7 16 0 1 0 30429190 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/19140/statm: 3431 809 371 3 0 531 0
[pid=19150] ppid=19140 vsize=807844 CPUtime=1768.82
/proc/19150/stat : 19150 (java) S 19140 19140 17842 0 -1 0 289702 0 1 0 176531 351 0 0 17 0 8 0 30429271 827232256 155062 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19150/statm: 201961 155062 1507 14 0 189239 0
[pid=19150/tid=19151] ppid=19140 vsize=807844 CPUtime=1276.38
/proc/19150/task/19151/stat : 19151 (java) R 19140 19140 17842 0 -1 64 270239 0 0 0 127362 276 0 0 17 0 8 0 30429274 827232256 155062 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155134188 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19150/tid=19152] ppid=19140 vsize=807844 CPUtime=0
/proc/19150/task/19152/stat : 19152 (java) S 19140 19140 17842 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30429274 827232256 155062 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19150/tid=19153] ppid=19140 vsize=807844 CPUtime=0
/proc/19150/task/19153/stat : 19153 (java) S 19140 19140 17842 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30429275 827232256 155062 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19150/tid=19154] ppid=19140 vsize=807844 CPUtime=0
/proc/19150/task/19154/stat : 19154 (java) S 19140 19140 17842 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 30429278 827232256 155062 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19150/tid=19155] ppid=19140 vsize=807844 CPUtime=0.15
/proc/19150/task/19155/stat : 19155 (java) S 19140 19140 17842 0 -1 64 398 0 0 0 15 0 0 0 17 0 8 0 30429278 827232256 155062 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19150/tid=19156] ppid=19140 vsize=807844 CPUtime=0
/proc/19150/task/19156/stat : 19156 (java) S 19140 19140 17842 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 30429278 827232256 155062 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19150/tid=19157] ppid=19140 vsize=807844 CPUtime=0
/proc/19150/task/19157/stat : 19157 (java) S 19140 19140 17842 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30429278 827232256 155062 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1769.57
Current children cumulated vsize (KiB) 821568
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1814.85 s]
/proc/loadavg: 2.22 2.70 2.83 3/82 19260
/proc/meminfo: memFree=543176/2055920 swapFree=4192812/4192956
[pid=19140] ppid=19138 vsize=13724 CPUtime=0.75
/proc/19140/stat : 19140 (sugar) S 19138 19140 17842 0 -1 4194304 1190 7932 0 1 3 0 65 7 16 0 1 0 30429190 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266899337314 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/19140/statm: 3431 809 371 3 0 531 0
[pid=19150] ppid=19140 vsize=807844 CPUtime=1799.32
/proc/19150/stat : 19150 (java) S 19140 19140 17842 0 -1 0 292443 0 1 0 179578 354 0 0 17 0 8 0 30429271 827232256 155549 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19150/statm: 201961 155549 1507 14 0 189239 0
[pid=19150/tid=19151] ppid=19140 vsize=807844 CPUtime=1305.82
/proc/19150/task/19151/stat : 19151 (java) R 19140 19140 17842 0 -1 64 272957 0 0 0 130303 279 0 0 25 0 8 0 30429274 827232256 155549 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155134262 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19150/tid=19152] ppid=19140 vsize=807844 CPUtime=0
/proc/19150/task/19152/stat : 19152 (java) S 19140 19140 17842 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30429274 827232256 155549 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19150/tid=19153] ppid=19140 vsize=807844 CPUtime=0
/proc/19150/task/19153/stat : 19153 (java) S 19140 19140 17842 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30429275 827232256 155549 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19150/tid=19154] ppid=19140 vsize=807844 CPUtime=0
/proc/19150/task/19154/stat : 19154 (java) S 19140 19140 17842 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 30429278 827232256 155549 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19150/tid=19155] ppid=19140 vsize=807844 CPUtime=0.15
/proc/19150/task/19155/stat : 19155 (java) S 19140 19140 17842 0 -1 64 398 0 0 0 15 0 0 0 17 0 8 0 30429278 827232256 155549 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19150/tid=19156] ppid=19140 vsize=807844 CPUtime=0
/proc/19150/task/19156/stat : 19156 (java) S 19140 19140 17842 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 30429278 827232256 155549 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19150/tid=19157] ppid=19140 vsize=807844 CPUtime=0
/proc/19150/task/19157/stat : 19157 (java) S 19140 19140 17842 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30429278 827232256 155549 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 821568
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 1
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 19140 and gives childrusage.ru_utime.tv_sec=0 childrusage.ru_utime.tv_usec=685895 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=82987
CPU time returned by wait4() is 0.768882
while last known CPU time is 1801.03
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 1815.88
CPU time (s): 1801.03
CPU user time (s): 1797.41
CPU system time (s): 3.62
CPU usage (%): 99.1822
Max. virtual memory (cumulated for all children) (KiB): 822600
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.685895
system time used= 0.082987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9202
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 458
involuntary context switches= 416
runsolver used 2.54161 s user time and 6.53801 s system time
The end
Begin job on node38 on Mon Jan 29 21:05:34 UTC 2007
IDJOB= 226186
IDBENCH= 5941
IDSOLVER= 86
FILE ID= node38/226186-1170104733
PBS_JOBID= 3689697
Free space on /tmp= 66553 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.65/rand-2-40-40-135-650-51_ext.xml
COMMAND LINE= /tmp/evaluation/226186-1170104733/solver /tmp/evaluation/226186-1170104733 /tmp/evaluation/226186-1170104733/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node38/watcher-226186-1170104733 -o ROOT/results/node38/solver-226186-1170104733 -C 1800 -M 900 /tmp/evaluation/226186-1170104733/solver /tmp/evaluation/226186-1170104733 /tmp/evaluation/226186-1170104733/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= 75fdd492e1c65aa02f07997edcdeacec
RANDOM SEED= 187479064
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.233
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.233
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: 1552432 kB
Buffers: 23160 kB
Cached: 51980 kB
SwapCached: 0 kB
Active: 418420 kB
Inactive: 31976 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1552432 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1176 kB
Writeback: 0 kB
Mapped: 391988 kB
Slab: 37620 kB
Committed_AS: 553944 kB
PageTables: 2628 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= 66364 MiB
End job on node38 on Mon Jan 29 21:35:50 UTC 2007