0.05 c # Sugar v0-40 (/tmp/evaluation/212593-1170099040/sugar-v0-40.jar)
0.05
0.05 c # MAIN BEGIN : /tmp/evaluation/212593-1170099040/unknown.xml [Mon Jan 29 20:30:40 2007]
0.05 c # CONVERT_XML BEGIN : /tmp/evaluation/212593-1170099040/unknown.xml /tmp/evaluation/212593-1170099040/sugar26383.csp [Mon Jan 29 20:30:40 2007]
0.05 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/212593-1170099040/sugar-v0-40.jar -convert /tmp/evaluation/212593-1170099040/unknown.xml /tmp/evaluation/212593-1170099040/sugar26383.csp
0.17 c BEGIN convert /tmp/evaluation/212593-1170099040/unknown.xml
0.70 c END convert (0.535509 seconds)
0.76 c # CONVERT_XML END : /tmp/evaluation/212593-1170099040/sugar26383.csp 102072 bytes (1 seconds) [Mon Jan 29 20:30:41 2007]
0.76 c # CONVERT_XML CPU : 0.64 = 0 + 0 + 0.59 + 0.05
0.76
0.76 c # GENERATE_SAT BEGIN : /tmp/evaluation/212593-1170099040/sugar26383.bcnf [Mon Jan 29 20:30:41 2007]
0.76 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/212593-1170099040/sugar-v0-40.jar -bcnf -map /tmp/evaluation/212593-1170099040/sugar26383.map /tmp/evaluation/212593-1170099040/sugar26383.csp /tmp/evaluation/212593-1170099040/sugar26383.bcnf
0.87 c BEGIN parse /tmp/evaluation/212593-1170099040/sugar26383.csp
2.99 c END parse (2.119149 seconds)
2.99 c BEGIN simplify
3.00 c END simplify (0.004811 seconds)
3.00 c BEGIN encode /tmp/evaluation/212593-1170099040/sugar26383.bcnf
2494.56
2494.56 s UNKNOWN
2494.56 c # INTERRUPTED
2494.56 c # MAIN END : (2495 seconds) [Mon Jan 29 21:12:15 2007]
2494.56 c # MAIN CPU : 0.64 = 0 + 0 + 0.59 + 0.05
2494.56
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node15/watcher-212593-1170099040 -o ROOT/results/node15/solver-212593-1170099040 -C 1800 -M 900 /tmp/evaluation/212593-1170099040/solver /tmp/evaluation/212593-1170099040 /tmp/evaluation/212593-1170099040/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.06 2.06 2.09 5/94 26384
/proc/meminfo: memFree=1702928/2055920 swapFree=4192812/4192956
[pid=26383] ppid=26381 vsize=18540 CPUtime=0
/proc/26383/stat : 26383 (runsolver) R 26381 26383 26318 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 29858409 18984960 279 18446744073709551615 4194304 4267372 548682069040 18446744073709551615 240472616231 0 0 4096 24578 0 0 0 17 1 0 0
/proc/26383/statm: 4635 279 244 17 0 2626 0
[startup+0.108712 s]
/proc/loadavg: 2.06 2.06 2.09 5/94 26384
/proc/meminfo: memFree=1702928/2055920 swapFree=4192812/4192956
[pid=26383] ppid=26381 vsize=13724 CPUtime=0.04
/proc/26383/stat : 26383 (sugar) S 26381 26383 26318 0 -1 4194304 1112 0 0 0 3 1 0 0 20 0 1 0 29858409 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 240481513570 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26383/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+0.51678 s]
/proc/loadavg: 2.06 2.06 2.09 5/94 26384
/proc/meminfo: memFree=1702928/2055920 swapFree=4192812/4192956
[pid=26383] ppid=26381 vsize=13724 CPUtime=0.04
/proc/26383/stat : 26383 (sugar) S 26381 26383 26318 0 -1 4194304 1121 0 0 0 3 1 0 0 15 0 1 0 29858409 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 240481513570 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26383/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+1.33993 s]
/proc/loadavg: 2.06 2.06 2.09 4/102 26400
/proc/meminfo: memFree=1681168/2055920 swapFree=4192812/4192956
[pid=26383] ppid=26381 vsize=13724 CPUtime=0.68
/proc/26383/stat : 26383 (sugar) S 26381 26383 26318 0 -1 4194304 1190 7485 0 1 3 1 59 5 16 0 1 0 29858409 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 240481513570 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26383/statm: 3431 809 371 3 0 531 0
[pid=26393] ppid=26383 vsize=808400 CPUtime=0.56
/proc/26393/stat : 26393 (java) R 26383 26383 26318 0 -1 0 6726 0 1 0 53 3 0 0 23 0 8 0 29858485 827801600 6476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073661952 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26393/statm: 202100 6476 1506 14 0 189378 0
[pid=26393/tid=26394] ppid=26383 vsize=808400 CPUtime=0.02
/proc/26393/task/26394/stat : 26394 (java) S 26383 26383 26318 0 -1 64 520 0 0 0 2 0 0 0 17 0 8 0 29858488 827801600 6476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26393/tid=26395] ppid=26383 vsize=808400 CPUtime=0
/proc/26393/task/26395/stat : 26395 (java) S 26383 26383 26318 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 29858488 827801600 6476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26393/tid=26396] ppid=26383 vsize=808400 CPUtime=0
/proc/26393/task/26396/stat : 26396 (java) S 26383 26383 26318 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 29858488 827801600 6476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26393/tid=26397] ppid=26383 vsize=808400 CPUtime=0
/proc/26393/task/26397/stat : 26397 (java) S 26383 26383 26318 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 29858492 827801600 6476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26393/tid=26398] ppid=26383 vsize=808400 CPUtime=0.13
/proc/26393/task/26398/stat : 26398 (java) S 26383 26383 26318 0 -1 64 398 0 0 0 13 0 0 0 16 0 8 0 29858492 827801600 6476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26393/tid=26399] ppid=26383 vsize=808400 CPUtime=0
/proc/26393/task/26399/stat : 26399 (java) S 26383 26383 26318 0 -1 64 3 0 0 0 0 0 0 0 20 0 8 0 29858492 827801600 6476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26393/tid=26400] ppid=26383 vsize=808400 CPUtime=0
/proc/26393/task/26400/stat : 26400 (java) S 26383 26383 26318 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 29858492 827801600 6476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 822124
[startup+2.99321 s]
/proc/loadavg: 2.06 2.06 2.09 4/102 26400
/proc/meminfo: memFree=1675664/2055920 swapFree=4192812/4192956
[pid=26383] ppid=26381 vsize=13724 CPUtime=0.68
/proc/26383/stat : 26383 (sugar) S 26381 26383 26318 0 -1 4194304 1190 7485 0 1 3 1 59 5 16 0 1 0 29858409 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 240481513570 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26383/statm: 3431 809 371 3 0 531 0
[pid=26393] ppid=26383 vsize=808400 CPUtime=2.2
/proc/26393/stat : 26393 (java) R 26383 26383 26318 0 -1 0 8486 0 1 0 216 4 0 0 25 0 8 0 29858485 827801600 8224 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073568339 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26393/statm: 202100 8224 1506 14 0 189378 0
[pid=26393/tid=26394] ppid=26383 vsize=808400 CPUtime=0.12
/proc/26393/task/26394/stat : 26394 (java) S 26383 26383 26318 0 -1 64 2247 0 0 0 12 0 0 0 16 0 8 0 29858488 827801600 8224 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26393/tid=26395] ppid=26383 vsize=808400 CPUtime=0
/proc/26393/task/26395/stat : 26395 (java) S 26383 26383 26318 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 29858488 827801600 8224 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26393/tid=26396] ppid=26383 vsize=808400 CPUtime=0
/proc/26393/task/26396/stat : 26396 (java) S 26383 26383 26318 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 29858488 827801600 8224 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26393/tid=26397] ppid=26383 vsize=808400 CPUtime=0
/proc/26393/task/26397/stat : 26397 (java) S 26383 26383 26318 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 29858492 827801600 8224 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26393/tid=26398] ppid=26383 vsize=808400 CPUtime=0.15
/proc/26393/task/26398/stat : 26398 (java) S 26383 26383 26318 0 -1 64 419 0 0 0 15 0 0 0 16 0 8 0 29858492 827801600 8224 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26393/tid=26399] ppid=26383 vsize=808400 CPUtime=0
/proc/26393/task/26399/stat : 26399 (java) S 26383 26383 26318 0 -1 64 3 0 0 0 0 0 0 0 20 0 8 0 29858492 827801600 8224 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26393/tid=26400] ppid=26383 vsize=808400 CPUtime=0
/proc/26393/task/26400/stat : 26400 (java) S 26383 26383 26318 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 29858492 827801600 8224 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.88
Current children cumulated vsize (KiB) 822124
[startup+6.28378 s]
/proc/loadavg: 2.06 2.05 2.09 3/102 26400
/proc/meminfo: memFree=1617680/2055920 swapFree=4192812/4192956
[pid=26383] ppid=26381 vsize=13724 CPUtime=0.68
/proc/26383/stat : 26383 (sugar) S 26381 26383 26318 0 -1 4194304 1190 7485 0 1 3 1 59 5 16 0 1 0 29858409 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 240481513570 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26383/statm: 3431 809 371 3 0 531 0
[pid=26393] ppid=26383 vsize=808400 CPUtime=5.45
/proc/26393/stat : 26393 (java) R 26383 26383 26318 0 -1 0 8517 0 1 0 514 31 0 0 25 0 8 0 29858485 827801600 8254 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26393/statm: 202100 8254 1509 14 0 189378 0
[pid=26393/tid=26394] ppid=26383 vsize=808400 CPUtime=0.12
/proc/26393/task/26394/stat : 26394 (java) S 26383 26383 26318 0 -1 64 2247 0 0 0 12 0 0 0 16 0 8 0 29858488 827801600 8254 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26393/tid=26395] ppid=26383 vsize=808400 CPUtime=0
/proc/26393/task/26395/stat : 26395 (java) S 26383 26383 26318 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 29858488 827801600 8254 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26393/tid=26396] ppid=26383 vsize=808400 CPUtime=0
/proc/26393/task/26396/stat : 26396 (java) S 26383 26383 26318 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 29858488 827801600 8254 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26393/tid=26397] ppid=26383 vsize=808400 CPUtime=0
/proc/26393/task/26397/stat : 26397 (java) S 26383 26383 26318 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 29858492 827801600 8254 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26393/tid=26398] ppid=26383 vsize=808400 CPUtime=0.16
/proc/26393/task/26398/stat : 26398 (java) S 26383 26383 26318 0 -1 64 427 0 0 0 16 0 0 0 16 0 8 0 29858492 827801600 8254 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26393/tid=26399] ppid=26383 vsize=808400 CPUtime=0
/proc/26393/task/26399/stat : 26399 (java) S 26383 26383 26318 0 -1 64 3 0 0 0 0 0 0 0 20 0 8 0 29858492 827801600 8254 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26393/tid=26400] ppid=26383 vsize=808400 CPUtime=0
/proc/26393/task/26400/stat : 26400 (java) S 26383 26383 26318 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 29858492 827801600 8254 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 822124
[startup+12.7819 s]
/proc/loadavg: 2.05 2.05 2.09 3/102 26400
/proc/meminfo: memFree=1501200/2055920 swapFree=4192812/4192956
[pid=26383] ppid=26381 vsize=13724 CPUtime=0.68
/proc/26383/stat : 26383 (sugar) S 26381 26383 26318 0 -1 4194304 1190 7485 0 1 3 1 59 5 16 0 1 0 29858409 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 240481513570 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26383/statm: 3431 809 371 3 0 531 0
[pid=26393] ppid=26383 vsize=808400 CPUtime=11.85
/proc/26393/stat : 26393 (java) R 26383 26383 26318 0 -1 0 8517 0 1 0 1109 76 0 0 25 0 8 0 29858485 827801600 8254 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073813738 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26393/statm: 202100 8254 1509 14 0 189378 0
[pid=26393/tid=26394] ppid=26383 vsize=808400 CPUtime=0.12
/proc/26393/task/26394/stat : 26394 (java) S 26383 26383 26318 0 -1 64 2247 0 0 0 12 0 0 0 16 0 8 0 29858488 827801600 8254 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26393/tid=26395] ppid=26383 vsize=808400 CPUtime=0
/proc/26393/task/26395/stat : 26395 (java) S 26383 26383 26318 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 29858488 827801600 8254 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26393/tid=26396] ppid=26383 vsize=808400 CPUtime=0
/proc/26393/task/26396/stat : 26396 (java) S 26383 26383 26318 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 29858488 827801600 8254 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26393/tid=26397] ppid=26383 vsize=808400 CPUtime=0
/proc/26393/task/26397/stat : 26397 (java) S 26383 26383 26318 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 29858492 827801600 8254 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26393/tid=26398] ppid=26383 vsize=808400 CPUtime=0.16
/proc/26393/task/26398/stat : 26398 (java) S 26383 26383 26318 0 -1 64 427 0 0 0 16 0 0 0 16 0 8 0 29858492 827801600 8254 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26393/tid=26399] ppid=26383 vsize=808400 CPUtime=0
/proc/26393/task/26399/stat : 26399 (java) S 26383 26383 26318 0 -1 64 3 0 0 0 0 0 0 0 20 0 8 0 29858492 827801600 8254 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26393/tid=26400] ppid=26383 vsize=808400 CPUtime=0
/proc/26393/task/26400/stat : 26400 (java) S 26383 26383 26318 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 29858492 827801600 8254 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.53
Current children cumulated vsize (KiB) 822124
[startup+25.6621 s]
/proc/loadavg: 2.04 2.05 2.09 3/102 26400
/proc/meminfo: memFree=1289744/2055920 swapFree=4192812/4192956
[pid=26383] ppid=26381 vsize=13724 CPUtime=0.68
/proc/26383/stat : 26383 (sugar) S 26381 26383 26318 0 -1 4194304 1190 7485 0 1 3 1 59 5 16 0 1 0 29858409 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 240481513570 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26383/statm: 3431 809 371 3 0 531 0
[pid=26393] ppid=26383 vsize=808400 CPUtime=24.4
/proc/26393/stat : 26393 (java) R 26383 26383 26318 0 -1 0 8517 0 1 0 2283 157 0 0 25 0 8 0 29858485 827801600 8254 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073809182 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26393/statm: 202100 8254 1509 14 0 189378 0
[pid=26393/tid=26394] ppid=26383 vsize=808400 CPUtime=0.12
/proc/26393/task/26394/stat : 26394 (java) S 26383 26383 26318 0 -1 64 2247 0 0 0 12 0 0 0 16 0 8 0 29858488 827801600 8254 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26393/tid=26395] ppid=26383 vsize=808400 CPUtime=0
/proc/26393/task/26395/stat : 26395 (java) S 26383 26383 26318 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 29858488 827801600 8254 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26393/tid=26396] ppid=26383 vsize=808400 CPUtime=0
/proc/26393/task/26396/stat : 26396 (java) S 26383 26383 26318 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 29858488 827801600 8254 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26393/tid=26397] ppid=26383 vsize=808400 CPUtime=0
/proc/26393/task/26397/stat : 26397 (java) S 26383 26383 26318 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 29858492 827801600 8254 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26393/tid=26398] ppid=26383 vsize=808400 CPUtime=0.16
/proc/26393/task/26398/stat : 26398 (java) S 26383 26383 26318 0 -1 64 427 0 0 0 16 0 0 0 16 0 8 0 29858492 827801600 8254 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26393/tid=26399] ppid=26383 vsize=808400 CPUtime=0
/proc/26393/task/26399/stat : 26399 (java) S 26383 26383 26318 0 -1 64 3 0 0 0 0 0 0 0 20 0 8 0 29858492 827801600 8254 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26393/tid=26400] ppid=26383 vsize=808400 CPUtime=0
/proc/26393/task/26400/stat : 26400 (java) S 26383 26383 26318 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 29858492 827801600 8254 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.08
Current children cumulated vsize (KiB) 822124
[startup+51.3255 s]
/proc/loadavg: 2.24 2.09 2.10 4/102 26400
/proc/meminfo: memFree=855376/2055920 swapFree=4192812/4192956
[pid=26383] ppid=26381 vsize=13724 CPUtime=0.68
/proc/26383/stat : 26383 (sugar) S 26381 26383 26318 0 -1 4194304 1190 7485 0 1 3 1 59 5 16 0 1 0 29858409 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 240481513570 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26383/statm: 3431 809 371 3 0 531 0
[pid=26393] ppid=26383 vsize=808400 CPUtime=49.35
/proc/26393/stat : 26393 (java) R 26383 26383 26318 0 -1 0 8519 0 1 0 4606 329 0 0 25 0 8 0 29858485 827801600 8256 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073818304 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26393/statm: 202100 8256 1510 14 0 189378 0
[pid=26393/tid=26394] ppid=26383 vsize=808400 CPUtime=0.12
/proc/26393/task/26394/stat : 26394 (java) S 26383 26383 26318 0 -1 64 2247 0 0 0 12 0 0 0 16 0 8 0 29858488 827801600 8256 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26393/tid=26395] ppid=26383 vsize=808400 CPUtime=0
/proc/26393/task/26395/stat : 26395 (java) S 26383 26383 26318 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 29858488 827801600 8256 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26393/tid=26396] ppid=26383 vsize=808400 CPUtime=0
/proc/26393/task/26396/stat : 26396 (java) S 26383 26383 26318 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 29858488 827801600 8256 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26393/tid=26397] ppid=26383 vsize=808400 CPUtime=0
/proc/26393/task/26397/stat : 26397 (java) S 26383 26383 26318 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 29858492 827801600 8256 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26393/tid=26398] ppid=26383 vsize=808400 CPUtime=0.16
/proc/26393/task/26398/stat : 26398 (java) S 26383 26383 26318 0 -1 64 428 0 0 0 16 0 0 0 17 0 8 0 29858492 827801600 8256 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26393/tid=26399] ppid=26383 vsize=808400 CPUtime=0
/proc/26393/task/26399/stat : 26399 (java) S 26383 26383 26318 0 -1 64 3 0 0 0 0 0 0 0 20 0 8 0 29858492 827801600 8256 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26393/tid=26400] ppid=26383 vsize=808400 CPUtime=0
/proc/26393/task/26400/stat : 26400 (java) S 26383 26383 26318 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 29858492 827801600 8256 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.03
Current children cumulated vsize (KiB) 822124
[startup+102.535 s]
/proc/loadavg: 2.80 2.26 2.16 3/102 26400
/proc/meminfo: memFree=21776/2055920 swapFree=4192812/4192956
[pid=26383] ppid=26381 vsize=13724 CPUtime=0.68
/proc/26383/stat : 26383 (sugar) S 26381 26383 26318 0 -1 4194304 1190 7485 0 1 3 1 59 5 16 0 1 0 29858409 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 240481513570 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26383/statm: 3431 809 371 3 0 531 0
[pid=26393] ppid=26383 vsize=808400 CPUtime=99.17
/proc/26393/stat : 26393 (java) R 26383 26383 26318 0 -1 0 8519 0 1 0 9256 661 0 0 25 0 8 0 29858485 827801600 8256 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073825637 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26393/statm: 202100 8256 1510 14 0 189378 0
[pid=26393/tid=26394] ppid=26383 vsize=808400 CPUtime=0.12
################
# More data... #
################
[pid=26393/tid=26397] ppid=26383 vsize=808400 CPUtime=0
/proc/26393/task/26397/stat : 26397 (java) S 26383 26383 26318 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 29858492 827801600 8259 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26393/tid=26398] ppid=26383 vsize=808400 CPUtime=0.17
/proc/26393/task/26398/stat : 26398 (java) S 26383 26383 26318 0 -1 64 431 0 0 0 17 0 0 0 16 0 8 0 29858492 827801600 8259 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26393/tid=26399] ppid=26383 vsize=808400 CPUtime=0
/proc/26393/task/26399/stat : 26399 (java) S 26383 26383 26318 0 -1 64 3 0 0 0 0 0 0 0 20 0 8 0 29858492 827801600 8259 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26393/tid=26400] ppid=26383 vsize=808400 CPUtime=0
/proc/26393/task/26400/stat : 26400 (java) S 26383 26383 26318 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 29858492 827801600 8259 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1522.08
Current children cumulated vsize (KiB) 822124
[startup+2264.36 s]
/proc/loadavg: 4.62 6.10 5.57 3/102 26768
/proc/meminfo: memFree=15376/2055920 swapFree=4192812/4192956
[pid=26383] ppid=26381 vsize=13724 CPUtime=0.68
/proc/26383/stat : 26383 (sugar) S 26381 26383 26318 0 -1 4194304 1190 7485 0 1 3 1 59 5 16 0 1 0 29858409 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 240481513570 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26383/statm: 3431 809 371 3 0 531 0
[pid=26393] ppid=26383 vsize=808400 CPUtime=1572.82
/proc/26393/stat : 26393 (java) R 26383 26383 26318 0 -1 0 8523 0 1 0 140721 16561 0 0 25 0 8 0 29858485 827801600 8259 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26393/statm: 202100 8259 1510 14 0 189378 0
[pid=26393/tid=26394] ppid=26383 vsize=808400 CPUtime=0.12
/proc/26393/task/26394/stat : 26394 (java) S 26383 26383 26318 0 -1 64 2247 0 0 0 12 0 0 0 16 0 8 0 29858488 827801600 8259 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26393/tid=26395] ppid=26383 vsize=808400 CPUtime=0
/proc/26393/task/26395/stat : 26395 (java) S 26383 26383 26318 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 29858488 827801600 8259 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26393/tid=26396] ppid=26383 vsize=808400 CPUtime=0
/proc/26393/task/26396/stat : 26396 (java) S 26383 26383 26318 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 29858488 827801600 8259 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26393/tid=26397] ppid=26383 vsize=808400 CPUtime=0
/proc/26393/task/26397/stat : 26397 (java) S 26383 26383 26318 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 29858492 827801600 8259 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26393/tid=26398] ppid=26383 vsize=808400 CPUtime=0.17
/proc/26393/task/26398/stat : 26398 (java) S 26383 26383 26318 0 -1 64 431 0 0 0 17 0 0 0 16 0 8 0 29858492 827801600 8259 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26393/tid=26399] ppid=26383 vsize=808400 CPUtime=0
/proc/26393/task/26399/stat : 26399 (java) S 26383 26383 26318 0 -1 64 3 0 0 0 0 0 0 0 20 0 8 0 29858492 827801600 8259 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26393/tid=26400] ppid=26383 vsize=808400 CPUtime=0
/proc/26393/task/26400/stat : 26400 (java) S 26383 26383 26318 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 29858492 827801600 8259 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1573.5
Current children cumulated vsize (KiB) 822124
[startup+2324.38 s]
/proc/loadavg: 3.16 5.40 5.36 2/96 26771
/proc/meminfo: memFree=180680/2055920 swapFree=4192812/4192956
[pid=26383] ppid=26381 vsize=13724 CPUtime=0.68
/proc/26383/stat : 26383 (sugar) S 26381 26383 26318 0 -1 4194304 1190 7485 0 1 3 1 59 5 16 0 1 0 29858409 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 240481513570 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26383/statm: 3431 809 371 3 0 531 0
[pid=26393] ppid=26383 vsize=808400 CPUtime=1632.33
/proc/26393/stat : 26393 (java) R 26383 26383 26318 0 -1 0 8523 0 1 0 141847 21386 0 0 25 0 8 0 29858485 827801600 8259 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26393/statm: 202100 8259 1510 14 0 189378 0
[pid=26393/tid=26394] ppid=26383 vsize=808400 CPUtime=0.12
/proc/26393/task/26394/stat : 26394 (java) S 26383 26383 26318 0 -1 64 2247 0 0 0 12 0 0 0 16 0 8 0 29858488 827801600 8259 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26393/tid=26395] ppid=26383 vsize=808400 CPUtime=0
/proc/26393/task/26395/stat : 26395 (java) S 26383 26383 26318 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 29858488 827801600 8259 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26393/tid=26396] ppid=26383 vsize=808400 CPUtime=0
/proc/26393/task/26396/stat : 26396 (java) S 26383 26383 26318 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 29858488 827801600 8259 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26393/tid=26397] ppid=26383 vsize=808400 CPUtime=0
/proc/26393/task/26397/stat : 26397 (java) S 26383 26383 26318 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 29858492 827801600 8259 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26393/tid=26398] ppid=26383 vsize=808400 CPUtime=0.17
/proc/26393/task/26398/stat : 26398 (java) S 26383 26383 26318 0 -1 64 431 0 0 0 17 0 0 0 16 0 8 0 29858492 827801600 8259 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26393/tid=26399] ppid=26383 vsize=808400 CPUtime=0
/proc/26393/task/26399/stat : 26399 (java) S 26383 26383 26318 0 -1 64 3 0 0 0 0 0 0 0 20 0 8 0 29858492 827801600 8259 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26393/tid=26400] ppid=26383 vsize=808400 CPUtime=0
/proc/26393/task/26400/stat : 26400 (java) S 26383 26383 26318 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 29858492 827801600 8259 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1633.01
Current children cumulated vsize (KiB) 822124
[startup+2384.42 s]
/proc/loadavg: 2.50 4.80 5.15 3/95 26835
/proc/meminfo: memFree=698248/2055920 swapFree=4192812/4192956
[pid=26383] ppid=26381 vsize=13724 CPUtime=0.68
/proc/26383/stat : 26383 (sugar) S 26381 26383 26318 0 -1 4194304 1190 7485 0 1 3 1 59 5 16 0 1 0 29858409 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 240481513570 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26383/statm: 3431 809 371 3 0 531 0
[pid=26393] ppid=26383 vsize=808400 CPUtime=1689.91
/proc/26393/stat : 26393 (java) R 26383 26383 26318 0 -1 0 8523 0 1 0 143064 25927 0 0 25 0 8 0 29858485 827801600 8259 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26393/statm: 202100 8259 1510 14 0 189378 0
[pid=26393/tid=26394] ppid=26383 vsize=808400 CPUtime=0.12
/proc/26393/task/26394/stat : 26394 (java) S 26383 26383 26318 0 -1 64 2247 0 0 0 12 0 0 0 16 0 8 0 29858488 827801600 8259 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26393/tid=26395] ppid=26383 vsize=808400 CPUtime=0
/proc/26393/task/26395/stat : 26395 (java) S 26383 26383 26318 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 29858488 827801600 8259 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26393/tid=26396] ppid=26383 vsize=808400 CPUtime=0
/proc/26393/task/26396/stat : 26396 (java) S 26383 26383 26318 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 29858488 827801600 8259 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26393/tid=26397] ppid=26383 vsize=808400 CPUtime=0
/proc/26393/task/26397/stat : 26397 (java) S 26383 26383 26318 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 29858492 827801600 8259 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26393/tid=26398] ppid=26383 vsize=808400 CPUtime=0.17
/proc/26393/task/26398/stat : 26398 (java) S 26383 26383 26318 0 -1 64 431 0 0 0 17 0 0 0 16 0 8 0 29858492 827801600 8259 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26393/tid=26399] ppid=26383 vsize=808400 CPUtime=0
/proc/26393/task/26399/stat : 26399 (java) S 26383 26383 26318 0 -1 64 3 0 0 0 0 0 0 0 20 0 8 0 29858492 827801600 8259 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26393/tid=26400] ppid=26383 vsize=808400 CPUtime=0
/proc/26393/task/26400/stat : 26400 (java) S 26383 26383 26318 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 29858492 827801600 8259 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1690.59
Current children cumulated vsize (KiB) 822124
[startup+2444.48 s]
/proc/loadavg: 2.18 4.29 4.95 3/95 26835
/proc/meminfo: memFree=445200/2055920 swapFree=4192812/4192956
[pid=26383] ppid=26381 vsize=13724 CPUtime=0.68
/proc/26383/stat : 26383 (sugar) S 26381 26383 26318 0 -1 4194304 1190 7485 0 1 3 1 59 5 16 0 1 0 29858409 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 240481513570 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26383/statm: 3431 809 371 3 0 531 0
[pid=26393] ppid=26383 vsize=808400 CPUtime=1749.57
/proc/26393/stat : 26393 (java) R 26383 26383 26318 0 -1 0 8523 0 1 0 144288 30669 0 0 25 0 8 0 29858485 827801600 8259 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26393/statm: 202100 8259 1510 14 0 189378 0
[pid=26393/tid=26394] ppid=26383 vsize=808400 CPUtime=0.12
/proc/26393/task/26394/stat : 26394 (java) S 26383 26383 26318 0 -1 64 2247 0 0 0 12 0 0 0 16 0 8 0 29858488 827801600 8259 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26393/tid=26395] ppid=26383 vsize=808400 CPUtime=0
/proc/26393/task/26395/stat : 26395 (java) S 26383 26383 26318 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 29858488 827801600 8259 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26393/tid=26396] ppid=26383 vsize=808400 CPUtime=0
/proc/26393/task/26396/stat : 26396 (java) S 26383 26383 26318 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 29858488 827801600 8259 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26393/tid=26397] ppid=26383 vsize=808400 CPUtime=0
/proc/26393/task/26397/stat : 26397 (java) S 26383 26383 26318 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 29858492 827801600 8259 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26393/tid=26398] ppid=26383 vsize=808400 CPUtime=0.17
/proc/26393/task/26398/stat : 26398 (java) S 26383 26383 26318 0 -1 64 431 0 0 0 17 0 0 0 16 0 8 0 29858492 827801600 8259 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26393/tid=26399] ppid=26383 vsize=808400 CPUtime=0
/proc/26393/task/26399/stat : 26399 (java) S 26383 26383 26318 0 -1 64 3 0 0 0 0 0 0 0 20 0 8 0 29858492 827801600 8259 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26393/tid=26400] ppid=26383 vsize=808400 CPUtime=0
/proc/26393/task/26400/stat : 26400 (java) S 26383 26383 26318 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 29858492 827801600 8259 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1750.25
Current children cumulated vsize (KiB) 822124
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2494.55 s]
/proc/loadavg: 2.18 3.96 4.81 3/95 26835
/proc/meminfo: memFree=239120/2055920 swapFree=4192812/4192956
[pid=26383] ppid=26381 vsize=13724 CPUtime=0.68
/proc/26383/stat : 26383 (sugar) S 26381 26383 26318 0 -1 4194304 1190 7485 0 1 3 1 59 5 16 0 1 0 29858409 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 240481513570 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26383/statm: 3431 809 371 3 0 531 0
[pid=26393] ppid=26383 vsize=808400 CPUtime=1799.32
/proc/26393/stat : 26393 (java) R 26383 26383 26318 0 -1 0 8523 0 1 0 145312 34620 0 0 25 0 8 0 29858485 827801600 8259 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4152094853 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26393/statm: 202100 8259 1510 14 0 189378 0
[pid=26393/tid=26394] ppid=26383 vsize=808400 CPUtime=0.12
/proc/26393/task/26394/stat : 26394 (java) S 26383 26383 26318 0 -1 64 2247 0 0 0 12 0 0 0 16 0 8 0 29858488 827801600 8259 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26393/tid=26395] ppid=26383 vsize=808400 CPUtime=0
/proc/26393/task/26395/stat : 26395 (java) S 26383 26383 26318 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 29858488 827801600 8259 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26393/tid=26396] ppid=26383 vsize=808400 CPUtime=0
/proc/26393/task/26396/stat : 26396 (java) S 26383 26383 26318 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 29858488 827801600 8259 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26393/tid=26397] ppid=26383 vsize=808400 CPUtime=0
/proc/26393/task/26397/stat : 26397 (java) S 26383 26383 26318 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 29858492 827801600 8259 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26393/tid=26398] ppid=26383 vsize=808400 CPUtime=0.17
/proc/26393/task/26398/stat : 26398 (java) S 26383 26383 26318 0 -1 64 431 0 0 0 17 0 0 0 16 0 8 0 29858492 827801600 8259 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26393/tid=26399] ppid=26383 vsize=808400 CPUtime=0
/proc/26393/task/26399/stat : 26399 (java) S 26383 26383 26318 0 -1 64 3 0 0 0 0 0 0 0 20 0 8 0 29858492 827801600 8259 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26393/tid=26400] ppid=26383 vsize=808400 CPUtime=0
/proc/26393/task/26400/stat : 26400 (java) S 26383 26383 26318 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 29858492 827801600 8259 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 822124
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
[startup+2504.52 s]
/proc/loadavg: 2.16 3.90 4.78 3/88 26838
/proc/meminfo: memFree=1818960/2055920 swapFree=4192812/4192956
[pid=26383] ppid=26381 vsize=13724 CPUtime=2.31
/proc/26383/stat : 26383 (sugar) D 26381 26383 26318 0 -1 4194304 1215 7485 0 1 3 164 59 5 18 0 1 0 29858409 14053376 811 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 240472790057 256 16384 4224 16386 18446744071563608240 0 0 17 1 0 0
/proc/26383/statm: 3431 811 373 3 0 531 0
[pid=26393] ppid=26383 vsize=0 CPUtime=1799.34
/proc/26393/stat : 26393 (java) Z 26383 26383 26318 0 -1 1036 8544 0 1 0 145314 34620 0 0 24 0 1 0 29858485 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 0 0 0
/proc/26393/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1801.65
Current children cumulated vsize (KiB) 13724
Child ended because it received signal 9 (SIGKILL)
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 26383 and gives childrusage.ru_utime.tv_sec=0 childrusage.ru_utime.tv_usec=627904 childrusage.ru_stime.tv_sec=3 childrusage.ru_stime.tv_usec=252505
CPU time returned by wait4() is 3.88041
while last known CPU time is 1803.2
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 2534.16
CPU time (s): 1803.2
CPU user time (s): 1453.76
CPU system time (s): 349.44
CPU usage (%): 71.1558
Max. virtual memory (cumulated for all children) (KiB): 822124
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.627904
system time used= 3.25251
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8700
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= 6510
involuntary context switches= 527
runsolver used 3.33049 s user time and 8.72267 s system time
The end
Begin job on node15 on Mon Jan 29 19:30:40 UTC 2007
IDJOB= 212593
IDBENCH= 4782
IDSOLVER= 86
FILE ID= node15/212593-1170099040
PBS_JOBID= 3689490
Free space on /tmp= 66557 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/mpsReduced/mps-red-bell5.xml
COMMAND LINE= /tmp/evaluation/212593-1170099040/solver /tmp/evaluation/212593-1170099040 /tmp/evaluation/212593-1170099040/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node15/watcher-212593-1170099040 -o ROOT/results/node15/solver-212593-1170099040 -C 1800 -M 900 /tmp/evaluation/212593-1170099040/solver /tmp/evaluation/212593-1170099040 /tmp/evaluation/212593-1170099040/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= 71a20ddb8293a61490daae23cdd013ad
RANDOM SEED= 442599320
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.276
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.276
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: 1703408 kB
Buffers: 38204 kB
Cached: 68692 kB
SwapCached: 0 kB
Active: 241128 kB
Inactive: 61784 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1703408 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1152 kB
Writeback: 0 kB
Mapped: 221524 kB
Slab: 34100 kB
Committed_AS: 623272 kB
PageTables: 2476 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66559 MiB
End job on node15 on Mon Jan 29 20:12:55 UTC 2007