runsolver Copyright (C) 2010 Olivier ROUSSEL

This is runsolver version 3.2.9a (svn: 651)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201108241238/gj-trendy-solver-1.0/rand176.cudf.s-e-l-s-s.log.runsolver ./gj-trendy-solver-1.0 /home/misc2010/data/2011/incremental/s-e-l-s-s//rand176.cudf /home/misc2010/tmp/201108241238/gj-trendy-solver-1.0/rand176.cudf.s-e-l-s-s.result 

Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds
Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.00 0.97 0.65 4/39 2204
/proc/meminfo: memFree=764572/1048576 swapFree=0/0
[pid=2203] ppid=2202 vsize=2564 CPUtime=0
/proc/2203/stat : 2203 (gj-trendy-solve) S 2202 2203 1511 34817 1511 4202496 370 0 0 0 0 0 0 0 18 0 1 0 654812 2625536 268 1283457024 134512640 135304128 4290264464 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2203/statm: 641 268 229 194 0 28 0
[pid=2204] ppid=2203 vsize=11044 CPUtime=0.01
/proc/2204/stat : 2204 (java) R 2203 2203 1511 34817 1511 4202496 727 0 0 0 0 1 0 0 25 0 1 0 654812 11309056 463 1283457024 134512640 134550932 4287582768 18446744073709551615 4159821538 0 0 0 0 0 0 0 17 0 0 0 0
/proc/2204/statm: 2761 463 184 10 0 1103 0

[startup+0.165578 s]
/proc/loadavg: 1.00 0.97 0.65 4/39 2204
/proc/meminfo: memFree=764572/1048576 swapFree=0/0
[pid=2203] ppid=2202 vsize=2564 CPUtime=0
/proc/2203/stat : 2203 (gj-trendy-solve) S 2202 2203 1511 34817 1511 4202496 370 0 0 0 0 0 0 0 18 0 1 0 654812 2625536 268 1283457024 134512640 135304128 4290264464 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2203/statm: 641 268 229 194 0 28 0
[pid=2204] ppid=2203 vsize=409932 CPUtime=0.17
/proc/2204/stat : 2204 (java) S 2203 2203 1511 34817 1511 4202496 3982 0 1 0 15 2 0 0 25 0 9 0 654812 419770368 3413 1283457024 134512640 134550932 4287582768 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2204/statm: 102483 3413 1909 10 0 96631 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 412496

[startup+0.205575 s]
/proc/loadavg: 1.00 0.97 0.65 4/39 2204
/proc/meminfo: memFree=764572/1048576 swapFree=0/0
[pid=2203] ppid=2202 vsize=2564 CPUtime=0
/proc/2203/stat : 2203 (gj-trendy-solve) S 2202 2203 1511 34817 1511 4202496 370 0 0 0 0 0 0 0 18 0 1 0 654812 2625536 268 1283457024 134512640 135304128 4290264464 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2203/statm: 641 268 229 194 0 28 0
[pid=2204] ppid=2203 vsize=409932 CPUtime=0.21
/proc/2204/stat : 2204 (java) S 2203 2203 1511 34817 1511 4202496 4076 0 1 0 19 2 0 0 25 0 9 0 654812 419770368 3507 1283457024 134512640 134550932 4287582768 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2204/statm: 102483 3507 1909 10 0 96631 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 412496

[startup+0.305595 s]
/proc/loadavg: 1.00 0.97 0.65 4/39 2204
/proc/meminfo: memFree=764572/1048576 swapFree=0/0
[pid=2203] ppid=2202 vsize=2564 CPUtime=0
/proc/2203/stat : 2203 (gj-trendy-solve) S 2202 2203 1511 34817 1511 4202496 370 0 0 0 0 0 0 0 18 0 1 0 654812 2625536 268 1283457024 134512640 135304128 4290264464 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2203/statm: 641 268 229 194 0 28 0
[pid=2204] ppid=2203 vsize=410344 CPUtime=0.31
/proc/2204/stat : 2204 (java) S 2203 2203 1511 34817 1511 4202496 4421 0 1 0 29 2 0 0 25 0 9 0 654812 420192256 3852 1283457024 134512640 134550932 4287582768 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2204/statm: 102586 3852 1927 10 0 96734 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 412908

[startup+0.705681 s]
/proc/loadavg: 1.00 0.97 0.65 4/39 2204
/proc/meminfo: memFree=764572/1048576 swapFree=0/0
[pid=2203] ppid=2202 vsize=2564 CPUtime=0
/proc/2203/stat : 2203 (gj-trendy-solve) S 2202 2203 1511 34817 1511 4202496 370 0 0 0 0 0 0 0 18 0 1 0 654812 2625536 268 1283457024 134512640 135304128 4290264464 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2203/statm: 641 268 229 194 0 28 0
[pid=2204] ppid=2203 vsize=410652 CPUtime=0.7
/proc/2204/stat : 2204 (java) S 2203 2203 1511 34817 1511 4202496 12879 0 1 0 63 7 0 0 25 0 9 0 654812 420507648 12125 1283457024 134512640 134550932 4287582768 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2204/statm: 102663 12125 2895 10 0 96811 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 413216

