0.04 c # Sugar v0-40 (/tmp/evaluation/212099-1170098816/sugar-v0-40.jar)
0.04
0.04 c # MAIN BEGIN : /tmp/evaluation/212099-1170098816/unknown.xml [Mon Jan 29 20:26:57 2007]
0.04 c # CONVERT_XML BEGIN : /tmp/evaluation/212099-1170098816/unknown.xml /tmp/evaluation/212099-1170098816/sugar18390.csp [Mon Jan 29 20:26:57 2007]
0.04 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/212099-1170098816/sugar-v0-40.jar -convert /tmp/evaluation/212099-1170098816/unknown.xml /tmp/evaluation/212099-1170098816/sugar18390.csp
0.19 c BEGIN convert /tmp/evaluation/212099-1170098816/unknown.xml
1.89 c END convert (1.704991 seconds)
1.92 c # CONVERT_XML END : /tmp/evaluation/212099-1170098816/sugar18390.csp 704552 bytes (2 seconds) [Mon Jan 29 20:26:59 2007]
1.92 c # CONVERT_XML CPU : 0 = 0 + 0 + 0 + 0
1.92
1.92 c # GENERATE_SAT BEGIN : /tmp/evaluation/212099-1170098816/sugar18390.bcnf [Mon Jan 29 20:26:59 2007]
1.92 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/212099-1170098816/sugar-v0-40.jar -bcnf -map /tmp/evaluation/212099-1170098816/sugar18390.map /tmp/evaluation/212099-1170098816/sugar18390.csp /tmp/evaluation/212099-1170098816/sugar18390.bcnf
2.03 c BEGIN parse /tmp/evaluation/212099-1170098816/sugar18390.csp
64.51 c END parse (62.482097 seconds)
64.51 c BEGIN simplify
64.53 c END simplify (0.014632 seconds)
64.53 c BEGIN encode /tmp/evaluation/212099-1170098816/sugar18390.bcnf
1825.46
1825.46 s UNKNOWN
1825.46 c # INTERRUPTED
1825.46 c # MAIN END : (1826 seconds) [Mon Jan 29 20:57:23 2007]
1825.46 c # MAIN CPU : 0 = 0 + 0 + 0 + 0
1825.46
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node68/watcher-212099-1170098816 -o ROOT/results/node68/solver-212099-1170098816 -C 1800 -M 900 /tmp/evaluation/212099-1170098816/solver /tmp/evaluation/212099-1170098816 /tmp/evaluation/212099-1170098816/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.93 1.10 1.51 4/65 18391
/proc/meminfo: memFree=1894176/2055920 swapFree=4192812/4192956
[pid=18390] ppid=18388 vsize=12132 CPUtime=0
/proc/18390/stat : 18390 (sugar) R 18388 18390 17525 0 -1 4194304 536 0 0 0 0 0 0 0 18 0 1 0 29839341 12423168 255 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 257414304481 0 0 4224 0 0 0 0 17 1 0 0
/proc/18390/statm: 3033 256 189 3 0 133 0
[startup+0.103037 s]
/proc/loadavg: 0.93 1.10 1.51 4/65 18391
/proc/meminfo: memFree=1894176/2055920 swapFree=4192812/4192956
[pid=18390] ppid=18388 vsize=13724 CPUtime=0.03
/proc/18390/stat : 18390 (sugar) S 18388 18390 17525 0 -1 4194304 1112 0 0 0 3 0 0 0 16 0 1 0 29839341 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 257423356002 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18390/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+0.511067 s]
/proc/loadavg: 0.93 1.10 1.51 4/65 18391
/proc/meminfo: memFree=1894176/2055920 swapFree=4192812/4192956
[pid=18390] ppid=18388 vsize=13724 CPUtime=0.03
/proc/18390/stat : 18390 (sugar) S 18388 18390 17525 0 -1 4194304 1121 0 0 0 3 0 0 0 16 0 1 0 29839341 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 257423356002 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18390/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+1.33115 s]
/proc/loadavg: 0.93 1.10 1.51 2/73 18399
/proc/meminfo: memFree=1861792/2055920 swapFree=4192812/4192956
[pid=18390] ppid=18388 vsize=13724 CPUtime=0.03
/proc/18390/stat : 18390 (sugar) S 18388 18390 17525 0 -1 4194304 1121 0 0 0 3 0 0 0 16 0 1 0 29839341 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 257423356002 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18390/statm: 3431 805 368 3 0 531 0
[pid=18392] ppid=18390 vsize=807416 CPUtime=1.24
/proc/18392/stat : 18392 (java) R 18390 18390 17525 0 -1 0 10273 0 1 0 116 8 0 0 16 0 8 0 29839345 826793984 10016 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4073759382 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18392/statm: 201854 10016 1695 14 0 189132 0
[pid=18392/tid=18393] ppid=18390 vsize=807416 CPUtime=0.1
/proc/18392/task/18393/stat : 18393 (java) S 18390 18390 17525 0 -1 64 3651 0 0 0 9 1 0 0 16 0 8 0 29839349 826793984 10016 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18392/tid=18394] ppid=18390 vsize=807416 CPUtime=0
/proc/18392/task/18394/stat : 18394 (java) S 18390 18390 17525 0 -1 64 9 0 0 0 0 0 0 0 20 0 8 0 29839349 826793984 10016 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18392/tid=18395] ppid=18390 vsize=807416 CPUtime=0
/proc/18392/task/18395/stat : 18395 (java) S 18390 18390 17525 0 -1 64 4 0 0 0 0 0 0 0 21 0 8 0 29839349 826793984 10016 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18392/tid=18396] ppid=18390 vsize=807416 CPUtime=0
/proc/18392/task/18396/stat : 18396 (java) S 18390 18390 17525 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 29839355 826793984 10016 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18392/tid=18397] ppid=18390 vsize=807416 CPUtime=0.16
/proc/18392/task/18397/stat : 18397 (java) S 18390 18390 17525 0 -1 64 428 0 0 0 15 1 0 0 16 0 8 0 29839355 826793984 10016 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18392/tid=18398] ppid=18390 vsize=807416 CPUtime=0
/proc/18392/task/18398/stat : 18398 (java) S 18390 18390 17525 0 -1 64 3 0 0 0 0 0 0 0 21 0 8 0 29839355 826793984 10016 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18392/tid=18399] ppid=18390 vsize=807416 CPUtime=0
/proc/18392/task/18399/stat : 18399 (java) S 18390 18390 17525 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29839355 826793984 10016 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 821140
[startup+2.9753 s]
/proc/loadavg: 0.93 1.10 1.51 2/74 18407
/proc/meminfo: memFree=1874208/2055920 swapFree=4192812/4192956
[pid=18390] ppid=18388 vsize=13724 CPUtime=0.03
/proc/18390/stat : 18390 (sugar) S 18388 18390 17525 0 -1 4194304 1188 0 0 0 3 0 0 0 16 0 1 0 29839341 14053376 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 257423356002 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18390/statm: 3431 808 370 3 0 531 0
[pid=18392] ppid=18390 vsize=0 CPUtime=1.8
/proc/18392/stat : 18392 (java) Z 18390 18390 17525 0 -1 1036 10681 0 1 0 171 9 0 0 16 0 1 0 29839345 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/18392/statm: 0 0 0 0 0 0 0
[pid=18400] ppid=18390 vsize=807216 CPUtime=1.03
/proc/18400/stat : 18400 (java) S 18390 18390 17525 0 -1 0 9920 0 1 0 97 6 0 0 16 0 8 0 29839533 826589184 9664 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18400/statm: 201804 9664 1506 14 0 189082 0
[pid=18400/tid=18401] ppid=18390 vsize=807216 CPUtime=0.21
/proc/18400/task/18401/stat : 18401 (java) S 18390 18390 17525 0 -1 64 3716 0 0 0 20 1 0 0 17 0 8 0 29839536 826589184 9664 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18400/tid=18402] ppid=18390 vsize=807216 CPUtime=0
/proc/18400/task/18402/stat : 18402 (java) S 18390 18390 17525 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 29839537 826589184 9664 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18400/tid=18403] ppid=18390 vsize=807216 CPUtime=0
/proc/18400/task/18403/stat : 18403 (java) S 18390 18390 17525 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 29839537 826589184 9664 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18400/tid=18404] ppid=18390 vsize=807216 CPUtime=0
/proc/18400/task/18404/stat : 18404 (java) S 18390 18390 17525 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 29839540 826589184 9664 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18400/tid=18405] ppid=18390 vsize=807216 CPUtime=0.07
/proc/18400/task/18405/stat : 18405 (java) R 18390 18390 17525 0 -1 64 321 0 0 0 7 0 0 0 16 0 8 0 29839540 826589184 9664 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153418376 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18400/tid=18406] ppid=18390 vsize=807216 CPUtime=0
/proc/18400/task/18406/stat : 18406 (java) S 18390 18390 17525 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 29839540 826589184 9664 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18400/tid=18407] ppid=18390 vsize=807216 CPUtime=0
/proc/18400/task/18407/stat : 18407 (java) S 18390 18390 17525 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29839540 826589184 9664 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.86
Current children cumulated vsize (KiB) 820940
[startup+6.18059 s]
/proc/loadavg: 0.93 1.10 1.51 2/74 18407
/proc/meminfo: memFree=1855712/2055920 swapFree=4192812/4192956
[pid=18390] ppid=18388 vsize=13724 CPUtime=0.03
/proc/18390/stat : 18390 (sugar) S 18388 18390 17525 0 -1 4194304 1188 0 0 0 3 0 0 0 16 0 1 0 29839341 14053376 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 257423356002 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18390/statm: 3431 808 370 3 0 531 0
[pid=18392] ppid=18390 vsize=0 CPUtime=1.8
/proc/18392/stat : 18392 (java) Z 18390 18390 17525 0 -1 1036 10681 0 1 0 171 9 0 0 16 0 1 0 29839345 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/18392/statm: 0 0 0 0 0 0 0
[pid=18400] ppid=18390 vsize=807376 CPUtime=4.23
/proc/18400/stat : 18400 (java) R 18390 18390 17525 0 -1 0 10866 0 1 0 416 7 0 0 17 0 8 0 29839533 826753024 10600 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073628830 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18400/statm: 201844 10600 1506 14 0 189122 0
[pid=18400/tid=18401] ppid=18390 vsize=807376 CPUtime=0.28
/proc/18400/task/18401/stat : 18401 (java) S 18390 18390 17525 0 -1 64 4554 0 0 0 26 2 0 0 16 0 8 0 29839536 826753024 10600 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18400/tid=18402] ppid=18390 vsize=807376 CPUtime=0
/proc/18400/task/18402/stat : 18402 (java) S 18390 18390 17525 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 29839537 826753024 10600 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18400/tid=18403] ppid=18390 vsize=807376 CPUtime=0
/proc/18400/task/18403/stat : 18403 (java) S 18390 18390 17525 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 29839537 826753024 10600 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18400/tid=18404] ppid=18390 vsize=807376 CPUtime=0
/proc/18400/task/18404/stat : 18404 (java) S 18390 18390 17525 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 29839540 826753024 10600 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18400/tid=18405] ppid=18390 vsize=807376 CPUtime=0.13
/proc/18400/task/18405/stat : 18405 (java) S 18390 18390 17525 0 -1 64 418 0 0 0 12 1 0 0 15 0 8 0 29839540 826753024 10600 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18400/tid=18406] ppid=18390 vsize=807376 CPUtime=0
/proc/18400/task/18406/stat : 18406 (java) S 18390 18390 17525 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 29839540 826753024 10600 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18400/tid=18407] ppid=18390 vsize=807376 CPUtime=0
/proc/18400/task/18407/stat : 18407 (java) S 18390 18390 17525 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29839540 826753024 10600 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.06
Current children cumulated vsize (KiB) 821100
[startup+12.6602 s]
/proc/loadavg: 0.94 1.09 1.51 2/74 18407
/proc/meminfo: memFree=1850464/2055920 swapFree=4192812/4192956
[pid=18390] ppid=18388 vsize=13724 CPUtime=0.03
/proc/18390/stat : 18390 (sugar) S 18388 18390 17525 0 -1 4194304 1188 0 0 0 3 0 0 0 16 0 1 0 29839341 14053376 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 257423356002 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18390/statm: 3431 808 370 3 0 531 0
[pid=18392] ppid=18390 vsize=0 CPUtime=1.8
/proc/18392/stat : 18392 (java) Z 18390 18390 17525 0 -1 1036 10681 0 1 0 171 9 0 0 16 0 1 0 29839345 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/18392/statm: 0 0 0 0 0 0 0
[pid=18400] ppid=18390 vsize=807376 CPUtime=10.69
/proc/18400/stat : 18400 (java) R 18390 18390 17525 0 -1 0 11952 0 1 0 1061 8 0 0 16 0 8 0 29839533 826753024 11664 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073778678 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18400/statm: 201844 11664 1507 14 0 189122 0
[pid=18400/tid=18401] ppid=18390 vsize=807376 CPUtime=0.4
/proc/18400/task/18401/stat : 18401 (java) S 18390 18390 17525 0 -1 64 5617 0 0 0 37 3 0 0 16 0 8 0 29839536 826753024 11664 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18400/tid=18402] ppid=18390 vsize=807376 CPUtime=0
/proc/18400/task/18402/stat : 18402 (java) S 18390 18390 17525 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 29839537 826753024 11664 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18400/tid=18403] ppid=18390 vsize=807376 CPUtime=0
/proc/18400/task/18403/stat : 18403 (java) S 18390 18390 17525 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 29839537 826753024 11664 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18400/tid=18404] ppid=18390 vsize=807376 CPUtime=0
/proc/18400/task/18404/stat : 18404 (java) S 18390 18390 17525 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 29839540 826753024 11664 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18400/tid=18405] ppid=18390 vsize=807376 CPUtime=0.14
/proc/18400/task/18405/stat : 18405 (java) S 18390 18390 17525 0 -1 64 419 0 0 0 13 1 0 0 16 0 8 0 29839540 826753024 11664 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18400/tid=18406] ppid=18390 vsize=807376 CPUtime=0
/proc/18400/task/18406/stat : 18406 (java) S 18390 18390 17525 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 29839540 826753024 11664 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18400/tid=18407] ppid=18390 vsize=807376 CPUtime=0
/proc/18400/task/18407/stat : 18407 (java) S 18390 18390 17525 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29839540 826753024 11664 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.52
Current children cumulated vsize (KiB) 821100
[startup+25.5283 s]
/proc/loadavg: 0.95 1.09 1.50 2/74 18407
/proc/meminfo: memFree=1842400/2055920 swapFree=4192812/4192956
[pid=18390] ppid=18388 vsize=13724 CPUtime=0.03
/proc/18390/stat : 18390 (sugar) S 18388 18390 17525 0 -1 4194304 1188 0 0 0 3 0 0 0 16 0 1 0 29839341 14053376 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 257423356002 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18390/statm: 3431 808 370 3 0 531 0
[pid=18392] ppid=18390 vsize=0 CPUtime=1.8
/proc/18392/stat : 18392 (java) Z 18390 18390 17525 0 -1 1036 10681 0 1 0 171 9 0 0 16 0 1 0 29839345 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/18392/statm: 0 0 0 0 0 0 0
[pid=18400] ppid=18390 vsize=807376 CPUtime=23.53
/proc/18400/stat : 18400 (java) R 18390 18390 17525 0 -1 0 14101 0 1 0 2343 10 0 0 17 0 8 0 29839533 826753024 13771 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073665340 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18400/statm: 201844 13771 1507 14 0 189122 0
[pid=18400/tid=18401] ppid=18390 vsize=807376 CPUtime=0.64
/proc/18400/task/18401/stat : 18401 (java) S 18390 18390 17525 0 -1 64 7724 0 0 0 60 4 0 0 16 0 8 0 29839536 826753024 13771 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18400/tid=18402] ppid=18390 vsize=807376 CPUtime=0
/proc/18400/task/18402/stat : 18402 (java) S 18390 18390 17525 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 29839537 826753024 13771 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18400/tid=18403] ppid=18390 vsize=807376 CPUtime=0
/proc/18400/task/18403/stat : 18403 (java) S 18390 18390 17525 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 29839537 826753024 13771 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18400/tid=18404] ppid=18390 vsize=807376 CPUtime=0
/proc/18400/task/18404/stat : 18404 (java) S 18390 18390 17525 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 29839540 826753024 13771 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18400/tid=18405] ppid=18390 vsize=807376 CPUtime=0.14
/proc/18400/task/18405/stat : 18405 (java) S 18390 18390 17525 0 -1 64 419 0 0 0 13 1 0 0 16 0 8 0 29839540 826753024 13771 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18400/tid=18406] ppid=18390 vsize=807376 CPUtime=0
/proc/18400/task/18406/stat : 18406 (java) S 18390 18390 17525 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 29839540 826753024 13771 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18400/tid=18407] ppid=18390 vsize=807376 CPUtime=0
/proc/18400/task/18407/stat : 18407 (java) S 18390 18390 17525 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29839540 826753024 13771 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 821100
[startup+51.1577 s]
/proc/loadavg: 0.97 1.08 1.48 2/74 18407
/proc/meminfo: memFree=1825632/2055920 swapFree=4192812/4192956
[pid=18390] ppid=18388 vsize=13724 CPUtime=0.03
/proc/18390/stat : 18390 (sugar) S 18388 18390 17525 0 -1 4194304 1188 0 0 0 3 0 0 0 16 0 1 0 29839341 14053376 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 257423356002 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18390/statm: 3431 808 370 3 0 531 0
[pid=18392] ppid=18390 vsize=0 CPUtime=1.8
/proc/18392/stat : 18392 (java) Z 18390 18390 17525 0 -1 1036 10681 0 1 0 171 9 0 0 16 0 1 0 29839345 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/18392/statm: 0 0 0 0 0 0 0
[pid=18400] ppid=18390 vsize=807376 CPUtime=49.08
/proc/18400/stat : 18400 (java) R 18390 18390 17525 0 -1 0 18306 0 1 0 4895 13 0 0 17 0 8 0 29839533 826753024 17889 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073635654 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18400/statm: 201844 17889 1507 14 0 189122 0
[pid=18400/tid=18401] ppid=18390 vsize=807376 CPUtime=1.18
/proc/18400/task/18401/stat : 18401 (java) S 18390 18390 17525 0 -1 64 11841 0 0 0 111 7 0 0 16 0 8 0 29839536 826753024 17889 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18400/tid=18402] ppid=18390 vsize=807376 CPUtime=0
/proc/18400/task/18402/stat : 18402 (java) S 18390 18390 17525 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 29839537 826753024 17889 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18400/tid=18403] ppid=18390 vsize=807376 CPUtime=0
/proc/18400/task/18403/stat : 18403 (java) S 18390 18390 17525 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 29839537 826753024 17889 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18400/tid=18404] ppid=18390 vsize=807376 CPUtime=0
/proc/18400/task/18404/stat : 18404 (java) S 18390 18390 17525 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 29839540 826753024 17889 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18400/tid=18405] ppid=18390 vsize=807376 CPUtime=0.14
/proc/18400/task/18405/stat : 18405 (java) S 18390 18390 17525 0 -1 64 420 0 0 0 13 1 0 0 16 0 8 0 29839540 826753024 17889 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18400/tid=18406] ppid=18390 vsize=807376 CPUtime=0
/proc/18400/task/18406/stat : 18406 (java) S 18390 18390 17525 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 29839540 826753024 17889 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
################
# More data... #
################
/proc/18392/stat : 18392 (java) Z 18390 18390 17525 0 -1 1036 10681 0 1 0 171 9 0 0 16 0 1 0 29839345 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/18392/statm: 0 0 0 0 0 0 0
[pid=18400] ppid=18390 vsize=807376 CPUtime=1579.71
/proc/18400/stat : 18400 (java) R 18390 18390 17525 0 -1 0 20956 0 1 0 145752 12219 0 0 19 0 8 0 29839533 826753024 20487 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18400/statm: 201844 20487 1511 14 0 189122 0
[pid=18400/tid=18401] ppid=18390 vsize=807376 CPUtime=1.5
/proc/18400/task/18401/stat : 18401 (java) S 18390 18390 17525 0 -1 64 14416 0 0 0 141 9 0 0 16 0 8 0 29839536 826753024 20487 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18400/tid=18402] ppid=18390 vsize=807376 CPUtime=0
/proc/18400/task/18402/stat : 18402 (java) S 18390 18390 17525 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 29839537 826753024 20487 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18400/tid=18403] ppid=18390 vsize=807376 CPUtime=0
/proc/18400/task/18403/stat : 18403 (java) S 18390 18390 17525 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 29839537 826753024 20487 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18400/tid=18404] ppid=18390 vsize=807376 CPUtime=0
/proc/18400/task/18404/stat : 18404 (java) S 18390 18390 17525 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 29839540 826753024 20487 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18400/tid=18405] ppid=18390 vsize=807376 CPUtime=0.16
/proc/18400/task/18405/stat : 18405 (java) S 18390 18390 17525 0 -1 64 434 0 0 0 15 1 0 0 15 0 8 0 29839540 826753024 20487 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18400/tid=18406] ppid=18390 vsize=807376 CPUtime=0
/proc/18400/task/18406/stat : 18406 (java) S 18390 18390 17525 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 29839540 826753024 20487 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18400/tid=18407] ppid=18390 vsize=807376 CPUtime=0
/proc/18400/task/18407/stat : 18407 (java) S 18390 18390 17525 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29839540 826753024 20487 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1581.54
Current children cumulated vsize (KiB) 821100
[startup+1663.36 s]
/proc/loadavg: 2.16 1.94 1.85 2/74 18489
/proc/meminfo: memFree=14888/2055920 swapFree=4192812/4192956
[pid=18390] ppid=18388 vsize=13724 CPUtime=0.03
/proc/18390/stat : 18390 (sugar) S 18388 18390 17525 0 -1 4194304 1188 0 0 0 3 0 0 0 16 0 1 0 29839341 14053376 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 257423356002 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18390/statm: 3431 808 370 3 0 531 0
[pid=18392] ppid=18390 vsize=0 CPUtime=1.8
/proc/18392/stat : 18392 (java) Z 18390 18390 17525 0 -1 1036 10681 0 1 0 171 9 0 0 16 0 1 0 29839345 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/18392/statm: 0 0 0 0 0 0 0
[pid=18400] ppid=18390 vsize=807376 CPUtime=1638.31
/proc/18400/stat : 18400 (java) R 18390 18390 17525 0 -1 0 20956 0 1 0 151166 12665 0 0 17 0 8 0 29839533 826753024 20487 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073815536 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18400/statm: 201844 20487 1511 14 0 189122 0
[pid=18400/tid=18401] ppid=18390 vsize=807376 CPUtime=1.5
/proc/18400/task/18401/stat : 18401 (java) S 18390 18390 17525 0 -1 64 14416 0 0 0 141 9 0 0 16 0 8 0 29839536 826753024 20487 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18400/tid=18402] ppid=18390 vsize=807376 CPUtime=0
/proc/18400/task/18402/stat : 18402 (java) S 18390 18390 17525 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 29839537 826753024 20487 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18400/tid=18403] ppid=18390 vsize=807376 CPUtime=0
/proc/18400/task/18403/stat : 18403 (java) S 18390 18390 17525 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 29839537 826753024 20487 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18400/tid=18404] ppid=18390 vsize=807376 CPUtime=0
/proc/18400/task/18404/stat : 18404 (java) S 18390 18390 17525 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 29839540 826753024 20487 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18400/tid=18405] ppid=18390 vsize=807376 CPUtime=0.16
/proc/18400/task/18405/stat : 18405 (java) S 18390 18390 17525 0 -1 64 434 0 0 0 15 1 0 0 15 0 8 0 29839540 826753024 20487 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18400/tid=18406] ppid=18390 vsize=807376 CPUtime=0
/proc/18400/task/18406/stat : 18406 (java) S 18390 18390 17525 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 29839540 826753024 20487 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18400/tid=18407] ppid=18390 vsize=807376 CPUtime=0
/proc/18400/task/18407/stat : 18407 (java) S 18390 18390 17525 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29839540 826753024 20487 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1640.14
Current children cumulated vsize (KiB) 821100
[startup+1723.37 s]
/proc/loadavg: 2.12 1.96 1.86 1/74 18489
/proc/meminfo: memFree=15016/2055920 swapFree=4192812/4192956
[pid=18390] ppid=18388 vsize=13724 CPUtime=0.03
/proc/18390/stat : 18390 (sugar) S 18388 18390 17525 0 -1 4194304 1188 0 0 0 3 0 0 0 16 0 1 0 29839341 14053376 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 257423356002 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18390/statm: 3431 808 370 3 0 531 0
[pid=18392] ppid=18390 vsize=0 CPUtime=1.8
/proc/18392/stat : 18392 (java) Z 18390 18390 17525 0 -1 1036 10681 0 1 0 171 9 0 0 16 0 1 0 29839345 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/18392/statm: 0 0 0 0 0 0 0
[pid=18400] ppid=18390 vsize=807376 CPUtime=1697.46
/proc/18400/stat : 18400 (java) R 18390 18390 17525 0 -1 0 20956 0 1 0 156616 13130 0 0 16 0 8 0 29839533 826753024 20487 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18400/statm: 201844 20487 1511 14 0 189122 0
[pid=18400/tid=18401] ppid=18390 vsize=807376 CPUtime=1.5
/proc/18400/task/18401/stat : 18401 (java) S 18390 18390 17525 0 -1 64 14416 0 0 0 141 9 0 0 16 0 8 0 29839536 826753024 20487 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18400/tid=18402] ppid=18390 vsize=807376 CPUtime=0
/proc/18400/task/18402/stat : 18402 (java) S 18390 18390 17525 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 29839537 826753024 20487 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18400/tid=18403] ppid=18390 vsize=807376 CPUtime=0
/proc/18400/task/18403/stat : 18403 (java) S 18390 18390 17525 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 29839537 826753024 20487 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18400/tid=18404] ppid=18390 vsize=807376 CPUtime=0
/proc/18400/task/18404/stat : 18404 (java) S 18390 18390 17525 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 29839540 826753024 20487 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18400/tid=18405] ppid=18390 vsize=807376 CPUtime=0.16
/proc/18400/task/18405/stat : 18405 (java) S 18390 18390 17525 0 -1 64 434 0 0 0 15 1 0 0 15 0 8 0 29839540 826753024 20487 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18400/tid=18406] ppid=18390 vsize=807376 CPUtime=0
/proc/18400/task/18406/stat : 18406 (java) S 18390 18390 17525 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 29839540 826753024 20487 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18400/tid=18407] ppid=18390 vsize=807376 CPUtime=0
/proc/18400/task/18407/stat : 18407 (java) S 18390 18390 17525 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29839540 826753024 20487 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1699.29
Current children cumulated vsize (KiB) 821100
[startup+1783.47 s]
/proc/loadavg: 2.17 2.00 1.88 2/74 18489
/proc/meminfo: memFree=15016/2055920 swapFree=4192812/4192956
[pid=18390] ppid=18388 vsize=13724 CPUtime=0.03
/proc/18390/stat : 18390 (sugar) S 18388 18390 17525 0 -1 4194304 1188 0 0 0 3 0 0 0 16 0 1 0 29839341 14053376 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 257423356002 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18390/statm: 3431 808 370 3 0 531 0
[pid=18392] ppid=18390 vsize=0 CPUtime=1.8
/proc/18392/stat : 18392 (java) Z 18390 18390 17525 0 -1 1036 10681 0 1 0 171 9 0 0 16 0 1 0 29839345 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/18392/statm: 0 0 0 0 0 0 0
[pid=18400] ppid=18390 vsize=807376 CPUtime=1756.72
/proc/18400/stat : 18400 (java) R 18390 18390 17525 0 -1 0 20956 0 1 0 162084 13588 0 0 16 0 8 0 29839533 826753024 20487 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152096930 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18400/statm: 201844 20487 1511 14 0 189122 0
[pid=18400/tid=18401] ppid=18390 vsize=807376 CPUtime=1.5
/proc/18400/task/18401/stat : 18401 (java) S 18390 18390 17525 0 -1 64 14416 0 0 0 141 9 0 0 16 0 8 0 29839536 826753024 20487 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18400/tid=18402] ppid=18390 vsize=807376 CPUtime=0
/proc/18400/task/18402/stat : 18402 (java) S 18390 18390 17525 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 29839537 826753024 20487 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18400/tid=18403] ppid=18390 vsize=807376 CPUtime=0
/proc/18400/task/18403/stat : 18403 (java) S 18390 18390 17525 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 29839537 826753024 20487 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18400/tid=18404] ppid=18390 vsize=807376 CPUtime=0
/proc/18400/task/18404/stat : 18404 (java) S 18390 18390 17525 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 29839540 826753024 20487 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18400/tid=18405] ppid=18390 vsize=807376 CPUtime=0.16
/proc/18400/task/18405/stat : 18405 (java) S 18390 18390 17525 0 -1 64 434 0 0 0 15 1 0 0 15 0 8 0 29839540 826753024 20487 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18400/tid=18406] ppid=18390 vsize=807376 CPUtime=0
/proc/18400/task/18406/stat : 18406 (java) S 18390 18390 17525 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 29839540 826753024 20487 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18400/tid=18407] ppid=18390 vsize=807376 CPUtime=0
/proc/18400/task/18407/stat : 18407 (java) S 18390 18390 17525 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29839540 826753024 20487 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1758.55
Current children cumulated vsize (KiB) 821100
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1825.45 s]
/proc/loadavg: 2.08 2.00 1.88 2/74 18489
/proc/meminfo: memFree=15976/2055920 swapFree=4192812/4192956
[pid=18390] ppid=18388 vsize=13724 CPUtime=0.03
/proc/18390/stat : 18390 (sugar) S 18388 18390 17525 0 -1 4194304 1188 0 0 0 3 0 0 0 16 0 1 0 29839341 14053376 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 257423356002 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18390/statm: 3431 808 370 3 0 531 0
[pid=18392] ppid=18390 vsize=0 CPUtime=1.8
/proc/18392/stat : 18392 (java) Z 18390 18390 17525 0 -1 1036 10681 0 1 0 171 9 0 0 16 0 1 0 29839345 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/18392/statm: 0 0 0 0 0 0 0
[pid=18400] ppid=18390 vsize=807376 CPUtime=1798.26
/proc/18400/stat : 18400 (java) R 18390 18390 17525 0 -1 0 20956 0 1 0 165898 13928 0 0 25 0 8 0 29839533 826753024 20487 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18400/statm: 201844 20487 1511 14 0 189122 0
[pid=18400/tid=18401] ppid=18390 vsize=807376 CPUtime=1.5
/proc/18400/task/18401/stat : 18401 (java) S 18390 18390 17525 0 -1 64 14416 0 0 0 141 9 0 0 16 0 8 0 29839536 826753024 20487 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18400/tid=18402] ppid=18390 vsize=807376 CPUtime=0
/proc/18400/task/18402/stat : 18402 (java) S 18390 18390 17525 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 29839537 826753024 20487 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18400/tid=18403] ppid=18390 vsize=807376 CPUtime=0
/proc/18400/task/18403/stat : 18403 (java) S 18390 18390 17525 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 29839537 826753024 20487 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18400/tid=18404] ppid=18390 vsize=807376 CPUtime=0
/proc/18400/task/18404/stat : 18404 (java) S 18390 18390 17525 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 29839540 826753024 20487 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18400/tid=18405] ppid=18390 vsize=807376 CPUtime=0.16
/proc/18400/task/18405/stat : 18405 (java) S 18390 18390 17525 0 -1 64 434 0 0 0 15 1 0 0 15 0 8 0 29839540 826753024 20487 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18400/tid=18406] ppid=18390 vsize=807376 CPUtime=0
/proc/18400/task/18406/stat : 18406 (java) S 18390 18390 17525 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 29839540 826753024 20487 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18400/tid=18407] ppid=18390 vsize=807376 CPUtime=0
/proc/18400/task/18407/stat : 18407 (java) S 18390 18390 17525 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29839540 826753024 20487 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 821100
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
[startup+1843.53 s]
/proc/loadavg: 1.91 1.97 1.87 1/67 18492
/proc/meminfo: memFree=1959144/2055920 swapFree=4192812/4192956
[pid=18390] ppid=18388 vsize=13724 CPUtime=1.85
/proc/18390/stat : 18390 (sugar) D 18388 18390 17525 0 -1 4194304 1212 0 1 0 3 182 0 0 18 0 1 0 29839341 14053376 810 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 257414632489 256 16384 4224 16386 18446744071563608240 0 0 17 0 0 0
/proc/18390/statm: 3431 810 372 3 0 531 0
[pid=18392] ppid=18390 vsize=0 CPUtime=1.8
/proc/18392/stat : 18392 (java) Z 18390 18390 17525 0 -1 1036 10681 0 1 0 171 9 0 0 16 0 1 0 29839345 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/18392/statm: 0 0 0 0 0 0 0
[pid=18400] ppid=18390 vsize=0 CPUtime=1798.33
/proc/18400/stat : 18400 (java) Z 18390 18390 17525 0 -1 1036 20971 0 4 0 165902 13931 0 0 22 0 1 0 29839533 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/18400/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1801.98
Current children cumulated vsize (KiB) 13724
Child ended because it received signal 9 (SIGKILL)
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 18390 and gives childrusage.ru_utime.tv_sec=0 childrusage.ru_utime.tv_usec=36994 childrusage.ru_stime.tv_sec=3 childrusage.ru_stime.tv_usec=326494
CPU time returned by wait4() is 3.36349
while last known CPU time is 1803.48
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 1869.03
CPU time (s): 1803.48
CPU user time (s): 1660.76
CPU system time (s): 142.72
CPU usage (%): 96.493
Max. virtual memory (cumulated for all children) (KiB): 821140
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.036994
system time used= 3.32649
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1212
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= 7589
involuntary context switches= 4
runsolver used 1.9437 s user time and 5.07923 s system time
The end
Begin job on node68 on Mon Jan 29 19:26:57 UTC 2007
IDJOB= 212099
IDBENCH= 4744
IDSOLVER= 86
FILE ID= node68/212099-1170098816
PBS_JOBID= 3689687
Free space on /tmp= 66563 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/mpsReduced/mps-red-UMTS.xml
COMMAND LINE= /tmp/evaluation/212099-1170098816/solver /tmp/evaluation/212099-1170098816 /tmp/evaluation/212099-1170098816/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node68/watcher-212099-1170098816 -o ROOT/results/node68/solver-212099-1170098816 -C 1800 -M 900 /tmp/evaluation/212099-1170098816/solver /tmp/evaluation/212099-1170098816 /tmp/evaluation/212099-1170098816/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= 1c1c9d6bde705c8da57a1f448b3eb70e
RANDOM SEED= 75499525
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.234
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.234
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1894592 kB
Buffers: 34516 kB
Cached: 60344 kB
SwapCached: 0 kB
Active: 48976 kB
Inactive: 61652 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1894592 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1932 kB
Writeback: 0 kB
Mapped: 25892 kB
Slab: 36756 kB
Committed_AS: 148260 kB
PageTables: 1380 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= 66563 MiB
End job on node68 on Mon Jan 29 19:58:07 UTC 2007