0.04 c # Sugar v0-40 (/tmp/evaluation/226724-1170105384/sugar-v0-40.jar)
0.04
0.04 c # MAIN BEGIN : /tmp/evaluation/226724-1170105384/unknown.xml [Mon Jan 29 22:16:24 2007]
0.04 c # CONVERT_XML BEGIN : /tmp/evaluation/226724-1170105384/unknown.xml /tmp/evaluation/226724-1170105384/sugar22095.csp [Mon Jan 29 22:16:24 2007]
0.04 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/226724-1170105384/sugar-v0-40.jar -convert /tmp/evaluation/226724-1170105384/unknown.xml /tmp/evaluation/226724-1170105384/sugar22095.csp
0.17 c BEGIN convert /tmp/evaluation/226724-1170105384/unknown.xml
0.79 c END convert (0.620531 seconds)
0.82 c # CONVERT_XML END : /tmp/evaluation/226724-1170105384/sugar22095.csp 2348794 bytes (1 seconds) [Mon Jan 29 22:16:25 2007]
0.82 c # CONVERT_XML CPU : 0.73 = 0 + 0 + 0.67 + 0.06
0.82
0.82 c # GENERATE_SAT BEGIN : /tmp/evaluation/226724-1170105384/sugar22095.bcnf [Mon Jan 29 22:16:25 2007]
0.82 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/226724-1170105384/sugar-v0-40.jar -bcnf -map /tmp/evaluation/226724-1170105384/sugar22095.map /tmp/evaluation/226724-1170105384/sugar22095.csp /tmp/evaluation/226724-1170105384/sugar22095.bcnf
0.93 c BEGIN parse /tmp/evaluation/226724-1170105384/sugar22095.csp
1807.91
1807.91 s UNKNOWN
1807.91 c # INTERRUPTED
1807.91 c # MAIN END : (1808 seconds) [Mon Jan 29 22:46:32 2007]
1807.91 c # MAIN CPU : 0.73 = 0 + 0 + 0.67 + 0.06
1807.91
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node69/watcher-226724-1170105384 -o ROOT/results/node69/solver-226724-1170105384 -C 1800 -M 900 /tmp/evaluation/226724-1170105384/solver /tmp/evaluation/226724-1170105384 /tmp/evaluation/226724-1170105384/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: 0.92 0.98 0.99 5/69 22096
/proc/meminfo: memFree=1909168/2055920 swapFree=4192812/4192956
[pid=22095] ppid=22091 vsize=12268 CPUtime=0
/proc/22095/stat : 22095 (sugar) R 22091 22095 21974 0 -1 4194304 597 0 0 0 0 0 0 0 18 0 1 0 30496145 12562432 316 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237956545534 0 0 4224 0 0 0 0 17 1 0 0
/proc/22095/statm: 3067 316 241 3 0 167 0
[startup+0.107914 s]
/proc/loadavg: 0.92 0.98 0.99 5/69 22096
/proc/meminfo: memFree=1909168/2055920 swapFree=4192812/4192956
[pid=22095] ppid=22091 vsize=13724 CPUtime=0.03
/proc/22095/stat : 22095 (sugar) S 22091 22095 21974 0 -1 4194304 1112 0 0 0 3 0 0 0 18 0 1 0 30496145 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237956542562 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22095/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+0.515997 s]
/proc/loadavg: 0.92 0.98 0.99 5/69 22096
/proc/meminfo: memFree=1909168/2055920 swapFree=4192812/4192956
[pid=22095] ppid=22091 vsize=13724 CPUtime=0.03
/proc/22095/stat : 22095 (sugar) S 22091 22095 21974 0 -1 4194304 1121 0 0 0 3 0 0 0 15 0 1 0 30496145 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237956542562 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22095/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+1.33712 s]
/proc/loadavg: 0.92 0.98 0.99 5/89 22139
/proc/meminfo: memFree=1864776/2055920 swapFree=4192812/4192956
[pid=22095] ppid=22091 vsize=13724 CPUtime=0.76
/proc/22095/stat : 22095 (sugar) S 22091 22095 21974 0 -1 4194304 1190 7931 0 1 3 0 67 6 15 0 1 0 30496145 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237956542562 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22095/statm: 3431 809 371 3 0 531 0
[pid=22124] ppid=22095 vsize=807064 CPUtime=0.49
/proc/22124/stat : 22124 (java) R 22095 22095 21974 0 -1 0 7549 0 1 0 45 4 0 0 24 0 8 0 30496227 826433536 7297 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22124/statm: 201766 7297 1494 14 0 189044 0
[pid=22124/tid=22126] ppid=22095 vsize=807064 CPUtime=0.07
/proc/22124/task/22126/stat : 22126 (java) R 22095 22095 21974 0 -1 64 1498 0 0 0 7 0 0 0 16 0 8 0 30496230 826433536 7297 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154023785 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22124/tid=22127] ppid=22095 vsize=807064 CPUtime=0
/proc/22124/task/22127/stat : 22127 (java) S 22095 22095 21974 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30496231 826433536 7297 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22124/tid=22128] ppid=22095 vsize=807064 CPUtime=0
/proc/22124/task/22128/stat : 22128 (java) S 22095 22095 21974 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30496231 826433536 7297 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22124/tid=22132] ppid=22095 vsize=807064 CPUtime=0
/proc/22124/task/22132/stat : 22132 (java) S 22095 22095 21974 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 30496234 826433536 7297 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22124/tid=22133] ppid=22095 vsize=807064 CPUtime=0.04
/proc/22124/task/22133/stat : 22133 (java) S 22095 22095 21974 0 -1 64 290 0 0 0 4 0 0 0 19 0 8 0 30496234 826433536 7297 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22124/tid=22134] ppid=22095 vsize=807064 CPUtime=0
/proc/22124/task/22134/stat : 22134 (java) S 22095 22095 21974 0 -1 64 2 0 0 0 0 0 0 0 23 0 8 0 30496234 826433536 7297 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22124/tid=22135] ppid=22095 vsize=807064 CPUtime=0
/proc/22124/task/22135/stat : 22135 (java) S 22095 22095 21974 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30496234 826433536 7297 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.25
Current children cumulated vsize (KiB) 820788
[startup+2.98639 s]
/proc/loadavg: 0.92 0.98 0.99 3/89 22139
/proc/meminfo: memFree=1819016/2055920 swapFree=4192812/4192956
[pid=22095] ppid=22091 vsize=13724 CPUtime=0.76
/proc/22095/stat : 22095 (sugar) S 22091 22095 21974 0 -1 4194304 1190 7931 0 1 3 0 67 6 15 0 1 0 30496145 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237956542562 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22095/statm: 3431 809 371 3 0 531 0
[pid=22124] ppid=22095 vsize=807064 CPUtime=2.13
/proc/22124/stat : 22124 (java) R 22095 22095 21974 0 -1 0 15358 0 1 0 205 8 0 0 25 0 8 0 30496227 826433536 15090 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479415 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22124/statm: 201766 15090 1494 14 0 189044 0
[pid=22124/tid=22126] ppid=22095 vsize=807064 CPUtime=0.56
/proc/22124/task/22126/stat : 22126 (java) S 22095 22095 21974 0 -1 64 9291 0 0 0 52 4 0 0 16 0 8 0 30496230 826433536 15090 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22124/tid=22127] ppid=22095 vsize=807064 CPUtime=0
/proc/22124/task/22127/stat : 22127 (java) S 22095 22095 21974 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30496231 826433536 15090 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22124/tid=22128] ppid=22095 vsize=807064 CPUtime=0
/proc/22124/task/22128/stat : 22128 (java) S 22095 22095 21974 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30496231 826433536 15090 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22124/tid=22132] ppid=22095 vsize=807064 CPUtime=0
/proc/22124/task/22132/stat : 22132 (java) S 22095 22095 21974 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 30496234 826433536 15090 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22124/tid=22133] ppid=22095 vsize=807064 CPUtime=0.04
/proc/22124/task/22133/stat : 22133 (java) S 22095 22095 21974 0 -1 64 290 0 0 0 4 0 0 0 19 0 8 0 30496234 826433536 15090 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22124/tid=22134] ppid=22095 vsize=807064 CPUtime=0
/proc/22124/task/22134/stat : 22134 (java) S 22095 22095 21974 0 -1 64 2 0 0 0 0 0 0 0 23 0 8 0 30496234 826433536 15090 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22124/tid=22135] ppid=22095 vsize=807064 CPUtime=0
/proc/22124/task/22135/stat : 22135 (java) S 22095 22095 21974 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30496234 826433536 15090 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.89
Current children cumulated vsize (KiB) 820788
[startup+6.18892 s]
/proc/loadavg: 1.01 1.00 1.00 4/89 22139
/proc/meminfo: memFree=1645704/2055920 swapFree=4192812/4192956
[pid=22095] ppid=22091 vsize=13724 CPUtime=0.76
/proc/22095/stat : 22095 (sugar) S 22091 22095 21974 0 -1 4194304 1190 7931 0 1 3 0 67 6 15 0 1 0 30496145 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237956542562 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22095/statm: 3431 809 371 3 0 531 0
[pid=22124] ppid=22095 vsize=807340 CPUtime=5.3
/proc/22124/stat : 22124 (java) R 22095 22095 21974 0 -1 0 38262 0 1 0 507 23 0 0 25 0 8 0 30496227 826716160 37904 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073332702 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22124/statm: 201835 37904 1506 14 0 189113 0
[pid=22124/tid=22126] ppid=22095 vsize=807340 CPUtime=1.62
/proc/22124/task/22126/stat : 22126 (java) S 22095 22095 21974 0 -1 64 31967 0 0 0 144 18 0 0 16 0 8 0 30496230 826716160 37904 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22124/tid=22127] ppid=22095 vsize=807340 CPUtime=0
/proc/22124/task/22127/stat : 22127 (java) S 22095 22095 21974 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30496231 826716160 37904 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22124/tid=22128] ppid=22095 vsize=807340 CPUtime=0
/proc/22124/task/22128/stat : 22128 (java) S 22095 22095 21974 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30496231 826716160 37904 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22124/tid=22132] ppid=22095 vsize=807340 CPUtime=0
/proc/22124/task/22132/stat : 22132 (java) S 22095 22095 21974 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 30496234 826716160 37904 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22124/tid=22133] ppid=22095 vsize=807340 CPUtime=0.1
/proc/22124/task/22133/stat : 22133 (java) S 22095 22095 21974 0 -1 64 383 0 0 0 10 0 0 0 16 0 8 0 30496234 826716160 37904 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22124/tid=22134] ppid=22095 vsize=807340 CPUtime=0
/proc/22124/task/22134/stat : 22134 (java) S 22095 22095 21974 0 -1 64 2 0 0 0 0 0 0 0 23 0 8 0 30496234 826716160 37904 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22124/tid=22135] ppid=22095 vsize=807340 CPUtime=0
/proc/22124/task/22135/stat : 22135 (java) S 22095 22095 21974 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30496234 826716160 37904 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.06
Current children cumulated vsize (KiB) 821064
[startup+12.643 s]
/proc/loadavg: 1.09 1.02 1.01 3/89 22139
/proc/meminfo: memFree=1478160/2055920 swapFree=4192812/4192956
[pid=22095] ppid=22091 vsize=13724 CPUtime=0.76
/proc/22095/stat : 22095 (sugar) S 22091 22095 21974 0 -1 4194304 1190 7931 0 1 3 0 67 6 15 0 1 0 30496145 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237956542562 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22095/statm: 3431 809 371 3 0 531 0
[pid=22124] ppid=22095 vsize=807340 CPUtime=11.67
/proc/22124/stat : 22124 (java) R 22095 22095 21974 0 -1 0 55061 0 1 0 1133 34 0 0 25 0 8 0 30496227 826716160 54098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22124/statm: 201835 54098 1507 14 0 189113 0
[pid=22124/tid=22126] ppid=22095 vsize=807340 CPUtime=4.24
/proc/22124/task/22126/stat : 22126 (java) R 22095 22095 21974 0 -1 64 48560 0 0 0 396 28 0 0 15 0 8 0 30496230 826716160 54098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155216465 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22124/tid=22127] ppid=22095 vsize=807340 CPUtime=0
/proc/22124/task/22127/stat : 22127 (java) S 22095 22095 21974 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30496231 826716160 54098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22124/tid=22128] ppid=22095 vsize=807340 CPUtime=0
/proc/22124/task/22128/stat : 22128 (java) S 22095 22095 21974 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30496231 826716160 54098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22124/tid=22132] ppid=22095 vsize=807340 CPUtime=0
/proc/22124/task/22132/stat : 22132 (java) S 22095 22095 21974 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 30496234 826716160 54098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22124/tid=22133] ppid=22095 vsize=807340 CPUtime=0.11
/proc/22124/task/22133/stat : 22133 (java) S 22095 22095 21974 0 -1 64 387 0 0 0 11 0 0 0 16 0 8 0 30496234 826716160 54098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22124/tid=22134] ppid=22095 vsize=807340 CPUtime=0
/proc/22124/task/22134/stat : 22134 (java) S 22095 22095 21974 0 -1 64 2 0 0 0 0 0 0 0 23 0 8 0 30496234 826716160 54098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22124/tid=22135] ppid=22095 vsize=807340 CPUtime=0
/proc/22124/task/22135/stat : 22135 (java) S 22095 22095 21974 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30496234 826716160 54098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.43
Current children cumulated vsize (KiB) 821064
[startup+25.5211 s]
/proc/loadavg: 1.66 1.15 1.05 3/89 22139
/proc/meminfo: memFree=1478224/2055920 swapFree=4192812/4192956
[pid=22095] ppid=22091 vsize=13724 CPUtime=0.76
/proc/22095/stat : 22095 (sugar) S 22091 22095 21974 0 -1 4194304 1190 7931 0 1 3 0 67 6 15 0 1 0 30496145 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237956542562 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22095/statm: 3431 809 371 3 0 531 0
[pid=22124] ppid=22095 vsize=807340 CPUtime=24.38
/proc/22124/stat : 22124 (java) R 22095 22095 21974 0 -1 0 60819 0 1 0 2396 42 0 0 25 0 8 0 30496227 826716160 54102 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153380400 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22124/statm: 201835 54102 1507 14 0 189113 0
[pid=22124/tid=22126] ppid=22095 vsize=807340 CPUtime=10.27
/proc/22124/task/22126/stat : 22126 (java) S 22095 22095 21974 0 -1 64 53964 0 0 0 993 34 0 0 16 0 8 0 30496230 826716160 54102 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22124/tid=22127] ppid=22095 vsize=807340 CPUtime=0
/proc/22124/task/22127/stat : 22127 (java) S 22095 22095 21974 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30496231 826716160 54102 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22124/tid=22128] ppid=22095 vsize=807340 CPUtime=0
/proc/22124/task/22128/stat : 22128 (java) S 22095 22095 21974 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30496231 826716160 54102 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22124/tid=22132] ppid=22095 vsize=807340 CPUtime=0
/proc/22124/task/22132/stat : 22132 (java) S 22095 22095 21974 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 30496234 826716160 54102 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22124/tid=22133] ppid=22095 vsize=807340 CPUtime=0.12
/proc/22124/task/22133/stat : 22133 (java) S 22095 22095 21974 0 -1 64 391 0 0 0 12 0 0 0 17 0 8 0 30496234 826716160 54102 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22124/tid=22134] ppid=22095 vsize=807340 CPUtime=0
/proc/22124/task/22134/stat : 22134 (java) S 22095 22095 21974 0 -1 64 2 0 0 0 0 0 0 0 23 0 8 0 30496234 826716160 54102 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22124/tid=22135] ppid=22095 vsize=807340 CPUtime=0
/proc/22124/task/22135/stat : 22135 (java) S 22095 22095 21974 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30496234 826716160 54102 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 821064
[startup+51.1885 s]
/proc/loadavg: 2.13 1.29 1.10 4/89 22139
/proc/meminfo: memFree=1478096/2055920 swapFree=4192812/4192956
[pid=22095] ppid=22091 vsize=13724 CPUtime=0.76
/proc/22095/stat : 22095 (sugar) S 22091 22095 21974 0 -1 4194304 1190 7931 0 1 3 0 67 6 15 0 1 0 30496145 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237956542562 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22095/statm: 3431 809 371 3 0 531 0
[pid=22124] ppid=22095 vsize=807340 CPUtime=49.84
/proc/22124/stat : 22124 (java) R 22095 22095 21974 0 -1 0 65713 0 1 0 4930 54 0 0 25 0 8 0 30496227 826716160 54127 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073332702 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22124/statm: 201835 54127 1507 14 0 189113 0
[pid=22124/tid=22126] ppid=22095 vsize=807340 CPUtime=22.5
/proc/22124/task/22126/stat : 22126 (java) S 22095 22095 21974 0 -1 64 58133 0 0 0 2208 42 0 0 16 0 8 0 30496230 826716160 54127 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22124/tid=22127] ppid=22095 vsize=807340 CPUtime=0
/proc/22124/task/22127/stat : 22127 (java) S 22095 22095 21974 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30496231 826716160 54127 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22124/tid=22128] ppid=22095 vsize=807340 CPUtime=0
/proc/22124/task/22128/stat : 22128 (java) S 22095 22095 21974 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30496231 826716160 54127 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22124/tid=22132] ppid=22095 vsize=807340 CPUtime=0
/proc/22124/task/22132/stat : 22132 (java) S 22095 22095 21974 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 30496234 826716160 54127 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22124/tid=22133] ppid=22095 vsize=807340 CPUtime=0.13
/proc/22124/task/22133/stat : 22133 (java) S 22095 22095 21974 0 -1 64 397 0 0 0 13 0 0 0 17 0 8 0 30496234 826716160 54127 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22124/tid=22134] ppid=22095 vsize=807340 CPUtime=0
/proc/22124/task/22134/stat : 22134 (java) S 22095 22095 21974 0 -1 64 2 0 0 0 0 0 0 0 23 0 8 0 30496234 826716160 54127 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22124/tid=22135] ppid=22095 vsize=807340 CPUtime=0
/proc/22124/task/22135/stat : 22135 (java) S 22095 22095 21974 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30496234 826716160 54127 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.6
Current children cumulated vsize (KiB) 821064
[startup+102.421 s]
/proc/loadavg: 2.55 1.55 1.19 5/89 22139
/proc/meminfo: memFree=1477200/2055920 swapFree=4192812/4192956
[pid=22095] ppid=22091 vsize=13724 CPUtime=0.76
/proc/22095/stat : 22095 (sugar) S 22091 22095 21974 0 -1 4194304 1190 7931 0 1 3 0 67 6 15 0 1 0 30496145 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237956542562 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22095/statm: 3431 809 371 3 0 531 0
[pid=22124] ppid=22095 vsize=807340 CPUtime=100.98
/proc/22124/stat : 22124 (java) R 22095 22095 21974 0 -1 0 78736 0 1 0 10016 82 0 0 25 0 8 0 30496227 826716160 54127 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22124/statm: 201835 54127 1507 14 0 189113 0
[pid=22124/tid=22126] ppid=22095 vsize=807340 CPUtime=48.45
################
# More data... #
################
/proc/loadavg: 2.18 2.79 2.62 3/89 22141
/proc/meminfo: memFree=686800/2055920 swapFree=4192812/4192956
[pid=22095] ppid=22091 vsize=13724 CPUtime=0.76
/proc/22095/stat : 22095 (sugar) S 22091 22095 21974 0 -1 4194304 1190 7931 0 1 3 0 67 6 15 0 1 0 30496145 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237956542562 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22095/statm: 3431 809 371 3 0 531 0
[pid=22124] ppid=22095 vsize=807844 CPUtime=1536.24
/proc/22124/stat : 22124 (java) S 22095 22095 21974 0 -1 0 264157 0 1 0 153299 325 0 0 17 0 8 0 30496227 827232256 152225 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22124/statm: 201961 152225 1507 14 0 189239 0
[pid=22124/tid=22126] ppid=22095 vsize=807844 CPUtime=1059.26
/proc/22124/task/22126/stat : 22126 (java) R 22095 22095 21974 0 -1 64 244860 0 0 0 105679 247 0 0 25 0 8 0 30496230 827232256 152225 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155134188 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22124/tid=22127] ppid=22095 vsize=807844 CPUtime=0
/proc/22124/task/22127/stat : 22127 (java) S 22095 22095 21974 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30496231 827232256 152225 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22124/tid=22128] ppid=22095 vsize=807844 CPUtime=0
/proc/22124/task/22128/stat : 22128 (java) S 22095 22095 21974 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30496231 827232256 152225 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22124/tid=22132] ppid=22095 vsize=807844 CPUtime=0
/proc/22124/task/22132/stat : 22132 (java) S 22095 22095 21974 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 30496234 827232256 152225 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22124/tid=22133] ppid=22095 vsize=807844 CPUtime=0.13
/proc/22124/task/22133/stat : 22133 (java) S 22095 22095 21974 0 -1 64 398 0 0 0 13 0 0 0 17 0 8 0 30496234 827232256 152225 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22124/tid=22134] ppid=22095 vsize=807844 CPUtime=0
/proc/22124/task/22134/stat : 22134 (java) S 22095 22095 21974 0 -1 64 2 0 0 0 0 0 0 0 23 0 8 0 30496234 827232256 152225 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22124/tid=22135] ppid=22095 vsize=807844 CPUtime=0.02
/proc/22124/task/22135/stat : 22135 (java) S 22095 22095 21974 0 -1 64 0 0 0 0 0 2 0 0 15 0 8 0 30496234 827232256 152225 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1537
Current children cumulated vsize (KiB) 821568
[startup+1603.61 s]
/proc/loadavg: 2.19 2.68 2.59 3/89 22141
/proc/meminfo: memFree=679632/2055920 swapFree=4192812/4192956
[pid=22095] ppid=22091 vsize=13724 CPUtime=0.76
/proc/22095/stat : 22095 (sugar) S 22091 22095 21974 0 -1 4194304 1190 7931 0 1 3 0 67 6 15 0 1 0 30496145 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237956542562 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22095/statm: 3431 809 371 3 0 531 0
[pid=22124] ppid=22095 vsize=807844 CPUtime=1595.98
/proc/22124/stat : 22124 (java) S 22095 22095 21974 0 -1 0 269300 0 1 0 159269 329 0 0 17 0 8 0 30496227 827232256 153048 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22124/statm: 201961 153048 1507 14 0 189239 0
[pid=22124/tid=22126] ppid=22095 vsize=807844 CPUtime=1116.89
/proc/22124/task/22126/stat : 22126 (java) R 22095 22095 21974 0 -1 64 249958 0 0 0 111438 251 0 0 25 0 8 0 30496230 827232256 153048 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155134161 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22124/tid=22127] ppid=22095 vsize=807844 CPUtime=0
/proc/22124/task/22127/stat : 22127 (java) S 22095 22095 21974 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30496231 827232256 153048 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22124/tid=22128] ppid=22095 vsize=807844 CPUtime=0
/proc/22124/task/22128/stat : 22128 (java) S 22095 22095 21974 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30496231 827232256 153048 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22124/tid=22132] ppid=22095 vsize=807844 CPUtime=0
/proc/22124/task/22132/stat : 22132 (java) S 22095 22095 21974 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 30496234 827232256 153048 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22124/tid=22133] ppid=22095 vsize=807844 CPUtime=0.13
/proc/22124/task/22133/stat : 22133 (java) S 22095 22095 21974 0 -1 64 398 0 0 0 13 0 0 0 17 0 8 0 30496234 827232256 153048 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22124/tid=22134] ppid=22095 vsize=807844 CPUtime=0
/proc/22124/task/22134/stat : 22134 (java) S 22095 22095 21974 0 -1 64 2 0 0 0 0 0 0 0 23 0 8 0 30496234 827232256 153048 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22124/tid=22135] ppid=22095 vsize=807844 CPUtime=0.02
/proc/22124/task/22135/stat : 22135 (java) S 22095 22095 21974 0 -1 64 0 0 0 0 0 2 0 0 15 0 8 0 30496234 827232256 153048 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1596.74
Current children cumulated vsize (KiB) 821568
[startup+1663.64 s]
/proc/loadavg: 2.19 2.59 2.56 3/89 22141
/proc/meminfo: memFree=673360/2055920 swapFree=4192812/4192956
[pid=22095] ppid=22091 vsize=13724 CPUtime=0.76
/proc/22095/stat : 22095 (sugar) S 22091 22095 21974 0 -1 4194304 1190 7931 0 1 3 0 67 6 15 0 1 0 30496145 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237956542562 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22095/statm: 3431 809 371 3 0 531 0
[pid=22124] ppid=22095 vsize=807844 CPUtime=1655.72
/proc/22124/stat : 22124 (java) S 22095 22095 21974 0 -1 0 274140 0 1 0 165241 331 0 0 17 0 8 0 30496227 827232256 153664 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22124/statm: 201961 153664 1507 14 0 189239 0
[pid=22124/tid=22126] ppid=22095 vsize=807844 CPUtime=1174.56
/proc/22124/task/22126/stat : 22126 (java) R 22095 22095 21974 0 -1 64 254754 0 0 0 117203 253 0 0 25 0 8 0 30496230 827232256 153664 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155222440 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22124/tid=22127] ppid=22095 vsize=807844 CPUtime=0
/proc/22124/task/22127/stat : 22127 (java) S 22095 22095 21974 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30496231 827232256 153664 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22124/tid=22128] ppid=22095 vsize=807844 CPUtime=0
/proc/22124/task/22128/stat : 22128 (java) S 22095 22095 21974 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30496231 827232256 153664 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22124/tid=22132] ppid=22095 vsize=807844 CPUtime=0
/proc/22124/task/22132/stat : 22132 (java) S 22095 22095 21974 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 30496234 827232256 153664 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22124/tid=22133] ppid=22095 vsize=807844 CPUtime=0.13
/proc/22124/task/22133/stat : 22133 (java) S 22095 22095 21974 0 -1 64 398 0 0 0 13 0 0 0 17 0 8 0 30496234 827232256 153664 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22124/tid=22134] ppid=22095 vsize=807844 CPUtime=0
/proc/22124/task/22134/stat : 22134 (java) S 22095 22095 21974 0 -1 64 2 0 0 0 0 0 0 0 23 0 8 0 30496234 827232256 153664 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22124/tid=22135] ppid=22095 vsize=807844 CPUtime=0.02
/proc/22124/task/22135/stat : 22135 (java) S 22095 22095 21974 0 -1 64 0 0 0 0 0 2 0 0 15 0 8 0 30496234 827232256 153664 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1656.48
Current children cumulated vsize (KiB) 821568
[startup+1723.66 s]
/proc/loadavg: 2.12 2.49 2.53 4/89 22141
/proc/meminfo: memFree=667664/2055920 swapFree=4192812/4192956
[pid=22095] ppid=22091 vsize=13724 CPUtime=0.76
/proc/22095/stat : 22095 (sugar) S 22091 22095 21974 0 -1 4194304 1190 7931 0 1 3 0 67 6 15 0 1 0 30496145 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237956542562 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22095/statm: 3431 809 371 3 0 531 0
[pid=22124] ppid=22095 vsize=807844 CPUtime=1715.46
/proc/22124/stat : 22124 (java) S 22095 22095 21974 0 -1 0 279224 0 1 0 171211 335 0 0 17 0 8 0 30496227 827232256 154428 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22124/statm: 201961 154428 1507 14 0 189239 0
[pid=22124/tid=22126] ppid=22095 vsize=807844 CPUtime=1232.18
/proc/22124/task/22126/stat : 22126 (java) R 22095 22095 21974 0 -1 64 259793 0 0 0 122962 256 0 0 25 0 8 0 30496230 827232256 154428 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155134186 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22124/tid=22127] ppid=22095 vsize=807844 CPUtime=0
/proc/22124/task/22127/stat : 22127 (java) S 22095 22095 21974 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30496231 827232256 154428 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22124/tid=22128] ppid=22095 vsize=807844 CPUtime=0
/proc/22124/task/22128/stat : 22128 (java) S 22095 22095 21974 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30496231 827232256 154428 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22124/tid=22132] ppid=22095 vsize=807844 CPUtime=0
/proc/22124/task/22132/stat : 22132 (java) S 22095 22095 21974 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 30496234 827232256 154428 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22124/tid=22133] ppid=22095 vsize=807844 CPUtime=0.13
/proc/22124/task/22133/stat : 22133 (java) S 22095 22095 21974 0 -1 64 398 0 0 0 13 0 0 0 17 0 8 0 30496234 827232256 154428 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22124/tid=22134] ppid=22095 vsize=807844 CPUtime=0
/proc/22124/task/22134/stat : 22134 (java) S 22095 22095 21974 0 -1 64 2 0 0 0 0 0 0 0 23 0 8 0 30496234 827232256 154428 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22124/tid=22135] ppid=22095 vsize=807844 CPUtime=0.02
/proc/22124/task/22135/stat : 22135 (java) S 22095 22095 21974 0 -1 64 0 0 0 0 0 2 0 0 15 0 8 0 30496234 827232256 154428 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1716.22
Current children cumulated vsize (KiB) 821568
[startup+1783.69 s]
/proc/loadavg: 2.04 2.40 2.49 3/89 22141
/proc/meminfo: memFree=663440/2055920 swapFree=4192812/4192956
[pid=22095] ppid=22091 vsize=13724 CPUtime=0.76
/proc/22095/stat : 22095 (sugar) S 22091 22095 21974 0 -1 4194304 1190 7931 0 1 3 0 67 6 15 0 1 0 30496145 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237956542562 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22095/statm: 3431 809 371 3 0 531 0
[pid=22124] ppid=22095 vsize=807844 CPUtime=1775.18
/proc/22124/stat : 22124 (java) S 22095 22095 21974 0 -1 0 283682 0 1 0 177181 337 0 0 17 0 8 0 30496227 827232256 154584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22124/statm: 201961 154584 1507 14 0 189239 0
[pid=22124/tid=22126] ppid=22095 vsize=807844 CPUtime=1289.71
/proc/22124/task/22126/stat : 22126 (java) R 22095 22095 21974 0 -1 64 264207 0 0 0 128712 259 0 0 25 0 8 0 30496230 827232256 154584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155222440 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22124/tid=22127] ppid=22095 vsize=807844 CPUtime=0
/proc/22124/task/22127/stat : 22127 (java) S 22095 22095 21974 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30496231 827232256 154584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22124/tid=22128] ppid=22095 vsize=807844 CPUtime=0
/proc/22124/task/22128/stat : 22128 (java) S 22095 22095 21974 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30496231 827232256 154584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22124/tid=22132] ppid=22095 vsize=807844 CPUtime=0
/proc/22124/task/22132/stat : 22132 (java) S 22095 22095 21974 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 30496234 827232256 154584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22124/tid=22133] ppid=22095 vsize=807844 CPUtime=0.13
/proc/22124/task/22133/stat : 22133 (java) S 22095 22095 21974 0 -1 64 398 0 0 0 13 0 0 0 17 0 8 0 30496234 827232256 154584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22124/tid=22134] ppid=22095 vsize=807844 CPUtime=0
/proc/22124/task/22134/stat : 22134 (java) S 22095 22095 21974 0 -1 64 2 0 0 0 0 0 0 0 23 0 8 0 30496234 827232256 154584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22124/tid=22135] ppid=22095 vsize=807844 CPUtime=0.02
/proc/22124/task/22135/stat : 22135 (java) S 22095 22095 21974 0 -1 64 0 0 0 0 0 2 0 0 15 0 8 0 30496234 827232256 154584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1775.94
Current children cumulated vsize (KiB) 821568
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1807.9 s]
/proc/loadavg: 2.10 2.39 2.49 3/89 22141
/proc/meminfo: memFree=662864/2055920 swapFree=4192812/4192956
[pid=22095] ppid=22091 vsize=13724 CPUtime=0.76
/proc/22095/stat : 22095 (sugar) S 22091 22095 21974 0 -1 4194304 1190 7931 0 1 3 0 67 6 15 0 1 0 30496145 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237956542562 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22095/statm: 3431 809 371 3 0 531 0
[pid=22124] ppid=22095 vsize=807844 CPUtime=1799.27
/proc/22124/stat : 22124 (java) S 22095 22095 21974 0 -1 0 285577 0 1 0 179588 339 0 0 17 0 8 0 30496227 827232256 154617 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22124/statm: 201961 154617 1507 14 0 189239 0
[pid=22124/tid=22126] ppid=22095 vsize=807844 CPUtime=1312.91
/proc/22124/task/22126/stat : 22126 (java) R 22095 22095 21974 0 -1 64 266083 0 0 0 131031 260 0 0 25 0 8 0 30496230 827232256 154617 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155525058 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22124/tid=22127] ppid=22095 vsize=807844 CPUtime=0
/proc/22124/task/22127/stat : 22127 (java) S 22095 22095 21974 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30496231 827232256 154617 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22124/tid=22128] ppid=22095 vsize=807844 CPUtime=0
/proc/22124/task/22128/stat : 22128 (java) S 22095 22095 21974 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30496231 827232256 154617 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22124/tid=22132] ppid=22095 vsize=807844 CPUtime=0
/proc/22124/task/22132/stat : 22132 (java) S 22095 22095 21974 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 30496234 827232256 154617 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22124/tid=22133] ppid=22095 vsize=807844 CPUtime=0.13
/proc/22124/task/22133/stat : 22133 (java) S 22095 22095 21974 0 -1 64 398 0 0 0 13 0 0 0 17 0 8 0 30496234 827232256 154617 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22124/tid=22134] ppid=22095 vsize=807844 CPUtime=0
/proc/22124/task/22134/stat : 22134 (java) S 22095 22095 21974 0 -1 64 2 0 0 0 0 0 0 0 23 0 8 0 30496234 827232256 154617 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22124/tid=22135] ppid=22095 vsize=807844 CPUtime=0.02
/proc/22124/task/22135/stat : 22135 (java) S 22095 22095 21974 0 -1 64 0 0 0 0 0 2 0 0 15 0 8 0 30496234 827232256 154617 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 821568
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 1
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 22095 and gives childrusage.ru_utime.tv_sec=0 childrusage.ru_utime.tv_usec=711891 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=75988
CPU time returned by wait4() is 0.787879
while last known CPU time is 1800.96
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 1808.92
CPU time (s): 1800.96
CPU user time (s): 1797.51
CPU system time (s): 3.45
CPU usage (%): 99.56
Max. virtual memory (cumulated for all children) (KiB): 822600
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.711891
system time used= 0.075988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9201
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= 493
involuntary context switches= 400
runsolver used 2.16067 s user time and 6.11307 s system time
The end
Begin job on node69 on Mon Jan 29 21:16:24 UTC 2007
IDJOB= 226724
IDBENCH= 6005
IDSOLVER= 86
FILE ID= node69/226724-1170105384
PBS_JOBID= 3689832
Free space on /tmp= 66562 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.65/rand-2-40-40-135-650-11_ext.xml
COMMAND LINE= /tmp/evaluation/226724-1170105384/solver /tmp/evaluation/226724-1170105384 /tmp/evaluation/226724-1170105384/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node69/watcher-226724-1170105384 -o ROOT/results/node69/solver-226724-1170105384 -C 1800 -M 900 /tmp/evaluation/226724-1170105384/solver /tmp/evaluation/226724-1170105384 /tmp/evaluation/226724-1170105384/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= d6f4172cc0d286fc81b4a307b2fcddf3
RANDOM SEED= 788586113
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.261
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.261
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: 1909776 kB
Buffers: 33364 kB
Cached: 42388 kB
SwapCached: 0 kB
Active: 51320 kB
Inactive: 44556 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1909776 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2580 kB
Writeback: 0 kB
Mapped: 30280 kB
Slab: 35884 kB
Committed_AS: 262276 kB
PageTables: 1700 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= 66558 MiB
End job on node69 on Mon Jan 29 21:46:33 UTC 2007