[startup+1.50591 s]
/proc/loadavg: 1.00 0.97 0.65 2/48 2213
/proc/meminfo: memFree=705836/1048576 swapFree=0/0
[pid=2203] ppid=2202 vsize=2564 CPUtime=0
/proc/2203/stat : 2203 (gj-trendy-solve) S 2202 2203 1511 34817 1511 4202496 370 0 0 0 0 0 0 0 18 0 1 0 654812 2625536 268 1283457024 134512640 135304128 4290264464 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2203/statm: 641 268 229 194 0 28 0
[pid=2204] ppid=2203 vsize=410784 CPUtime=1.5
/proc/2204/stat : 2204 (java) S 2203 2203 1511 34817 1511 4202496 26597 0 1 0 141 9 0 0 25 0 9 0 654812 420642816 25843 1283457024 134512640 134550932 4287582768 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2204/statm: 102696 25843 2896 10 0 96844 0
[pid=2204/tid=2206] ppid=2203 vsize=410784 CPUtime=0.77
/proc/2204/task/2206/stat : 2206 (java) R 2203 2203 1511 34817 1511 4202560 6825 0 1 0 74 3 0 0 25 0 9 0 654813 420642816 25843 1283457024 134512640 134550932 4287582768 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2204/tid=2207] ppid=2203 vsize=410784 CPUtime=0.65
/proc/2204/task/2207/stat : 2207 (java) R 2203 2203 1511 34817 1511 4202560 18395 0 0 0 61 4 0 0 19 0 9 0 654814 420642816 25843 1283457024 134512640 134550932 4287582768 18446744073709551615 4152816118 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=2204/tid=2208] ppid=2203 vsize=410784 CPUtime=0
/proc/2204/task/2208/stat : 2208 (java) S 2203 2203 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 20 0 9 0 654814 420642816 25843 1283457024 134512640 134550932 4287582768 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=2204/tid=2209] ppid=2203 vsize=410784 CPUtime=0
/proc/2204/task/2209/stat : 2209 (java) S 2203 2203 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 20 0 9 0 654814 420642816 25843 1283457024 134512640 134550932 4287582768 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=2204/tid=2210] ppid=2203 vsize=410784 CPUtime=0
/proc/2204/task/2210/stat : 2210 (java) S 2203 2203 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 654815 420642816 25843 1283457024 134512640 134550932 4287582768 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=2204/tid=2211] ppid=2203 vsize=410784 CPUtime=0.06
/proc/2204/task/2211/stat : 2211 (java) S 2203 2203 1511 34817 1511 4202560 436 0 0 0 6 0 0 0 16 0 9 0 654815 420642816 25843 1283457024 134512640 134550932 4287582768 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=2204/tid=2212] ppid=2203 vsize=410784 CPUtime=0
/proc/2204/task/2212/stat : 2212 (java) S 2203 2203 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 9 0 654815 420642816 25843 1283457024 134512640 134550932 4287582768 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=2204/tid=2213] ppid=2203 vsize=410784 CPUtime=0
/proc/2204/task/2213/stat : 2213 (java) S 2203 2203 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 9 0 654815 420642816 25843 1283457024 134512640 134550932 4287582768 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 413348

[startup+3.10619 s]
/proc/loadavg: 1.00 0.97 0.65 2/48 2213
/proc/meminfo: memFree=630816/1048576 swapFree=0/0
[pid=2203] ppid=2202 vsize=2564 CPUtime=0
/proc/2203/stat : 2203 (gj-trendy-solve) S 2202 2203 1511 34817 1511 4202496 370 0 0 0 0 0 0 0 18 0 1 0 654812 2625536 268 1283457024 134512640 135304128 4290264464 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2203/statm: 641 268 229 194 0 28 0
[pid=2204] ppid=2203 vsize=410916 CPUtime=3.1
/proc/2204/stat : 2204 (java) S 2203 2203 1511 34817 1511 4202496 48602 0 1 0 294 16 0 0 25 0 9 0 654812 420777984 47848 1283457024 134512640 134550932 4287582768 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2204/statm: 102729 47848 2896 10 0 96877 0
[pid=2204/tid=2206] ppid=2203 vsize=410916 CPUtime=1.39
/proc/2204/task/2206/stat : 2206 (java) R 2203 2203 1511 34817 1511 4202560 13696 0 1 0 135 4 0 0 25 0 9 0 654813 420777984 47848 1283457024 134512640 134550932 4287582768 18446744073709551615 4114869488 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2204/tid=2207] ppid=2203 vsize=410916 CPUtime=1.62
/proc/2204/task/2207/stat : 2207 (java) S 2203 2203 1511 34817 1511 4202560 33526 0 0 0 152 10 0 0 17 0 9 0 654814 420777984 47848 1283457024 134512640 134550932 4287582768 18446744073709551615 4294960130 0 0 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=2204/tid=2208] ppid=2203 vsize=410916 CPUtime=0
/proc/2204/task/2208/stat : 2208 (java) S 2203 2203 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 20 0 9 0 654814 420777984 47848 1283457024 134512640 134550932 4287582768 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=2204/tid=2209] ppid=2203 vsize=410916 CPUtime=0
/proc/2204/task/2209/stat : 2209 (java) S 2203 2203 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 20 0 9 0 654814 420777984 47848 1283457024 134512640 134550932 4287582768 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=2204/tid=2210] ppid=2203 vsize=410916 CPUtime=0
/proc/2204/task/2210/stat : 2210 (java) S 2203 2203 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 654815 420777984 47848 1283457024 134512640 134550932 4287582768 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=2204/tid=2211] ppid=2203 vsize=410916 CPUtime=0.06
/proc/2204/task/2211/stat : 2211 (java) S 2203 2203 1511 34817 1511 4202560 439 0 0 0 6 0 0 0 16 0 9 0 654815 420777984 47848 1283457024 134512640 134550932 4287582768 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=2204/tid=2212] ppid=2203 vsize=410916 CPUtime=0
/proc/2204/task/2212/stat : 2212 (java) S 2203 2203 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 9 0 654815 420777984 47848 1283457024 134512640 134550932 4287582768 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=2204/tid=2213] ppid=2203 vsize=410916 CPUtime=0
/proc/2204/task/2213/stat : 2213 (java) S 2203 2203 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 9 0 654815 420777984 47848 1283457024 134512640 134550932 4287582768 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 413480

[startup+6.30767 s]
/proc/loadavg: 1.00 0.97 0.65 3/48 2213
/proc/meminfo: memFree=495532/1048576 swapFree=0/0
[pid=2203] ppid=2202 vsize=2564 CPUtime=0
/proc/2203/stat : 2203 (gj-trendy-solve) S 2202 2203 1511 34817 1511 4202496 370 0 0 0 0 0 0 0 18 0 1 0 654812 2625536 268 1283457024 134512640 135304128 4290264464 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2203/statm: 641 268 229 194 0 28 0
[pid=2204] ppid=2203 vsize=430848 CPUtime=6.29
/proc/2204/stat : 2204 (java) S 2203 2203 1511 34817 1511 4202496 75919 0 1 0 609 20 0 0 25 0 9 0 654812 441188352 75162 1283457024 134512640 134550932 4287582768 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2204/statm: 107712 75162 2897 10 0 101860 0
[pid=2204/tid=2206] ppid=2203 vsize=430848 CPUtime=2.34
/proc/2204/task/2206/stat : 2206 (java) R 2203 2203 1511 34817 1511 4202560 14259 0 1 0 228 6 0 0 25 0 9 0 654813 441188352 75162 1283457024 134512640 134550932 4287582768 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2204/tid=2207] ppid=2203 vsize=430848 CPUtime=3.83
/proc/2204/task/2207/stat : 2207 (java) R 2203 2203 1511 34817 1511 4202560 60261 0 0 0 371 12 0 0 16 0 9 0 654814 441188352 75162 1283457024 134512640 134550932 4287582768 18446744073709551615 4152393376 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=2204/tid=2208] ppid=2203 vsize=430848 CPUtime=0
/proc/2204/task/2208/stat : 2208 (java) S 2203 2203 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 9 0 654814 441188352 75162 1283457024 134512640 134550932 4287582768 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=2204/tid=2209] ppid=2203 vsize=430848 CPUtime=0
/proc/2204/task/2209/stat : 2209 (java) S 2203 2203 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 9 0 654814 441188352 75162 1283457024 134512640 134550932 4287582768 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=2204/tid=2210] ppid=2203 vsize=430848 CPUtime=0
/proc/2204/task/2210/stat : 2210 (java) S 2203 2203 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 654815 441188352 75162 1283457024 134512640 134550932 4287582768 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=2204/tid=2211] ppid=2203 vsize=430848 CPUtime=0.1
/proc/2204/task/2211/stat : 2211 (java) S 2203 2203 1511 34817 1511 4202560 458 0 0 0 10 0 0 0 15 0 9 0 654815 441188352 75162 1283457024 134512640 134550932 4287582768 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=2204/tid=2212] ppid=2203 vsize=430848 CPUtime=0
/proc/2204/task/2212/stat : 2212 (java) S 2203 2203 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 9 0 654815 441188352 75162 1283457024 134512640 134550932 4287582768 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=2204/tid=2213] ppid=2203 vsize=430848 CPUtime=0
/proc/2204/task/2213/stat : 2213 (java) S 2203 2203 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 9 0 654815 441188352 75162 1283457024 134512640 134550932 4287582768 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 433412

