0.05 c # Sugar v0-40 (/tmp/evaluation/225461-1170104522/sugar-v0-40.jar)
0.05
0.05 c # MAIN BEGIN : /tmp/evaluation/225461-1170104522/unknown.xml [Mon Jan 29 22:02:02 2007]
0.05 c # CONVERT_XML BEGIN : /tmp/evaluation/225461-1170104522/unknown.xml /tmp/evaluation/225461-1170104522/sugar32125.csp [Mon Jan 29 22:02:02 2007]
0.05 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/225461-1170104522/sugar-v0-40.jar -convert /tmp/evaluation/225461-1170104522/unknown.xml /tmp/evaluation/225461-1170104522/sugar32125.csp
0.20 c BEGIN convert /tmp/evaluation/225461-1170104522/unknown.xml
2.04 c END convert (1.839722 seconds)
2.10 c # CONVERT_XML END : /tmp/evaluation/225461-1170104522/sugar32125.csp 8782492 bytes (3 seconds) [Mon Jan 29 22:02:05 2007]
2.10 c # CONVERT_XML CPU : 1.92 = 0 + 0 + 1.8 + 0.12
2.10
2.10 c # GENERATE_SAT BEGIN : /tmp/evaluation/225461-1170104522/sugar32125.bcnf [Mon Jan 29 22:02:05 2007]
2.10 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/225461-1170104522/sugar-v0-40.jar -bcnf -map /tmp/evaluation/225461-1170104522/sugar32125.map /tmp/evaluation/225461-1170104522/sugar32125.csp /tmp/evaluation/225461-1170104522/sugar32125.bcnf
2.22 c BEGIN parse /tmp/evaluation/225461-1170104522/sugar32125.csp
1806.17
1806.17 s UNKNOWN
1806.17 c # INTERRUPTED
1806.17 c # MAIN END : (1807 seconds) [Mon Jan 29 22:32:09 2007]
1806.17 c # MAIN CPU : 1.92 = 0 + 0 + 1.8 + 0.12
1806.17
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node10/watcher-225461-1170104522 -o ROOT/results/node10/solver-225461-1170104522 -C 1800 -M 900 /tmp/evaluation/225461-1170104522/solver /tmp/evaluation/225461-1170104522 /tmp/evaluation/225461-1170104522/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.67 2.62 2.56 5/100 32126
/proc/meminfo: memFree=1303616/2055920 swapFree=4192812/4192956
[pid=32125] ppid=32123 vsize=18540 CPUtime=0
/proc/32125/stat : 32125 (runsolver) R 32123 32125 32058 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 30407247 18984960 279 18446744073709551615 4194304 4267372 548682069040 18446744073709551615 214919867687 0 0 4096 24578 0 0 0 17 1 0 0
/proc/32125/statm: 4635 279 244 17 0 2626 0
[startup+0.110306 s]
/proc/loadavg: 2.67 2.62 2.56 5/100 32126
/proc/meminfo: memFree=1303616/2055920 swapFree=4192812/4192956
[pid=32125] ppid=32123 vsize=13724 CPUtime=0.04
/proc/32125/stat : 32125 (sugar) S 32123 32125 32058 0 -1 4194304 1112 0 0 0 3 1 0 0 20 0 1 0 30407247 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/32125/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+0.518364 s]
/proc/loadavg: 2.67 2.62 2.56 5/100 32126
/proc/meminfo: memFree=1303616/2055920 swapFree=4192812/4192956
[pid=32125] ppid=32123 vsize=13724 CPUtime=0.04
/proc/32125/stat : 32125 (sugar) S 32123 32125 32058 0 -1 4194304 1121 0 0 0 3 1 0 0 15 0 1 0 30407247 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/32125/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+1.34248 s]
/proc/loadavg: 2.67 2.62 2.56 4/108 32136
/proc/meminfo: memFree=1269696/2055920 swapFree=4192812/4192956
[pid=32125] ppid=32123 vsize=13724 CPUtime=0.04
/proc/32125/stat : 32125 (sugar) S 32123 32125 32058 0 -1 4194304 1121 0 0 0 3 1 0 0 15 0 1 0 30407247 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/32125/statm: 3431 805 368 3 0 531 0
[pid=32127] ppid=32125 vsize=807128 CPUtime=1.23
/proc/32127/stat : 32127 (java) R 32125 32125 32058 0 -1 0 11088 0 1 0 113 10 0 0 25 0 8 0 30407253 826499072 10824 18446744073709551615 134512640 134570532 4294956544 18446744073709551615 4073604200 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32127/statm: 201782 10824 1695 14 0 189060 0
[pid=32127/tid=32128] ppid=32125 vsize=807128 CPUtime=0.1
/proc/32127/task/32128/stat : 32128 (java) S 32125 32125 32058 0 -1 64 4594 0 0 0 7 3 0 0 16 0 8 0 30407256 826499072 10824 18446744073709551615 134512640 134570532 4294956544 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32127/tid=32129] ppid=32125 vsize=807128 CPUtime=0
/proc/32127/task/32129/stat : 32129 (java) S 32125 32125 32058 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30407257 826499072 10824 18446744073709551615 134512640 134570532 4294956544 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32127/tid=32130] ppid=32125 vsize=807128 CPUtime=0
/proc/32127/task/32130/stat : 32130 (java) S 32125 32125 32058 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 30407257 826499072 10824 18446744073709551615 134512640 134570532 4294956544 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32127/tid=32131] ppid=32125 vsize=807128 CPUtime=0
/proc/32127/task/32131/stat : 32131 (java) S 32125 32125 32058 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30407260 826499072 10824 18446744073709551615 134512640 134570532 4294956544 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32127/tid=32132] ppid=32125 vsize=807128 CPUtime=0.08
/proc/32127/task/32132/stat : 32132 (java) S 32125 32125 32058 0 -1 64 307 0 0 0 8 0 0 0 16 0 8 0 30407260 826499072 10824 18446744073709551615 134512640 134570532 4294956544 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32127/tid=32133] ppid=32125 vsize=807128 CPUtime=0
/proc/32127/task/32133/stat : 32133 (java) S 32125 32125 32058 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30407260 826499072 10824 18446744073709551615 134512640 134570532 4294956544 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32127/tid=32134] ppid=32125 vsize=807128 CPUtime=0
/proc/32127/task/32134/stat : 32134 (java) S 32125 32125 32058 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30407260 826499072 10824 18446744073709551615 134512640 134570532 4294956544 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 820852
[startup+2.9947 s]
/proc/loadavg: 2.67 2.62 2.56 4/108 32144
/proc/meminfo: memFree=1291136/2055920 swapFree=4192812/4192956
[pid=32125] ppid=32123 vsize=13724 CPUtime=1.96
/proc/32125/stat : 32125 (sugar) S 32123 32125 32058 0 -1 4194304 1190 11117 0 1 3 1 180 12 15 0 1 0 30407247 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/32125/statm: 3431 809 371 3 0 531 0
[pid=32137] ppid=32125 vsize=807064 CPUtime=0.87
/proc/32137/stat : 32137 (java) R 32125 32125 32058 0 -1 0 8808 0 1 0 82 5 0 0 20 0 8 0 30407458 826433536 8553 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32137/statm: 201766 8553 1494 14 0 189044 0
[pid=32137/tid=32138] ppid=32125 vsize=807064 CPUtime=0.17
/proc/32137/task/32138/stat : 32138 (java) R 32125 32125 32058 0 -1 64 2753 0 0 0 16 1 0 0 16 0 8 0 30407461 826433536 8553 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153827336 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32137/tid=32139] ppid=32125 vsize=807064 CPUtime=0
/proc/32137/task/32139/stat : 32139 (java) S 32125 32125 32058 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 30407462 826433536 8553 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32137/tid=32140] ppid=32125 vsize=807064 CPUtime=0
/proc/32137/task/32140/stat : 32140 (java) S 32125 32125 32058 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30407462 826433536 8553 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32137/tid=32141] ppid=32125 vsize=807064 CPUtime=0
/proc/32137/task/32141/stat : 32141 (java) S 32125 32125 32058 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30407465 826433536 8553 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32137/tid=32142] ppid=32125 vsize=807064 CPUtime=0.05
/proc/32137/task/32142/stat : 32142 (java) S 32125 32125 32058 0 -1 64 291 0 0 0 5 0 0 0 19 0 8 0 30407465 826433536 8553 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32137/tid=32143] ppid=32125 vsize=807064 CPUtime=0
/proc/32137/task/32143/stat : 32143 (java) S 32125 32125 32058 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30407465 826433536 8553 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32137/tid=32144] ppid=32125 vsize=807064 CPUtime=0
/proc/32137/task/32144/stat : 32144 (java) S 32125 32125 32058 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30407465 826433536 8553 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.20913 s]
/proc/loadavg: 2.62 2.61 2.56 5/108 32150
/proc/meminfo: memFree=1222208/2055920 swapFree=4192812/4192956
[pid=32125] ppid=32123 vsize=13724 CPUtime=1.96
/proc/32125/stat : 32125 (sugar) S 32123 32125 32058 0 -1 4194304 1190 11117 0 1 3 1 180 12 15 0 1 0 30407247 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/32125/statm: 3431 809 371 3 0 531 0
[pid=32137] ppid=32125 vsize=807064 CPUtime=4.03
/proc/32137/stat : 32137 (java) R 32125 32125 32058 0 -1 0 22376 0 1 0 390 13 0 0 25 0 8 0 30407458 826433536 22093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073560889 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32137/statm: 201766 22093 1494 14 0 189044 0
[pid=32137/tid=32138] ppid=32125 vsize=807064 CPUtime=1.12
/proc/32137/task/32138/stat : 32138 (java) S 32125 32125 32058 0 -1 64 16293 0 0 0 104 8 0 0 16 0 8 0 30407461 826433536 22093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32137/tid=32139] ppid=32125 vsize=807064 CPUtime=0
/proc/32137/task/32139/stat : 32139 (java) S 32125 32125 32058 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 30407462 826433536 22093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32137/tid=32140] ppid=32125 vsize=807064 CPUtime=0
/proc/32137/task/32140/stat : 32140 (java) S 32125 32125 32058 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30407462 826433536 22093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32137/tid=32141] ppid=32125 vsize=807064 CPUtime=0
/proc/32137/task/32141/stat : 32141 (java) S 32125 32125 32058 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30407465 826433536 22093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32137/tid=32142] ppid=32125 vsize=807064 CPUtime=0.05
/proc/32137/task/32142/stat : 32142 (java) S 32125 32125 32058 0 -1 64 291 0 0 0 5 0 0 0 16 0 8 0 30407465 826433536 22093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32137/tid=32143] ppid=32125 vsize=807064 CPUtime=0
/proc/32137/task/32143/stat : 32143 (java) S 32125 32125 32058 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30407465 826433536 22093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32137/tid=32144] ppid=32125 vsize=807064 CPUtime=0
/proc/32137/task/32144/stat : 32144 (java) S 32125 32125 32058 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30407465 826433536 22093 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5.99
Current children cumulated vsize (KiB) 820788
[startup+12.664 s]
/proc/loadavg: 2.65 2.62 2.56 3/108 32176
/proc/meminfo: memFree=1106624/2055920 swapFree=4192812/4192956
[pid=32125] ppid=32123 vsize=13724 CPUtime=1.96
/proc/32125/stat : 32125 (sugar) S 32123 32125 32058 0 -1 4194304 1190 11117 0 1 3 1 180 12 15 0 1 0 30407247 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/32125/statm: 3431 809 371 3 0 531 0
[pid=32137] ppid=32125 vsize=807356 CPUtime=10.35
/proc/32137/stat : 32137 (java) R 32125 32125 32058 0 -1 0 50564 0 1 0 1006 29 0 0 18 0 8 0 30407458 826732544 50215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073581054 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32137/statm: 201839 50215 1506 14 0 189117 0
[pid=32137/tid=32138] ppid=32125 vsize=807356 CPUtime=3.14
/proc/32137/task/32138/stat : 32138 (java) S 32125 32125 32058 0 -1 64 44147 0 0 0 292 22 0 0 16 0 8 0 30407461 826732544 50215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32137/tid=32139] ppid=32125 vsize=807356 CPUtime=0
/proc/32137/task/32139/stat : 32139 (java) S 32125 32125 32058 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 30407462 826732544 50215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32137/tid=32140] ppid=32125 vsize=807356 CPUtime=0
/proc/32137/task/32140/stat : 32140 (java) S 32125 32125 32058 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30407462 826732544 50215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32137/tid=32141] ppid=32125 vsize=807356 CPUtime=0
/proc/32137/task/32141/stat : 32141 (java) S 32125 32125 32058 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30407465 826732544 50215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32137/tid=32142] ppid=32125 vsize=807356 CPUtime=0.11
/proc/32137/task/32142/stat : 32142 (java) S 32125 32125 32058 0 -1 64 366 0 0 0 11 0 0 0 16 0 8 0 30407465 826732544 50215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32137/tid=32143] ppid=32125 vsize=807356 CPUtime=0
/proc/32137/task/32143/stat : 32143 (java) S 32125 32125 32058 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30407465 826732544 50215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32137/tid=32144] ppid=32125 vsize=807356 CPUtime=0
/proc/32137/task/32144/stat : 32144 (java) S 32125 32125 32058 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30407465 826732544 50215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.31
Current children cumulated vsize (KiB) 821080
[startup+25.5046 s]
/proc/loadavg: 2.57 2.60 2.55 3/108 32192
/proc/meminfo: memFree=965376/2055920 swapFree=4192812/4192956
[pid=32125] ppid=32123 vsize=13724 CPUtime=1.96
/proc/32125/stat : 32125 (sugar) S 32123 32125 32058 0 -1 4194304 1190 11117 0 1 3 1 180 12 15 0 1 0 30407247 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/32125/statm: 3431 809 371 3 0 531 0
[pid=32137] ppid=32125 vsize=807356 CPUtime=23.03
/proc/32137/stat : 32137 (java) R 32125 32125 32058 0 -1 0 84509 0 1 0 2255 48 0 0 25 0 8 0 30407458 826732544 83964 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073332564 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32137/statm: 201839 83964 1507 14 0 189117 0
[pid=32137/tid=32138] ppid=32125 vsize=807356 CPUtime=10.07
/proc/32137/task/32138/stat : 32138 (java) S 32125 32125 32058 0 -1 64 77067 0 0 0 968 39 0 0 16 0 8 0 30407461 826732544 83964 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32137/tid=32139] ppid=32125 vsize=807356 CPUtime=0
/proc/32137/task/32139/stat : 32139 (java) S 32125 32125 32058 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 30407462 826732544 83964 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32137/tid=32140] ppid=32125 vsize=807356 CPUtime=0
/proc/32137/task/32140/stat : 32140 (java) S 32125 32125 32058 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30407462 826732544 83964 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32137/tid=32141] ppid=32125 vsize=807356 CPUtime=0
/proc/32137/task/32141/stat : 32141 (java) S 32125 32125 32058 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30407465 826732544 83964 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32137/tid=32142] ppid=32125 vsize=807356 CPUtime=0.13
/proc/32137/task/32142/stat : 32142 (java) S 32125 32125 32058 0 -1 64 379 0 0 0 13 0 0 0 16 0 8 0 30407465 826732544 83964 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32137/tid=32143] ppid=32125 vsize=807356 CPUtime=0
/proc/32137/task/32143/stat : 32143 (java) S 32125 32125 32058 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30407465 826732544 83964 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32137/tid=32144] ppid=32125 vsize=807356 CPUtime=0
/proc/32137/task/32144/stat : 32144 (java) S 32125 32125 32058 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30407465 826732544 83964 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 24.99
Current children cumulated vsize (KiB) 821080
[startup+51.127 s]
/proc/loadavg: 2.70 2.63 2.56 5/102 32224
/proc/meminfo: memFree=929328/2055920 swapFree=4192812/4192956
[pid=32125] ppid=32123 vsize=13724 CPUtime=1.96
/proc/32125/stat : 32125 (sugar) S 32123 32125 32058 0 -1 4194304 1190 11117 0 1 3 1 180 12 15 0 1 0 30407247 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/32125/statm: 3431 809 371 3 0 531 0
[pid=32137] ppid=32125 vsize=807356 CPUtime=48.45
/proc/32137/stat : 32137 (java) R 32125 32125 32058 0 -1 0 90634 0 1 0 4790 55 0 0 25 0 8 0 30407458 826732544 87982 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32137/statm: 201839 87982 1507 14 0 189117 0
[pid=32137/tid=32138] ppid=32125 vsize=807356 CPUtime=25.01
/proc/32137/task/32138/stat : 32138 (java) R 32125 32125 32058 0 -1 64 82836 0 0 0 2457 44 0 0 16 0 8 0 30407461 826732544 87982 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154022744 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32137/tid=32139] ppid=32125 vsize=807356 CPUtime=0
/proc/32137/task/32139/stat : 32139 (java) S 32125 32125 32058 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 30407462 826732544 87982 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32137/tid=32140] ppid=32125 vsize=807356 CPUtime=0
/proc/32137/task/32140/stat : 32140 (java) S 32125 32125 32058 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30407462 826732544 87982 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32137/tid=32141] ppid=32125 vsize=807356 CPUtime=0
/proc/32137/task/32141/stat : 32141 (java) S 32125 32125 32058 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30407465 826732544 87982 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32137/tid=32142] ppid=32125 vsize=807356 CPUtime=0.13
/proc/32137/task/32142/stat : 32142 (java) S 32125 32125 32058 0 -1 64 379 0 0 0 13 0 0 0 17 0 8 0 30407465 826732544 87982 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32137/tid=32143] ppid=32125 vsize=807356 CPUtime=0
/proc/32137/task/32143/stat : 32143 (java) S 32125 32125 32058 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30407465 826732544 87982 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32137/tid=32144] ppid=32125 vsize=807356 CPUtime=0
/proc/32137/task/32144/stat : 32144 (java) S 32125 32125 32058 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30407465 826732544 87982 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.41
Current children cumulated vsize (KiB) 821080
[startup+102.336 s]
/proc/loadavg: 3.06 2.74 2.60 4/102 32224
/proc/meminfo: memFree=892856/2055920 swapFree=4192812/4192956
[pid=32125] ppid=32123 vsize=13724 CPUtime=1.96
/proc/32125/stat : 32125 (sugar) S 32123 32125 32058 0 -1 4194304 1190 11117 0 1 3 1 180 12 15 0 1 0 30407247 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/32125/statm: 3431 809 371 3 0 531 0
[pid=32137] ppid=32125 vsize=807356 CPUtime=99.39
/proc/32137/stat : 32137 (java) R 32125 32125 32058 0 -1 0 109589 0 1 0 9866 73 0 0 25 0 8 0 30407458 826732544 94864 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32137/statm: 201839 94864 1507 14 0 189117 0
[pid=32137/tid=32138] ppid=32125 vsize=807356 CPUtime=59.56
################
# More data... #
################
/proc/loadavg: 3.29 3.27 3.12 3/102 32289
/proc/meminfo: memFree=649992/2055920 swapFree=4192812/4192956
[pid=32125] ppid=32123 vsize=13724 CPUtime=1.96
/proc/32125/stat : 32125 (sugar) S 32123 32125 32058 0 -1 4194304 1190 11117 0 1 3 1 180 12 15 0 1 0 30407247 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/32125/statm: 3431 809 371 3 0 531 0
[pid=32137] ppid=32125 vsize=807356 CPUtime=1536.56
/proc/32137/stat : 32137 (java) R 32125 32125 32058 0 -1 0 802784 0 1 0 153045 611 0 0 25 0 8 0 30407458 826732544 151109 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32137/statm: 201839 151109 1507 14 0 189117 0
[pid=32137/tid=32138] ppid=32125 vsize=807356 CPUtime=1068.21
/proc/32137/task/32138/stat : 32138 (java) R 32125 32125 32058 0 -1 64 784665 0 0 0 106271 550 0 0 15 0 8 0 30407461 826732544 151109 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155245033 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32137/tid=32139] ppid=32125 vsize=807356 CPUtime=0
/proc/32137/task/32139/stat : 32139 (java) S 32125 32125 32058 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 30407462 826732544 151109 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32137/tid=32140] ppid=32125 vsize=807356 CPUtime=0
/proc/32137/task/32140/stat : 32140 (java) S 32125 32125 32058 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30407462 826732544 151109 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32137/tid=32141] ppid=32125 vsize=807356 CPUtime=0
/proc/32137/task/32141/stat : 32141 (java) S 32125 32125 32058 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30407465 826732544 151109 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32137/tid=32142] ppid=32125 vsize=807356 CPUtime=0.13
/proc/32137/task/32142/stat : 32142 (java) S 32125 32125 32058 0 -1 64 379 0 0 0 13 0 0 0 17 0 8 0 30407465 826732544 151109 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32137/tid=32143] ppid=32125 vsize=807356 CPUtime=0
/proc/32137/task/32143/stat : 32143 (java) S 32125 32125 32058 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30407465 826732544 151109 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32137/tid=32144] ppid=32125 vsize=807356 CPUtime=0.02
/proc/32137/task/32144/stat : 32144 (java) S 32125 32125 32058 0 -1 64 1 0 0 0 1 1 0 0 15 0 8 0 30407465 826732544 151109 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1538.52
Current children cumulated vsize (KiB) 821080
[startup+1603.28 s]
/proc/loadavg: 3.50 3.33 3.15 5/102 32289
/proc/meminfo: memFree=649736/2055920 swapFree=4192812/4192956
[pid=32125] ppid=32123 vsize=13724 CPUtime=1.96
/proc/32125/stat : 32125 (sugar) S 32123 32125 32058 0 -1 4194304 1190 11117 0 1 3 1 180 12 15 0 1 0 30407247 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/32125/statm: 3431 809 371 3 0 531 0
[pid=32137] ppid=32125 vsize=807356 CPUtime=1596.27
/proc/32137/stat : 32137 (java) R 32125 32125 32058 0 -1 0 803106 0 1 0 159012 615 0 0 25 0 8 0 30407458 826732544 151109 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32137/statm: 201839 151109 1507 14 0 189117 0
[pid=32137/tid=32138] ppid=32125 vsize=807356 CPUtime=1111.83
/proc/32137/task/32138/stat : 32138 (java) R 32125 32125 32058 0 -1 64 784665 0 0 0 110630 553 0 0 17 0 8 0 30407461 826732544 151109 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155222440 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32137/tid=32139] ppid=32125 vsize=807356 CPUtime=0
/proc/32137/task/32139/stat : 32139 (java) S 32125 32125 32058 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 30407462 826732544 151109 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32137/tid=32140] ppid=32125 vsize=807356 CPUtime=0
/proc/32137/task/32140/stat : 32140 (java) S 32125 32125 32058 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30407462 826732544 151109 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32137/tid=32141] ppid=32125 vsize=807356 CPUtime=0
/proc/32137/task/32141/stat : 32141 (java) S 32125 32125 32058 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30407465 826732544 151109 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32137/tid=32142] ppid=32125 vsize=807356 CPUtime=0.13
/proc/32137/task/32142/stat : 32142 (java) S 32125 32125 32058 0 -1 64 379 0 0 0 13 0 0 0 17 0 8 0 30407465 826732544 151109 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32137/tid=32143] ppid=32125 vsize=807356 CPUtime=0
/proc/32137/task/32143/stat : 32143 (java) S 32125 32125 32058 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30407465 826732544 151109 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32137/tid=32144] ppid=32125 vsize=807356 CPUtime=0.02
/proc/32137/task/32144/stat : 32144 (java) S 32125 32125 32058 0 -1 64 1 0 0 0 1 1 0 0 15 0 8 0 30407465 826732544 151109 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1598.23
Current children cumulated vsize (KiB) 821080
[startup+1663.28 s]
/proc/loadavg: 3.35 3.31 3.15 6/102 32289
/proc/meminfo: memFree=648648/2055920 swapFree=4192812/4192956
[pid=32125] ppid=32123 vsize=13724 CPUtime=1.96
/proc/32125/stat : 32125 (sugar) S 32123 32125 32058 0 -1 4194304 1190 11117 0 1 3 1 180 12 15 0 1 0 30407247 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/32125/statm: 3431 809 371 3 0 531 0
[pid=32137] ppid=32125 vsize=807356 CPUtime=1655.97
/proc/32137/stat : 32137 (java) R 32125 32125 32058 0 -1 0 803468 0 1 0 164976 621 0 0 25 0 8 0 30407458 826732544 151109 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32137/statm: 201839 151109 1507 14 0 189117 0
[pid=32137/tid=32138] ppid=32125 vsize=807356 CPUtime=1154.44
/proc/32137/task/32138/stat : 32138 (java) R 32125 32125 32058 0 -1 64 784665 0 0 0 114888 556 0 0 15 0 8 0 30407461 826732544 151109 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153822964 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32137/tid=32139] ppid=32125 vsize=807356 CPUtime=0
/proc/32137/task/32139/stat : 32139 (java) S 32125 32125 32058 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 30407462 826732544 151109 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32137/tid=32140] ppid=32125 vsize=807356 CPUtime=0
/proc/32137/task/32140/stat : 32140 (java) S 32125 32125 32058 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30407462 826732544 151109 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32137/tid=32141] ppid=32125 vsize=807356 CPUtime=0
/proc/32137/task/32141/stat : 32141 (java) S 32125 32125 32058 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30407465 826732544 151109 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32137/tid=32142] ppid=32125 vsize=807356 CPUtime=0.13
/proc/32137/task/32142/stat : 32142 (java) S 32125 32125 32058 0 -1 64 379 0 0 0 13 0 0 0 17 0 8 0 30407465 826732544 151109 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32137/tid=32143] ppid=32125 vsize=807356 CPUtime=0
/proc/32137/task/32143/stat : 32143 (java) S 32125 32125 32058 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30407465 826732544 151109 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32137/tid=32144] ppid=32125 vsize=807356 CPUtime=0.02
/proc/32137/task/32144/stat : 32144 (java) S 32125 32125 32058 0 -1 64 1 0 0 0 1 1 0 0 15 0 8 0 30407465 826732544 151109 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1657.93
Current children cumulated vsize (KiB) 821080
[startup+1723.35 s]
/proc/loadavg: 3.43 3.36 3.18 4/102 32289
/proc/meminfo: memFree=640008/2055920 swapFree=4192812/4192956
[pid=32125] ppid=32123 vsize=13724 CPUtime=1.96
/proc/32125/stat : 32125 (sugar) S 32123 32125 32058 0 -1 4194304 1190 11117 0 1 3 1 180 12 15 0 1 0 30407247 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/32125/statm: 3431 809 371 3 0 531 0
[pid=32137] ppid=32125 vsize=807356 CPUtime=1715.73
/proc/32137/stat : 32137 (java) R 32125 32125 32058 0 -1 0 803801 0 1 0 170948 625 0 0 25 0 8 0 30407458 826732544 151109 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32137/statm: 201839 151109 1507 14 0 189117 0
[pid=32137/tid=32138] ppid=32125 vsize=807356 CPUtime=1198.99
/proc/32137/task/32138/stat : 32138 (java) R 32125 32125 32058 0 -1 64 784665 0 0 0 119340 559 0 0 16 0 8 0 30407461 826732544 151109 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155134188 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32137/tid=32139] ppid=32125 vsize=807356 CPUtime=0
/proc/32137/task/32139/stat : 32139 (java) S 32125 32125 32058 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 30407462 826732544 151109 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32137/tid=32140] ppid=32125 vsize=807356 CPUtime=0
/proc/32137/task/32140/stat : 32140 (java) S 32125 32125 32058 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30407462 826732544 151109 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32137/tid=32141] ppid=32125 vsize=807356 CPUtime=0
/proc/32137/task/32141/stat : 32141 (java) S 32125 32125 32058 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30407465 826732544 151109 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32137/tid=32142] ppid=32125 vsize=807356 CPUtime=0.13
/proc/32137/task/32142/stat : 32142 (java) S 32125 32125 32058 0 -1 64 379 0 0 0 13 0 0 0 17 0 8 0 30407465 826732544 151109 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32137/tid=32143] ppid=32125 vsize=807356 CPUtime=0
/proc/32137/task/32143/stat : 32143 (java) S 32125 32125 32058 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30407465 826732544 151109 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32137/tid=32144] ppid=32125 vsize=807356 CPUtime=0.02
/proc/32137/task/32144/stat : 32144 (java) S 32125 32125 32058 0 -1 64 1 0 0 0 1 1 0 0 15 0 8 0 30407465 826732544 151109 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1717.69
Current children cumulated vsize (KiB) 821080
[startup+1783.37 s]
/proc/loadavg: 3.74 3.45 3.22 5/102 32289
/proc/meminfo: memFree=639880/2055920 swapFree=4192812/4192956
[pid=32125] ppid=32123 vsize=13724 CPUtime=1.96
/proc/32125/stat : 32125 (sugar) S 32123 32125 32058 0 -1 4194304 1190 11117 0 1 3 1 180 12 15 0 1 0 30407247 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/32125/statm: 3431 809 371 3 0 531 0
[pid=32137] ppid=32125 vsize=807356 CPUtime=1775.45
/proc/32137/stat : 32137 (java) R 32125 32125 32058 0 -1 0 804121 0 1 0 176916 629 0 0 25 0 8 0 30407458 826732544 151109 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32137/statm: 201839 151109 1507 14 0 189117 0
[pid=32137/tid=32138] ppid=32125 vsize=807356 CPUtime=1244.22
/proc/32137/task/32138/stat : 32138 (java) R 32125 32125 32058 0 -1 64 784665 0 0 0 123861 561 0 0 15 0 8 0 30407461 826732544 151109 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153968444 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32137/tid=32139] ppid=32125 vsize=807356 CPUtime=0
/proc/32137/task/32139/stat : 32139 (java) S 32125 32125 32058 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 30407462 826732544 151109 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32137/tid=32140] ppid=32125 vsize=807356 CPUtime=0
/proc/32137/task/32140/stat : 32140 (java) S 32125 32125 32058 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30407462 826732544 151109 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32137/tid=32141] ppid=32125 vsize=807356 CPUtime=0
/proc/32137/task/32141/stat : 32141 (java) S 32125 32125 32058 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30407465 826732544 151109 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32137/tid=32142] ppid=32125 vsize=807356 CPUtime=0.13
/proc/32137/task/32142/stat : 32142 (java) S 32125 32125 32058 0 -1 64 379 0 0 0 13 0 0 0 17 0 8 0 30407465 826732544 151109 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32137/tid=32143] ppid=32125 vsize=807356 CPUtime=0
/proc/32137/task/32143/stat : 32143 (java) S 32125 32125 32058 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30407465 826732544 151109 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32137/tid=32144] ppid=32125 vsize=807356 CPUtime=0.02
/proc/32137/task/32144/stat : 32144 (java) S 32125 32125 32058 0 -1 64 1 0 0 0 1 1 0 0 15 0 8 0 30407465 826732544 151109 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1777.41
Current children cumulated vsize (KiB) 821080
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1806.16 s]
/proc/loadavg: 3.71 3.47 3.23 3/102 32289
/proc/meminfo: memFree=639816/2055920 swapFree=4192812/4192956
[pid=32125] ppid=32123 vsize=13724 CPUtime=1.96
/proc/32125/stat : 32125 (sugar) S 32123 32125 32058 0 -1 4194304 1190 11117 0 1 3 1 180 12 15 0 1 0 30407247 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/32125/statm: 3431 809 371 3 0 531 0
[pid=32137] ppid=32125 vsize=807356 CPUtime=1798.14
/proc/32137/stat : 32137 (java) R 32125 32125 32058 0 -1 0 804258 0 1 0 179183 631 0 0 25 0 8 0 30407458 826732544 151109 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073332706 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32137/statm: 201839 151109 1507 14 0 189117 0
[pid=32137/tid=32138] ppid=32125 vsize=807356 CPUtime=1260.77
/proc/32137/task/32138/stat : 32138 (java) S 32125 32125 32058 0 -1 64 784665 0 0 0 125514 563 0 0 16 0 8 0 30407461 826732544 151109 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32137/tid=32139] ppid=32125 vsize=807356 CPUtime=0
/proc/32137/task/32139/stat : 32139 (java) S 32125 32125 32058 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 30407462 826732544 151109 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32137/tid=32140] ppid=32125 vsize=807356 CPUtime=0
/proc/32137/task/32140/stat : 32140 (java) S 32125 32125 32058 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30407462 826732544 151109 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32137/tid=32141] ppid=32125 vsize=807356 CPUtime=0
/proc/32137/task/32141/stat : 32141 (java) S 32125 32125 32058 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30407465 826732544 151109 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32137/tid=32142] ppid=32125 vsize=807356 CPUtime=0.13
/proc/32137/task/32142/stat : 32142 (java) S 32125 32125 32058 0 -1 64 379 0 0 0 13 0 0 0 17 0 8 0 30407465 826732544 151109 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32137/tid=32143] ppid=32125 vsize=807356 CPUtime=0
/proc/32137/task/32143/stat : 32143 (java) S 32125 32125 32058 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30407465 826732544 151109 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32137/tid=32144] ppid=32125 vsize=807356 CPUtime=0.02
/proc/32137/task/32144/stat : 32144 (java) S 32125 32125 32058 0 -1 64 1 0 0 0 1 1 0 0 15 0 8 0 30407465 826732544 151109 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 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 32125 and gives childrusage.ru_utime.tv_sec=1 childrusage.ru_utime.tv_usec=843719 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=147977
CPU time returned by wait4() is 1.9917
while last known CPU time is 1800.23
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 1807.18
CPU time (s): 1800.23
CPU user time (s): 1793.69
CPU system time (s): 6.54
CPU usage (%): 99.6152
Max. virtual memory (cumulated for all children) (KiB): 821080
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.84372
system time used= 0.147977
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12387
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= 685
involuntary context switches= 698
runsolver used 2.37464 s user time and 6.39303 s system time
The end
Begin job on node10 on Mon Jan 29 21:02:02 UTC 2007
IDJOB= 225461
IDBENCH= 5859
IDSOLVER= 86
FILE ID= node10/225461-1170104522
PBS_JOBID= 3689785
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-13_ext.xml
COMMAND LINE= /tmp/evaluation/225461-1170104522/solver /tmp/evaluation/225461-1170104522 /tmp/evaluation/225461-1170104522/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node10/watcher-225461-1170104522 -o ROOT/results/node10/solver-225461-1170104522 -C 1800 -M 900 /tmp/evaluation/225461-1170104522/solver /tmp/evaluation/225461-1170104522 /tmp/evaluation/225461-1170104522/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= 5fc50d31c64cf27c0b39917c4e427c9a
RANDOM SEED= 198316687
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.232
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.232
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: 1304032 kB
Buffers: 34824 kB
Cached: 64456 kB
SwapCached: 0 kB
Active: 643424 kB
Inactive: 53548 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1304032 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2736 kB
Writeback: 0 kB
Mapped: 623684 kB
Slab: 38284 kB
Committed_AS: 1268104 kB
PageTables: 3508 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= 66556 MiB
End job on node10 on Mon Jan 29 21:32:10 UTC 2007