0.05 c # Sugar v0-40 (/tmp/evaluation/212424-1170098981/sugar-v0-40.jar)
0.05
0.05 c # MAIN BEGIN : /tmp/evaluation/212424-1170098981/unknown.xml [Mon Jan 29 20:29:42 2007]
0.05 c # CONVERT_XML BEGIN : /tmp/evaluation/212424-1170098981/unknown.xml /tmp/evaluation/212424-1170098981/sugar22203.csp [Mon Jan 29 20:29:42 2007]
0.05 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/212424-1170098981/sugar-v0-40.jar -convert /tmp/evaluation/212424-1170098981/unknown.xml /tmp/evaluation/212424-1170098981/sugar22203.csp
0.25 c BEGIN convert /tmp/evaluation/212424-1170098981/unknown.xml
10.88 c END convert (10.632098 seconds)
10.91 c # CONVERT_XML END : /tmp/evaluation/212424-1170098981/sugar22203.csp 859234 bytes (11 seconds) [Mon Jan 29 20:29:53 2007]
10.91 c # CONVERT_XML CPU : 10.66 = 0 + 0 + 10.52 + 0.14
10.91
10.91 c # GENERATE_SAT BEGIN : /tmp/evaluation/212424-1170098981/sugar22203.bcnf [Mon Jan 29 20:29:53 2007]
10.91 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/212424-1170098981/sugar-v0-40.jar -bcnf -map /tmp/evaluation/212424-1170098981/sugar22203.map /tmp/evaluation/212424-1170098981/sugar22203.csp /tmp/evaluation/212424-1170098981/sugar22203.bcnf
11.03 c BEGIN parse /tmp/evaluation/212424-1170098981/sugar22203.csp
279.82 c END parse (268.786356 seconds)
279.82 c BEGIN simplify
279.86 c END simplify (0.037936 seconds)
279.86 c BEGIN encode /tmp/evaluation/212424-1170098981/sugar22203.bcnf
1869.17
1869.17 s UNKNOWN
1869.17 c # INTERRUPTED
1869.17 c # MAIN END : (1869 seconds) [Mon Jan 29 21:00:51 2007]
1869.17 c # MAIN CPU : 10.66 = 0 + 0 + 10.52 + 0.14
1869.17
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node30/watcher-212424-1170098981 -o ROOT/results/node30/solver-212424-1170098981 -C 1800 -M 900 /tmp/evaluation/212424-1170098981/solver /tmp/evaluation/212424-1170098981 /tmp/evaluation/212424-1170098981/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.38 3.46 3.23 5/94 22204
/proc/meminfo: memFree=933320/2055920 swapFree=4192956/4192956
[pid=22203] ppid=22201 vsize=12268 CPUtime=0
/proc/22203/stat : 22203 (sugar) R 22201 22203 21691 0 -1 4194304 597 0 0 0 0 0 0 0 20 0 1 0 3662253 12562432 316 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264907749989 0 2147483391 4224 0 0 0 0 17 1 0 0
/proc/22203/statm: 3067 316 241 3 0 167 0
[startup+0.111856 s]
/proc/loadavg: 3.38 3.46 3.23 5/94 22204
/proc/meminfo: memFree=933320/2055920 swapFree=4192956/4192956
[pid=22203] ppid=22201 vsize=13724 CPUtime=0.03
/proc/22203/stat : 22203 (sugar) S 22201 22203 21691 0 -1 4194304 1112 0 0 0 3 0 0 0 18 0 1 0 3662253 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22203/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+0.519908 s]
/proc/loadavg: 3.38 3.46 3.23 5/94 22204
/proc/meminfo: memFree=933320/2055920 swapFree=4192956/4192956
[pid=22203] ppid=22201 vsize=13724 CPUtime=0.03
/proc/22203/stat : 22203 (sugar) S 22201 22203 21691 0 -1 4194304 1121 0 0 0 3 0 0 0 15 0 1 0 3662253 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22203/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+1.34403 s]
/proc/loadavg: 3.27 3.43 3.22 3/102 22212
/proc/meminfo: memFree=901704/2055920 swapFree=4192956/4192956
[pid=22203] ppid=22201 vsize=13724 CPUtime=0.03
/proc/22203/stat : 22203 (sugar) S 22201 22203 21691 0 -1 4194304 1121 0 0 0 3 0 0 0 15 0 1 0 3662253 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22203/statm: 3431 805 368 3 0 531 0
[pid=22205] ppid=22203 vsize=807412 CPUtime=1.19
/proc/22205/stat : 22205 (java) R 22203 22203 21691 0 -1 0 9670 0 1 0 111 8 0 0 25 0 8 0 3662258 826789888 9414 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4153634908 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22205/statm: 201853 9414 1690 14 0 189131 0
[pid=22205/tid=22206] ppid=22203 vsize=807412 CPUtime=0.07
/proc/22205/task/22206/stat : 22206 (java) S 22203 22203 21691 0 -1 64 3085 0 0 0 6 1 0 0 16 0 8 0 3662262 826789888 9414 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22205/tid=22207] ppid=22203 vsize=807412 CPUtime=0
/proc/22205/task/22207/stat : 22207 (java) S 22203 22203 21691 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 3662263 826789888 9414 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22205/tid=22208] ppid=22203 vsize=807412 CPUtime=0
/proc/22205/task/22208/stat : 22208 (java) S 22203 22203 21691 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 3662263 826789888 9414 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22205/tid=22209] ppid=22203 vsize=807412 CPUtime=0
/proc/22205/task/22209/stat : 22209 (java) S 22203 22203 21691 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 3662266 826789888 9414 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22205/tid=22210] ppid=22203 vsize=807412 CPUtime=0.14
/proc/22205/task/22210/stat : 22210 (java) S 22203 22203 21691 0 -1 64 411 0 0 0 13 1 0 0 16 0 8 0 3662266 826789888 9414 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22205/tid=22211] ppid=22203 vsize=807412 CPUtime=0
/proc/22205/task/22211/stat : 22211 (java) S 22203 22203 21691 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 3662266 826789888 9414 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22205/tid=22212] ppid=22203 vsize=807412 CPUtime=0
/proc/22205/task/22212/stat : 22212 (java) S 22203 22203 21691 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 3662266 826789888 9414 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 821136
[startup+2.98826 s]
/proc/loadavg: 3.27 3.43 3.22 4/102 22212
/proc/meminfo: memFree=899784/2055920 swapFree=4192956/4192956
[pid=22203] ppid=22201 vsize=13724 CPUtime=0.03
/proc/22203/stat : 22203 (sugar) S 22201 22203 21691 0 -1 4194304 1121 0 0 0 3 0 0 0 15 0 1 0 3662253 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22203/statm: 3431 805 368 3 0 531 0
[pid=22205] ppid=22203 vsize=807412 CPUtime=2.82
/proc/22205/stat : 22205 (java) R 22203 22203 21691 0 -1 0 9906 0 1 0 273 9 0 0 25 0 8 0 3662258 826789888 9634 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4155890588 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22205/statm: 201853 9634 1691 14 0 189131 0
[pid=22205/tid=22206] ppid=22203 vsize=807412 CPUtime=0.11
/proc/22205/task/22206/stat : 22206 (java) S 22203 22203 21691 0 -1 64 3303 0 0 0 9 2 0 0 16 0 8 0 3662262 826789888 9634 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22205/tid=22207] ppid=22203 vsize=807412 CPUtime=0
/proc/22205/task/22207/stat : 22207 (java) S 22203 22203 21691 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 3662263 826789888 9634 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22205/tid=22208] ppid=22203 vsize=807412 CPUtime=0
/proc/22205/task/22208/stat : 22208 (java) S 22203 22203 21691 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 3662263 826789888 9634 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22205/tid=22209] ppid=22203 vsize=807412 CPUtime=0
/proc/22205/task/22209/stat : 22209 (java) S 22203 22203 21691 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 3662266 826789888 9634 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22205/tid=22210] ppid=22203 vsize=807412 CPUtime=0.14
/proc/22205/task/22210/stat : 22210 (java) S 22203 22203 21691 0 -1 64 411 0 0 0 13 1 0 0 16 0 8 0 3662266 826789888 9634 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22205/tid=22211] ppid=22203 vsize=807412 CPUtime=0
/proc/22205/task/22211/stat : 22211 (java) S 22203 22203 21691 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 3662266 826789888 9634 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22205/tid=22212] ppid=22203 vsize=807412 CPUtime=0
/proc/22205/task/22212/stat : 22212 (java) S 22203 22203 21691 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 3662266 826789888 9634 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.85
Current children cumulated vsize (KiB) 821136
[startup+6.28973 s]
/proc/loadavg: 3.08 3.39 3.21 2/89 22226
/proc/meminfo: memFree=1509104/2055920 swapFree=4192956/4192956
[pid=22203] ppid=22201 vsize=13724 CPUtime=0.03
/proc/22203/stat : 22203 (sugar) S 22201 22203 21691 0 -1 4194304 1121 0 0 0 3 0 0 0 15 0 1 0 3662253 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22203/statm: 3431 805 368 3 0 531 0
[pid=22205] ppid=22203 vsize=807412 CPUtime=6.08
/proc/22205/stat : 22205 (java) R 22203 22203 21691 0 -1 0 10334 0 1 0 598 10 0 0 17 0 8 0 3662258 826789888 10031 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4153901733 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22205/statm: 201853 10031 1691 14 0 189131 0
[pid=22205/tid=22206] ppid=22203 vsize=807412 CPUtime=0.19
/proc/22205/task/22206/stat : 22206 (java) S 22203 22203 21691 0 -1 64 3700 0 0 0 17 2 0 0 15 0 8 0 3662262 826789888 10031 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22205/tid=22207] ppid=22203 vsize=807412 CPUtime=0
/proc/22205/task/22207/stat : 22207 (java) S 22203 22203 21691 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 3662263 826789888 10031 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22205/tid=22208] ppid=22203 vsize=807412 CPUtime=0
/proc/22205/task/22208/stat : 22208 (java) S 22203 22203 21691 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 3662263 826789888 10031 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22205/tid=22209] ppid=22203 vsize=807412 CPUtime=0
/proc/22205/task/22209/stat : 22209 (java) S 22203 22203 21691 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 3662266 826789888 10031 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22205/tid=22210] ppid=22203 vsize=807412 CPUtime=0.14
/proc/22205/task/22210/stat : 22210 (java) S 22203 22203 21691 0 -1 64 411 0 0 0 13 1 0 0 16 0 8 0 3662266 826789888 10031 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22205/tid=22211] ppid=22203 vsize=807412 CPUtime=0
/proc/22205/task/22211/stat : 22211 (java) S 22203 22203 21691 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 3662266 826789888 10031 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22205/tid=22212] ppid=22203 vsize=807412 CPUtime=0
/proc/22205/task/22212/stat : 22212 (java) S 22203 22203 21691 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 3662266 826789888 10031 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.11
Current children cumulated vsize (KiB) 821136
[startup+12.7865 s]
/proc/loadavg: 3.00 3.37 3.20 3/102 22285
/proc/meminfo: memFree=1406664/2055920 swapFree=4192956/4192956
[pid=22203] ppid=22201 vsize=13724 CPUtime=10.69
/proc/22203/stat : 22203 (sugar) S 22201 22203 21691 0 -1 4194304 1190 11987 0 1 3 0 1052 14 15 0 1 0 3662253 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22203/statm: 3431 809 371 3 0 531 0
[pid=22278] ppid=22203 vsize=807376 CPUtime=1.85
/proc/22278/stat : 22278 (java) R 22203 22203 21691 0 -1 0 11290 0 1 0 177 8 0 0 25 0 8 0 3663345 826753024 11031 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073616058 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22278/statm: 201844 11031 1506 14 0 189122 0
[pid=22278/tid=22279] ppid=22203 vsize=807376 CPUtime=0.29
/proc/22278/task/22279/stat : 22279 (java) S 22203 22203 21691 0 -1 64 4997 0 0 0 27 2 0 0 16 0 8 0 3663348 826753024 11031 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22278/tid=22280] ppid=22203 vsize=807376 CPUtime=0
/proc/22278/task/22280/stat : 22280 (java) S 22203 22203 21691 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 3663349 826753024 11031 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22278/tid=22281] ppid=22203 vsize=807376 CPUtime=0
/proc/22278/task/22281/stat : 22281 (java) S 22203 22203 21691 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 3663349 826753024 11031 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22278/tid=22282] ppid=22203 vsize=807376 CPUtime=0
/proc/22278/task/22282/stat : 22282 (java) S 22203 22203 21691 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 3663352 826753024 11031 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22278/tid=22283] ppid=22203 vsize=807376 CPUtime=0.12
/proc/22278/task/22283/stat : 22283 (java) S 22203 22203 21691 0 -1 64 399 0 0 0 12 0 0 0 16 0 8 0 3663352 826753024 11031 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22278/tid=22284] ppid=22203 vsize=807376 CPUtime=0
/proc/22278/task/22284/stat : 22284 (java) S 22203 22203 21691 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 3663352 826753024 11031 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22278/tid=22285] ppid=22203 vsize=807376 CPUtime=0
/proc/22278/task/22285/stat : 22285 (java) S 22203 22203 21691 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 3663352 826753024 11031 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 821100
[startup+25.6483 s]
/proc/loadavg: 3.00 3.35 3.20 3/102 22285
/proc/meminfo: memFree=1182728/2055920 swapFree=4192956/4192956
[pid=22203] ppid=22201 vsize=13724 CPUtime=10.69
/proc/22203/stat : 22203 (sugar) S 22201 22203 21691 0 -1 4194304 1190 11987 0 1 3 0 1052 14 15 0 1 0 3662253 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22203/statm: 3431 809 371 3 0 531 0
[pid=22278] ppid=22203 vsize=807376 CPUtime=14.61
/proc/22278/stat : 22278 (java) R 22203 22203 21691 0 -1 0 11541 0 1 0 1447 14 0 0 25 0 8 0 3663345 826753024 11265 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073635661 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22278/statm: 201844 11265 1506 14 0 189122 0
[pid=22278/tid=22279] ppid=22203 vsize=807376 CPUtime=0.35
/proc/22278/task/22279/stat : 22279 (java) S 22203 22203 21691 0 -1 64 5217 0 0 0 33 2 0 0 17 0 8 0 3663348 826753024 11265 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22278/tid=22280] ppid=22203 vsize=807376 CPUtime=0
/proc/22278/task/22280/stat : 22280 (java) S 22203 22203 21691 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 3663349 826753024 11265 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22278/tid=22281] ppid=22203 vsize=807376 CPUtime=0
/proc/22278/task/22281/stat : 22281 (java) S 22203 22203 21691 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 3663349 826753024 11265 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22278/tid=22282] ppid=22203 vsize=807376 CPUtime=0
/proc/22278/task/22282/stat : 22282 (java) S 22203 22203 21691 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 3663352 826753024 11265 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22278/tid=22283] ppid=22203 vsize=807376 CPUtime=0.14
/proc/22278/task/22283/stat : 22283 (java) S 22203 22203 21691 0 -1 64 413 0 0 0 14 0 0 0 16 0 8 0 3663352 826753024 11265 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22278/tid=22284] ppid=22203 vsize=807376 CPUtime=0
/proc/22278/task/22284/stat : 22284 (java) S 22203 22203 21691 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 3663352 826753024 11265 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22278/tid=22285] ppid=22203 vsize=807376 CPUtime=0
/proc/22278/task/22285/stat : 22285 (java) S 22203 22203 21691 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 3663352 826753024 11265 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.3
Current children cumulated vsize (KiB) 821100
[startup+51.299 s]
/proc/loadavg: 3.42 3.43 3.23 3/102 22285
/proc/meminfo: memFree=722696/2055920 swapFree=4192956/4192956
[pid=22203] ppid=22201 vsize=13724 CPUtime=10.69
/proc/22203/stat : 22203 (sugar) S 22201 22203 21691 0 -1 4194304 1190 11987 0 1 3 0 1052 14 15 0 1 0 3662253 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22203/statm: 3431 809 371 3 0 531 0
[pid=22278] ppid=22203 vsize=807376 CPUtime=40.11
/proc/22278/stat : 22278 (java) R 22203 22203 21691 0 -1 0 13114 0 1 0 3989 22 0 0 25 0 8 0 3663345 826753024 12789 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22278/statm: 201844 12790 1506 14 0 189122 0
[pid=22278/tid=22279] ppid=22203 vsize=807376 CPUtime=0.61
/proc/22278/task/22279/stat : 22279 (java) R 22203 22203 21691 0 -1 64 6743 0 0 0 58 3 0 0 15 0 8 0 3663348 826753024 12792 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153968433 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22278/tid=22280] ppid=22203 vsize=807376 CPUtime=0
/proc/22278/task/22280/stat : 22280 (java) S 22203 22203 21691 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 3663349 826753024 12793 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22278/tid=22281] ppid=22203 vsize=807376 CPUtime=0
/proc/22278/task/22281/stat : 22281 (java) S 22203 22203 21691 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 3663349 826753024 12795 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22278/tid=22282] ppid=22203 vsize=807376 CPUtime=0
/proc/22278/task/22282/stat : 22282 (java) S 22203 22203 21691 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 3663352 826753024 12796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22278/tid=22283] ppid=22203 vsize=807376 CPUtime=0.14
/proc/22278/task/22283/stat : 22283 (java) S 22203 22203 21691 0 -1 64 414 0 0 0 14 0 0 0 17 0 8 0 3663352 826753024 12798 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22278/tid=22284] ppid=22203 vsize=807376 CPUtime=0
/proc/22278/task/22284/stat : 22284 (java) S 22203 22203 21691 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 3663352 826753024 12799 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22278/tid=22285] ppid=22203 vsize=807376 CPUtime=0
/proc/22278/task/22285/stat : 22285 (java) S 22203 22203 21691 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 3663352 826753024 12799 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.8
Current children cumulated vsize (KiB) 821100
[startup+102.573 s]
/proc/loadavg: 3.03 3.31 3.20 3/102 22285
/proc/meminfo: memFree=15368/2055920 swapFree=4192956/4192956
[pid=22203] ppid=22201 vsize=13724 CPUtime=10.69
/proc/22203/stat : 22203 (sugar) S 22201 22203 21691 0 -1 4194304 1190 11987 0 1 3 0 1052 14 15 0 1 0 3662253 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22203/statm: 3431 809 371 3 0 531 0
[pid=22278] ppid=22203 vsize=807376 CPUtime=90.97
/proc/22278/stat : 22278 (java) R 22203 22203 21691 0 -1 0 17143 0 1 0 9049 48 0 0 25 0 8 0 3663345 826753024 16718 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073632813 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22278/statm: 201844 16718 1506 14 0 189122 0
[pid=22278/tid=22279] ppid=22203 vsize=807376 CPUtime=1.18
################
# More data... #
################
[pid=22203] ppid=22201 vsize=13724 CPUtime=10.69
/proc/22203/stat : 22203 (sugar) S 22201 22203 21691 0 -1 4194304 1190 11987 0 1 3 0 1052 14 16 0 1 0 3662253 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22203/statm: 3431 809 371 3 0 531 0
[pid=22278] ppid=22203 vsize=807376 CPUtime=1528.47
/proc/22278/stat : 22278 (java) R 22203 22203 21691 0 -1 0 29011 0 2 0 67101 85746 0 0 25 0 8 0 3663345 826753024 28248 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073816992 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22278/statm: 201844 28248 1510 14 0 189122 0
[pid=22278/tid=22279] ppid=22203 vsize=807376 CPUtime=3.24
/proc/22278/task/22279/stat : 22279 (java) S 22203 22203 21691 0 -1 64 22180 0 0 0 311 13 0 0 16 0 8 0 3663348 826753024 28248 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22278/tid=22280] ppid=22203 vsize=807376 CPUtime=0
/proc/22278/task/22280/stat : 22280 (java) S 22203 22203 21691 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 3663349 826753024 28248 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22278/tid=22281] ppid=22203 vsize=807376 CPUtime=0
/proc/22278/task/22281/stat : 22281 (java) S 22203 22203 21691 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 3663349 826753024 28248 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22278/tid=22282] ppid=22203 vsize=807376 CPUtime=0
/proc/22278/task/22282/stat : 22282 (java) S 22203 22203 21691 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 3663352 826753024 28248 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22278/tid=22283] ppid=22203 vsize=807376 CPUtime=0.16
/proc/22278/task/22283/stat : 22283 (java) S 22203 22203 21691 0 -1 64 425 0 0 0 16 0 0 0 16 0 8 0 3663352 826753024 28248 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22278/tid=22284] ppid=22203 vsize=807376 CPUtime=0
/proc/22278/task/22284/stat : 22284 (java) S 22203 22203 21691 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 3663352 826753024 28248 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22278/tid=22285] ppid=22203 vsize=807376 CPUtime=0.01
/proc/22278/task/22285/stat : 22285 (java) S 22203 22203 21691 0 -1 64 0 0 0 0 1 0 0 0 15 0 8 0 3663352 826753024 28248 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1539.16
Current children cumulated vsize (KiB) 821100
[startup+1663.88 s]
/proc/loadavg: 2.25 2.33 2.70 3/102 22301
/proc/meminfo: memFree=16200/2055920 swapFree=4192812/4192956
[pid=22203] ppid=22201 vsize=13724 CPUtime=10.69
/proc/22203/stat : 22203 (sugar) S 22201 22203 21691 0 -1 4194304 1190 11987 0 1 3 0 1052 14 16 0 1 0 3662253 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22203/statm: 3431 809 371 3 0 531 0
[pid=22278] ppid=22203 vsize=807376 CPUtime=1587.19
/proc/22278/stat : 22278 (java) R 22203 22203 21691 0 -1 0 29011 0 2 0 68384 90335 0 0 25 0 8 0 3663345 826753024 28248 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22278/statm: 201844 28248 1510 14 0 189122 0
[pid=22278/tid=22279] ppid=22203 vsize=807376 CPUtime=3.24
/proc/22278/task/22279/stat : 22279 (java) S 22203 22203 21691 0 -1 64 22180 0 0 0 311 13 0 0 16 0 8 0 3663348 826753024 28248 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22278/tid=22280] ppid=22203 vsize=807376 CPUtime=0
/proc/22278/task/22280/stat : 22280 (java) S 22203 22203 21691 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 3663349 826753024 28248 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22278/tid=22281] ppid=22203 vsize=807376 CPUtime=0
/proc/22278/task/22281/stat : 22281 (java) S 22203 22203 21691 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 3663349 826753024 28248 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22278/tid=22282] ppid=22203 vsize=807376 CPUtime=0
/proc/22278/task/22282/stat : 22282 (java) S 22203 22203 21691 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 3663352 826753024 28248 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22278/tid=22283] ppid=22203 vsize=807376 CPUtime=0.16
/proc/22278/task/22283/stat : 22283 (java) S 22203 22203 21691 0 -1 64 425 0 0 0 16 0 0 0 16 0 8 0 3663352 826753024 28248 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22278/tid=22284] ppid=22203 vsize=807376 CPUtime=0
/proc/22278/task/22284/stat : 22284 (java) S 22203 22203 21691 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 3663352 826753024 28248 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22278/tid=22285] ppid=22203 vsize=807376 CPUtime=0.01
/proc/22278/task/22285/stat : 22285 (java) S 22203 22203 21691 0 -1 64 0 0 0 0 1 0 0 0 15 0 8 0 3663352 826753024 28248 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1597.88
Current children cumulated vsize (KiB) 821100
[startup+1723.89 s]
/proc/loadavg: 2.13 2.29 2.66 3/102 22301
/proc/meminfo: memFree=15816/2055920 swapFree=4192812/4192956
[pid=22203] ppid=22201 vsize=13724 CPUtime=10.69
/proc/22203/stat : 22203 (sugar) S 22201 22203 21691 0 -1 4194304 1190 11987 0 1 3 0 1052 14 16 0 1 0 3662253 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22203/statm: 3431 809 371 3 0 531 0
[pid=22278] ppid=22203 vsize=807376 CPUtime=1645.84
/proc/22278/stat : 22278 (java) R 22203 22203 21691 0 -1 0 29011 0 2 0 69681 94903 0 0 25 0 8 0 3663345 826753024 28248 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22278/statm: 201844 28248 1510 14 0 189122 0
[pid=22278/tid=22279] ppid=22203 vsize=807376 CPUtime=3.24
/proc/22278/task/22279/stat : 22279 (java) S 22203 22203 21691 0 -1 64 22180 0 0 0 311 13 0 0 16 0 8 0 3663348 826753024 28248 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22278/tid=22280] ppid=22203 vsize=807376 CPUtime=0
/proc/22278/task/22280/stat : 22280 (java) S 22203 22203 21691 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 3663349 826753024 28248 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22278/tid=22281] ppid=22203 vsize=807376 CPUtime=0
/proc/22278/task/22281/stat : 22281 (java) S 22203 22203 21691 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 3663349 826753024 28248 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22278/tid=22282] ppid=22203 vsize=807376 CPUtime=0
/proc/22278/task/22282/stat : 22282 (java) S 22203 22203 21691 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 3663352 826753024 28248 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22278/tid=22283] ppid=22203 vsize=807376 CPUtime=0.16
/proc/22278/task/22283/stat : 22283 (java) S 22203 22203 21691 0 -1 64 425 0 0 0 16 0 0 0 16 0 8 0 3663352 826753024 28248 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22278/tid=22284] ppid=22203 vsize=807376 CPUtime=0
/proc/22278/task/22284/stat : 22284 (java) S 22203 22203 21691 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 3663352 826753024 28248 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22278/tid=22285] ppid=22203 vsize=807376 CPUtime=0.01
/proc/22278/task/22285/stat : 22285 (java) S 22203 22203 21691 0 -1 64 0 0 0 0 1 0 0 0 15 0 8 0 3663352 826753024 28248 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1656.53
Current children cumulated vsize (KiB) 821100
[startup+1783.99 s]
/proc/loadavg: 2.09 2.25 2.62 3/102 22301
/proc/meminfo: memFree=15368/2055920 swapFree=4192812/4192956
[pid=22203] ppid=22201 vsize=13724 CPUtime=10.69
/proc/22203/stat : 22203 (sugar) S 22201 22203 21691 0 -1 4194304 1190 11987 0 1 3 0 1052 14 16 0 1 0 3662253 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22203/statm: 3431 809 371 3 0 531 0
[pid=22278] ppid=22203 vsize=807376 CPUtime=1705.05
/proc/22278/stat : 22278 (java) R 22203 22203 21691 0 -1 0 29011 0 2 0 70997 99508 0 0 25 0 8 0 3663345 826753024 28248 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073820686 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22278/statm: 201844 28248 1510 14 0 189122 0
[pid=22278/tid=22279] ppid=22203 vsize=807376 CPUtime=3.24
/proc/22278/task/22279/stat : 22279 (java) S 22203 22203 21691 0 -1 64 22180 0 0 0 311 13 0 0 16 0 8 0 3663348 826753024 28248 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22278/tid=22280] ppid=22203 vsize=807376 CPUtime=0
/proc/22278/task/22280/stat : 22280 (java) S 22203 22203 21691 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 3663349 826753024 28248 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22278/tid=22281] ppid=22203 vsize=807376 CPUtime=0
/proc/22278/task/22281/stat : 22281 (java) S 22203 22203 21691 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 3663349 826753024 28248 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22278/tid=22282] ppid=22203 vsize=807376 CPUtime=0
/proc/22278/task/22282/stat : 22282 (java) S 22203 22203 21691 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 3663352 826753024 28248 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22278/tid=22283] ppid=22203 vsize=807376 CPUtime=0.16
/proc/22278/task/22283/stat : 22283 (java) S 22203 22203 21691 0 -1 64 425 0 0 0 16 0 0 0 16 0 8 0 3663352 826753024 28248 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22278/tid=22284] ppid=22203 vsize=807376 CPUtime=0
/proc/22278/task/22284/stat : 22284 (java) S 22203 22203 21691 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 3663352 826753024 28248 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22278/tid=22285] ppid=22203 vsize=807376 CPUtime=0.01
/proc/22278/task/22285/stat : 22285 (java) S 22203 22203 21691 0 -1 64 0 0 0 0 1 0 0 0 15 0 8 0 3663352 826753024 28248 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1715.74
Current children cumulated vsize (KiB) 821100
[startup+1844.08 s]
/proc/loadavg: 2.07 2.21 2.58 3/102 22301
/proc/meminfo: memFree=16072/2055920 swapFree=4192812/4192956
[pid=22203] ppid=22201 vsize=13724 CPUtime=10.69
/proc/22203/stat : 22203 (sugar) S 22201 22203 21691 0 -1 4194304 1190 11987 0 1 3 0 1052 14 16 0 1 0 3662253 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22203/statm: 3431 809 371 3 0 531 0
[pid=22278] ppid=22203 vsize=807376 CPUtime=1764.58
/proc/22278/stat : 22278 (java) R 22203 22203 21691 0 -1 0 29011 0 2 0 72325 104133 0 0 25 0 8 0 3663345 826753024 28248 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22278/statm: 201844 28248 1510 14 0 189122 0
[pid=22278/tid=22279] ppid=22203 vsize=807376 CPUtime=3.24
/proc/22278/task/22279/stat : 22279 (java) S 22203 22203 21691 0 -1 64 22180 0 0 0 311 13 0 0 16 0 8 0 3663348 826753024 28248 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22278/tid=22280] ppid=22203 vsize=807376 CPUtime=0
/proc/22278/task/22280/stat : 22280 (java) S 22203 22203 21691 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 3663349 826753024 28248 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22278/tid=22281] ppid=22203 vsize=807376 CPUtime=0
/proc/22278/task/22281/stat : 22281 (java) S 22203 22203 21691 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 3663349 826753024 28248 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22278/tid=22282] ppid=22203 vsize=807376 CPUtime=0
/proc/22278/task/22282/stat : 22282 (java) S 22203 22203 21691 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 3663352 826753024 28248 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22278/tid=22283] ppid=22203 vsize=807376 CPUtime=0.16
/proc/22278/task/22283/stat : 22283 (java) S 22203 22203 21691 0 -1 64 425 0 0 0 16 0 0 0 16 0 8 0 3663352 826753024 28248 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22278/tid=22284] ppid=22203 vsize=807376 CPUtime=0
/proc/22278/task/22284/stat : 22284 (java) S 22203 22203 21691 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 3663352 826753024 28248 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22278/tid=22285] ppid=22203 vsize=807376 CPUtime=0.01
/proc/22278/task/22285/stat : 22285 (java) R 22203 22203 21691 0 -1 64 0 0 0 0 1 0 0 0 15 0 8 0 3663352 826753024 28248 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1775.27
Current children cumulated vsize (KiB) 821100
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1869.15 s]
/proc/loadavg: 2.12 2.21 2.57 3/102 22301
/proc/meminfo: memFree=15176/2055920 swapFree=4192812/4192956
[pid=22203] ppid=22201 vsize=13724 CPUtime=10.69
/proc/22203/stat : 22203 (sugar) S 22201 22203 21691 0 -1 4194304 1190 11987 0 1 3 0 1052 14 16 0 1 0 3662253 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22203/statm: 3431 809 371 3 0 531 0
[pid=22278] ppid=22203 vsize=807376 CPUtime=1789.33
/proc/22278/stat : 22278 (java) R 22203 22203 21691 0 -1 0 29011 0 2 0 72876 106057 0 0 25 0 8 0 3663345 826753024 28248 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073816770 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22278/statm: 201844 28248 1510 14 0 189122 0
[pid=22278/tid=22279] ppid=22203 vsize=807376 CPUtime=3.24
/proc/22278/task/22279/stat : 22279 (java) S 22203 22203 21691 0 -1 64 22180 0 0 0 311 13 0 0 16 0 8 0 3663348 826753024 28248 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22278/tid=22280] ppid=22203 vsize=807376 CPUtime=0
/proc/22278/task/22280/stat : 22280 (java) S 22203 22203 21691 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 3663349 826753024 28248 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22278/tid=22281] ppid=22203 vsize=807376 CPUtime=0
/proc/22278/task/22281/stat : 22281 (java) S 22203 22203 21691 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 3663349 826753024 28248 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22278/tid=22282] ppid=22203 vsize=807376 CPUtime=0
/proc/22278/task/22282/stat : 22282 (java) S 22203 22203 21691 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 3663352 826753024 28248 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22278/tid=22283] ppid=22203 vsize=807376 CPUtime=0.16
/proc/22278/task/22283/stat : 22283 (java) S 22203 22203 21691 0 -1 64 425 0 0 0 16 0 0 0 16 0 8 0 3663352 826753024 28248 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22278/tid=22284] ppid=22203 vsize=807376 CPUtime=0
/proc/22278/task/22284/stat : 22284 (java) S 22203 22203 21691 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 3663352 826753024 28248 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22278/tid=22285] ppid=22203 vsize=807376 CPUtime=0.02
/proc/22278/task/22285/stat : 22285 (java) S 22203 22203 21691 0 -1 64 0 0 0 0 1 1 0 0 15 0 8 0 3663352 826753024 28248 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 821100
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Child ended because it received signal 9 (SIGKILL)
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 22203 and gives childrusage.ru_utime.tv_sec=10 childrusage.ru_utime.tv_usec=559394 childrusage.ru_stime.tv_sec=4 childrusage.ru_stime.tv_usec=741279
CPU time returned by wait4() is 15.3007
while last known CPU time is 1804.69
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 1897.29
CPU time (s): 1804.69
CPU user time (s): 739.37
CPU system time (s): 1065.32
CPU usage (%): 95.1195
Max. virtual memory (cumulated for all children) (KiB): 821136
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.5594
system time used= 4.74128
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13201
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4405
involuntary context switches= 2348
runsolver used 3.36449 s user time and 8.5647 s system time
The end
Begin job on node30 on Mon Jan 29 19:29:42 UTC 2007
IDJOB= 212424
IDBENCH= 4769
IDSOLVER= 86
FILE ID= node30/212424-1170098981
PBS_JOBID= 3689683
Free space on /tmp= 66553 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/mpsReduced/mps-red-aflow30a.xml
COMMAND LINE= /tmp/evaluation/212424-1170098981/solver /tmp/evaluation/212424-1170098981 /tmp/evaluation/212424-1170098981/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node30/watcher-212424-1170098981 -o ROOT/results/node30/solver-212424-1170098981 -C 1800 -M 900 /tmp/evaluation/212424-1170098981/solver /tmp/evaluation/212424-1170098981 /tmp/evaluation/212424-1170098981/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= fd9c4e1bcb9be25a878d522555b56057
RANDOM SEED= 304160340
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.270
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.270
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: 933800 kB
Buffers: 40340 kB
Cached: 289460 kB
SwapCached: 0 kB
Active: 838544 kB
Inactive: 211204 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 933800 kB
SwapTotal: 4192956 kB
SwapFree: 4192956 kB
Dirty: 2708 kB
Writeback: 0 kB
Mapped: 745428 kB
Slab: 55872 kB
Committed_AS: 1062068 kB
PageTables: 3364 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= 56250 MiB
End job on node30 on Mon Jan 29 20:01:20 UTC 2007