[startup+12.7093 s]
/proc/loadavg: 1.08 0.99 0.66 2/49 2215
/proc/meminfo: memFree=483496/1048576 swapFree=0/0
[pid=2203] ppid=2202 vsize=2564 CPUtime=0
/proc/2203/stat : 2203 (gj-trendy-solve) S 2202 2203 1511 34817 1511 4202496 370 0 0 0 0 0 0 0 18 0 1 0 654812 2625536 268 1283457024 134512640 135304128 4290264464 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2203/statm: 641 268 229 194 0 28 0
[pid=2204] ppid=2203 vsize=421916 CPUtime=12.68
/proc/2204/stat : 2204 (java) S 2203 2203 1511 34817 1511 4202496 96335 0 1 0 1237 31 0 0 25 0 10 0 654812 432041984 73103 1283457024 134512640 134550932 4287582768 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2204/statm: 105479 73103 2912 10 0 99624 0
[pid=2204/tid=2206] ppid=2203 vsize=421916 CPUtime=3.97
/proc/2204/task/2206/stat : 2206 (java) R 2203 2203 1511 34817 1511 4202560 14504 0 1 0 391 6 0 0 25 0 10 0 654813 432041984 73103 1283457024 134512640 134550932 4287582768 18446744073709551615 4114830237 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2204/tid=2207] ppid=2203 vsize=421916 CPUtime=8.55
/proc/2204/task/2207/stat : 2207 (java) S 2203 2203 1511 34817 1511 4202560 80372 0 0 0 832 23 0 0 16 0 10 0 654814 432041984 73103 1283457024 134512640 134550932 4287582768 18446744073709551615 4294960130 0 0 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=2204/tid=2208] ppid=2203 vsize=421916 CPUtime=0
/proc/2204/task/2208/stat : 2208 (java) S 2203 2203 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 654814 432041984 73103 1283457024 134512640 134550932 4287582768 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=2204/tid=2209] ppid=2203 vsize=421916 CPUtime=0
/proc/2204/task/2209/stat : 2209 (java) S 2203 2203 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 654814 432041984 73103 1283457024 134512640 134550932 4287582768 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=2204/tid=2210] ppid=2203 vsize=421916 CPUtime=0
/proc/2204/task/2210/stat : 2210 (java) S 2203 2203 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 654815 432041984 73103 1283457024 134512640 134550932 4287582768 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=2204/tid=2211] ppid=2203 vsize=421916 CPUtime=0.13
/proc/2204/task/2211/stat : 2211 (java) S 2203 2203 1511 34817 1511 4202560 514 0 0 0 13 0 0 0 15 0 10 0 654815 432041984 73103 1283457024 134512640 134550932 4287582768 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=2204/tid=2212] ppid=2203 vsize=421916 CPUtime=0
/proc/2204/task/2212/stat : 2212 (java) S 2203 2203 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 10 0 654815 432041984 73103 1283457024 134512640 134550932 4287582768 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=2204/tid=2213] ppid=2203 vsize=421916 CPUtime=0
/proc/2204/task/2213/stat : 2213 (java) S 2203 2203 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 654815 432041984 73103 1283457024 134512640 134550932 4287582768 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=2204/tid=2215] ppid=2203 vsize=421916 CPUtime=0
/proc/2204/task/2215/stat : 2215 (java) S 2203 2203 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 656029 432041984 73103 1283457024 134512640 134550932 4287582768 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 424480

