0.05 c # Sugar v0-40 (/tmp/evaluation/226252-1170104759/sugar-v0-40.jar)
0.05
0.05 c # MAIN BEGIN : /tmp/evaluation/226252-1170104759/unknown.xml [Mon Jan 29 22:05:59 2007]
0.05 c # CONVERT_XML BEGIN : /tmp/evaluation/226252-1170104759/unknown.xml /tmp/evaluation/226252-1170104759/sugar18616.csp [Mon Jan 29 22:05:59 2007]
0.05 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/226252-1170104759/sugar-v0-40.jar -convert /tmp/evaluation/226252-1170104759/unknown.xml /tmp/evaluation/226252-1170104759/sugar18616.csp
0.18 c BEGIN convert /tmp/evaluation/226252-1170104759/unknown.xml
0.83 c END convert (0.650492 seconds)
0.86 c # CONVERT_XML END : /tmp/evaluation/226252-1170104759/sugar18616.csp 2345467 bytes (1 seconds) [Mon Jan 29 22:06:00 2007]
0.86 c # CONVERT_XML CPU : 0.76 = 0 + 0 + 0.7 + 0.06
0.86
0.86 c # GENERATE_SAT BEGIN : /tmp/evaluation/226252-1170104759/sugar18616.bcnf [Mon Jan 29 22:06:00 2007]
0.86 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/226252-1170104759/sugar-v0-40.jar -bcnf -map /tmp/evaluation/226252-1170104759/sugar18616.map /tmp/evaluation/226252-1170104759/sugar18616.csp /tmp/evaluation/226252-1170104759/sugar18616.bcnf
0.98 c BEGIN parse /tmp/evaluation/226252-1170104759/sugar18616.csp
1808.47
1808.47 s UNKNOWN
1808.47 c # INTERRUPTED
1808.47 c # MAIN END : (1808 seconds) [Mon Jan 29 22:36:07 2007]
1808.47 c # MAIN CPU : 0.76 = 0 + 0 + 0.7 + 0.06
1808.47
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node41/watcher-226252-1170104759 -o ROOT/results/node41/solver-226252-1170104759 -C 1800 -M 900 /tmp/evaluation/226252-1170104759/solver /tmp/evaluation/226252-1170104759 /tmp/evaluation/226252-1170104759/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.00 2.00 2.04 3/81 18617
/proc/meminfo: memFree=1684520/2055920 swapFree=4192812/4192956
[pid=18616] ppid=18614 vsize=5352 CPUtime=0
/proc/18616/stat : 18616 (solver) R 18614 18616 18149 0 -1 4194304 263 0 0 0 0 0 0 0 20 0 1 0 30431827 5480448 230 18446744073709551615 4194304 4889804 548682069296 18446744073709551615 4375883 0 0 4100 65536 0 0 0 17 1 0 0
/proc/18616/statm: 1338 230 193 169 0 49 0
[startup+0.104494 s]
/proc/loadavg: 2.00 2.00 2.04 3/81 18617
/proc/meminfo: memFree=1684520/2055920 swapFree=4192812/4192956
[pid=18616] ppid=18614 vsize=13724 CPUtime=0.04
/proc/18616/stat : 18616 (sugar) S 18614 18616 18149 0 -1 4194304 1112 0 0 0 3 1 0 0 20 0 1 0 30431827 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238399041634 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18616/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+0.51253 s]
/proc/loadavg: 2.00 2.00 2.04 3/81 18617
/proc/meminfo: memFree=1684520/2055920 swapFree=4192812/4192956
[pid=18616] ppid=18614 vsize=13724 CPUtime=0.04
/proc/18616/stat : 18616 (sugar) S 18614 18616 18149 0 -1 4194304 1121 0 0 0 3 1 0 0 15 0 1 0 30431827 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238399041634 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18616/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+1.34261 s]
/proc/loadavg: 2.00 2.00 2.04 3/89 18633
/proc/meminfo: memFree=1668008/2055920 swapFree=4192812/4192956
[pid=18616] ppid=18614 vsize=13724 CPUtime=0.8
/proc/18616/stat : 18616 (sugar) S 18614 18616 18149 0 -1 4194304 1190 7930 0 1 3 1 70 6 16 0 1 0 30431827 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238399041634 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/18616/statm: 3431 809 371 3 0 531 0
[pid=18626] ppid=18616 vsize=808088 CPUtime=0.47
/proc/18626/stat : 18626 (java) R 18616 18616 18149 0 -1 0 7404 0 1 0 42 5 0 0 25 0 8 0 30431914 827482112 7153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073481319 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18626/statm: 202022 7153 1494 14 0 189300 0
[pid=18626/tid=18627] ppid=18616 vsize=808088 CPUtime=0.05
/proc/18626/task/18627/stat : 18627 (java) S 18616 18616 18149 0 -1 64 1353 0 0 0 4 1 0 0 16 0 8 0 30431917 827482112 7153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18626/tid=18628] ppid=18616 vsize=808088 CPUtime=0
/proc/18626/task/18628/stat : 18628 (java) S 18616 18616 18149 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30431918 827482112 7153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18626/tid=18629] ppid=18616 vsize=808088 CPUtime=0
/proc/18626/task/18629/stat : 18629 (java) S 18616 18616 18149 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30431918 827482112 7153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18626/tid=18630] ppid=18616 vsize=808088 CPUtime=0
/proc/18626/task/18630/stat : 18630 (java) S 18616 18616 18149 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 30431921 827482112 7153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18626/tid=18631] ppid=18616 vsize=808088 CPUtime=0.04
/proc/18626/task/18631/stat : 18631 (java) S 18616 18616 18149 0 -1 64 290 0 0 0 4 0 0 0 19 0 8 0 30431921 827482112 7153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18626/tid=18632] ppid=18616 vsize=808088 CPUtime=0
/proc/18626/task/18632/stat : 18632 (java) S 18616 18616 18149 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 30431921 827482112 7153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18626/tid=18633] ppid=18616 vsize=808088 CPUtime=0
/proc/18626/task/18633/stat : 18633 (java) S 18616 18616 18149 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 30431921 827482112 7153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 821812
[startup+2.99575 s]
/proc/loadavg: 2.00 2.00 2.04 4/89 18633
/proc/meminfo: memFree=1640424/2055920 swapFree=4192812/4192956
[pid=18616] ppid=18614 vsize=13724 CPUtime=0.8
/proc/18616/stat : 18616 (sugar) S 18614 18616 18149 0 -1 4194304 1190 7930 0 1 3 1 70 6 16 0 1 0 30431827 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238399041634 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/18616/statm: 3431 809 371 3 0 531 0
[pid=18626] ppid=18616 vsize=808088 CPUtime=2.1
/proc/18626/stat : 18626 (java) R 18616 18616 18149 0 -1 0 14891 0 1 0 201 9 0 0 25 0 8 0 30431914 827482112 14624 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073507715 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18626/statm: 202022 14624 1494 14 0 189300 0
[pid=18626/tid=18627] ppid=18616 vsize=808088 CPUtime=0.59
/proc/18626/task/18627/stat : 18627 (java) S 18616 18616 18149 0 -1 64 8824 0 0 0 54 5 0 0 16 0 8 0 30431917 827482112 14624 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18626/tid=18628] ppid=18616 vsize=808088 CPUtime=0
/proc/18626/task/18628/stat : 18628 (java) S 18616 18616 18149 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30431918 827482112 14624 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18626/tid=18629] ppid=18616 vsize=808088 CPUtime=0
/proc/18626/task/18629/stat : 18629 (java) S 18616 18616 18149 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30431918 827482112 14624 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18626/tid=18630] ppid=18616 vsize=808088 CPUtime=0
/proc/18626/task/18630/stat : 18630 (java) S 18616 18616 18149 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 30431921 827482112 14624 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18626/tid=18631] ppid=18616 vsize=808088 CPUtime=0.04
/proc/18626/task/18631/stat : 18631 (java) S 18616 18616 18149 0 -1 64 290 0 0 0 4 0 0 0 19 0 8 0 30431921 827482112 14624 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18626/tid=18632] ppid=18616 vsize=808088 CPUtime=0
/proc/18626/task/18632/stat : 18632 (java) S 18616 18616 18149 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 30431921 827482112 14624 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18626/tid=18633] ppid=18616 vsize=808088 CPUtime=0
/proc/18626/task/18633/stat : 18633 (java) S 18616 18616 18149 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 30431921 827482112 14624 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 821812
[startup+6.24105 s]
/proc/loadavg: 2.00 2.00 2.04 4/89 18633
/proc/meminfo: memFree=1555688/2055920 swapFree=4192812/4192956
[pid=18616] ppid=18614 vsize=13724 CPUtime=0.8
/proc/18616/stat : 18616 (sugar) S 18614 18616 18149 0 -1 4194304 1190 7930 0 1 3 1 70 6 16 0 1 0 30431827 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238399041634 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/18616/statm: 3431 809 371 3 0 531 0
[pid=18626] ppid=18616 vsize=808364 CPUtime=5.33
/proc/18626/stat : 18626 (java) R 18616 18616 18149 0 -1 0 37000 0 1 0 511 22 0 0 25 0 8 0 30431914 827764736 36647 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073590802 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18626/statm: 202091 36647 1506 14 0 189369 0
[pid=18626/tid=18627] ppid=18616 vsize=808364 CPUtime=1.68
/proc/18626/task/18627/stat : 18627 (java) S 18616 18616 18149 0 -1 64 30708 0 0 0 152 16 0 0 16 0 8 0 30431917 827764736 36647 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18626/tid=18628] ppid=18616 vsize=808364 CPUtime=0
/proc/18626/task/18628/stat : 18628 (java) S 18616 18616 18149 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30431918 827764736 36647 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18626/tid=18629] ppid=18616 vsize=808364 CPUtime=0
/proc/18626/task/18629/stat : 18629 (java) S 18616 18616 18149 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30431918 827764736 36647 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18626/tid=18630] ppid=18616 vsize=808364 CPUtime=0
/proc/18626/task/18630/stat : 18630 (java) S 18616 18616 18149 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 30431921 827764736 36647 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18626/tid=18631] ppid=18616 vsize=808364 CPUtime=0.1
/proc/18626/task/18631/stat : 18631 (java) S 18616 18616 18149 0 -1 64 383 0 0 0 10 0 0 0 16 0 8 0 30431921 827764736 36647 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18626/tid=18632] ppid=18616 vsize=808364 CPUtime=0
/proc/18626/task/18632/stat : 18632 (java) S 18616 18616 18149 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 30431921 827764736 36647 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18626/tid=18633] ppid=18616 vsize=808364 CPUtime=0
/proc/18626/task/18633/stat : 18633 (java) S 18616 18616 18149 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 30431921 827764736 36647 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 822088
[startup+12.7311 s]
/proc/loadavg: 2.07 2.02 2.04 3/89 18633
/proc/meminfo: memFree=1469032/2055920 swapFree=4192812/4192956
[pid=18616] ppid=18614 vsize=13724 CPUtime=0.8
/proc/18616/stat : 18616 (sugar) S 18614 18616 18149 0 -1 4194304 1190 7930 0 1 3 1 70 6 16 0 1 0 30431827 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238399041634 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/18616/statm: 3431 809 371 3 0 531 0
[pid=18626] ppid=18616 vsize=808364 CPUtime=11.79
/proc/18626/stat : 18626 (java) R 18616 18616 18149 0 -1 0 55408 0 1 0 1146 33 0 0 25 0 8 0 30431914 827764736 54101 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18626/statm: 202091 54101 1507 14 0 189369 0
[pid=18626/tid=18627] ppid=18616 vsize=808364 CPUtime=4.33
/proc/18626/task/18627/stat : 18627 (java) R 18616 18616 18149 0 -1 64 48907 0 0 0 407 26 0 0 15 0 8 0 30431917 827764736 54101 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153444177 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18626/tid=18628] ppid=18616 vsize=808364 CPUtime=0
/proc/18626/task/18628/stat : 18628 (java) S 18616 18616 18149 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30431918 827764736 54101 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18626/tid=18629] ppid=18616 vsize=808364 CPUtime=0
/proc/18626/task/18629/stat : 18629 (java) S 18616 18616 18149 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30431918 827764736 54101 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18626/tid=18630] ppid=18616 vsize=808364 CPUtime=0
/proc/18626/task/18630/stat : 18630 (java) S 18616 18616 18149 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 30431921 827764736 54101 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18626/tid=18631] ppid=18616 vsize=808364 CPUtime=0.11
/proc/18626/task/18631/stat : 18631 (java) S 18616 18616 18149 0 -1 64 387 0 0 0 11 0 0 0 16 0 8 0 30431921 827764736 54101 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18626/tid=18632] ppid=18616 vsize=808364 CPUtime=0
/proc/18626/task/18632/stat : 18632 (java) S 18616 18616 18149 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 30431921 827764736 54101 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18626/tid=18633] ppid=18616 vsize=808364 CPUtime=0
/proc/18626/task/18633/stat : 18633 (java) S 18616 18616 18149 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 30431921 827764736 54101 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 822088
[startup+25.5417 s]
/proc/loadavg: 2.21 2.05 2.05 4/89 18633
/proc/meminfo: memFree=1468456/2055920 swapFree=4192812/4192956
[pid=18616] ppid=18614 vsize=13724 CPUtime=0.8
/proc/18616/stat : 18616 (sugar) S 18614 18616 18149 0 -1 4194304 1190 7930 0 1 3 1 70 6 16 0 1 0 30431827 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238399041634 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/18616/statm: 3431 809 371 3 0 531 0
[pid=18626] ppid=18616 vsize=808364 CPUtime=24.53
/proc/18626/stat : 18626 (java) R 18616 18616 18149 0 -1 0 58996 0 1 0 2413 40 0 0 25 0 8 0 30431914 827764736 54105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073332702 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18626/statm: 202091 54105 1507 14 0 189369 0
[pid=18626/tid=18627] ppid=18616 vsize=808364 CPUtime=10.43
/proc/18626/task/18627/stat : 18627 (java) S 18616 18616 18149 0 -1 64 52132 0 0 0 1011 32 0 0 16 0 8 0 30431917 827764736 54105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18626/tid=18628] ppid=18616 vsize=808364 CPUtime=0
/proc/18626/task/18628/stat : 18628 (java) S 18616 18616 18149 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30431918 827764736 54105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18626/tid=18629] ppid=18616 vsize=808364 CPUtime=0
/proc/18626/task/18629/stat : 18629 (java) S 18616 18616 18149 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30431918 827764736 54105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18626/tid=18630] ppid=18616 vsize=808364 CPUtime=0
/proc/18626/task/18630/stat : 18630 (java) S 18616 18616 18149 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 30431921 827764736 54105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18626/tid=18631] ppid=18616 vsize=808364 CPUtime=0.12
/proc/18626/task/18631/stat : 18631 (java) S 18616 18616 18149 0 -1 64 391 0 0 0 12 0 0 0 17 0 8 0 30431921 827764736 54105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18626/tid=18632] ppid=18616 vsize=808364 CPUtime=0
/proc/18626/task/18632/stat : 18632 (java) S 18616 18616 18149 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 30431921 827764736 54105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18626/tid=18633] ppid=18616 vsize=808364 CPUtime=0
/proc/18626/task/18633/stat : 18633 (java) S 18616 18616 18149 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 30431921 827764736 54105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.33
Current children cumulated vsize (KiB) 822088
[startup+51.176 s]
/proc/loadavg: 2.70 2.18 2.09 3/89 18633
/proc/meminfo: memFree=1469032/2055920 swapFree=4192812/4192956
[pid=18616] ppid=18614 vsize=13724 CPUtime=0.8
/proc/18616/stat : 18616 (sugar) S 18614 18616 18149 0 -1 4194304 1190 7930 0 1 3 1 70 6 16 0 1 0 30431827 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238399041634 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/18616/statm: 3431 809 371 3 0 531 0
[pid=18626] ppid=18616 vsize=808364 CPUtime=49.99
/proc/18626/stat : 18626 (java) R 18616 18616 18149 0 -1 0 66300 0 1 0 4944 55 0 0 25 0 8 0 30431914 827764736 54172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18626/statm: 202091 54172 1507 14 0 189369 0
[pid=18626/tid=18627] ppid=18616 vsize=808364 CPUtime=22.79
/proc/18626/task/18627/stat : 18627 (java) R 18616 18616 18149 0 -1 64 58705 0 0 0 2237 42 0 0 16 0 8 0 30431917 827764736 54172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155525058 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18626/tid=18628] ppid=18616 vsize=808364 CPUtime=0
/proc/18626/task/18628/stat : 18628 (java) S 18616 18616 18149 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30431918 827764736 54172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18626/tid=18629] ppid=18616 vsize=808364 CPUtime=0
/proc/18626/task/18629/stat : 18629 (java) S 18616 18616 18149 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30431918 827764736 54172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18626/tid=18630] ppid=18616 vsize=808364 CPUtime=0
/proc/18626/task/18630/stat : 18630 (java) S 18616 18616 18149 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 30431921 827764736 54172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18626/tid=18631] ppid=18616 vsize=808364 CPUtime=0.13
/proc/18626/task/18631/stat : 18631 (java) S 18616 18616 18149 0 -1 64 397 0 0 0 13 0 0 0 17 0 8 0 30431921 827764736 54172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18626/tid=18632] ppid=18616 vsize=808364 CPUtime=0
/proc/18626/task/18632/stat : 18632 (java) S 18616 18616 18149 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 30431921 827764736 54172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18626/tid=18633] ppid=18616 vsize=808364 CPUtime=0
/proc/18626/task/18633/stat : 18633 (java) S 18616 18616 18149 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 30431921 827764736 54172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.79
Current children cumulated vsize (KiB) 822088
[startup+102.386 s]
/proc/loadavg: 3.18 2.37 2.16 3/89 18633
/proc/meminfo: memFree=1468968/2055920 swapFree=4192812/4192956
[pid=18616] ppid=18614 vsize=13724 CPUtime=0.8
/proc/18616/stat : 18616 (sugar) S 18614 18616 18149 0 -1 4194304 1190 7930 0 1 3 1 70 6 16 0 1 0 30431827 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238399041634 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/18616/statm: 3431 809 371 3 0 531 0
[pid=18626] ppid=18616 vsize=808364 CPUtime=100.93
/proc/18626/stat : 18626 (java) R 18616 18616 18149 0 -1 0 79544 0 1 0 10012 81 0 0 25 0 8 0 30431914 827764736 54188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18626/statm: 202091 54188 1507 14 0 189369 0
[pid=18626/tid=18627] ppid=18616 vsize=808364 CPUtime=48.49
################
# More data... #
################
/proc/loadavg: 2.11 2.59 2.71 3/89 18633
/proc/meminfo: memFree=673384/2055920 swapFree=4192812/4192956
[pid=18616] ppid=18614 vsize=13724 CPUtime=0.8
/proc/18616/stat : 18616 (sugar) S 18614 18616 18149 0 -1 4194304 1190 7930 0 1 3 1 70 6 16 0 1 0 30431827 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238399041634 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/18616/statm: 3431 809 371 3 0 531 0
[pid=18626] ppid=18616 vsize=808868 CPUtime=1535.99
/proc/18626/stat : 18626 (java) S 18616 18616 18149 0 -1 0 269957 0 1 0 153277 322 0 0 17 0 8 0 30431914 828280832 153192 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18626/statm: 202217 153192 1507 14 0 189495 0
[pid=18626/tid=18627] ppid=18616 vsize=808868 CPUtime=1061.66
/proc/18626/task/18627/stat : 18627 (java) R 18616 18616 18149 0 -1 64 250782 0 0 0 105920 246 0 0 25 0 8 0 30431917 828280832 153192 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155525081 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18626/tid=18628] ppid=18616 vsize=808868 CPUtime=0
/proc/18626/task/18628/stat : 18628 (java) S 18616 18616 18149 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30431918 828280832 153192 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18626/tid=18629] ppid=18616 vsize=808868 CPUtime=0
/proc/18626/task/18629/stat : 18629 (java) S 18616 18616 18149 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30431918 828280832 153192 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18626/tid=18630] ppid=18616 vsize=808868 CPUtime=0
/proc/18626/task/18630/stat : 18630 (java) S 18616 18616 18149 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 30431921 828280832 153192 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18626/tid=18631] ppid=18616 vsize=808868 CPUtime=0.14
/proc/18626/task/18631/stat : 18631 (java) S 18616 18616 18149 0 -1 64 398 0 0 0 14 0 0 0 17 0 8 0 30431921 828280832 153192 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18626/tid=18632] ppid=18616 vsize=808868 CPUtime=0
/proc/18626/task/18632/stat : 18632 (java) S 18616 18616 18149 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 30431921 828280832 153192 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18626/tid=18633] ppid=18616 vsize=808868 CPUtime=0.02
/proc/18626/task/18633/stat : 18633 (java) S 18616 18616 18149 0 -1 64 2 0 0 0 1 1 0 0 15 0 8 0 30431921 828280832 153192 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1536.79
Current children cumulated vsize (KiB) 822592
[startup+1603.74 s]
/proc/loadavg: 2.07 2.50 2.67 3/89 18633
/proc/meminfo: memFree=668008/2055920 swapFree=4192812/4192956
[pid=18616] ppid=18614 vsize=13724 CPUtime=0.8
/proc/18616/stat : 18616 (sugar) S 18614 18616 18149 0 -1 4194304 1190 7930 0 1 3 1 70 6 16 0 1 0 30431827 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238399041634 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/18616/statm: 3431 809 371 3 0 531 0
[pid=18626] ppid=18616 vsize=808868 CPUtime=1595.73
/proc/18626/stat : 18626 (java) S 18616 18616 18149 0 -1 0 275202 0 1 0 159247 326 0 0 17 0 8 0 30431914 828280832 153878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18626/statm: 202217 153878 1507 14 0 189495 0
[pid=18626/tid=18627] ppid=18616 vsize=808868 CPUtime=1119.21
/proc/18626/task/18627/stat : 18627 (java) R 18616 18616 18149 0 -1 64 255980 0 0 0 111671 250 0 0 25 0 8 0 30431917 828280832 153878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155222440 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18626/tid=18628] ppid=18616 vsize=808868 CPUtime=0
/proc/18626/task/18628/stat : 18628 (java) S 18616 18616 18149 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30431918 828280832 153878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18626/tid=18629] ppid=18616 vsize=808868 CPUtime=0
/proc/18626/task/18629/stat : 18629 (java) S 18616 18616 18149 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30431918 828280832 153878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18626/tid=18630] ppid=18616 vsize=808868 CPUtime=0
/proc/18626/task/18630/stat : 18630 (java) S 18616 18616 18149 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 30431921 828280832 153878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18626/tid=18631] ppid=18616 vsize=808868 CPUtime=0.14
/proc/18626/task/18631/stat : 18631 (java) S 18616 18616 18149 0 -1 64 398 0 0 0 14 0 0 0 17 0 8 0 30431921 828280832 153878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18626/tid=18632] ppid=18616 vsize=808868 CPUtime=0
/proc/18626/task/18632/stat : 18632 (java) S 18616 18616 18149 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 30431921 828280832 153878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18626/tid=18633] ppid=18616 vsize=808868 CPUtime=0.02
/proc/18626/task/18633/stat : 18633 (java) S 18616 18616 18149 0 -1 64 2 0 0 0 1 1 0 0 15 0 8 0 30431921 828280832 153878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1596.53
Current children cumulated vsize (KiB) 822592
[startup+1663.8 s]
/proc/loadavg: 2.15 2.44 2.64 3/89 18633
/proc/meminfo: memFree=665320/2055920 swapFree=4192812/4192956
[pid=18616] ppid=18614 vsize=13724 CPUtime=0.8
/proc/18616/stat : 18616 (sugar) S 18614 18616 18149 0 -1 4194304 1190 7930 0 1 3 1 70 6 16 0 1 0 30431827 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238399041634 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/18616/statm: 3431 809 371 3 0 531 0
[pid=18626] ppid=18616 vsize=808364 CPUtime=1655.46
/proc/18626/stat : 18626 (java) S 18616 18616 18149 0 -1 0 280409 0 1 0 165217 329 0 0 17 0 8 0 30431914 827764736 154429 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18626/statm: 202091 154429 1507 14 0 189369 0
[pid=18626/tid=18627] ppid=18616 vsize=808364 CPUtime=1176.75
/proc/18626/task/18627/stat : 18627 (java) R 18616 18616 18149 0 -1 64 261139 0 0 0 117422 253 0 0 25 0 8 0 30431917 827764736 154429 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155780666 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18626/tid=18628] ppid=18616 vsize=808364 CPUtime=0
/proc/18626/task/18628/stat : 18628 (java) S 18616 18616 18149 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30431918 827764736 154429 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18626/tid=18629] ppid=18616 vsize=808364 CPUtime=0
/proc/18626/task/18629/stat : 18629 (java) S 18616 18616 18149 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30431918 827764736 154429 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18626/tid=18630] ppid=18616 vsize=808364 CPUtime=0
/proc/18626/task/18630/stat : 18630 (java) S 18616 18616 18149 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 30431921 827764736 154429 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18626/tid=18631] ppid=18616 vsize=808364 CPUtime=0.14
/proc/18626/task/18631/stat : 18631 (java) S 18616 18616 18149 0 -1 64 398 0 0 0 14 0 0 0 17 0 8 0 30431921 827764736 154429 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18626/tid=18632] ppid=18616 vsize=808364 CPUtime=0
/proc/18626/task/18632/stat : 18632 (java) S 18616 18616 18149 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 30431921 827764736 154429 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18626/tid=18633] ppid=18616 vsize=808364 CPUtime=0.02
/proc/18626/task/18633/stat : 18633 (java) S 18616 18616 18149 0 -1 64 2 0 0 0 1 1 0 0 15 0 8 0 30431921 827764736 154429 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1656.26
Current children cumulated vsize (KiB) 822088
[startup+1723.86 s]
/proc/loadavg: 2.05 2.35 2.60 3/89 18633
/proc/meminfo: memFree=658984/2055920 swapFree=4192812/4192956
[pid=18616] ppid=18614 vsize=13724 CPUtime=0.8
/proc/18616/stat : 18616 (sugar) S 18614 18616 18149 0 -1 4194304 1190 7930 0 1 3 1 70 6 16 0 1 0 30431827 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238399041634 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/18616/statm: 3431 809 371 3 0 531 0
[pid=18626] ppid=18616 vsize=808868 CPUtime=1715.21
/proc/18626/stat : 18626 (java) S 18616 18616 18149 0 -1 0 285682 0 1 0 171188 333 0 0 17 0 8 0 30431914 828280832 155140 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18626/statm: 202217 155140 1507 14 0 189495 0
[pid=18626/tid=18627] ppid=18616 vsize=808868 CPUtime=1234.33
/proc/18626/task/18627/stat : 18627 (java) R 18616 18616 18149 0 -1 64 266365 0 0 0 123176 257 0 0 25 0 8 0 30431917 828280832 155140 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155134188 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18626/tid=18628] ppid=18616 vsize=808868 CPUtime=0
/proc/18626/task/18628/stat : 18628 (java) S 18616 18616 18149 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30431918 828280832 155140 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18626/tid=18629] ppid=18616 vsize=808868 CPUtime=0
/proc/18626/task/18629/stat : 18629 (java) S 18616 18616 18149 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30431918 828280832 155140 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18626/tid=18630] ppid=18616 vsize=808868 CPUtime=0
/proc/18626/task/18630/stat : 18630 (java) S 18616 18616 18149 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 30431921 828280832 155140 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18626/tid=18631] ppid=18616 vsize=808868 CPUtime=0.14
/proc/18626/task/18631/stat : 18631 (java) S 18616 18616 18149 0 -1 64 398 0 0 0 14 0 0 0 17 0 8 0 30431921 828280832 155140 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18626/tid=18632] ppid=18616 vsize=808868 CPUtime=0
/proc/18626/task/18632/stat : 18632 (java) S 18616 18616 18149 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 30431921 828280832 155140 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18626/tid=18633] ppid=18616 vsize=808868 CPUtime=0.02
/proc/18626/task/18633/stat : 18633 (java) S 18616 18616 18149 0 -1 64 2 0 0 0 1 1 0 0 15 0 8 0 30431921 828280832 155140 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1716.01
Current children cumulated vsize (KiB) 822592
[startup+1783.94 s]
/proc/loadavg: 2.06 2.30 2.56 3/89 18635
/proc/meminfo: memFree=654760/2055920 swapFree=4192812/4192956
[pid=18616] ppid=18614 vsize=13724 CPUtime=0.8
/proc/18616/stat : 18616 (sugar) S 18614 18616 18149 0 -1 4194304 1190 7930 0 1 3 1 70 6 16 0 1 0 30431827 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238399041634 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/18616/statm: 3431 809 371 3 0 531 0
[pid=18626] ppid=18616 vsize=808868 CPUtime=1774.95
/proc/18626/stat : 18626 (java) S 18616 18616 18149 0 -1 0 290282 0 1 0 177159 336 0 0 17 0 8 0 30431914 828280832 155140 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18626/statm: 202217 155140 1507 14 0 189495 0
[pid=18626/tid=18627] ppid=18616 vsize=808868 CPUtime=1291.82
/proc/18626/task/18627/stat : 18627 (java) R 18616 18616 18149 0 -1 64 270919 0 0 0 128922 260 0 0 25 0 8 0 30431917 828280832 155140 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154022744 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18626/tid=18628] ppid=18616 vsize=808868 CPUtime=0
/proc/18626/task/18628/stat : 18628 (java) S 18616 18616 18149 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30431918 828280832 155140 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18626/tid=18629] ppid=18616 vsize=808868 CPUtime=0
/proc/18626/task/18629/stat : 18629 (java) S 18616 18616 18149 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30431918 828280832 155140 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18626/tid=18630] ppid=18616 vsize=808868 CPUtime=0
/proc/18626/task/18630/stat : 18630 (java) S 18616 18616 18149 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 30431921 828280832 155140 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18626/tid=18631] ppid=18616 vsize=808868 CPUtime=0.14
/proc/18626/task/18631/stat : 18631 (java) S 18616 18616 18149 0 -1 64 398 0 0 0 14 0 0 0 17 0 8 0 30431921 828280832 155140 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18626/tid=18632] ppid=18616 vsize=808868 CPUtime=0
/proc/18626/task/18632/stat : 18632 (java) S 18616 18616 18149 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 30431921 828280832 155140 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18626/tid=18633] ppid=18616 vsize=808868 CPUtime=0.02
/proc/18626/task/18633/stat : 18633 (java) S 18616 18616 18149 0 -1 64 2 0 0 0 1 1 0 0 15 0 8 0 30431921 828280832 155140 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1775.75
Current children cumulated vsize (KiB) 822592
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1808.46 s]
/proc/loadavg: 2.11 2.29 2.55 3/90 18701
/proc/meminfo: memFree=1146272/2055920 swapFree=4192812/4192956
[pid=18616] ppid=18614 vsize=13724 CPUtime=0.8
/proc/18616/stat : 18616 (sugar) S 18614 18616 18149 0 -1 4194304 1190 7930 0 1 3 1 70 6 16 0 1 0 30431827 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238399041634 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/18616/statm: 3431 809 371 3 0 531 0
[pid=18626] ppid=18616 vsize=808868 CPUtime=1799.28
/proc/18626/stat : 18626 (java) S 18616 18616 18149 0 -1 0 292418 0 1 0 179590 338 0 0 17 0 8 0 30431914 828280832 155376 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18626/statm: 202217 155376 1507 14 0 189495 0
[pid=18626/tid=18627] ppid=18616 vsize=808868 CPUtime=1315.32
/proc/18626/task/18627/stat : 18627 (java) R 18616 18616 18149 0 -1 64 273036 0 0 0 131270 262 0 0 25 0 8 0 30431917 828280832 155376 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154022744 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18626/tid=18628] ppid=18616 vsize=808868 CPUtime=0
/proc/18626/task/18628/stat : 18628 (java) S 18616 18616 18149 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30431918 828280832 155376 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18626/tid=18629] ppid=18616 vsize=808868 CPUtime=0
/proc/18626/task/18629/stat : 18629 (java) S 18616 18616 18149 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30431918 828280832 155376 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18626/tid=18630] ppid=18616 vsize=808868 CPUtime=0
/proc/18626/task/18630/stat : 18630 (java) S 18616 18616 18149 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 30431921 828280832 155376 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18626/tid=18631] ppid=18616 vsize=808868 CPUtime=0.14
/proc/18626/task/18631/stat : 18631 (java) S 18616 18616 18149 0 -1 64 398 0 0 0 14 0 0 0 17 0 8 0 30431921 828280832 155376 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18626/tid=18632] ppid=18616 vsize=808868 CPUtime=0
/proc/18626/task/18632/stat : 18632 (java) S 18616 18616 18149 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 30431921 828280832 155376 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18626/tid=18633] ppid=18616 vsize=808868 CPUtime=0.02
/proc/18626/task/18633/stat : 18633 (java) S 18616 18616 18149 0 -1 64 2 0 0 0 1 1 0 0 15 0 8 0 30431921 828280832 155376 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 822592
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 1
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 18616 and gives childrusage.ru_utime.tv_sec=0 childrusage.ru_utime.tv_usec=741887 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=82987
CPU time returned by wait4() is 0.824874
while last known CPU time is 1801.02
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 1809.48
CPU time (s): 1801.02
CPU user time (s): 1797.57
CPU system time (s): 3.45
CPU usage (%): 99.5326
Max. virtual memory (cumulated for all children) (KiB): 823624
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.741887
system time used= 0.082987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9200
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= 459
involuntary context switches= 438
runsolver used 2.30665 s user time and 6.13307 s system time
The end
Begin job on node41 on Mon Jan 29 21:05:59 UTC 2007
IDJOB= 226252
IDBENCH= 5946
IDSOLVER= 86
FILE ID= node41/226252-1170104759
PBS_JOBID= 3689825
Free space on /tmp= 66560 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.65/rand-2-40-40-135-650-35_ext.xml
COMMAND LINE= /tmp/evaluation/226252-1170104759/solver /tmp/evaluation/226252-1170104759 /tmp/evaluation/226252-1170104759/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node41/watcher-226252-1170104759 -o ROOT/results/node41/solver-226252-1170104759 -C 1800 -M 900 /tmp/evaluation/226252-1170104759/solver /tmp/evaluation/226252-1170104759 /tmp/evaluation/226252-1170104759/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= 3737764344510280daac3184230888b6
RANDOM SEED= 99410506
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.231
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.231
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: 1685000 kB
Buffers: 38492 kB
Cached: 44196 kB
SwapCached: 0 kB
Active: 268680 kB
Inactive: 47336 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1685000 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 4720 kB
Writeback: 0 kB
Mapped: 250136 kB
Slab: 39752 kB
Committed_AS: 426296 kB
PageTables: 2372 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= 66448 MiB
End job on node41 on Mon Jan 29 21:36:08 UTC 2007