0.05 c # Sugar v0-40 (/tmp/evaluation/226705-1170105377/sugar-v0-40.jar)
0.05
0.05 c # MAIN BEGIN : /tmp/evaluation/226705-1170105377/unknown.xml [Mon Jan 29 22:16:17 2007]
0.05 c # CONVERT_XML BEGIN : /tmp/evaluation/226705-1170105377/unknown.xml /tmp/evaluation/226705-1170105377/sugar24891.csp [Mon Jan 29 22:16:17 2007]
0.05 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/226705-1170105377/sugar-v0-40.jar -convert /tmp/evaluation/226705-1170105377/unknown.xml /tmp/evaluation/226705-1170105377/sugar24891.csp
0.25 c BEGIN convert /tmp/evaluation/226705-1170105377/unknown.xml
0.92 c END convert (0.670417 seconds)
0.94 c # CONVERT_XML END : /tmp/evaluation/226705-1170105377/sugar24891.csp 2333559 bytes (1 seconds) [Mon Jan 29 22:16:18 2007]
0.94 c # CONVERT_XML CPU : 0.78 = 0 + 0 + 0.71 + 0.07
0.94
0.94 c # GENERATE_SAT BEGIN : /tmp/evaluation/226705-1170105377/sugar24891.bcnf [Mon Jan 29 22:16:18 2007]
0.94 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/226705-1170105377/sugar-v0-40.jar -bcnf -map /tmp/evaluation/226705-1170105377/sugar24891.map /tmp/evaluation/226705-1170105377/sugar24891.csp /tmp/evaluation/226705-1170105377/sugar24891.bcnf
1.06 c BEGIN parse /tmp/evaluation/226705-1170105377/sugar24891.csp
1804.68
1804.68 s UNKNOWN
1804.68 c # INTERRUPTED
1804.68 c # MAIN END : (1805 seconds) [Mon Jan 29 22:46:22 2007]
1804.68 c # MAIN CPU : 0.79 = 0 + 0.01 + 0.71 + 0.07
1804.68
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node34/watcher-226705-1170105377 -o ROOT/results/node34/solver-226705-1170105377 -C 1800 -M 900 /tmp/evaluation/226705-1170105377/solver /tmp/evaluation/226705-1170105377 /tmp/evaluation/226705-1170105377/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.10 3.25 2.93 5/81 24892
/proc/meminfo: memFree=1385864/2055920 swapFree=4192812/4192956
[pid=24891] ppid=24889 vsize=18540 CPUtime=0
/proc/24891/stat : 24891 (runsolver) R 24889 24891 24499 0 -1 4194368 16 0 0 0 0 0 0 0 18 0 1 0 4301535 18984960 279 18446744073709551615 4194304 4267372 548682069040 18446744073709551615 254195330343 0 0 4096 24578 0 0 0 17 1 0 0
/proc/24891/statm: 4635 279 244 17 0 2626 0
[startup+0.102846 s]
/proc/loadavg: 3.10 3.25 2.93 5/81 24892
/proc/meminfo: memFree=1385864/2055920 swapFree=4192812/4192956
[pid=24891] ppid=24889 vsize=13724 CPUtime=0.03
/proc/24891/stat : 24891 (sugar) S 24889 24891 24499 0 -1 4194304 1112 0 0 0 3 0 0 0 18 0 1 0 4301535 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 254204227682 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24891/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+0.510878 s]
/proc/loadavg: 3.10 3.25 2.93 5/81 24892
/proc/meminfo: memFree=1385864/2055920 swapFree=4192812/4192956
[pid=24891] ppid=24889 vsize=13724 CPUtime=0.03
/proc/24891/stat : 24891 (sugar) S 24889 24891 24499 0 -1 4194304 1121 0 0 0 3 0 0 0 16 0 1 0 4301535 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 254204227682 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24891/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+1.33394 s]
/proc/loadavg: 3.10 3.25 2.93 3/89 24908
/proc/meminfo: memFree=1363720/2055920 swapFree=4192812/4192956
[pid=24891] ppid=24889 vsize=13724 CPUtime=0.82
/proc/24891/stat : 24891 (sugar) S 24889 24891 24499 0 -1 4194304 1190 7928 0 1 3 1 71 7 15 0 1 0 4301535 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 254204227682 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24891/statm: 3431 809 371 3 0 531 0
[pid=24901] ppid=24891 vsize=807064 CPUtime=0.37
/proc/24901/stat : 24901 (java) R 24891 24891 24499 0 -1 0 6552 0 1 0 33 4 0 0 17 0 8 0 4301629 826433536 6302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073455711 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24901/statm: 201766 6302 1494 14 0 189044 0
[pid=24901/tid=24902] ppid=24891 vsize=807064 CPUtime=0.02
/proc/24901/task/24902/stat : 24902 (java) S 24891 24891 24499 0 -1 64 502 0 0 0 2 0 0 0 16 0 8 0 4301633 826433536 6302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24901/tid=24903] ppid=24891 vsize=807064 CPUtime=0
/proc/24901/task/24903/stat : 24903 (java) S 24891 24891 24499 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 4301633 826433536 6302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24901/tid=24904] ppid=24891 vsize=807064 CPUtime=0
/proc/24901/task/24904/stat : 24904 (java) S 24891 24891 24499 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 4301633 826433536 6302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24901/tid=24905] ppid=24891 vsize=807064 CPUtime=0
/proc/24901/task/24905/stat : 24905 (java) S 24891 24891 24499 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 4301636 826433536 6302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24901/tid=24906] ppid=24891 vsize=807064 CPUtime=0.05
/proc/24901/task/24906/stat : 24906 (java) R 24891 24891 24499 0 -1 64 290 0 0 0 5 0 0 0 19 0 8 0 4301637 826433536 6302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24901/tid=24907] ppid=24891 vsize=807064 CPUtime=0
/proc/24901/task/24907/stat : 24907 (java) S 24891 24891 24499 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 4301637 826433536 6302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24901/tid=24908] ppid=24891 vsize=807064 CPUtime=0
/proc/24901/task/24908/stat : 24908 (java) S 24891 24891 24499 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 4301637 826433536 6302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.19
Current children cumulated vsize (KiB) 820788
[startup+2.98208 s]
/proc/loadavg: 3.10 3.25 2.93 4/89 24908
/proc/meminfo: memFree=1344776/2055920 swapFree=4192812/4192956
[pid=24891] ppid=24889 vsize=13724 CPUtime=0.82
/proc/24891/stat : 24891 (sugar) S 24889 24891 24499 0 -1 4194304 1190 7928 0 1 3 1 71 7 15 0 1 0 4301535 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 254204227682 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24891/statm: 3431 809 371 3 0 531 0
[pid=24901] ppid=24891 vsize=807064 CPUtime=2.01
/proc/24901/stat : 24901 (java) R 24891 24891 24499 0 -1 0 13952 0 1 0 190 11 0 0 25 0 8 0 4301629 826433536 13687 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073498097 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24901/statm: 201766 13687 1494 14 0 189044 0
[pid=24901/tid=24902] ppid=24891 vsize=807064 CPUtime=0.54
/proc/24901/task/24902/stat : 24902 (java) S 24891 24891 24499 0 -1 64 7887 0 0 0 48 6 0 0 16 0 8 0 4301633 826433536 13687 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24901/tid=24903] ppid=24891 vsize=807064 CPUtime=0
/proc/24901/task/24903/stat : 24903 (java) S 24891 24891 24499 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 4301633 826433536 13687 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24901/tid=24904] ppid=24891 vsize=807064 CPUtime=0
/proc/24901/task/24904/stat : 24904 (java) S 24891 24891 24499 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 4301633 826433536 13687 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24901/tid=24905] ppid=24891 vsize=807064 CPUtime=0
/proc/24901/task/24905/stat : 24905 (java) S 24891 24891 24499 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 4301636 826433536 13687 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24901/tid=24906] ppid=24891 vsize=807064 CPUtime=0.05
/proc/24901/task/24906/stat : 24906 (java) S 24891 24891 24499 0 -1 64 290 0 0 0 5 0 0 0 19 0 8 0 4301637 826433536 13687 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24901/tid=24907] ppid=24891 vsize=807064 CPUtime=0
/proc/24901/task/24907/stat : 24907 (java) S 24891 24891 24499 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 4301637 826433536 13687 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24901/tid=24908] ppid=24891 vsize=807064 CPUtime=0
/proc/24901/task/24908/stat : 24908 (java) S 24891 24891 24499 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 4301637 826433536 13687 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.83
Current children cumulated vsize (KiB) 820788
[startup+6.20134 s]
/proc/loadavg: 3.10 3.25 2.93 4/89 24908
/proc/meminfo: memFree=1266760/2055920 swapFree=4192812/4192956
[pid=24891] ppid=24889 vsize=13724 CPUtime=0.82
/proc/24891/stat : 24891 (sugar) S 24889 24891 24499 0 -1 4194304 1190 7928 0 1 3 1 71 7 15 0 1 0 4301535 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 254204227682 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24891/statm: 3431 809 371 3 0 531 0
[pid=24901] ppid=24891 vsize=807332 CPUtime=5.21
/proc/24901/stat : 24901 (java) R 24891 24891 24499 0 -1 0 34421 0 1 0 498 23 0 0 25 0 8 0 4301629 826707968 34078 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073570091 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24901/statm: 201833 34078 1506 14 0 189111 0
[pid=24901/tid=24902] ppid=24891 vsize=807332 CPUtime=1.6
/proc/24901/task/24902/stat : 24902 (java) S 24891 24891 24499 0 -1 64 28138 0 0 0 142 18 0 0 16 0 8 0 4301633 826707968 34078 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24901/tid=24903] ppid=24891 vsize=807332 CPUtime=0
/proc/24901/task/24903/stat : 24903 (java) S 24891 24891 24499 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 4301633 826707968 34078 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24901/tid=24904] ppid=24891 vsize=807332 CPUtime=0
/proc/24901/task/24904/stat : 24904 (java) S 24891 24891 24499 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 4301633 826707968 34078 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24901/tid=24905] ppid=24891 vsize=807332 CPUtime=0
/proc/24901/task/24905/stat : 24905 (java) S 24891 24891 24499 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 4301636 826707968 34078 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24901/tid=24906] ppid=24891 vsize=807332 CPUtime=0.11
/proc/24901/task/24906/stat : 24906 (java) S 24891 24891 24499 0 -1 64 383 0 0 0 11 0 0 0 16 0 8 0 4301637 826707968 34078 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24901/tid=24907] ppid=24891 vsize=807332 CPUtime=0
/proc/24901/task/24907/stat : 24907 (java) S 24891 24891 24499 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 4301637 826707968 34078 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24901/tid=24908] ppid=24891 vsize=807332 CPUtime=0
/proc/24901/task/24908/stat : 24908 (java) S 24891 24891 24499 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 4301637 826707968 34078 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.03
Current children cumulated vsize (KiB) 821056
[startup+12.6439 s]
/proc/loadavg: 3.09 3.24 2.93 3/89 24908
/proc/meminfo: memFree=1170576/2055920 swapFree=4192812/4192956
[pid=24891] ppid=24889 vsize=13724 CPUtime=0.82
/proc/24891/stat : 24891 (sugar) S 24889 24891 24499 0 -1 4194304 1190 7928 0 1 3 1 71 7 15 0 1 0 4301535 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 254204227682 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24891/statm: 3431 809 371 3 0 531 0
[pid=24901] ppid=24891 vsize=807332 CPUtime=11.62
/proc/24901/stat : 24901 (java) R 24891 24891 24499 0 -1 0 54926 0 1 0 1124 38 0 0 25 0 8 0 4301629 826707968 54101 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073332702 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24901/statm: 201833 54101 1507 14 0 189111 0
[pid=24901/tid=24902] ppid=24891 vsize=807332 CPUtime=4.29
/proc/24901/task/24902/stat : 24902 (java) S 24891 24891 24499 0 -1 64 48441 0 0 0 398 31 0 0 16 0 8 0 4301633 826707968 54101 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24901/tid=24903] ppid=24891 vsize=807332 CPUtime=0
/proc/24901/task/24903/stat : 24903 (java) S 24891 24891 24499 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 4301633 826707968 54101 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24901/tid=24904] ppid=24891 vsize=807332 CPUtime=0
/proc/24901/task/24904/stat : 24904 (java) S 24891 24891 24499 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 4301633 826707968 54101 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24901/tid=24905] ppid=24891 vsize=807332 CPUtime=0
/proc/24901/task/24905/stat : 24905 (java) S 24891 24891 24499 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 4301636 826707968 54101 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24901/tid=24906] ppid=24891 vsize=807332 CPUtime=0.13
/proc/24901/task/24906/stat : 24906 (java) S 24891 24891 24499 0 -1 64 387 0 0 0 12 1 0 0 16 0 8 0 4301637 826707968 54101 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24901/tid=24907] ppid=24891 vsize=807332 CPUtime=0
/proc/24901/task/24907/stat : 24907 (java) S 24891 24891 24499 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 4301637 826707968 54101 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24901/tid=24908] ppid=24891 vsize=807332 CPUtime=0
/proc/24901/task/24908/stat : 24908 (java) S 24891 24891 24499 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 4301637 826707968 54101 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.44
Current children cumulated vsize (KiB) 821056
[startup+25.4759 s]
/proc/loadavg: 3.07 3.23 2.93 5/89 24908
/proc/meminfo: memFree=1162192/2055920 swapFree=4192812/4192956
[pid=24891] ppid=24889 vsize=13724 CPUtime=0.82
/proc/24891/stat : 24891 (sugar) S 24889 24891 24499 0 -1 4194304 1190 7928 0 1 3 1 71 7 15 0 1 0 4301535 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 254204227682 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24891/statm: 3431 809 371 3 0 531 0
[pid=24901] ppid=24891 vsize=807332 CPUtime=24.35
/proc/24901/stat : 24901 (java) R 24891 24891 24499 0 -1 0 58767 0 1 0 2388 47 0 0 25 0 8 0 4301629 826707968 54105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073577504 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24901/statm: 201833 54105 1507 14 0 189111 0
[pid=24901/tid=24902] ppid=24891 vsize=807332 CPUtime=10.47
/proc/24901/task/24902/stat : 24902 (java) S 24891 24891 24499 0 -1 64 51925 0 0 0 1010 37 0 0 16 0 8 0 4301633 826707968 54105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24901/tid=24903] ppid=24891 vsize=807332 CPUtime=0
/proc/24901/task/24903/stat : 24903 (java) S 24891 24891 24499 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 4301633 826707968 54105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24901/tid=24904] ppid=24891 vsize=807332 CPUtime=0
/proc/24901/task/24904/stat : 24904 (java) S 24891 24891 24499 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 4301633 826707968 54105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24901/tid=24905] ppid=24891 vsize=807332 CPUtime=0
/proc/24901/task/24905/stat : 24905 (java) S 24891 24891 24499 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 4301636 826707968 54105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24901/tid=24906] ppid=24891 vsize=807332 CPUtime=0.14
/proc/24901/task/24906/stat : 24906 (java) S 24891 24891 24499 0 -1 64 391 0 0 0 13 1 0 0 17 0 8 0 4301637 826707968 54105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24901/tid=24907] ppid=24891 vsize=807332 CPUtime=0
/proc/24901/task/24907/stat : 24907 (java) S 24891 24891 24499 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 4301637 826707968 54105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24901/tid=24908] ppid=24891 vsize=807332 CPUtime=0
/proc/24901/task/24908/stat : 24908 (java) S 24891 24891 24499 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 4301637 826707968 54105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.17
Current children cumulated vsize (KiB) 821056
[startup+51.1179 s]
/proc/loadavg: 3.42 3.29 2.96 5/89 24908
/proc/meminfo: memFree=1164176/2055920 swapFree=4192812/4192956
[pid=24891] ppid=24889 vsize=13724 CPUtime=0.82
/proc/24891/stat : 24891 (sugar) S 24889 24891 24499 0 -1 4194304 1190 7928 0 1 3 1 71 7 15 0 1 0 4301535 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 254204227682 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24891/statm: 3431 809 371 3 0 531 0
[pid=24901] ppid=24891 vsize=807332 CPUtime=49.85
/proc/24901/stat : 24901 (java) R 24891 24891 24499 0 -1 0 65011 0 1 0 4924 61 0 0 25 0 8 0 4301629 826707968 54126 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153380400 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24901/statm: 201833 54126 1507 14 0 189111 0
[pid=24901/tid=24902] ppid=24891 vsize=807332 CPUtime=22.79
/proc/24901/task/24902/stat : 24902 (java) S 24891 24891 24499 0 -1 64 57440 0 0 0 2231 48 0 0 16 0 8 0 4301633 826707968 54126 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24901/tid=24903] ppid=24891 vsize=807332 CPUtime=0
/proc/24901/task/24903/stat : 24903 (java) S 24891 24891 24499 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 4301633 826707968 54126 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24901/tid=24904] ppid=24891 vsize=807332 CPUtime=0
/proc/24901/task/24904/stat : 24904 (java) S 24891 24891 24499 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 4301633 826707968 54126 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24901/tid=24905] ppid=24891 vsize=807332 CPUtime=0
/proc/24901/task/24905/stat : 24905 (java) S 24891 24891 24499 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 4301636 826707968 54126 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24901/tid=24906] ppid=24891 vsize=807332 CPUtime=0.15
/proc/24901/task/24906/stat : 24906 (java) S 24891 24891 24499 0 -1 64 397 0 0 0 14 1 0 0 17 0 8 0 4301637 826707968 54126 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24901/tid=24907] ppid=24891 vsize=807332 CPUtime=0
/proc/24901/task/24907/stat : 24907 (java) S 24891 24891 24499 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 4301637 826707968 54126 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24901/tid=24908] ppid=24891 vsize=807332 CPUtime=0
/proc/24901/task/24908/stat : 24908 (java) S 24891 24891 24499 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 4301637 826707968 54126 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.67
Current children cumulated vsize (KiB) 821056
[startup+102.326 s]
/proc/loadavg: 3.54 3.34 2.99 5/89 24908
/proc/meminfo: memFree=1152016/2055920 swapFree=4192812/4192956
[pid=24891] ppid=24889 vsize=13724 CPUtime=0.82
/proc/24891/stat : 24891 (sugar) S 24889 24891 24499 0 -1 4194304 1190 7928 0 1 3 1 71 7 15 0 1 0 4301535 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 254204227682 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24891/statm: 3431 809 371 3 0 531 0
[pid=24901] ppid=24891 vsize=807332 CPUtime=100.76
/proc/24901/stat : 24901 (java) R 24891 24891 24499 0 -1 0 80740 0 1 0 9989 87 0 0 25 0 8 0 4301629 826707968 54126 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073573390 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24901/statm: 201833 54126 1507 14 0 189111 0
[pid=24901/tid=24902] ppid=24891 vsize=807332 CPUtime=48.29
################
# More data... #
################
/proc/loadavg: 2.16 2.35 2.73 3/82 24977
/proc/meminfo: memFree=1269960/2055920 swapFree=4192812/4192956
[pid=24891] ppid=24889 vsize=13724 CPUtime=0.82
/proc/24891/stat : 24891 (sugar) S 24889 24891 24499 0 -1 4194304 1190 7928 0 1 3 1 71 7 15 0 1 0 4301535 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 254204227682 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24891/statm: 3431 809 371 3 0 531 0
[pid=24901] ppid=24891 vsize=807836 CPUtime=1538.52
/proc/24901/stat : 24901 (java) S 24891 24891 24499 0 -1 0 274574 0 1 0 153518 334 0 0 17 0 8 0 4301629 827224064 153123 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24901/statm: 201959 153123 1507 14 0 189237 0
[pid=24901/tid=24902] ppid=24891 vsize=807836 CPUtime=1057.08
/proc/24901/task/24902/stat : 24902 (java) R 24891 24891 24499 0 -1 64 255343 0 0 0 105448 260 0 0 25 0 8 0 4301633 827224064 153123 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155134188 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24901/tid=24903] ppid=24891 vsize=807836 CPUtime=0
/proc/24901/task/24903/stat : 24903 (java) S 24891 24891 24499 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 4301633 827224064 153123 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24901/tid=24904] ppid=24891 vsize=807836 CPUtime=0
/proc/24901/task/24904/stat : 24904 (java) S 24891 24891 24499 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 4301633 827224064 153123 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24901/tid=24905] ppid=24891 vsize=807836 CPUtime=0
/proc/24901/task/24905/stat : 24905 (java) S 24891 24891 24499 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 4301636 827224064 153123 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24901/tid=24906] ppid=24891 vsize=807836 CPUtime=0.15
/proc/24901/task/24906/stat : 24906 (java) S 24891 24891 24499 0 -1 64 398 0 0 0 14 1 0 0 17 0 8 0 4301637 827224064 153123 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24901/tid=24907] ppid=24891 vsize=807836 CPUtime=0
/proc/24901/task/24907/stat : 24907 (java) S 24891 24891 24499 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 4301637 827224064 153123 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24901/tid=24908] ppid=24891 vsize=807836 CPUtime=0.01
/proc/24901/task/24908/stat : 24908 (java) S 24891 24891 24499 0 -1 64 1 0 0 0 0 1 0 0 15 0 8 0 4301637 827224064 153123 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1539.34
Current children cumulated vsize (KiB) 821560
[startup+1603.67 s]
/proc/loadavg: 2.06 2.29 2.68 3/82 24977
/proc/meminfo: memFree=1265608/2055920 swapFree=4192812/4192956
[pid=24891] ppid=24889 vsize=13724 CPUtime=0.82
/proc/24891/stat : 24891 (sugar) S 24889 24891 24499 0 -1 4194304 1190 7928 0 1 3 1 71 7 15 0 1 0 4301535 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 254204227682 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24891/statm: 3431 809 371 3 0 531 0
[pid=24901] ppid=24891 vsize=807836 CPUtime=1598.52
/proc/24901/stat : 24901 (java) S 24891 24891 24499 0 -1 0 280074 0 1 0 159514 338 0 0 17 0 8 0 4301629 827224064 154064 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24901/statm: 201959 154064 1507 14 0 189237 0
[pid=24901/tid=24902] ppid=24891 vsize=807836 CPUtime=1114.77
/proc/24901/task/24902/stat : 24902 (java) R 24891 24891 24499 0 -1 64 260796 0 0 0 111213 264 0 0 25 0 8 0 4301633 827224064 154064 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155222440 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24901/tid=24903] ppid=24891 vsize=807836 CPUtime=0
/proc/24901/task/24903/stat : 24903 (java) S 24891 24891 24499 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 4301633 827224064 154064 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24901/tid=24904] ppid=24891 vsize=807836 CPUtime=0
/proc/24901/task/24904/stat : 24904 (java) S 24891 24891 24499 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 4301633 827224064 154064 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24901/tid=24905] ppid=24891 vsize=807836 CPUtime=0
/proc/24901/task/24905/stat : 24905 (java) S 24891 24891 24499 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 4301636 827224064 154064 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24901/tid=24906] ppid=24891 vsize=807836 CPUtime=0.15
/proc/24901/task/24906/stat : 24906 (java) S 24891 24891 24499 0 -1 64 398 0 0 0 14 1 0 0 17 0 8 0 4301637 827224064 154064 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24901/tid=24907] ppid=24891 vsize=807836 CPUtime=0
/proc/24901/task/24907/stat : 24907 (java) S 24891 24891 24499 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 4301637 827224064 154064 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24901/tid=24908] ppid=24891 vsize=807836 CPUtime=0.01
/proc/24901/task/24908/stat : 24908 (java) S 24891 24891 24499 0 -1 64 1 0 0 0 0 1 0 0 15 0 8 0 4301637 827224064 154064 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1599.34
Current children cumulated vsize (KiB) 821560
[startup+1663.73 s]
/proc/loadavg: 2.08 2.25 2.64 3/82 24977
/proc/meminfo: memFree=1262920/2055920 swapFree=4192812/4192956
[pid=24891] ppid=24889 vsize=13724 CPUtime=0.82
/proc/24891/stat : 24891 (sugar) S 24889 24891 24499 0 -1 4194304 1190 7928 0 1 3 1 71 7 15 0 1 0 4301535 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 254204227682 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24891/statm: 3431 809 371 3 0 531 0
[pid=24901] ppid=24891 vsize=807836 CPUtime=1658.54
/proc/24901/stat : 24901 (java) S 24891 24891 24499 0 -1 0 285196 0 1 0 165512 342 0 0 17 0 8 0 4301629 827224064 154530 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24901/statm: 201959 154530 1507 14 0 189237 0
[pid=24901/tid=24902] ppid=24891 vsize=807836 CPUtime=1172.45
/proc/24901/task/24902/stat : 24902 (java) R 24891 24891 24499 0 -1 64 265870 0 0 0 116977 268 0 0 25 0 8 0 4301633 827224064 154530 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155134188 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24901/tid=24903] ppid=24891 vsize=807836 CPUtime=0
/proc/24901/task/24903/stat : 24903 (java) S 24891 24891 24499 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 4301633 827224064 154530 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24901/tid=24904] ppid=24891 vsize=807836 CPUtime=0
/proc/24901/task/24904/stat : 24904 (java) S 24891 24891 24499 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 4301633 827224064 154530 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24901/tid=24905] ppid=24891 vsize=807836 CPUtime=0
/proc/24901/task/24905/stat : 24905 (java) S 24891 24891 24499 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 4301636 827224064 154530 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24901/tid=24906] ppid=24891 vsize=807836 CPUtime=0.15
/proc/24901/task/24906/stat : 24906 (java) S 24891 24891 24499 0 -1 64 398 0 0 0 14 1 0 0 17 0 8 0 4301637 827224064 154530 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24901/tid=24907] ppid=24891 vsize=807836 CPUtime=0
/proc/24901/task/24907/stat : 24907 (java) S 24891 24891 24499 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 4301637 827224064 154530 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24901/tid=24908] ppid=24891 vsize=807836 CPUtime=0.01
/proc/24901/task/24908/stat : 24908 (java) S 24891 24891 24499 0 -1 64 1 0 0 0 0 1 0 0 15 0 8 0 4301637 827224064 154530 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1659.36
Current children cumulated vsize (KiB) 821560
[startup+1723.8 s]
/proc/loadavg: 2.03 2.20 2.60 3/82 24977
/proc/meminfo: memFree=1259464/2055920 swapFree=4192812/4192956
[pid=24891] ppid=24889 vsize=13724 CPUtime=0.82
/proc/24891/stat : 24891 (sugar) S 24889 24891 24499 0 -1 4194304 1190 7928 0 1 3 1 71 7 15 0 1 0 4301535 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 254204227682 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24891/statm: 3431 809 371 3 0 531 0
[pid=24901] ppid=24891 vsize=807836 CPUtime=1718.56
/proc/24901/stat : 24901 (java) S 24891 24891 24499 0 -1 0 290587 0 1 0 171510 346 0 0 17 0 8 0 4301629 827224064 155362 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24901/statm: 201959 155362 1507 14 0 189237 0
[pid=24901/tid=24902] ppid=24891 vsize=807836 CPUtime=1230.18
/proc/24901/task/24902/stat : 24902 (java) R 24891 24891 24499 0 -1 64 271214 0 0 0 122747 271 0 0 25 0 8 0 4301633 827224064 155362 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154035704 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24901/tid=24903] ppid=24891 vsize=807836 CPUtime=0
/proc/24901/task/24903/stat : 24903 (java) S 24891 24891 24499 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 4301633 827224064 155362 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24901/tid=24904] ppid=24891 vsize=807836 CPUtime=0
/proc/24901/task/24904/stat : 24904 (java) S 24891 24891 24499 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 4301633 827224064 155362 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24901/tid=24905] ppid=24891 vsize=807836 CPUtime=0
/proc/24901/task/24905/stat : 24905 (java) S 24891 24891 24499 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 4301636 827224064 155362 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24901/tid=24906] ppid=24891 vsize=807836 CPUtime=0.15
/proc/24901/task/24906/stat : 24906 (java) S 24891 24891 24499 0 -1 64 398 0 0 0 14 1 0 0 17 0 8 0 4301637 827224064 155362 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24901/tid=24907] ppid=24891 vsize=807836 CPUtime=0
/proc/24901/task/24907/stat : 24907 (java) S 24891 24891 24499 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 4301637 827224064 155362 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24901/tid=24908] ppid=24891 vsize=807836 CPUtime=0.01
/proc/24901/task/24908/stat : 24908 (java) S 24891 24891 24499 0 -1 64 1 0 0 0 0 1 0 0 15 0 8 0 4301637 827224064 155362 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1719.38
Current children cumulated vsize (KiB) 821560
[startup+1783.86 s]
/proc/loadavg: 2.01 2.16 2.56 3/89 25082
/proc/meminfo: memFree=1248272/2055920 swapFree=4192812/4192956
[pid=24891] ppid=24889 vsize=13724 CPUtime=0.82
/proc/24891/stat : 24891 (sugar) S 24889 24891 24499 0 -1 4194304 1190 7928 0 1 3 1 71 7 15 0 1 0 4301535 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 254204227682 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24891/statm: 3431 809 371 3 0 531 0
[pid=24901] ppid=24891 vsize=807836 CPUtime=1778.55
/proc/24901/stat : 24901 (java) S 24891 24891 24499 0 -1 0 295508 0 1 0 177506 349 0 0 17 0 8 0 4301629 827224064 155670 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24901/statm: 201959 155670 1507 14 0 189237 0
[pid=24901/tid=24902] ppid=24891 vsize=807836 CPUtime=1287.86
/proc/24901/task/24902/stat : 24902 (java) R 24891 24891 24499 0 -1 64 276088 0 0 0 128511 275 0 0 19 0 8 0 4301633 827224064 155670 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155525058 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24901/tid=24903] ppid=24891 vsize=807836 CPUtime=0
/proc/24901/task/24903/stat : 24903 (java) S 24891 24891 24499 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 4301633 827224064 155670 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24901/tid=24904] ppid=24891 vsize=807836 CPUtime=0
/proc/24901/task/24904/stat : 24904 (java) S 24891 24891 24499 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 4301633 827224064 155670 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24901/tid=24905] ppid=24891 vsize=807836 CPUtime=0
/proc/24901/task/24905/stat : 24905 (java) S 24891 24891 24499 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 4301636 827224064 155670 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24901/tid=24906] ppid=24891 vsize=807836 CPUtime=0.15
/proc/24901/task/24906/stat : 24906 (java) S 24891 24891 24499 0 -1 64 398 0 0 0 14 1 0 0 17 0 8 0 4301637 827224064 155670 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24901/tid=24907] ppid=24891 vsize=807836 CPUtime=0
/proc/24901/task/24907/stat : 24907 (java) S 24891 24891 24499 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 4301637 827224064 155670 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24901/tid=24908] ppid=24891 vsize=807836 CPUtime=0.01
/proc/24901/task/24908/stat : 24908 (java) S 24891 24891 24499 0 -1 64 1 0 0 0 0 1 0 0 15 0 8 0 4301637 827224064 155670 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1779.37
Current children cumulated vsize (KiB) 821560
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1804.67 s]
/proc/loadavg: 2.08 2.17 2.55 3/82 25083
/proc/meminfo: memFree=843152/2055920 swapFree=4192812/4192956
[pid=24891] ppid=24889 vsize=13724 CPUtime=0.82
/proc/24891/stat : 24891 (sugar) S 24889 24891 24499 0 -1 4194304 1190 7928 0 1 3 1 71 7 15 0 1 0 4301535 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 254204227682 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24891/statm: 3431 809 371 3 0 531 0
[pid=24901] ppid=24891 vsize=807836 CPUtime=1799.26
/proc/24901/stat : 24901 (java) S 24891 24891 24499 0 -1 0 297108 0 1 0 179574 352 0 0 17 0 8 0 4301629 827224064 155670 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24901/statm: 201959 155670 1507 14 0 189237 0
[pid=24901/tid=24902] ppid=24891 vsize=807836 CPUtime=1307.76
/proc/24901/task/24902/stat : 24902 (java) R 24891 24891 24499 0 -1 64 277672 0 0 0 130499 277 0 0 25 0 8 0 4301633 827224064 155670 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155134191 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24901/tid=24903] ppid=24891 vsize=807836 CPUtime=0
/proc/24901/task/24903/stat : 24903 (java) S 24891 24891 24499 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 4301633 827224064 155670 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24901/tid=24904] ppid=24891 vsize=807836 CPUtime=0
/proc/24901/task/24904/stat : 24904 (java) S 24891 24891 24499 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 4301633 827224064 155670 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24901/tid=24905] ppid=24891 vsize=807836 CPUtime=0
/proc/24901/task/24905/stat : 24905 (java) S 24891 24891 24499 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 4301636 827224064 155670 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24901/tid=24906] ppid=24891 vsize=807836 CPUtime=0.15
/proc/24901/task/24906/stat : 24906 (java) S 24891 24891 24499 0 -1 64 398 0 0 0 14 1 0 0 17 0 8 0 4301637 827224064 155670 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24901/tid=24907] ppid=24891 vsize=807836 CPUtime=0
/proc/24901/task/24907/stat : 24907 (java) S 24891 24891 24499 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 4301637 827224064 155670 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24901/tid=24908] ppid=24891 vsize=807836 CPUtime=0.01
/proc/24901/task/24908/stat : 24908 (java) S 24891 24891 24499 0 -1 64 1 0 0 0 0 1 0 0 15 0 8 0 4301637 827224064 155670 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 821560
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 1
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 24891 and gives childrusage.ru_utime.tv_sec=0 childrusage.ru_utime.tv_usec=754885 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=83987
CPU time returned by wait4() is 0.838872
while last known CPU time is 1801
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 1805.69
CPU time (s): 1801
CPU user time (s): 1797.4
CPU system time (s): 3.6
CPU usage (%): 99.7404
Max. virtual memory (cumulated for all children) (KiB): 822592
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.754885
system time used= 0.083987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9198
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= 411
involuntary context switches= 326
runsolver used 2.28565 s user time and 6.09707 s system time
The end
Begin job on node34 on Mon Jan 29 21:16:17 UTC 2007
IDJOB= 226705
IDBENCH= 6003
IDSOLVER= 86
FILE ID= node34/226705-1170105377
PBS_JOBID= 3689780
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-41_ext.xml
COMMAND LINE= /tmp/evaluation/226705-1170105377/solver /tmp/evaluation/226705-1170105377 /tmp/evaluation/226705-1170105377/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node34/watcher-226705-1170105377 -o ROOT/results/node34/solver-226705-1170105377 -C 1800 -M 900 /tmp/evaluation/226705-1170105377/solver /tmp/evaluation/226705-1170105377 /tmp/evaluation/226705-1170105377/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= 9c6f6d954f70f727d4ac2c7a6020a2f3
RANDOM SEED= 8049024
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: 1386472 kB
Buffers: 38980 kB
Cached: 54792 kB
SwapCached: 0 kB
Active: 576464 kB
Inactive: 45684 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1386472 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1184 kB
Writeback: 0 kB
Mapped: 545152 kB
Slab: 31604 kB
Committed_AS: 731564 kB
PageTables: 2848 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= 66446 MiB
End job on node34 on Mon Jan 29 21:46:23 UTC 2007