[startup+25.5126 s]
/proc/loadavg: 1.06 0.99 0.66 3/49 2216
/proc/meminfo: memFree=483496/1048576 swapFree=0/0
[pid=2203] ppid=2202 vsize=2564 CPUtime=0
/proc/2203/stat : 2203 (gj-trendy-solve) S 2202 2203 1511 34817 1511 4202496 370 0 0 0 0 0 0 0 18 0 1 0 654812 2625536 268 1283457024 134512640 135304128 4290264464 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2203/statm: 641 268 229 194 0 28 0
[pid=2204] ppid=2203 vsize=421916 CPUtime=25.48
/proc/2204/stat : 2204 (java) S 2203 2203 1511 34817 1511 4202496 96378 0 1 0 2517 31 0 0 25 0 10 0 654812 432041984 73146 1283457024 134512640 134550932 4287582768 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2204/statm: 105479 73146 2915 10 0 99624 0
[pid=2204/tid=2206] ppid=2203 vsize=421916 CPUtime=16.68
/proc/2204/task/2206/stat : 2206 (java) R 2203 2203 1511 34817 1511 4202560 14511 0 1 0 1662 6 0 0 25 0 10 0 654813 432041984 73146 1283457024 134512640 134550932 4287582768 18446744073709551615 4115267950 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2204/tid=2207] ppid=2203 vsize=421916 CPUtime=8.64
/proc/2204/task/2207/stat : 2207 (java) S 2203 2203 1511 34817 1511 4202560 80374 0 0 0 841 23 0 0 15 0 10 0 654814 432041984 73146 1283457024 134512640 134550932 4287582768 18446744073709551615 4294960130 0 0 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=2204/tid=2208] ppid=2203 vsize=421916 CPUtime=0
/proc/2204/task/2208/stat : 2208 (java) S 2203 2203 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 654814 432041984 73146 1283457024 134512640 134550932 4287582768 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=2204/tid=2209] ppid=2203 vsize=421916 CPUtime=0
/proc/2204/task/2209/stat : 2209 (java) S 2203 2203 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 654814 432041984 73146 1283457024 134512640 134550932 4287582768 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=2204/tid=2210] ppid=2203 vsize=421916 CPUtime=0
/proc/2204/task/2210/stat : 2210 (java) S 2203 2203 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 654815 432041984 73146 1283457024 134512640 134550932 4287582768 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=2204/tid=2211] ppid=2203 vsize=421916 CPUtime=0.13
/proc/2204/task/2211/stat : 2211 (java) S 2203 2203 1511 34817 1511 4202560 548 0 0 0 13 0 0 0 15 0 10 0 654815 432041984 73146 1283457024 134512640 134550932 4287582768 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=2204/tid=2212] ppid=2203 vsize=421916 CPUtime=0
/proc/2204/task/2212/stat : 2212 (java) S 2203 2203 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 10 0 654815 432041984 73146 1283457024 134512640 134550932 4287582768 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=2204/tid=2213] ppid=2203 vsize=421916 CPUtime=0
/proc/2204/task/2213/stat : 2213 (java) S 2203 2203 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 654815 432041984 73146 1283457024 134512640 134550932 4287582768 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=2204/tid=2215] ppid=2203 vsize=421916 CPUtime=0
/proc/2204/task/2215/stat : 2215 (java) S 2203 2203 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 656029 432041984 73146 1283457024 134512640 134550932 4287582768 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 424480

[startup+51.1097 s]
/proc/loadavg: 1.04 0.99 0.67 2/48 2216
/proc/meminfo: memFree=483520/1048576 swapFree=0/0
[pid=2203] ppid=2202 vsize=2564 CPUtime=0
/proc/2203/stat : 2203 (gj-trendy-solve) S 2202 2203 1511 34817 1511 4202496 370 0 0 0 0 0 0 0 18 0 1 0 654812 2625536 268 1283457024 134512640 135304128 4290264464 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2203/statm: 641 268 229 194 0 28 0
[pid=2204] ppid=2203 vsize=421916 CPUtime=51.06
/proc/2204/stat : 2204 (java) S 2203 2203 1511 34817 1511 4202496 96387 0 1 0 5075 31 0 0 25 0 10 0 654812 432041984 73155 1283457024 134512640 134550932 4287582768 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2204/statm: 105479 73155 2915 10 0 99624 0
[pid=2204/tid=2206] ppid=2203 vsize=421916 CPUtime=41.59
/proc/2204/task/2206/stat : 2206 (java) R 2203 2203 1511 34817 1511 4202560 14512 0 1 0 4153 6 0 0 25 0 10 0 654813 432041984 73155 1283457024 134512640 134550932 4287582768 18446744073709551615 4115207239 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2204/tid=2207] ppid=2203 vsize=421916 CPUtime=9.3
/proc/2204/task/2207/stat : 2207 (java) S 2203 2203 1511 34817 1511 4202560 80374 0 0 0 907 23 0 0 15 0 10 0 654814 432041984 73155 1283457024 134512640 134550932 4287582768 18446744073709551615 4294960130 0 0 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=2204/tid=2208] ppid=2203 vsize=421916 CPUtime=0
/proc/2204/task/2208/stat : 2208 (java) S 2203 2203 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 654814 432041984 73155 1283457024 134512640 134550932 4287582768 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=2204/tid=2209] ppid=2203 vsize=421916 CPUtime=0
/proc/2204/task/2209/stat : 2209 (java) S 2203 2203 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 654814 432041984 73155 1283457024 134512640 134550932 4287582768 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=2204/tid=2210] ppid=2203 vsize=421916 CPUtime=0
/proc/2204/task/2210/stat : 2210 (java) S 2203 2203 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 654815 432041984 73155 1283457024 134512640 134550932 4287582768 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=2204/tid=2211] ppid=2203 vsize=421916 CPUtime=0.14
/proc/2204/task/2211/stat : 2211 (java) S 2203 2203 1511 34817 1511 4202560 556 0 0 0 14 0 0 0 15 0 10 0 654815 432041984 73155 1283457024 134512640 134550932 4287582768 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=2204/tid=2212] ppid=2203 vsize=421916 CPUtime=0
/proc/2204/task/2212/stat : 2212 (java) S 2203 2203 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 10 0 654815 432041984 73155 1283457024 134512640 134550932 4287582768 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=2204/tid=2213] ppid=2203 vsize=421916 CPUtime=0
/proc/2204/task/2213/stat : 2213 (java) R 2203 2203 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 654815 432041984 73155 1283457024 134512640 134550932 4287582768 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2204/tid=2215] ppid=2203 vsize=421916 CPUtime=0
/proc/2204/task/2215/stat : 2215 (java) S 2203 2203 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 656029 432041984 73155 1283457024 134512640 134550932 4287582768 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 424480

