0.05 c # Sugar v0-40 (/tmp/evaluation/225272-1170104469/sugar-v0-40.jar)
0.05
0.05 c # MAIN BEGIN : /tmp/evaluation/225272-1170104469/unknown.xml [Mon Jan 29 22:01:10 2007]
0.05 c # CONVERT_XML BEGIN : /tmp/evaluation/225272-1170104469/unknown.xml /tmp/evaluation/225272-1170104469/sugar28226.csp [Mon Jan 29 22:01:10 2007]
0.05 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/225272-1170104469/sugar-v0-40.jar -convert /tmp/evaluation/225272-1170104469/unknown.xml /tmp/evaluation/225272-1170104469/sugar28226.csp
0.16 c BEGIN convert /tmp/evaluation/225272-1170104469/unknown.xml
1.77 c END convert (1.61577 seconds)
1.80 c # CONVERT_XML END : /tmp/evaluation/225272-1170104469/sugar28226.csp 8780205 bytes (1 seconds) [Mon Jan 29 22:01:11 2007]
1.80 c # CONVERT_XML CPU : 1.71 = 0 + 0 + 1.59 + 0.12
1.80
1.80 c # GENERATE_SAT BEGIN : /tmp/evaluation/225272-1170104469/sugar28226.bcnf [Mon Jan 29 22:01:11 2007]
1.80 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/225272-1170104469/sugar-v0-40.jar -bcnf -map /tmp/evaluation/225272-1170104469/sugar28226.map /tmp/evaluation/225272-1170104469/sugar28226.csp /tmp/evaluation/225272-1170104469/sugar28226.bcnf
1.92 c BEGIN parse /tmp/evaluation/225272-1170104469/sugar28226.csp
1814.31
1814.31 s UNKNOWN
1814.31 c # INTERRUPTED
1814.31 c # MAIN END : (1814 seconds) [Mon Jan 29 22:31:24 2007]
1814.31 c # MAIN CPU : 1.72 = 0 + 0.01 + 1.59 + 0.12
1814.31
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node62/watcher-225272-1170104469 -o ROOT/results/node62/solver-225272-1170104469 -C 1800 -M 900 /tmp/evaluation/225272-1170104469/solver /tmp/evaluation/225272-1170104469 /tmp/evaluation/225272-1170104469/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.16 2.03 1.93 5/87 28227
/proc/meminfo: memFree=1854152/2055920 swapFree=4192812/4192956
[pid=28226] ppid=28224 vsize=18540 CPUtime=0
/proc/28226/stat : 28226 (runsolver) R 28224 28226 27568 0 -1 4194368 16 0 0 0 0 0 0 0 18 0 1 0 30404007 18984960 279 18446744073709551615 4194304 4267372 548682069040 18446744073709551615 236437695783 0 0 4096 24578 0 0 0 17 1 0 0
/proc/28226/statm: 4635 279 244 17 0 2626 0
[startup+0.103337 s]
/proc/loadavg: 2.16 2.03 1.93 5/87 28227
/proc/meminfo: memFree=1854152/2055920 swapFree=4192812/4192956
[pid=28226] ppid=28224 vsize=13724 CPUtime=0.03
/proc/28226/stat : 28226 (sugar) S 28224 28226 27568 0 -1 4194304 1112 0 0 0 3 0 0 0 18 0 1 0 30404007 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 236446593122 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/28226/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+0.511379 s]
/proc/loadavg: 2.16 2.03 1.93 5/87 28227
/proc/meminfo: memFree=1854152/2055920 swapFree=4192812/4192956
[pid=28226] ppid=28224 vsize=13724 CPUtime=0.03
/proc/28226/stat : 28226 (sugar) S 28224 28226 27568 0 -1 4194304 1121 0 0 0 3 0 0 0 15 0 1 0 30404007 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 236446593122 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/28226/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+1.33348 s]
/proc/loadavg: 2.15 2.03 1.93 3/95 28243
/proc/meminfo: memFree=1817800/2055920 swapFree=4192812/4192956
[pid=28226] ppid=28224 vsize=13724 CPUtime=0.03
/proc/28226/stat : 28226 (sugar) S 28224 28226 27568 0 -1 4194304 1121 0 0 0 3 0 0 0 15 0 1 0 30404007 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 236446593122 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/28226/statm: 3431 805 368 3 0 531 0
[pid=28228] ppid=28226 vsize=807128 CPUtime=1.26
/proc/28228/stat : 28228 (java) R 28226 28226 27568 0 -1 0 11087 0 1 0 117 9 0 0 25 0 8 0 30404012 826499072 10817 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28228/statm: 201782 10817 1695 14 0 189060 0
[pid=28228/tid=28229] ppid=28226 vsize=807128 CPUtime=0.08
/proc/28228/task/28229/stat : 28229 (java) R 28226 28226 27568 0 -1 64 4588 0 0 0 6 2 0 0 16 0 8 0 30404015 826499072 10817 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4153822834 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28228/tid=28230] ppid=28226 vsize=807128 CPUtime=0
/proc/28228/task/28230/stat : 28230 (java) S 28226 28226 27568 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30404015 826499072 10817 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28228/tid=28231] ppid=28226 vsize=807128 CPUtime=0
/proc/28228/task/28231/stat : 28231 (java) S 28226 28226 27568 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 30404015 826499072 10817 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28228/tid=28232] ppid=28226 vsize=807128 CPUtime=0
/proc/28228/task/28232/stat : 28232 (java) S 28226 28226 27568 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 30404018 826499072 10817 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28228/tid=28233] ppid=28226 vsize=807128 CPUtime=0.07
/proc/28228/task/28233/stat : 28233 (java) S 28226 28226 27568 0 -1 64 307 0 0 0 7 0 0 0 16 0 8 0 30404018 826499072 10817 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28228/tid=28234] ppid=28226 vsize=807128 CPUtime=0
/proc/28228/task/28234/stat : 28234 (java) S 28226 28226 27568 0 -1 64 2 0 0 0 0 0 0 0 25 0 8 0 30404018 826499072 10817 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28228/tid=28235] ppid=28226 vsize=807128 CPUtime=0
/proc/28228/task/28235/stat : 28235 (java) S 28226 28226 27568 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30404018 826499072 10817 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 820852
[startup+2.98268 s]
/proc/loadavg: 2.15 2.03 1.93 4/95 28257
/proc/meminfo: memFree=1807112/2055920 swapFree=4192812/4192956
[pid=28226] ppid=28224 vsize=13724 CPUtime=1.75
/proc/28226/stat : 28226 (sugar) S 28224 28226 27568 0 -1 4194304 1190 11110 0 1 3 1 159 12 15 0 1 0 30404007 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 236446593122 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/28226/statm: 3431 809 371 3 0 531 0
[pid=28250] ppid=28226 vsize=807064 CPUtime=1.15
/proc/28250/stat : 28250 (java) R 28226 28226 27568 0 -1 0 10684 0 1 0 109 6 0 0 25 0 8 0 30404186 826433536 10426 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073554057 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28250/statm: 201766 10426 1494 14 0 189044 0
[pid=28250/tid=28251] ppid=28226 vsize=807064 CPUtime=0.24
/proc/28250/task/28251/stat : 28251 (java) S 28226 28226 27568 0 -1 64 4626 0 0 0 23 1 0 0 16 0 8 0 30404190 826433536 10426 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28250/tid=28252] ppid=28226 vsize=807064 CPUtime=0
/proc/28250/task/28252/stat : 28252 (java) S 28226 28226 27568 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30404191 826433536 10426 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28250/tid=28253] ppid=28226 vsize=807064 CPUtime=0
/proc/28250/task/28253/stat : 28253 (java) S 28226 28226 27568 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 30404191 826433536 10426 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28250/tid=28254] ppid=28226 vsize=807064 CPUtime=0
/proc/28250/task/28254/stat : 28254 (java) S 28226 28226 27568 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 30404194 826433536 10426 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28250/tid=28255] ppid=28226 vsize=807064 CPUtime=0.04
/proc/28250/task/28255/stat : 28255 (java) S 28226 28226 27568 0 -1 64 291 0 0 0 4 0 0 0 19 0 8 0 30404194 826433536 10426 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28250/tid=28256] ppid=28226 vsize=807064 CPUtime=0
/proc/28250/task/28256/stat : 28256 (java) S 28226 28226 27568 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 30404194 826433536 10426 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28250/tid=28257] ppid=28226 vsize=807064 CPUtime=0
/proc/28250/task/28257/stat : 28257 (java) S 28226 28226 27568 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 30404194 826433536 10426 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.19105 s]
/proc/loadavg: 2.13 2.03 1.93 4/95 28259
/proc/meminfo: memFree=1683592/2055920 swapFree=4192812/4192956
[pid=28226] ppid=28224 vsize=13724 CPUtime=1.75
/proc/28226/stat : 28226 (sugar) S 28224 28226 27568 0 -1 4194304 1190 11110 0 1 3 1 159 12 15 0 1 0 30404007 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 236446593122 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/28226/statm: 3431 809 371 3 0 531 0
[pid=28250] ppid=28226 vsize=807064 CPUtime=4.33
/proc/28250/stat : 28250 (java) R 28226 28226 27568 0 -1 0 25649 0 1 0 418 15 0 0 25 0 8 0 30404186 826433536 25359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073476728 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28250/statm: 201766 25359 1494 14 0 189044 0
[pid=28250/tid=28251] ppid=28226 vsize=807064 CPUtime=1.19
/proc/28250/task/28251/stat : 28251 (java) S 28226 28226 27568 0 -1 64 19559 0 0 0 110 9 0 0 16 0 8 0 30404190 826433536 25359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28250/tid=28252] ppid=28226 vsize=807064 CPUtime=0
/proc/28250/task/28252/stat : 28252 (java) S 28226 28226 27568 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30404191 826433536 25359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28250/tid=28253] ppid=28226 vsize=807064 CPUtime=0
/proc/28250/task/28253/stat : 28253 (java) S 28226 28226 27568 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 30404191 826433536 25359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28250/tid=28254] ppid=28226 vsize=807064 CPUtime=0
/proc/28250/task/28254/stat : 28254 (java) S 28226 28226 27568 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 30404194 826433536 25359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28250/tid=28255] ppid=28226 vsize=807064 CPUtime=0.04
/proc/28250/task/28255/stat : 28255 (java) S 28226 28226 27568 0 -1 64 291 0 0 0 4 0 0 0 17 0 8 0 30404194 826433536 25359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28250/tid=28256] ppid=28226 vsize=807064 CPUtime=0
/proc/28250/task/28256/stat : 28256 (java) S 28226 28226 27568 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 30404194 826433536 25359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28250/tid=28257] ppid=28226 vsize=807064 CPUtime=0
/proc/28250/task/28257/stat : 28257 (java) S 28226 28226 27568 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 30404194 826433536 25359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.08
Current children cumulated vsize (KiB) 820788
[startup+12.6248 s]
/proc/loadavg: 2.12 2.03 1.93 4/95 28267
/proc/meminfo: memFree=1443016/2055920 swapFree=4192812/4192956
[pid=28226] ppid=28224 vsize=13724 CPUtime=1.75
/proc/28226/stat : 28226 (sugar) S 28224 28226 27568 0 -1 4194304 1190 11110 0 1 3 1 159 12 15 0 1 0 30404007 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 236446593122 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/28226/statm: 3431 809 371 3 0 531 0
[pid=28250] ppid=28226 vsize=807356 CPUtime=10.69
/proc/28250/stat : 28250 (java) R 28226 28226 27568 0 -1 0 54607 0 1 0 1039 30 0 0 25 0 8 0 30404186 826732544 54241 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28250/statm: 201839 54241 1507 14 0 189117 0
[pid=28250/tid=28251] ppid=28226 vsize=807356 CPUtime=3.66
/proc/28250/task/28251/stat : 28251 (java) R 28226 28226 27568 0 -1 64 48167 0 0 0 345 21 0 0 16 0 8 0 30404190 826732544 54241 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155525058 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28250/tid=28252] ppid=28226 vsize=807356 CPUtime=0
/proc/28250/task/28252/stat : 28252 (java) S 28226 28226 27568 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30404191 826732544 54241 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28250/tid=28253] ppid=28226 vsize=807356 CPUtime=0
/proc/28250/task/28253/stat : 28253 (java) S 28226 28226 27568 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 30404191 826732544 54241 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28250/tid=28254] ppid=28226 vsize=807356 CPUtime=0
/proc/28250/task/28254/stat : 28254 (java) S 28226 28226 27568 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 30404194 826732544 54241 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28250/tid=28255] ppid=28226 vsize=807356 CPUtime=0.1
/proc/28250/task/28255/stat : 28255 (java) S 28226 28226 27568 0 -1 64 368 0 0 0 9 1 0 0 16 0 8 0 30404194 826732544 54241 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28250/tid=28256] ppid=28226 vsize=807356 CPUtime=0
/proc/28250/task/28256/stat : 28256 (java) S 28226 28226 27568 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 30404194 826732544 54241 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28250/tid=28257] ppid=28226 vsize=807356 CPUtime=0
/proc/28250/task/28257/stat : 28257 (java) S 28226 28226 27568 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 30404194 826732544 54241 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.44
Current children cumulated vsize (KiB) 821080
[startup+25.5103 s]
/proc/loadavg: 2.26 2.06 1.94 5/95 28289
/proc/meminfo: memFree=1217736/2055920 swapFree=4192812/4192956
[pid=28226] ppid=28224 vsize=13724 CPUtime=1.75
/proc/28226/stat : 28226 (sugar) S 28224 28226 27568 0 -1 4194304 1190 11110 0 1 3 1 159 12 15 0 1 0 30404007 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 236446593122 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/28226/statm: 3431 809 371 3 0 531 0
[pid=28250] ppid=28226 vsize=807356 CPUtime=23.42
/proc/28250/stat : 28250 (java) R 28226 28226 27568 0 -1 0 84144 0 1 0 2296 46 0 0 25 0 8 0 30404186 826732544 83557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153380222 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28250/statm: 201839 83557 1507 14 0 189117 0
[pid=28250/tid=28251] ppid=28226 vsize=807356 CPUtime=10.03
/proc/28250/task/28251/stat : 28251 (java) S 28226 28226 27568 0 -1 64 76655 0 0 0 967 36 0 0 16 0 8 0 30404190 826732544 83557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28250/tid=28252] ppid=28226 vsize=807356 CPUtime=0
/proc/28250/task/28252/stat : 28252 (java) S 28226 28226 27568 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30404191 826732544 83557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28250/tid=28253] ppid=28226 vsize=807356 CPUtime=0
/proc/28250/task/28253/stat : 28253 (java) S 28226 28226 27568 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 30404191 826732544 83557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28250/tid=28254] ppid=28226 vsize=807356 CPUtime=0
/proc/28250/task/28254/stat : 28254 (java) S 28226 28226 27568 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 30404194 826732544 83557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28250/tid=28255] ppid=28226 vsize=807356 CPUtime=0.12
/proc/28250/task/28255/stat : 28255 (java) S 28226 28226 27568 0 -1 64 380 0 0 0 11 1 0 0 17 0 8 0 30404194 826732544 83557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28250/tid=28256] ppid=28226 vsize=807356 CPUtime=0
/proc/28250/task/28256/stat : 28256 (java) S 28226 28226 27568 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 30404194 826732544 83557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28250/tid=28257] ppid=28226 vsize=807356 CPUtime=0
/proc/28250/task/28257/stat : 28257 (java) R 28226 28226 27568 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 30404194 826732544 83557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.17
Current children cumulated vsize (KiB) 821080
[startup+51.1754 s]
/proc/loadavg: 2.60 2.16 1.98 4/95 28309
/proc/meminfo: memFree=1171528/2055920 swapFree=4192812/4192956
[pid=28226] ppid=28224 vsize=13724 CPUtime=1.75
/proc/28226/stat : 28226 (sugar) S 28224 28226 27568 0 -1 4194304 1190 11110 0 1 3 1 159 12 15 0 1 0 30404007 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 236446593122 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/28226/statm: 3431 809 371 3 0 531 0
[pid=28250] ppid=28226 vsize=807356 CPUtime=48.71
/proc/28250/stat : 28250 (java) R 28226 28226 27568 0 -1 0 93906 0 1 0 4807 64 0 0 25 0 8 0 30404186 826732544 89865 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28250/statm: 201839 89865 1507 14 0 189117 0
[pid=28250/tid=28251] ppid=28226 vsize=807356 CPUtime=25.65
/proc/28250/task/28251/stat : 28251 (java) R 28226 28226 27568 0 -1 64 86080 0 0 0 2518 47 0 0 17 0 8 0 30404190 826732544 89865 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155222440 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28250/tid=28252] ppid=28226 vsize=807356 CPUtime=0
/proc/28250/task/28252/stat : 28252 (java) S 28226 28226 27568 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30404191 826732544 89865 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28250/tid=28253] ppid=28226 vsize=807356 CPUtime=0
/proc/28250/task/28253/stat : 28253 (java) S 28226 28226 27568 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 30404191 826732544 89865 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28250/tid=28254] ppid=28226 vsize=807356 CPUtime=0
/proc/28250/task/28254/stat : 28254 (java) S 28226 28226 27568 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 30404194 826732544 89865 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28250/tid=28255] ppid=28226 vsize=807356 CPUtime=0.12
/proc/28250/task/28255/stat : 28255 (java) S 28226 28226 27568 0 -1 64 380 0 0 0 11 1 0 0 16 0 8 0 30404194 826732544 89865 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28250/tid=28256] ppid=28226 vsize=807356 CPUtime=0
/proc/28250/task/28256/stat : 28256 (java) S 28226 28226 27568 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 30404194 826732544 89865 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28250/tid=28257] ppid=28226 vsize=807356 CPUtime=0
/proc/28250/task/28257/stat : 28257 (java) S 28226 28226 27568 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 30404194 826732544 89865 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.46
Current children cumulated vsize (KiB) 821080
[startup+102.474 s]
/proc/loadavg: 3.18 2.40 2.07 5/89 28383
/proc/meminfo: memFree=1126208/2055920 swapFree=4192812/4192956
[pid=28226] ppid=28224 vsize=13724 CPUtime=1.75
/proc/28226/stat : 28226 (sugar) S 28224 28226 27568 0 -1 4194304 1190 11110 0 1 3 1 159 12 15 0 1 0 30404007 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 236446593122 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/28226/statm: 3431 809 371 3 0 531 0
[pid=28250] ppid=28226 vsize=807356 CPUtime=99.43
/proc/28250/stat : 28250 (java) R 28226 28226 27568 0 -1 0 120445 0 1 0 9847 96 0 0 25 0 8 0 30404186 826732544 93494 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28250/statm: 201839 93494 1507 14 0 189117 0
[pid=28250/tid=28251] ppid=28226 vsize=807356 CPUtime=60.22
################
# More data... #
################
/proc/loadavg: 3.69 3.42 3.09 5/89 28383
/proc/meminfo: memFree=678464/2055920 swapFree=4192812/4192956
[pid=28226] ppid=28224 vsize=13724 CPUtime=1.75
/proc/28226/stat : 28226 (sugar) S 28224 28226 27568 0 -1 4194304 1190 11110 0 1 3 1 159 12 15 0 1 0 30404007 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 236446593122 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/28226/statm: 3431 809 371 3 0 531 0
[pid=28250] ppid=28226 vsize=807356 CPUtime=1530.22
/proc/28250/stat : 28250 (java) R 28226 28226 27568 0 -1 0 811930 0 1 0 152386 636 0 0 25 0 8 0 30404186 826732544 151141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073332702 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28250/statm: 201839 151141 1507 14 0 189117 0
[pid=28250/tid=28251] ppid=28226 vsize=807356 CPUtime=1052.05
/proc/28250/task/28251/stat : 28251 (java) S 28226 28226 27568 0 -1 64 793591 0 0 0 104645 560 0 0 16 0 8 0 30404190 826732544 151141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28250/tid=28252] ppid=28226 vsize=807356 CPUtime=0
/proc/28250/task/28252/stat : 28252 (java) S 28226 28226 27568 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 30404191 826732544 151141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28250/tid=28253] ppid=28226 vsize=807356 CPUtime=0
/proc/28250/task/28253/stat : 28253 (java) S 28226 28226 27568 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 30404191 826732544 151141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28250/tid=28254] ppid=28226 vsize=807356 CPUtime=0
/proc/28250/task/28254/stat : 28254 (java) S 28226 28226 27568 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 30404194 826732544 151141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28250/tid=28255] ppid=28226 vsize=807356 CPUtime=0.12
/proc/28250/task/28255/stat : 28255 (java) S 28226 28226 27568 0 -1 64 380 0 0 0 11 1 0 0 17 0 8 0 30404194 826732544 151141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28250/tid=28256] ppid=28226 vsize=807356 CPUtime=0
/proc/28250/task/28256/stat : 28256 (java) S 28226 28226 27568 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 30404194 826732544 151141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28250/tid=28257] ppid=28226 vsize=807356 CPUtime=0
/proc/28250/task/28257/stat : 28257 (java) S 28226 28226 27568 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 30404194 826732544 151141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1531.97
Current children cumulated vsize (KiB) 821080
[startup+1603.95 s]
/proc/loadavg: 3.25 3.36 3.09 5/89 28383
/proc/meminfo: memFree=678400/2055920 swapFree=4192812/4192956
[pid=28226] ppid=28224 vsize=13724 CPUtime=1.75
/proc/28226/stat : 28226 (sugar) S 28224 28226 27568 0 -1 4194304 1190 11110 0 1 3 1 159 12 15 0 1 0 30404007 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 236446593122 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/28226/statm: 3431 809 371 3 0 531 0
[pid=28250] ppid=28226 vsize=807356 CPUtime=1589.64
/proc/28250/stat : 28250 (java) R 28226 28226 27568 0 -1 0 812260 0 1 0 158322 642 0 0 25 0 8 0 30404186 826732544 151141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28250/statm: 201839 151141 1507 14 0 189117 0
[pid=28250/tid=28251] ppid=28226 vsize=807356 CPUtime=1093.79
/proc/28250/task/28251/stat : 28251 (java) R 28226 28226 27568 0 -1 64 793591 0 0 0 108815 564 0 0 16 0 8 0 30404190 826732544 151141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155523708 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28250/tid=28252] ppid=28226 vsize=807356 CPUtime=0
/proc/28250/task/28252/stat : 28252 (java) S 28226 28226 27568 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 30404191 826732544 151141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28250/tid=28253] ppid=28226 vsize=807356 CPUtime=0
/proc/28250/task/28253/stat : 28253 (java) S 28226 28226 27568 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 30404191 826732544 151141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28250/tid=28254] ppid=28226 vsize=807356 CPUtime=0
/proc/28250/task/28254/stat : 28254 (java) S 28226 28226 27568 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 30404194 826732544 151141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28250/tid=28255] ppid=28226 vsize=807356 CPUtime=0.12
/proc/28250/task/28255/stat : 28255 (java) S 28226 28226 27568 0 -1 64 380 0 0 0 11 1 0 0 17 0 8 0 30404194 826732544 151141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28250/tid=28256] ppid=28226 vsize=807356 CPUtime=0
/proc/28250/task/28256/stat : 28256 (java) S 28226 28226 27568 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 30404194 826732544 151141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28250/tid=28257] ppid=28226 vsize=807356 CPUtime=0
/proc/28250/task/28257/stat : 28257 (java) S 28226 28226 27568 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 30404194 826732544 151141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1591.39
Current children cumulated vsize (KiB) 821080
[startup+1664 s]
/proc/loadavg: 3.42 3.39 3.12 5/89 28383
/proc/meminfo: memFree=678400/2055920 swapFree=4192812/4192956
[pid=28226] ppid=28224 vsize=13724 CPUtime=1.75
/proc/28226/stat : 28226 (sugar) S 28224 28226 27568 0 -1 4194304 1190 11110 0 1 3 1 159 12 15 0 1 0 30404007 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 236446593122 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/28226/statm: 3431 809 371 3 0 531 0
[pid=28250] ppid=28226 vsize=807356 CPUtime=1648.98
/proc/28250/stat : 28250 (java) R 28226 28226 27568 0 -1 0 812571 0 1 0 164251 647 0 0 25 0 8 0 30404186 826732544 151141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28250/statm: 201839 151141 1507 14 0 189117 0
[pid=28250/tid=28251] ppid=28226 vsize=807356 CPUtime=1135.79
/proc/28250/task/28251/stat : 28251 (java) R 28226 28226 27568 0 -1 64 793591 0 0 0 113012 567 0 0 16 0 8 0 30404190 826732544 151141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155523552 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28250/tid=28252] ppid=28226 vsize=807356 CPUtime=0
/proc/28250/task/28252/stat : 28252 (java) S 28226 28226 27568 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 30404191 826732544 151141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28250/tid=28253] ppid=28226 vsize=807356 CPUtime=0
/proc/28250/task/28253/stat : 28253 (java) S 28226 28226 27568 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 30404191 826732544 151141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28250/tid=28254] ppid=28226 vsize=807356 CPUtime=0
/proc/28250/task/28254/stat : 28254 (java) S 28226 28226 27568 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 30404194 826732544 151141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28250/tid=28255] ppid=28226 vsize=807356 CPUtime=0.12
/proc/28250/task/28255/stat : 28255 (java) S 28226 28226 27568 0 -1 64 380 0 0 0 11 1 0 0 17 0 8 0 30404194 826732544 151141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28250/tid=28256] ppid=28226 vsize=807356 CPUtime=0
/proc/28250/task/28256/stat : 28256 (java) S 28226 28226 27568 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 30404194 826732544 151141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28250/tid=28257] ppid=28226 vsize=807356 CPUtime=0
/proc/28250/task/28257/stat : 28257 (java) S 28226 28226 27568 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 30404194 826732544 151141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1650.73
Current children cumulated vsize (KiB) 821080
[startup+1724.02 s]
/proc/loadavg: 3.41 3.39 3.13 5/89 28383
/proc/meminfo: memFree=678336/2055920 swapFree=4192812/4192956
[pid=28226] ppid=28224 vsize=13724 CPUtime=1.75
/proc/28226/stat : 28226 (sugar) S 28224 28226 27568 0 -1 4194304 1190 11110 0 1 3 1 159 12 15 0 1 0 30404007 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 236446593122 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/28226/statm: 3431 809 371 3 0 531 0
[pid=28250] ppid=28226 vsize=807356 CPUtime=1708.51
/proc/28250/stat : 28250 (java) R 28226 28226 27568 0 -1 0 812892 0 1 0 170201 650 0 0 25 0 8 0 30404186 826732544 151141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28250/statm: 201839 151141 1507 14 0 189117 0
[pid=28250/tid=28251] ppid=28226 vsize=807356 CPUtime=1179.34
/proc/28250/task/28251/stat : 28251 (java) R 28226 28226 27568 0 -1 64 793591 0 0 0 117365 569 0 0 16 0 8 0 30404190 826732544 151141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154022740 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28250/tid=28252] ppid=28226 vsize=807356 CPUtime=0
/proc/28250/task/28252/stat : 28252 (java) S 28226 28226 27568 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 30404191 826732544 151141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28250/tid=28253] ppid=28226 vsize=807356 CPUtime=0
/proc/28250/task/28253/stat : 28253 (java) S 28226 28226 27568 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 30404191 826732544 151141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28250/tid=28254] ppid=28226 vsize=807356 CPUtime=0
/proc/28250/task/28254/stat : 28254 (java) S 28226 28226 27568 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 30404194 826732544 151141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28250/tid=28255] ppid=28226 vsize=807356 CPUtime=0.12
/proc/28250/task/28255/stat : 28255 (java) S 28226 28226 27568 0 -1 64 380 0 0 0 11 1 0 0 17 0 8 0 30404194 826732544 151141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28250/tid=28256] ppid=28226 vsize=807356 CPUtime=0
/proc/28250/task/28256/stat : 28256 (java) S 28226 28226 27568 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 30404194 826732544 151141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28250/tid=28257] ppid=28226 vsize=807356 CPUtime=0
/proc/28250/task/28257/stat : 28257 (java) S 28226 28226 27568 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 30404194 826732544 151141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1710.26
Current children cumulated vsize (KiB) 821080
[startup+1784.1 s]
/proc/loadavg: 3.51 3.41 3.15 4/89 28383
/proc/meminfo: memFree=678272/2055920 swapFree=4192812/4192956
[pid=28226] ppid=28224 vsize=13724 CPUtime=1.75
/proc/28226/stat : 28226 (sugar) S 28224 28226 27568 0 -1 4194304 1190 11110 0 1 3 1 159 12 15 0 1 0 30404007 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 236446593122 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/28226/statm: 3431 809 371 3 0 531 0
[pid=28250] ppid=28226 vsize=807356 CPUtime=1768.26
/proc/28250/stat : 28250 (java) R 28226 28226 27568 0 -1 0 813215 0 1 0 176172 654 0 0 25 0 8 0 30404186 826732544 151141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28250/statm: 201839 151141 1507 14 0 189117 0
[pid=28250/tid=28251] ppid=28226 vsize=807356 CPUtime=1221.77
/proc/28250/task/28251/stat : 28251 (java) R 28226 28226 27568 0 -1 64 793591 0 0 0 121606 571 0 0 16 0 8 0 30404190 826732544 151141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154022755 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28250/tid=28252] ppid=28226 vsize=807356 CPUtime=0
/proc/28250/task/28252/stat : 28252 (java) S 28226 28226 27568 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 30404191 826732544 151141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28250/tid=28253] ppid=28226 vsize=807356 CPUtime=0
/proc/28250/task/28253/stat : 28253 (java) S 28226 28226 27568 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 30404191 826732544 151141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28250/tid=28254] ppid=28226 vsize=807356 CPUtime=0
/proc/28250/task/28254/stat : 28254 (java) S 28226 28226 27568 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 30404194 826732544 151141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28250/tid=28255] ppid=28226 vsize=807356 CPUtime=0.12
/proc/28250/task/28255/stat : 28255 (java) S 28226 28226 27568 0 -1 64 380 0 0 0 11 1 0 0 17 0 8 0 30404194 826732544 151141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28250/tid=28256] ppid=28226 vsize=807356 CPUtime=0
/proc/28250/task/28256/stat : 28256 (java) S 28226 28226 27568 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 30404194 826732544 151141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28250/tid=28257] ppid=28226 vsize=807356 CPUtime=0
/proc/28250/task/28257/stat : 28257 (java) S 28226 28226 27568 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 30404194 826732544 151141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1770.01
Current children cumulated vsize (KiB) 821080
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1814.29 s]
/proc/loadavg: 3.24 3.36 3.14 4/89 28449
/proc/meminfo: memFree=1163896/2055920 swapFree=4192812/4192956
[pid=28226] ppid=28224 vsize=13724 CPUtime=1.75
/proc/28226/stat : 28226 (sugar) S 28224 28226 27568 0 -1 4194304 1190 11110 0 1 3 1 159 12 15 0 1 0 30404007 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 236446593122 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/28226/statm: 3431 809 371 3 0 531 0
[pid=28250] ppid=28226 vsize=807356 CPUtime=1798.35
/proc/28250/stat : 28250 (java) R 28226 28226 27568 0 -1 0 813373 0 1 0 179179 656 0 0 25 0 8 0 30404186 826732544 151141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28250/statm: 201839 151141 1507 14 0 189117 0
[pid=28250/tid=28251] ppid=28226 vsize=807356 CPUtime=1244.11
/proc/28250/task/28251/stat : 28251 (java) R 28226 28226 27568 0 -1 64 793591 0 0 0 123839 572 0 0 16 0 8 0 30404190 826732544 151141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155525117 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28250/tid=28252] ppid=28226 vsize=807356 CPUtime=0
/proc/28250/task/28252/stat : 28252 (java) S 28226 28226 27568 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 30404191 826732544 151141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28250/tid=28253] ppid=28226 vsize=807356 CPUtime=0
/proc/28250/task/28253/stat : 28253 (java) S 28226 28226 27568 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 30404191 826732544 151141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28250/tid=28254] ppid=28226 vsize=807356 CPUtime=0
/proc/28250/task/28254/stat : 28254 (java) S 28226 28226 27568 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 30404194 826732544 151141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28250/tid=28255] ppid=28226 vsize=807356 CPUtime=0.12
/proc/28250/task/28255/stat : 28255 (java) S 28226 28226 27568 0 -1 64 380 0 0 0 11 1 0 0 17 0 8 0 30404194 826732544 151141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28250/tid=28256] ppid=28226 vsize=807356 CPUtime=0
/proc/28250/task/28256/stat : 28256 (java) S 28226 28226 27568 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 30404194 826732544 151141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28250/tid=28257] ppid=28226 vsize=807356 CPUtime=0
/proc/28250/task/28257/stat : 28257 (java) S 28226 28226 27568 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 30404194 826732544 151141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 821080
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 1
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 28226 and gives childrusage.ru_utime.tv_sec=1 childrusage.ru_utime.tv_usec=633751 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=139978
CPU time returned by wait4() is 1.77373
while last known CPU time is 1800.77
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 1815.32
CPU time (s): 1800.77
CPU user time (s): 1793.98
CPU system time (s): 6.79
CPU usage (%): 99.1982
Max. virtual memory (cumulated for all children) (KiB): 821080
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.63375
system time used= 0.139978
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12380
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= 627
involuntary context switches= 594
runsolver used 2.21066 s user time and 6.21005 s system time
The end
Begin job on node62 on Mon Jan 29 21:01:09 UTC 2007
IDJOB= 225272
IDBENCH= 5841
IDSOLVER= 86
FILE ID= node62/225272-1170104469
PBS_JOBID= 3689804
Free space on /tmp= 66554 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.9/rand-2-40-180-84-900-3_ext.xml
COMMAND LINE= /tmp/evaluation/225272-1170104469/solver /tmp/evaluation/225272-1170104469 /tmp/evaluation/225272-1170104469/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node62/watcher-225272-1170104469 -o ROOT/results/node62/solver-225272-1170104469 -C 1800 -M 900 /tmp/evaluation/225272-1170104469/solver /tmp/evaluation/225272-1170104469 /tmp/evaluation/225272-1170104469/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= b405be014f1ccce7d38c40ecbabc7829
RANDOM SEED= 703089281
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.234
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.234
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1854696 kB
Buffers: 36376 kB
Cached: 55900 kB
SwapCached: 0 kB
Active: 97200 kB
Inactive: 55336 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1854696 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 11164 kB
Writeback: 0 kB
Mapped: 78260 kB
Slab: 33428 kB
Committed_AS: 450688 kB
PageTables: 2268 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= 66559 MiB
End job on node62 on Mon Jan 29 21:31:25 UTC 2007