[startup+102.312 s]
/proc/loadavg: 1.02 0.99 0.68 2/47 2216
/proc/meminfo: memFree=483528/1048576 swapFree=0/0
[pid=2203] ppid=2202 vsize=2564 CPUtime=0
/proc/2203/stat : 2203 (gj-trendy-solve) S 2202 2203 1511 34817 1511 4202496 370 0 0 0 0 0 0 0 18 0 1 0 654812 2625536 268 1283457024 134512640 135304128 4290264464 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2203/statm: 641 268 229 194 0 28 0
[pid=2204] ppid=2203 vsize=421916 CPUtime=102.23
/proc/2204/stat : 2204 (java) S 2203 2203 1511 34817 1511 4202496 96388 0 1 0 10192 31 0 0 25 0 10 0 654812 432041984 73156 1283457024 134512640 134550932 4287582768 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2204/statm: 105479 73156 2915 10 0 99624 0
[pid=2204/tid=2206] ppid=2203 vsize=421916 CPUtime=91.51
/proc/2204/task/2206/stat : 2206 (java) R 2203 2203 1511 34817 1511 4202560 14512 0 1 0 9145 6 0 0 25 0 10 0 654813 432041984 73156 1283457024 134512640 134550932 4287582768 18446744073709551615 4115265716 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2204/tid=2207] ppid=2203 vsize=421916 CPUtime=10.55
/proc/2204/task/2207/stat : 2207 (java) S 2203 2203 1511 34817 1511 4202560 80374 0 0 0 1032 23 0 0 15 0 10 0 654814 432041984 73156 1283457024 134512640 134550932 4287582768 18446744073709551615 4294960130 0 0 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=2204/tid=2208] ppid=2203 vsize=421916 CPUtime=0
/proc/2204/task/2208/stat : 2208 (java) S 2203 2203 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 654814 432041984 73156 1283457024 134512640 134550932 4287582768 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=2204/tid=2209] ppid=2203 vsize=421916 CPUtime=0
/proc/2204/task/2209/stat : 2209 (java) S 2203 2203 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 654814 432041984 73156 1283457024 134512640 134550932 4287582768 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=2204/tid=2210] ppid=2203 vsize=421916 CPUtime=0
/proc/2204/task/2210/stat : 2210 (java) S 2203 2203 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 654815 432041984 73156 1283457024 134512640 134550932 4287582768 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=2204/tid=2211] ppid=2203 vsize=421916 CPUtime=0.14
/proc/2204/task/2211/stat : 2211 (java) S 2203 2203 1511 34817 1511 4202560 557 0 0 0 14 0 0 0 15 0 10 0 654815 432041984 73156 1283457024 134512640 134550932 4287582768 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=2204/tid=2212] ppid=2203 vsize=421916 CPUtime=0
/proc/2204/task/2212/stat : 2212 (java) S 2203 2203 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 10 0 654815 432041984 73156 1283457024 134512640 134550932 4287582768 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=2204/tid=2213] ppid=2203 vsize=421916 CPUtime=0
/proc/2204/task/2213/stat : 2213 (java) S 2203 2203 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 654815 432041984 73156 1283457024 134512640 134550932 4287582768 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=2204/tid=2215] ppid=2203 vsize=421916 CPUtime=0
/proc/2204/task/2215/stat : 2215 (java) S 2203 2203 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 656029 432041984 73156 1283457024 134512640 134550932 4287582768 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 424480

[startup+162.305 s]
/proc/loadavg: 1.06 1.00 0.71 2/47 2216
/proc/meminfo: memFree=483528/1048576 swapFree=0/0
[pid=2203] ppid=2202 vsize=2564 CPUtime=0
/proc/2203/stat : 2203 (gj-trendy-solve) S 2202 2203 1511 34817 1511 4202496 370 0 0 0 0 0 0 0 18 0 1 0 654812 2625536 268 1283457024 134512640 135304128 4290264464 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2203/statm: 641 268 229 194 0 28 0
[pid=2204] ppid=2203 vsize=421916 CPUtime=162.18
/proc/2204/stat : 2204 (java) S 2203 2203 1511 34817 1511 4202496 96389 0 1 0 16187 31 0 0 25 0 10 0 654812 432041984 73157 1283457024 134512640 134550932 4287582768 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2204/statm: 105479 73157 2915 10 0 99624 0
[pid=2204/tid=2206] ppid=2203 vsize=421916 CPUtime=150.28
/proc/2204/task/2206/stat : 2206 (java) R 2203 2203 1511 34817 1511 4202560 14512 0 1 0 15022 6 0 0 25 0 10 0 654813 432041984 73157 1283457024 134512640 134550932 4287582768 18446744073709551615 4115286832 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2204/tid=2207] ppid=2203 vsize=421916 CPUtime=11.73
/proc/2204/task/2207/stat : 2207 (java) S 2203 2203 1511 34817 1511 4202560 80374 0 0 0 1150 23 0 0 15 0 10 0 654814 432041984 73157 1283457024 134512640 134550932 4287582768 18446744073709551615 4294960130 0 0 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=2204/tid=2208] ppid=2203 vsize=421916 CPUtime=0
/proc/2204/task/2208/stat : 2208 (java) S 2203 2203 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 654814 432041984 73157 1283457024 134512640 134550932 4287582768 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=2204/tid=2209] ppid=2203 vsize=421916 CPUtime=0
/proc/2204/task/2209/stat : 2209 (java) S 2203 2203 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 654814 432041984 73157 1283457024 134512640 134550932 4287582768 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=2204/tid=2210] ppid=2203 vsize=421916 CPUtime=0
/proc/2204/task/2210/stat : 2210 (java) S 2203 2203 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 654815 432041984 73157 1283457024 134512640 134550932 4287582768 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=2204/tid=2211] ppid=2203 vsize=421916 CPUtime=0.14
/proc/2204/task/2211/stat : 2211 (java) S 2203 2203 1511 34817 1511 4202560 558 0 0 0 14 0 0 0 15 0 10 0 654815 432041984 73157 1283457024 134512640 134550932 4287582768 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=2204/tid=2212] ppid=2203 vsize=421916 CPUtime=0
/proc/2204/task/2212/stat : 2212 (java) S 2203 2203 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 10 0 654815 432041984 73157 1283457024 134512640 134550932 4287582768 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=2204/tid=2213] ppid=2203 vsize=421916 CPUtime=0
/proc/2204/task/2213/stat : 2213 (java) S 2203 2203 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 654815 432041984 73157 1283457024 134512640 134550932 4287582768 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=2204/tid=2215] ppid=2203 vsize=421916 CPUtime=0
/proc/2204/task/2215/stat : 2215 (java) S 2203 2203 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 656029 432041984 73157 1283457024 134512640 134550932 4287582768 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 424480

[startup+222.312 s]
/proc/loadavg: 1.16 1.03 0.73 3/47 2216
/proc/meminfo: memFree=483404/1048576 swapFree=0/0
[pid=2203] ppid=2202 vsize=2564 CPUtime=0
/proc/2203/stat : 2203 (gj-trendy-solve) S 2202 2203 1511 34817 1511 4202496 370 0 0 0 0 0 0 0 18 0 1 0 654812 2625536 268 1283457024 134512640 135304128 4290264464 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2203/statm: 641 268 229 194 0 28 0
[pid=2204] ppid=2203 vsize=421916 CPUtime=222.17
/proc/2204/stat : 2204 (java) S 2203 2203 1511 34817 1511 4202496 96389 0 1 0 22186 31 0 0 25 0 10 0 654812 432041984 73157 1283457024 134512640 134550932 4287582768 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2204/statm: 105479 73157 2915 10 0 99624 0
[pid=2204/tid=2206] ppid=2203 vsize=421916 CPUtime=209.02
/proc/2204/task/2206/stat : 2206 (java) R 2203 2203 1511 34817 1511 4202560 14512 0 1 0 20896 6 0 0 25 0 10 0 654813 432041984 73157 1283457024 134512640 134550932 4287582768 18446744073709551615 4115281104 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2204/tid=2207] ppid=2203 vsize=421916 CPUtime=12.98
/proc/2204/task/2207/stat : 2207 (java) S 2203 2203 1511 34817 1511 4202560 80374 0 0 0 1275 23 0 0 15 0 10 0 654814 432041984 73157 1283457024 134512640 134550932 4287582768 18446744073709551615 4294960130 0 0 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=2204/tid=2208] ppid=2203 vsize=421916 CPUtime=0
/proc/2204/task/2208/stat : 2208 (java) S 2203 2203 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 654814 432041984 73157 1283457024 134512640 134550932 4287582768 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=2204/tid=2209] ppid=2203 vsize=421916 CPUtime=0
/proc/2204/task/2209/stat : 2209 (java) S 2203 2203 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 654814 432041984 73157 1283457024 134512640 134550932 4287582768 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=2204/tid=2210] ppid=2203 vsize=421916 CPUtime=0
/proc/2204/task/2210/stat : 2210 (java) S 2203 2203 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 654815 432041984 73157 1283457024 134512640 134550932 4287582768 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=2204/tid=2211] ppid=2203 vsize=421916 CPUtime=0.14
/proc/2204/task/2211/stat : 2211 (java) S 2203 2203 1511 34817 1511 4202560 558 0 0 0 14 0 0 0 15 0 10 0 654815 432041984 73157 1283457024 134512640 134550932 4287582768 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=2204/tid=2212] ppid=2203 vsize=421916 CPUtime=0
/proc/2204/task/2212/stat : 2212 (java) S 2203 2203 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 10 0 654815 432041984 73157 1283457024 134512640 134550932 4287582768 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=2204/tid=2213] ppid=2203 vsize=421916 CPUtime=0
/proc/2204/task/2213/stat : 2213 (java) R 2203 2203 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 654815 432041984 73157 1283457024 134512640 134550932 4287582768 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2204/tid=2215] ppid=2203 vsize=421916 CPUtime=0
/proc/2204/task/2215/stat : 2215 (java) S 2203 2203 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 656029 432041984 73157 1283457024 134512640 134550932 4287582768 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 424480

[startup+282.308 s]
/proc/loadavg: 1.06 1.03 0.75 2/47 2216
/proc/meminfo: memFree=483404/1048576 swapFree=0/0
[pid=2203] ppid=2202 vsize=2564 CPUtime=0
/proc/2203/stat : 2203 (gj-trendy-solve) S 2202 2203 1511 34817 1511 4202496 370 0 0 0 0 0 0 0 18 0 1 0 654812 2625536 268 1283457024 134512640 135304128 4290264464 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2203/statm: 641 268 229 194 0 28 0
[pid=2204] ppid=2203 vsize=421916 CPUtime=282.12
/proc/2204/stat : 2204 (java) S 2203 2203 1511 34817 1511 4202496 96389 0 1 0 28179 33 0 0 25 0 10 0 654812 432041984 73157 1283457024 134512640 134550932 4287582768 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2204/statm: 105479 73157 2915 10 0 99624 0
[pid=2204/tid=2206] ppid=2203 vsize=421916 CPUtime=268.57
/proc/2204/task/2206/stat : 2206 (java) R 2203 2203 1511 34817 1511 4202560 14512 0 1 0 26848 9 0 0 25 0 10 0 654813 432041984 73157 1283457024 134512640 134550932 4287582768 18446744073709551615 4115280948 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2204/tid=2207] ppid=2203 vsize=421916 CPUtime=13.39
/proc/2204/task/2207/stat : 2207 (java) S 2203 2203 1511 34817 1511 4202560 80374 0 0 0 1316 23 0 0 15 0 10 0 654814 432041984 73157 1283457024 134512640 134550932 4287582768 18446744073709551615 4294960130 0 0 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=2204/tid=2208] ppid=2203 vsize=421916 CPUtime=0
/proc/2204/task/2208/stat : 2208 (java) S 2203 2203 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 654814 432041984 73157 1283457024 134512640 134550932 4287582768 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=2204/tid=2209] ppid=2203 vsize=421916 CPUtime=0
/proc/2204/task/2209/stat : 2209 (java) S 2203 2203 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 654814 432041984 73157 1283457024 134512640 134550932 4287582768 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=2204/tid=2210] ppid=2203 vsize=421916 CPUtime=0
/proc/2204/task/2210/stat : 2210 (java) S 2203 2203 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 654815 432041984 73157 1283457024 134512640 134550932 4287582768 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=2204/tid=2211] ppid=2203 vsize=421916 CPUtime=0.14
/proc/2204/task/2211/stat : 2211 (java) S 2203 2203 1511 34817 1511 4202560 558 0 0 0 14 0 0 0 15 0 10 0 654815 432041984 73157 1283457024 134512640 134550932 4287582768 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=2204/tid=2212] ppid=2203 vsize=421916 CPUtime=0
/proc/2204/task/2212/stat : 2212 (java) S 2203 2203 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 10 0 654815 432041984 73157 1283457024 134512640 134550932 4287582768 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=2204/tid=2213] ppid=2203 vsize=421916 CPUtime=0
/proc/2204/task/2213/stat : 2213 (java) S 2203 2203 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 654815 432041984 73157 1283457024 134512640 134550932 4287582768 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=2204/tid=2215] ppid=2203 vsize=421916 CPUtime=0
/proc/2204/task/2215/stat : 2215 (java) S 2203 2203 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 656029 432041984 73157 1283457024 134512640 134550932 4287582768 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 282.12
Current children cumulated vsize (KiB) 424480

Solver just ended. Dumping a history of the last processes samples

[startup+283.309 s]
/proc/loadavg: 1.06 1.02 0.75 2/47 2216
/proc/meminfo: memFree=483404/1048576 swapFree=0/0
[pid=2203] ppid=2202 vsize=2564 CPUtime=0
/proc/2203/stat : 2203 (gj-trendy-solve) S 2202 2203 1511 34817 1511 4202496 370 0 0 0 0 0 0 0 18 0 1 0 654812 2625536 268 1283457024 134512640 135304128 4290264464 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2203/statm: 641 268 229 194 0 28 0
[pid=2204] ppid=2203 vsize=421916 CPUtime=283.12
/proc/2204/stat : 2204 (java) S 2203 2203 1511 34817 1511 4202496 96389 0 1 0 28279 33 0 0 25 0 10 0 654812 432041984 73157 1283457024 134512640 134550932 4287582768 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2204/statm: 105479 73157 2915 10 0 99624 0
[pid=2204/tid=2206] ppid=2203 vsize=421916 CPUtime=269.57
/proc/2204/task/2206/stat : 2206 (java) R 2203 2203 1511 34817 1511 4202560 14512 0 1 0 26948 9 0 0 25 0 10 0 654813 432041984 73157 1283457024 134512640 134550932 4287582768 18446744073709551615 4115281104 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2204/tid=2207] ppid=2203 vsize=421916 CPUtime=13.39
/proc/2204/task/2207/stat : 2207 (java) S 2203 2203 1511 34817 1511 4202560 80374 0 0 0 1316 23 0 0 15 0 10 0 654814 432041984 73157 1283457024 134512640 134550932 4287582768 18446744073709551615 4294960130 0 0 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=2204/tid=2208] ppid=2203 vsize=421916 CPUtime=0
/proc/2204/task/2208/stat : 2208 (java) S 2203 2203 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 654814 432041984 73157 1283457024 134512640 134550932 4287582768 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=2204/tid=2209] ppid=2203 vsize=421916 CPUtime=0
/proc/2204/task/2209/stat : 2209 (java) S 2203 2203 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 654814 432041984 73157 1283457024 134512640 134550932 4287582768 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=2204/tid=2210] ppid=2203 vsize=421916 CPUtime=0
/proc/2204/task/2210/stat : 2210 (java) S 2203 2203 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 654815 432041984 73157 1283457024 134512640 134550932 4287582768 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=2204/tid=2211] ppid=2203 vsize=421916 CPUtime=0.14
/proc/2204/task/2211/stat : 2211 (java) S 2203 2203 1511 34817 1511 4202560 558 0 0 0 14 0 0 0 15 0 10 0 654815 432041984 73157 1283457024 134512640 134550932 4287582768 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=2204/tid=2212] ppid=2203 vsize=421916 CPUtime=0
/proc/2204/task/2212/stat : 2212 (java) S 2203 2203 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 10 0 654815 432041984 73157 1283457024 134512640 134550932 4287582768 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=2204/tid=2213] ppid=2203 vsize=421916 CPUtime=0
/proc/2204/task/2213/stat : 2213 (java) S 2203 2203 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 654815 432041984 73157 1283457024 134512640 134550932 4287582768 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=2204/tid=2215] ppid=2203 vsize=421916 CPUtime=0
/proc/2204/task/2215/stat : 2215 (java) S 2203 2203 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 656029 432041984 73157 1283457024 134512640 134550932 4287582768 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 283.12
Current children cumulated vsize (KiB) 424480

[startup+284.139 s]
/proc/loadavg: 1.06 1.02 0.75 2/47 2216
/proc/meminfo: memFree=483404/1048576 swapFree=0/0
[pid=2203] ppid=2202 vsize=2564 CPUtime=0
/proc/2203/stat : 2203 (gj-trendy-solve) S 2202 2203 1511 34817 1511 4202496 370 0 0 0 0 0 0 0 18 0 1 0 654812 2625536 268 1283457024 134512640 135304128 4290264464 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2203/statm: 641 268 229 194 0 28 0
[pid=2204] ppid=2203 vsize=421916 CPUtime=283.95
/proc/2204/stat : 2204 (java) S 2203 2203 1511 34817 1511 4202496 96389 0 1 0 28362 33 0 0 25 0 10 0 654812 432041984 73157 1283457024 134512640 134550932 4287582768 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2204/statm: 105479 73157 2915 10 0 99624 0
[pid=2204/tid=2206] ppid=2203 vsize=421916 CPUtime=270.22
/proc/2204/task/2206/stat : 2206 (java) R 2203 2203 1511 34817 1511 4202560 14512 0 1 0 27013 9 0 0 25 0 10 0 654813 432041984 73157 1283457024 134512640 134550932 4287582768 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2204/tid=2207] ppid=2203 vsize=421916 CPUtime=13.57
/proc/2204/task/2207/stat : 2207 (java) R 2203 2203 1511 34817 1511 4202560 80374 0 0 0 1334 23 0 0 16 0 10 0 654814 432041984 73157 1283457024 134512640 134550932 4287582768 18446744073709551615 4152393486 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=2204/tid=2208] ppid=2203 vsize=421916 CPUtime=0
/proc/2204/task/2208/stat : 2208 (java) S 2203 2203 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 654814 432041984 73157 1283457024 134512640 134550932 4287582768 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=2204/tid=2209] ppid=2203 vsize=421916 CPUtime=0
/proc/2204/task/2209/stat : 2209 (java) S 2203 2203 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 654814 432041984 73157 1283457024 134512640 134550932 4287582768 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=2204/tid=2210] ppid=2203 vsize=421916 CPUtime=0
/proc/2204/task/2210/stat : 2210 (java) S 2203 2203 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 654815 432041984 73157 1283457024 134512640 134550932 4287582768 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=2204/tid=2211] ppid=2203 vsize=421916 CPUtime=0.14
/proc/2204/task/2211/stat : 2211 (java) S 2203 2203 1511 34817 1511 4202560 558 0 0 0 14 0 0 0 15 0 10 0 654815 432041984 73157 1283457024 134512640 134550932 4287582768 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=2204/tid=2212] ppid=2203 vsize=421916 CPUtime=0
/proc/2204/task/2212/stat : 2212 (java) S 2203 2203 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 10 0 654815 432041984 73157 1283457024 134512640 134550932 4287582768 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=2204/tid=2213] ppid=2203 vsize=421916 CPUtime=0
/proc/2204/task/2213/stat : 2213 (java) S 2203 2203 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 654815 432041984 73157 1283457024 134512640 134550932 4287582768 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=2204/tid=2215] ppid=2203 vsize=421916 CPUtime=0
/proc/2204/task/2215/stat : 2215 (java) S 2203 2203 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 656029 432041984 73157 1283457024 134512640 134550932 4287582768 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 283.95
Current children cumulated vsize (KiB) 424480

[startup+284.909 s]
/proc/loadavg: 1.06 1.02 0.75 2/47 2216
/proc/meminfo: memFree=483404/1048576 swapFree=0/0
[pid=2203] ppid=2202 vsize=2564 CPUtime=0
/proc/2203/stat : 2203 (gj-trendy-solve) S 2202 2203 1511 34817 1511 4202496 370 0 0 0 0 0 0 0 18 0 1 0 654812 2625536 268 1283457024 134512640 135304128 4290264464 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2203/statm: 641 268 229 194 0 28 0
[pid=2204] ppid=2203 vsize=421916 CPUtime=284.72
/proc/2204/stat : 2204 (java) S 2203 2203 1511 34817 1511 4202496 96389 0 1 0 28439 33 0 0 25 0 10 0 654812 432041984 73157 1283457024 134512640 134550932 4287582768 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2204/statm: 105479 73157 2915 10 0 99624 0
[pid=2204/tid=2206] ppid=2203 vsize=421916 CPUtime=270.7
/proc/2204/task/2206/stat : 2206 (java) R 2203 2203 1511 34817 1511 4202560 14512 0 1 0 27061 9 0 0 25 0 10 0 654813 432041984 73157 1283457024 134512640 134550932 4287582768 18446744073709551615 4115408709 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2204/tid=2207] ppid=2203 vsize=421916 CPUtime=13.86
/proc/2204/task/2207/stat : 2207 (java) S 2203 2203 1511 34817 1511 4202560 80374 0 0 0 1363 23 0 0 16 0 10 0 654814 432041984 73157 1283457024 134512640 134550932 4287582768 18446744073709551615 4294960130 0 0 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=2204/tid=2208] ppid=2203 vsize=421916 CPUtime=0
/proc/2204/task/2208/stat : 2208 (java) S 2203 2203 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 654814 432041984 73157 1283457024 134512640 134550932 4287582768 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=2204/tid=2209] ppid=2203 vsize=421916 CPUtime=0
/proc/2204/task/2209/stat : 2209 (java) S 2203 2203 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 654814 432041984 73157 1283457024 134512640 134550932 4287582768 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=2204/tid=2210] ppid=2203 vsize=421916 CPUtime=0
/proc/2204/task/2210/stat : 2210 (java) S 2203 2203 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 654815 432041984 73157 1283457024 134512640 134550932 4287582768 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=2204/tid=2211] ppid=2203 vsize=421916 CPUtime=0.14
/proc/2204/task/2211/stat : 2211 (java) S 2203 2203 1511 34817 1511 4202560 558 0 0 0 14 0 0 0 15 0 10 0 654815 432041984 73157 1283457024 134512640 134550932 4287582768 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=2204/tid=2212] ppid=2203 vsize=421916 CPUtime=0
/proc/2204/task/2212/stat : 2212 (java) S 2203 2203 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 10 0 654815 432041984 73157 1283457024 134512640 134550932 4287582768 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=2204/tid=2213] ppid=2203 vsize=421916 CPUtime=0
/proc/2204/task/2213/stat : 2213 (java) S 2203 2203 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 654815 432041984 73157 1283457024 134512640 134550932 4287582768 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=2204/tid=2215] ppid=2203 vsize=421916 CPUtime=0
/proc/2204/task/2215/stat : 2215 (java) S 2203 2203 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 656029 432041984 73157 1283457024 134512640 134550932 4287582768 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 284.72
Current children cumulated vsize (KiB) 424480

[startup+285.109 s]
/proc/loadavg: 1.06 1.02 0.75 3/47 2216
/proc/meminfo: memFree=483404/1048576 swapFree=0/0
[pid=2203] ppid=2202 vsize=2564 CPUtime=0
/proc/2203/stat : 2203 (gj-trendy-solve) S 2202 2203 1511 34817 1511 4202496 370 0 0 0 0 0 0 0 18 0 1 0 654812 2625536 268 1283457024 134512640 135304128 4290264464 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2203/statm: 641 268 229 194 0 28 0
[pid=2204] ppid=2203 vsize=421916 CPUtime=284.92
/proc/2204/stat : 2204 (java) S 2203 2203 1511 34817 1511 4202496 96390 0 1 0 28459 33 0 0 25 0 9 0 654812 432041984 73158 1283457024 134512640 134550932 4287582768 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2204/statm: 105479 73158 2916 10 0 99624 0
[pid=2204/tid=2206] ppid=2203 vsize=421916 CPUtime=270.9
/proc/2204/task/2206/stat : 2206 (java) R 2203 2203 1511 34817 1511 4202560 14512 0 1 0 27081 9 0 0 25 0 9 0 654813 432041984 73158 1283457024 134512640 134550932 4287582768 18446744073709551615 4115408709 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2204/tid=2207] ppid=2203 vsize=421916 CPUtime=13.86
/proc/2204/task/2207/stat : 2207 (java) S 2203 2203 1511 34817 1511 4202560 80374 0 0 0 1363 23 0 0 16 0 9 0 654814 432041984 73158 1283457024 134512640 134550932 4287582768 18446744073709551615 4294960130 0 0 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=2204/tid=2208] ppid=2203 vsize=421916 CPUtime=0
/proc/2204/task/2208/stat : 2208 (java) S 2203 2203 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 9 0 654814 432041984 73158 1283457024 134512640 134550932 4287582768 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=2204/tid=2209] ppid=2203 vsize=421916 CPUtime=0
/proc/2204/task/2209/stat : 2209 (java) S 2203 2203 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 9 0 654814 432041984 73158 1283457024 134512640 134550932 4287582768 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=2204/tid=2210] ppid=2203 vsize=421916 CPUtime=0
/proc/2204/task/2210/stat : 2210 (java) S 2203 2203 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 654815 432041984 73158 1283457024 134512640 134550932 4287582768 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=2204/tid=2211] ppid=2203 vsize=421916 CPUtime=0.14
/proc/2204/task/2211/stat : 2211 (java) S 2203 2203 1511 34817 1511 4202560 558 0 0 0 14 0 0 0 15 0 9 0 654815 432041984 73158 1283457024 134512640 134550932 4287582768 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=2204/tid=2212] ppid=2203 vsize=421916 CPUtime=0
/proc/2204/task/2212/stat : 2212 (java) S 2203 2203 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 9 0 654815 432041984 73158 1283457024 134512640 134550932 4287582768 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
[pid=2204/tid=2213] ppid=2203 vsize=421916 CPUtime=0
/proc/2204/task/2213/stat : 2213 (java) S 2203 2203 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 9 0 654815 432041984 73158 1283457024 134512640 134550932 4287582768 18446744073709551615 4294960130 0 4 0 16800975 18446612133275974720 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 284.92
Current children cumulated vsize (KiB) 424480

Child status: 0
Real time (s): 285.2
CPU time (s): 284.986
CPU user time (s): 284.638
CPU system time (s): 0.348021
CPU usage (%): 99.925
Max. virtual memory (cumulated for all children) (KiB): 445692

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 284.638
system time used= 0.348021
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 96783
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= 6083
involuntary context switches= 9165

runsolver used 0 second user time and 0.008 second system time

The end