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/80e3fda2-9501-11e0-8001-00163e1e087d.cudf.dudf-real.log.runsolver ./gj-trendy-solver-1.0 /home/misc2010/data/2011/dudf-real//80e3fda2-9501-11e0-8001-00163e1e087d.cudf /home/misc2010/tmp/201108241238/gj-trendy-solver-1.0/80e3fda2-9501-11e0-8001-00163e1e087d.cudf.dudf-real.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.01 1.10 1.09 4/34 28110
/proc/meminfo: memFree=326140/1048576 swapFree=0/0
[pid=28109] ppid=28108 vsize=2568 CPUtime=0
/proc/28109/stat : 28109 (gj-trendy-solve) S 28108 28109 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 4888596 2629632 269 1283457024 134512640 135304128 4294379856 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28109/statm: 642 269 229 194 0 29 0
[pid=28110] ppid=28109 vsize=11040 CPUtime=0
/proc/28110/stat : 28110 (java) R 28109 28109 1511 34817 1511 4202496 707 0 0 0 0 0 0 0 25 0 1 0 4888596 11304960 444 1283457024 134512640 134550932 4290772240 18446744073709551615 4160370402 0 0 0 0 0 0 0 17 0 0 0 0
/proc/28110/statm: 2760 444 182 10 0 1102 0

[startup+0.12551 s]
/proc/loadavg: 1.01 1.10 1.09 4/34 28110
/proc/meminfo: memFree=326140/1048576 swapFree=0/0
[pid=28109] ppid=28108 vsize=2568 CPUtime=0
/proc/28109/stat : 28109 (gj-trendy-solve) S 28108 28109 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 4888596 2629632 269 1283457024 134512640 135304128 4294379856 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28109/statm: 642 269 229 194 0 29 0
[pid=28110] ppid=28109 vsize=409796 CPUtime=0.12
/proc/28110/stat : 28110 (java) S 28109 28109 1511 34817 1511 4202496 3881 0 1 0 11 1 0 0 25 0 9 0 4888596 419631104 3310 1283457024 134512640 134550932 4290772240 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28110/statm: 102449 3310 1910 10 0 96597 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 412364

[startup+0.205511 s]
/proc/loadavg: 1.01 1.10 1.09 4/34 28110
/proc/meminfo: memFree=326140/1048576 swapFree=0/0
[pid=28109] ppid=28108 vsize=2568 CPUtime=0
/proc/28109/stat : 28109 (gj-trendy-solve) S 28108 28109 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 4888596 2629632 269 1283457024 134512640 135304128 4294379856 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28109/statm: 642 269 229 194 0 29 0
[pid=28110] ppid=28109 vsize=409796 CPUtime=0.2
/proc/28110/stat : 28110 (java) S 28109 28109 1511 34817 1511 4202496 4077 0 1 0 19 1 0 0 25 0 9 0 4888596 419631104 3505 1283457024 134512640 134550932 4290772240 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28110/statm: 102449 3505 1922 10 0 96597 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 412364

[startup+0.305528 s]
/proc/loadavg: 1.01 1.10 1.09 4/34 28110
/proc/meminfo: memFree=326140/1048576 swapFree=0/0
[pid=28109] ppid=28108 vsize=2568 CPUtime=0
/proc/28109/stat : 28109 (gj-trendy-solve) S 28108 28109 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 4888596 2629632 269 1283457024 134512640 135304128 4294379856 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28109/statm: 642 269 229 194 0 29 0
[pid=28110] ppid=28109 vsize=410376 CPUtime=0.3
/proc/28110/stat : 28110 (java) S 28109 28109 1511 34817 1511 4202496 4444 0 1 0 29 1 0 0 25 0 9 0 4888596 420225024 3872 1283457024 134512640 134550932 4290772240 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28110/statm: 102594 3872 1944 10 0 96742 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 412944

[startup+0.705615 s]
/proc/loadavg: 1.01 1.10 1.09 4/34 28110
/proc/meminfo: memFree=326140/1048576 swapFree=0/0
[pid=28109] ppid=28108 vsize=2568 CPUtime=0
/proc/28109/stat : 28109 (gj-trendy-solve) S 28108 28109 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 4888596 2629632 269 1283457024 134512640 135304128 4294379856 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28109/statm: 642 269 229 194 0 29 0
[pid=28110] ppid=28109 vsize=410652 CPUtime=0.7
/proc/28110/stat : 28110 (java) S 28109 28109 1511 34817 1511 4202496 12316 0 1 0 66 4 0 0 25 0 9 0 4888596 420507648 11557 1283457024 134512640 134550932 4290772240 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28110/statm: 102663 11557 2901 10 0 96811 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 413220

[startup+1.50591 s]
/proc/loadavg: 1.01 1.10 1.09 2/43 28119
/proc/meminfo: memFree=267652/1048576 swapFree=0/0
[pid=28109] ppid=28108 vsize=2568 CPUtime=0
/proc/28109/stat : 28109 (gj-trendy-solve) S 28108 28109 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 4888596 2629632 269 1283457024 134512640 135304128 4294379856 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28109/statm: 642 269 229 194 0 29 0
[pid=28110] ppid=28109 vsize=410784 CPUtime=1.5
/proc/28110/stat : 28110 (java) S 28109 28109 1511 34817 1511 4202496 26467 0 1 0 141 9 0 0 25 0 9 0 4888596 420642816 25708 1283457024 134512640 134550932 4290772240 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28110/statm: 102696 25708 2901 10 0 96844 0
[pid=28110/tid=28112] ppid=28109 vsize=410784 CPUtime=0.84
/proc/28110/task/28112/stat : 28112 (java) R 28109 28109 1511 34817 1511 4202560 6786 0 1 0 82 2 0 0 25 0 9 0 4888597 420642816 25708 1283457024 134512640 134550932 4290772240 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28110/tid=28113] ppid=28109 vsize=410784 CPUtime=0.61
/proc/28110/task/28113/stat : 28113 (java) R 28109 28109 1511 34817 1511 4202560 18296 0 0 0 55 6 0 0 18 0 9 0 4888597 420642816 25708 1283457024 134512640 134550932 4290772240 18446744073709551615 4152942756 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=28110/tid=28114] ppid=28109 vsize=410784 CPUtime=0
/proc/28110/task/28114/stat : 28114 (java) S 28109 28109 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 20 0 9 0 4888597 420642816 25708 1283457024 134512640 134550932 4290772240 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=28110/tid=28115] ppid=28109 vsize=410784 CPUtime=0
/proc/28110/task/28115/stat : 28115 (java) S 28109 28109 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 20 0 9 0 4888597 420642816 25708 1283457024 134512640 134550932 4290772240 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=28110/tid=28116] ppid=28109 vsize=410784 CPUtime=0
/proc/28110/task/28116/stat : 28116 (java) S 28109 28109 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 4888599 420642816 25708 1283457024 134512640 134550932 4290772240 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=28110/tid=28117] ppid=28109 vsize=410784 CPUtime=0.03
/proc/28110/task/28117/stat : 28117 (java) S 28109 28109 1511 34817 1511 4202560 446 0 0 0 3 0 0 0 18 0 9 0 4888599 420642816 25708 1283457024 134512640 134550932 4290772240 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=28110/tid=28118] ppid=28109 vsize=410784 CPUtime=0
/proc/28110/task/28118/stat : 28118 (java) S 28109 28109 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 4888599 420642816 25708 1283457024 134512640 134550932 4290772240 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=28110/tid=28119] ppid=28109 vsize=410784 CPUtime=0
/proc/28110/task/28119/stat : 28119 (java) S 28109 28109 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 9 0 4888599 420642816 25708 1283457024 134512640 134550932 4290772240 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 413352

[startup+3.10627 s]
/proc/loadavg: 1.08 1.11 1.09 2/43 28119
/proc/meminfo: memFree=193500/1048576 swapFree=0/0
[pid=28109] ppid=28108 vsize=2568 CPUtime=0
/proc/28109/stat : 28109 (gj-trendy-solve) S 28108 28109 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 4888596 2629632 269 1283457024 134512640 135304128 4294379856 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28109/statm: 642 269 229 194 0 29 0
[pid=28110] ppid=28109 vsize=410916 CPUtime=3.1
/proc/28110/stat : 28110 (java) S 28109 28109 1511 34817 1511 4202496 47655 0 1 0 292 18 0 0 25 0 9 0 4888596 420777984 46890 1283457024 134512640 134550932 4290772240 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28110/statm: 102729 46890 2902 10 0 96877 0
[pid=28110/tid=28112] ppid=28109 vsize=410916 CPUtime=1.48
/proc/28110/task/28112/stat : 28112 (java) R 28109 28109 1511 34817 1511 4202560 13032 0 1 0 142 6 0 0 25 0 9 0 4888597 420777984 46890 1283457024 134512640 134550932 4290772240 18446744073709551615 4115677822 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28110/tid=28113] ppid=28109 vsize=410916 CPUtime=1.56
/proc/28110/task/28113/stat : 28113 (java) S 28109 28109 1511 34817 1511 4202560 33217 0 0 0 145 11 0 0 16 0 9 0 4888597 420777984 46890 1283457024 134512640 134550932 4290772240 18446744073709551615 4294960130 0 0 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=28110/tid=28114] ppid=28109 vsize=410916 CPUtime=0
/proc/28110/task/28114/stat : 28114 (java) S 28109 28109 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 20 0 9 0 4888597 420777984 46890 1283457024 134512640 134550932 4290772240 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=28110/tid=28115] ppid=28109 vsize=410916 CPUtime=0
/proc/28110/task/28115/stat : 28115 (java) S 28109 28109 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 20 0 9 0 4888597 420777984 46890 1283457024 134512640 134550932 4290772240 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=28110/tid=28116] ppid=28109 vsize=410916 CPUtime=0
/proc/28110/task/28116/stat : 28116 (java) S 28109 28109 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 4888599 420777984 46890 1283457024 134512640 134550932 4290772240 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=28110/tid=28117] ppid=28109 vsize=410916 CPUtime=0.05
/proc/28110/task/28117/stat : 28117 (java) S 28109 28109 1511 34817 1511 4202560 467 0 0 0 5 0 0 0 15 0 9 0 4888599 420777984 46890 1283457024 134512640 134550932 4290772240 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=28110/tid=28118] ppid=28109 vsize=410916 CPUtime=0
/proc/28110/task/28118/stat : 28118 (java) S 28109 28109 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 4888599 420777984 46890 1283457024 134512640 134550932 4290772240 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=28110/tid=28119] ppid=28109 vsize=410916 CPUtime=0
/proc/28110/task/28119/stat : 28119 (java) S 28109 28109 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 9 0 4888599 420777984 46890 1283457024 134512640 134550932 4290772240 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 413484

[startup+6.3072 s]
/proc/loadavg: 1.08 1.11 1.09 2/44 28120
/proc/meminfo: memFree=88960/1048576 swapFree=0/0
[pid=28109] ppid=28108 vsize=2568 CPUtime=0
/proc/28109/stat : 28109 (gj-trendy-solve) S 28108 28109 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 4888596 2629632 269 1283457024 134512640 135304128 4294379856 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28109/statm: 642 269 229 194 0 29 0
[pid=28110] ppid=28109 vsize=411252 CPUtime=6.29
/proc/28110/stat : 28110 (java) S 28109 28109 1511 34817 1511 4202496 63127 0 1 0 604 25 0 0 25 0 10 0 4888596 421122048 62283 1283457024 134512640 134550932 4290772240 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28110/statm: 102813 62283 2926 10 0 96958 0
[pid=28110/tid=28112] ppid=28109 vsize=411252 CPUtime=4.27
/proc/28110/task/28112/stat : 28112 (java) R 28109 28109 1511 34817 1511 4202560 14498 0 1 0 420 7 0 0 25 0 10 0 4888597 421122048 62283 1283457024 134512640 134550932 4290772240 18446744073709551615 4115889386 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28110/tid=28113] ppid=28109 vsize=411252 CPUtime=1.91
/proc/28110/task/28113/stat : 28113 (java) S 28109 28109 1511 34817 1511 4202560 47142 0 0 0 174 17 0 0 16 0 10 0 4888597 421122048 62283 1283457024 134512640 134550932 4290772240 18446744073709551615 4294960130 0 0 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=28110/tid=28114] ppid=28109 vsize=411252 CPUtime=0
/proc/28110/task/28114/stat : 28114 (java) S 28109 28109 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 4888597 421122048 62283 1283457024 134512640 134550932 4290772240 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=28110/tid=28115] ppid=28109 vsize=411252 CPUtime=0
/proc/28110/task/28115/stat : 28115 (java) S 28109 28109 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 4888597 421122048 62283 1283457024 134512640 134550932 4290772240 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=28110/tid=28116] ppid=28109 vsize=411252 CPUtime=0
/proc/28110/task/28116/stat : 28116 (java) S 28109 28109 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4888599 421122048 62283 1283457024 134512640 134550932 4290772240 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=28110/tid=28117] ppid=28109 vsize=411252 CPUtime=0.09
/proc/28110/task/28117/stat : 28117 (java) S 28109 28109 1511 34817 1511 4202560 543 0 0 0 9 0 0 0 15 0 10 0 4888599 421122048 62283 1283457024 134512640 134550932 4290772240 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=28110/tid=28118] ppid=28109 vsize=411252 CPUtime=0
/proc/28110/task/28118/stat : 28118 (java) S 28109 28109 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4888599 421122048 62283 1283457024 134512640 134550932 4290772240 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=28110/tid=28119] ppid=28109 vsize=411252 CPUtime=0
/proc/28110/task/28119/stat : 28119 (java) S 28109 28109 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 4888599 421122048 62283 1283457024 134512640 134550932 4290772240 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=28110/tid=28120] ppid=28109 vsize=411252 CPUtime=0
/proc/28110/task/28120/stat : 28120 (java) S 28109 28109 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 4888983 421122048 62283 1283457024 134512640 134550932 4290772240 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 413820

[startup+12.7088 s]
/proc/loadavg: 1.08 1.11 1.09 2/44 28120
/proc/meminfo: memFree=82396/1048576 swapFree=0/0
[pid=28109] ppid=28108 vsize=2568 CPUtime=0
/proc/28109/stat : 28109 (gj-trendy-solve) S 28108 28109 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 4888596 2629632 269 1283457024 134512640 135304128 4294379856 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28109/statm: 642 269 229 194 0 29 0
[pid=28110] ppid=28109 vsize=411252 CPUtime=12.68
/proc/28110/stat : 28110 (java) S 28109 28109 1511 34817 1511 4202496 64724 0 1 0 1240 28 0 0 25 0 10 0 4888596 421122048 63871 1283457024 134512640 134550932 4290772240 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28110/statm: 102813 63871 2920 10 0 96958 0
[pid=28110/tid=28112] ppid=28109 vsize=411252 CPUtime=10.33
/proc/28110/task/28112/stat : 28112 (java) R 28109 28109 1511 34817 1511 4202560 14500 0 1 0 1025 8 0 0 25 0 10 0 4888597 421122048 63871 1283457024 134512640 134550932 4290772240 18446744073709551615 4115827142 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28110/tid=28113] ppid=28109 vsize=411252 CPUtime=2.23
/proc/28110/task/28113/stat : 28113 (java) S 28109 28109 1511 34817 1511 4202560 48734 0 0 0 204 19 0 0 15 0 10 0 4888597 421122048 63871 1283457024 134512640 134550932 4290772240 18446744073709551615 4294960130 0 0 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=28110/tid=28114] ppid=28109 vsize=411252 CPUtime=0
/proc/28110/task/28114/stat : 28114 (java) S 28109 28109 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 4888597 421122048 63871 1283457024 134512640 134550932 4290772240 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=28110/tid=28115] ppid=28109 vsize=411252 CPUtime=0
/proc/28110/task/28115/stat : 28115 (java) S 28109 28109 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 4888597 421122048 63871 1283457024 134512640 134550932 4290772240 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=28110/tid=28116] ppid=28109 vsize=411252 CPUtime=0
/proc/28110/task/28116/stat : 28116 (java) S 28109 28109 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4888599 421122048 63871 1283457024 134512640 134550932 4290772240 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=28110/tid=28117] ppid=28109 vsize=411252 CPUtime=0.1
/proc/28110/task/28117/stat : 28117 (java) S 28109 28109 1511 34817 1511 4202560 546 0 0 0 10 0 0 0 16 0 10 0 4888599 421122048 63871 1283457024 134512640 134550932 4290772240 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=28110/tid=28118] ppid=28109 vsize=411252 CPUtime=0
/proc/28110/task/28118/stat : 28118 (java) S 28109 28109 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4888599 421122048 63871 1283457024 134512640 134550932 4290772240 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=28110/tid=28119] ppid=28109 vsize=411252 CPUtime=0
/proc/28110/task/28119/stat : 28119 (java) S 28109 28109 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 4888599 421122048 63871 1283457024 134512640 134550932 4290772240 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=28110/tid=28120] ppid=28109 vsize=411252 CPUtime=0
/proc/28110/task/28120/stat : 28120 (java) S 28109 28109 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 4888983 421122048 63871 1283457024 134512640 134550932 4290772240 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 413820

[startup+25.5117 s]
/proc/loadavg: 1.06 1.10 1.09 2/44 28120
/proc/meminfo: memFree=91572/1048576 swapFree=0/0
[pid=28109] ppid=28108 vsize=2568 CPUtime=0
/proc/28109/stat : 28109 (gj-trendy-solve) S 28108 28109 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 4888596 2629632 269 1283457024 134512640 135304128 4294379856 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28109/statm: 642 269 229 194 0 29 0
[pid=28110] ppid=28109 vsize=411252 CPUtime=25.47
/proc/28110/stat : 28110 (java) S 28109 28109 1511 34817 1511 4202496 64729 0 1 0 2518 29 0 0 25 0 10 0 4888596 421122048 61447 1283457024 134512640 134550932 4290772240 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28110/statm: 102813 61447 2920 10 0 96958 0
[pid=28110/tid=28112] ppid=28109 vsize=411252 CPUtime=22.78
/proc/28110/task/28112/stat : 28112 (java) R 28109 28109 1511 34817 1511 4202560 14500 0 1 0 2269 9 0 0 25 0 10 0 4888597 421122048 61447 1283457024 134512640 134550932 4290772240 18446744073709551615 4115889397 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28110/tid=28113] ppid=28109 vsize=411252 CPUtime=2.57
/proc/28110/task/28113/stat : 28113 (java) S 28109 28109 1511 34817 1511 4202560 48734 0 0 0 238 19 0 0 15 0 10 0 4888597 421122048 61447 1283457024 134512640 134550932 4290772240 18446744073709551615 4294960130 0 0 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=28110/tid=28114] ppid=28109 vsize=411252 CPUtime=0
/proc/28110/task/28114/stat : 28114 (java) S 28109 28109 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 4888597 421122048 61447 1283457024 134512640 134550932 4290772240 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=28110/tid=28115] ppid=28109 vsize=411252 CPUtime=0
/proc/28110/task/28115/stat : 28115 (java) S 28109 28109 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 4888597 421122048 61447 1283457024 134512640 134550932 4290772240 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=28110/tid=28116] ppid=28109 vsize=411252 CPUtime=0
/proc/28110/task/28116/stat : 28116 (java) S 28109 28109 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4888599 421122048 61447 1283457024 134512640 134550932 4290772240 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=28110/tid=28117] ppid=28109 vsize=411252 CPUtime=0.1
/proc/28110/task/28117/stat : 28117 (java) S 28109 28109 1511 34817 1511 4202560 551 0 0 0 10 0 0 0 15 0 10 0 4888599 421122048 61447 1283457024 134512640 134550932 4290772240 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=28110/tid=28118] ppid=28109 vsize=411252 CPUtime=0
/proc/28110/task/28118/stat : 28118 (java) S 28109 28109 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4888599 421122048 61447 1283457024 134512640 134550932 4290772240 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=28110/tid=28119] ppid=28109 vsize=411252 CPUtime=0
/proc/28110/task/28119/stat : 28119 (java) S 28109 28109 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 4888599 421122048 61447 1283457024 134512640 134550932 4290772240 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=28110/tid=28120] ppid=28109 vsize=411252 CPUtime=0
/proc/28110/task/28120/stat : 28120 (java) S 28109 28109 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 4888983 421122048 61447 1283457024 134512640 134550932 4290772240 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 413820

[startup+51.107 s]
/proc/loadavg: 1.04 1.09 1.09 2/44 28120
/proc/meminfo: memFree=123316/1048576 swapFree=0/0
[pid=28109] ppid=28108 vsize=2568 CPUtime=0
/proc/28109/stat : 28109 (gj-trendy-solve) S 28108 28109 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 4888596 2629632 269 1283457024 134512640 135304128 4294379856 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28109/statm: 642 269 229 194 0 29 0
[pid=28110] ppid=28109 vsize=411252 CPUtime=51.05
/proc/28110/stat : 28110 (java) S 28109 28109 1511 34817 1511 4202496 64729 0 1 0 5075 30 0 0 25 0 10 0 4888596 421122048 53501 1283457024 134512640 134550932 4290772240 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28110/statm: 102813 53501 2920 10 0 96958 0
[pid=28110/tid=28112] ppid=28109 vsize=411252 CPUtime=48.06
/proc/28110/task/28112/stat : 28112 (java) R 28109 28109 1511 34817 1511 4202560 14500 0 1 0 4797 9 0 0 25 0 10 0 4888597 421122048 53501 1283457024 134512640 134550932 4290772240 18446744073709551615 4114975031 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28110/tid=28113] ppid=28109 vsize=411252 CPUtime=2.87
/proc/28110/task/28113/stat : 28113 (java) S 28109 28109 1511 34817 1511 4202560 48734 0 0 0 267 20 0 0 15 0 10 0 4888597 421122048 53501 1283457024 134512640 134550932 4290772240 18446744073709551615 4294960130 0 0 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=28110/tid=28114] ppid=28109 vsize=411252 CPUtime=0
/proc/28110/task/28114/stat : 28114 (java) S 28109 28109 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 4888597 421122048 53501 1283457024 134512640 134550932 4290772240 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=28110/tid=28115] ppid=28109 vsize=411252 CPUtime=0
/proc/28110/task/28115/stat : 28115 (java) S 28109 28109 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 4888597 421122048 53501 1283457024 134512640 134550932 4290772240 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=28110/tid=28116] ppid=28109 vsize=411252 CPUtime=0
/proc/28110/task/28116/stat : 28116 (java) S 28109 28109 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4888599 421122048 53501 1283457024 134512640 134550932 4290772240 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=28110/tid=28117] ppid=28109 vsize=411252 CPUtime=0.1
/proc/28110/task/28117/stat : 28117 (java) S 28109 28109 1511 34817 1511 4202560 551 0 0 0 10 0 0 0 15 0 10 0 4888599 421122048 53501 1283457024 134512640 134550932 4290772240 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=28110/tid=28118] ppid=28109 vsize=411252 CPUtime=0
/proc/28110/task/28118/stat : 28118 (java) S 28109 28109 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4888599 421122048 53501 1283457024 134512640 134550932 4290772240 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=28110/tid=28119] ppid=28109 vsize=411252 CPUtime=0
/proc/28110/task/28119/stat : 28119 (java) S 28109 28109 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 4888599 421122048 53501 1283457024 134512640 134550932 4290772240 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=28110/tid=28120] ppid=28109 vsize=411252 CPUtime=0
/proc/28110/task/28120/stat : 28120 (java) S 28109 28109 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 4888983 421122048 53501 1283457024 134512640 134550932 4290772240 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 413820

[startup+102.308 s]
/proc/loadavg: 1.01 1.08 1.08 2/44 28120
/proc/meminfo: memFree=123316/1048576 swapFree=0/0
[pid=28109] ppid=28108 vsize=2568 CPUtime=0
/proc/28109/stat : 28109 (gj-trendy-solve) S 28108 28109 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 4888596 2629632 269 1283457024 134512640 135304128 4294379856 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28109/statm: 642 269 229 194 0 29 0
[pid=28110] ppid=28109 vsize=411252 CPUtime=102.2
/proc/28110/stat : 28110 (java) S 28109 28109 1511 34817 1511 4202496 64729 0 1 0 10190 30 0 0 25 0 10 0 4888596 421122048 53501 1283457024 134512640 134550932 4290772240 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28110/statm: 102813 53501 2920 10 0 96958 0
[pid=28110/tid=28112] ppid=28109 vsize=411252 CPUtime=98.6
/proc/28110/task/28112/stat : 28112 (java) R 28109 28109 1511 34817 1511 4202560 14500 0 1 0 9851 9 0 0 25 0 10 0 4888597 421122048 53501 1283457024 134512640 134550932 4290772240 18446744073709551615 4115810996 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28110/tid=28113] ppid=28109 vsize=411252 CPUtime=3.48
/proc/28110/task/28113/stat : 28113 (java) S 28109 28109 1511 34817 1511 4202560 48734 0 0 0 328 20 0 0 15 0 10 0 4888597 421122048 53501 1283457024 134512640 134550932 4290772240 18446744073709551615 4294960130 0 0 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=28110/tid=28114] ppid=28109 vsize=411252 CPUtime=0
/proc/28110/task/28114/stat : 28114 (java) S 28109 28109 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 4888597 421122048 53501 1283457024 134512640 134550932 4290772240 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=28110/tid=28115] ppid=28109 vsize=411252 CPUtime=0
/proc/28110/task/28115/stat : 28115 (java) S 28109 28109 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 4888597 421122048 53501 1283457024 134512640 134550932 4290772240 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=28110/tid=28116] ppid=28109 vsize=411252 CPUtime=0
/proc/28110/task/28116/stat : 28116 (java) S 28109 28109 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4888599 421122048 53501 1283457024 134512640 134550932 4290772240 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=28110/tid=28117] ppid=28109 vsize=411252 CPUtime=0.1
/proc/28110/task/28117/stat : 28117 (java) S 28109 28109 1511 34817 1511 4202560 551 0 0 0 10 0 0 0 15 0 10 0 4888599 421122048 53501 1283457024 134512640 134550932 4290772240 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=28110/tid=28118] ppid=28109 vsize=411252 CPUtime=0
/proc/28110/task/28118/stat : 28118 (java) S 28109 28109 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4888599 421122048 53501 1283457024 134512640 134550932 4290772240 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=28110/tid=28119] ppid=28109 vsize=411252 CPUtime=0
/proc/28110/task/28119/stat : 28119 (java) S 28109 28109 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 4888599 421122048 53501 1283457024 134512640 134550932 4290772240 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=28110/tid=28120] ppid=28109 vsize=411252 CPUtime=0
/proc/28110/task/28120/stat : 28120 (java) S 28109 28109 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 4888983 421122048 53501 1283457024 134512640 134550932 4290772240 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 413820

[startup+162.31 s]
/proc/loadavg: 1.00 1.06 1.08 2/46 28127
/proc/meminfo: memFree=123292/1048576 swapFree=0/0
[pid=28109] ppid=28108 vsize=2568 CPUtime=0
/proc/28109/stat : 28109 (gj-trendy-solve) S 28108 28109 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 4888596 2629632 269 1283457024 134512640 135304128 4294379856 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28109/statm: 642 269 229 194 0 29 0
[pid=28110] ppid=28109 vsize=411252 CPUtime=162.15
/proc/28110/stat : 28110 (java) S 28109 28109 1511 34817 1511 4202496 64729 0 1 0 16185 30 0 0 25 0 10 0 4888596 421122048 53501 1283457024 134512640 134550932 4290772240 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28110/statm: 102813 53501 2920 10 0 96958 0
[pid=28110/tid=28112] ppid=28109 vsize=411252 CPUtime=158.08
/proc/28110/task/28112/stat : 28112 (java) R 28109 28109 1511 34817 1511 4202560 14500 0 1 0 15799 9 0 0 25 0 10 0 4888597 421122048 53501 1283457024 134512640 134550932 4290772240 18446744073709551615 4115818324 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28110/tid=28113] ppid=28109 vsize=411252 CPUtime=3.95
/proc/28110/task/28113/stat : 28113 (java) S 28109 28109 1511 34817 1511 4202560 48734 0 0 0 375 20 0 0 15 0 10 0 4888597 421122048 53501 1283457024 134512640 134550932 4290772240 18446744073709551615 4294960130 0 0 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=28110/tid=28114] ppid=28109 vsize=411252 CPUtime=0
/proc/28110/task/28114/stat : 28114 (java) S 28109 28109 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 4888597 421122048 53501 1283457024 134512640 134550932 4290772240 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=28110/tid=28115] ppid=28109 vsize=411252 CPUtime=0
/proc/28110/task/28115/stat : 28115 (java) S 28109 28109 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 4888597 421122048 53501 1283457024 134512640 134550932 4290772240 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=28110/tid=28116] ppid=28109 vsize=411252 CPUtime=0
/proc/28110/task/28116/stat : 28116 (java) S 28109 28109 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4888599 421122048 53501 1283457024 134512640 134550932 4290772240 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=28110/tid=28117] ppid=28109 vsize=411252 CPUtime=0.1
/proc/28110/task/28117/stat : 28117 (java) S 28109 28109 1511 34817 1511 4202560 551 0 0 0 10 0 0 0 15 0 10 0 4888599 421122048 53501 1283457024 134512640 134550932 4290772240 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=28110/tid=28118] ppid=28109 vsize=411252 CPUtime=0
/proc/28110/task/28118/stat : 28118 (java) S 28109 28109 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4888599 421122048 53501 1283457024 134512640 134550932 4290772240 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=28110/tid=28119] ppid=28109 vsize=411252 CPUtime=0
/proc/28110/task/28119/stat : 28119 (java) S 28109 28109 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 4888599 421122048 53501 1283457024 134512640 134550932 4290772240 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=28110/tid=28120] ppid=28109 vsize=411252 CPUtime=0
/proc/28110/task/28120/stat : 28120 (java) S 28109 28109 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 4888983 421122048 53501 1283457024 134512640 134550932 4290772240 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 162.15
Current children cumulated vsize (KiB) 413820

[startup+222.306 s]
/proc/loadavg: 1.00 1.05 1.07 2/47 28143
/proc/meminfo: memFree=120008/1048576 swapFree=0/0
[pid=28109] ppid=28108 vsize=2568 CPUtime=0
/proc/28109/stat : 28109 (gj-trendy-solve) S 28108 28109 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 4888596 2629632 269 1283457024 134512640 135304128 4294379856 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28109/statm: 642 269 229 194 0 29 0
[pid=28110] ppid=28109 vsize=411252 CPUtime=221.93
/proc/28110/stat : 28110 (java) S 28109 28109 1511 34817 1511 4202496 64729 0 1 0 22163 30 0 0 25 0 10 0 4888596 421122048 53501 1283457024 134512640 134550932 4290772240 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28110/statm: 102813 53501 2920 10 0 96958 0
[pid=28110/tid=28112] ppid=28109 vsize=411252 CPUtime=217.37
/proc/28110/task/28112/stat : 28112 (java) R 28109 28109 1511 34817 1511 4202560 14500 0 1 0 21728 9 0 0 25 0 10 0 4888597 421122048 53501 1283457024 134512640 134550932 4290772240 18446744073709551615 4114975019 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28110/tid=28113] ppid=28109 vsize=411252 CPUtime=4.44
/proc/28110/task/28113/stat : 28113 (java) S 28109 28109 1511 34817 1511 4202560 48734 0 0 0 424 20 0 0 15 0 10 0 4888597 421122048 53501 1283457024 134512640 134550932 4290772240 18446744073709551615 4294960130 0 0 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=28110/tid=28114] ppid=28109 vsize=411252 CPUtime=0
/proc/28110/task/28114/stat : 28114 (java) S 28109 28109 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 4888597 421122048 53501 1283457024 134512640 134550932 4290772240 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=28110/tid=28115] ppid=28109 vsize=411252 CPUtime=0
/proc/28110/task/28115/stat : 28115 (java) S 28109 28109 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 4888597 421122048 53501 1283457024 134512640 134550932 4290772240 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=28110/tid=28116] ppid=28109 vsize=411252 CPUtime=0
/proc/28110/task/28116/stat : 28116 (java) S 28109 28109 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4888599 421122048 53501 1283457024 134512640 134550932 4290772240 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=28110/tid=28117] ppid=28109 vsize=411252 CPUtime=0.1
/proc/28110/task/28117/stat : 28117 (java) S 28109 28109 1511 34817 1511 4202560 551 0 0 0 10 0 0 0 15 0 10 0 4888599 421122048 53501 1283457024 134512640 134550932 4290772240 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=28110/tid=28118] ppid=28109 vsize=411252 CPUtime=0
/proc/28110/task/28118/stat : 28118 (java) S 28109 28109 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4888599 421122048 53501 1283457024 134512640 134550932 4290772240 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=28110/tid=28119] ppid=28109 vsize=411252 CPUtime=0
/proc/28110/task/28119/stat : 28119 (java) S 28109 28109 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 4888599 421122048 53501 1283457024 134512640 134550932 4290772240 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=28110/tid=28120] ppid=28109 vsize=411252 CPUtime=0
/proc/28110/task/28120/stat : 28120 (java) S 28109 28109 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 4888983 421122048 53501 1283457024 134512640 134550932 4290772240 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 221.93
Current children cumulated vsize (KiB) 413820

[startup+282.311 s]
/proc/loadavg: 1.00 1.04 1.07 2/45 28149
/proc/meminfo: memFree=120172/1048576 swapFree=0/0
[pid=28109] ppid=28108 vsize=2568 CPUtime=0
/proc/28109/stat : 28109 (gj-trendy-solve) S 28108 28109 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 4888596 2629632 269 1283457024 134512640 135304128 4294379856 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28109/statm: 642 269 229 194 0 29 0
[pid=28110] ppid=28109 vsize=411252 CPUtime=281.79
/proc/28110/stat : 28110 (java) S 28109 28109 1511 34817 1511 4202496 64729 0 1 0 28149 30 0 0 25 0 10 0 4888596 421122048 53501 1283457024 134512640 134550932 4290772240 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28110/statm: 102813 53501 2920 10 0 96958 0
[pid=28110/tid=28112] ppid=28109 vsize=411252 CPUtime=276.94
/proc/28110/task/28112/stat : 28112 (java) R 28109 28109 1511 34817 1511 4202560 14500 0 1 0 27685 9 0 0 25 0 10 0 4888597 421122048 53501 1283457024 134512640 134550932 4290772240 18446744073709551615 4115832656 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28110/tid=28113] ppid=28109 vsize=411252 CPUtime=4.73
/proc/28110/task/28113/stat : 28113 (java) S 28109 28109 1511 34817 1511 4202560 48734 0 0 0 453 20 0 0 15 0 10 0 4888597 421122048 53501 1283457024 134512640 134550932 4290772240 18446744073709551615 4294960130 0 0 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=28110/tid=28114] ppid=28109 vsize=411252 CPUtime=0
/proc/28110/task/28114/stat : 28114 (java) S 28109 28109 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 4888597 421122048 53501 1283457024 134512640 134550932 4290772240 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=28110/tid=28115] ppid=28109 vsize=411252 CPUtime=0
/proc/28110/task/28115/stat : 28115 (java) S 28109 28109 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 4888597 421122048 53501 1283457024 134512640 134550932 4290772240 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=28110/tid=28116] ppid=28109 vsize=411252 CPUtime=0
/proc/28110/task/28116/stat : 28116 (java) S 28109 28109 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4888599 421122048 53501 1283457024 134512640 134550932 4290772240 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=28110/tid=28117] ppid=28109 vsize=411252 CPUtime=0.1
/proc/28110/task/28117/stat : 28117 (java) S 28109 28109 1511 34817 1511 4202560 551 0 0 0 10 0 0 0 15 0 10 0 4888599 421122048 53501 1283457024 134512640 134550932 4290772240 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=28110/tid=28118] ppid=28109 vsize=411252 CPUtime=0
/proc/28110/task/28118/stat : 28118 (java) S 28109 28109 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4888599 421122048 53501 1283457024 134512640 134550932 4290772240 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=28110/tid=28119] ppid=28109 vsize=411252 CPUtime=0
/proc/28110/task/28119/stat : 28119 (java) S 28109 28109 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 4888599 421122048 53501 1283457024 134512640 134550932 4290772240 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=28110/tid=28120] ppid=28109 vsize=411252 CPUtime=0
/proc/28110/task/28120/stat : 28120 (java) S 28109 28109 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 4888983 421122048 53501 1283457024 134512640 134550932 4290772240 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 281.79
Current children cumulated vsize (KiB) 413820

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

[startup+283.111 s]
/proc/loadavg: 1.00 1.03 1.06 2/45 28149
/proc/meminfo: memFree=120172/1048576 swapFree=0/0
[pid=28109] ppid=28108 vsize=2568 CPUtime=0
/proc/28109/stat : 28109 (gj-trendy-solve) S 28108 28109 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 4888596 2629632 269 1283457024 134512640 135304128 4294379856 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28109/statm: 642 269 229 194 0 29 0
[pid=28110] ppid=28109 vsize=411252 CPUtime=282.6
/proc/28110/stat : 28110 (java) S 28109 28109 1511 34817 1511 4202496 64729 0 1 0 28230 30 0 0 25 0 10 0 4888596 421122048 53501 1283457024 134512640 134550932 4290772240 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28110/statm: 102813 53501 2920 10 0 96958 0
[pid=28110/tid=28112] ppid=28109 vsize=411252 CPUtime=277.75
/proc/28110/task/28112/stat : 28112 (java) R 28109 28109 1511 34817 1511 4202560 14500 0 1 0 27766 9 0 0 25 0 10 0 4888597 421122048 53501 1283457024 134512640 134550932 4290772240 18446744073709551615 4115955326 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28110/tid=28113] ppid=28109 vsize=411252 CPUtime=4.73
/proc/28110/task/28113/stat : 28113 (java) S 28109 28109 1511 34817 1511 4202560 48734 0 0 0 453 20 0 0 15 0 10 0 4888597 421122048 53501 1283457024 134512640 134550932 4290772240 18446744073709551615 4294960130 0 0 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=28110/tid=28114] ppid=28109 vsize=411252 CPUtime=0
/proc/28110/task/28114/stat : 28114 (java) S 28109 28109 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 4888597 421122048 53501 1283457024 134512640 134550932 4290772240 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=28110/tid=28115] ppid=28109 vsize=411252 CPUtime=0
/proc/28110/task/28115/stat : 28115 (java) S 28109 28109 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 4888597 421122048 53501 1283457024 134512640 134550932 4290772240 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=28110/tid=28116] ppid=28109 vsize=411252 CPUtime=0
/proc/28110/task/28116/stat : 28116 (java) S 28109 28109 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4888599 421122048 53501 1283457024 134512640 134550932 4290772240 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=28110/tid=28117] ppid=28109 vsize=411252 CPUtime=0.1
/proc/28110/task/28117/stat : 28117 (java) S 28109 28109 1511 34817 1511 4202560 551 0 0 0 10 0 0 0 15 0 10 0 4888599 421122048 53501 1283457024 134512640 134550932 4290772240 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=28110/tid=28118] ppid=28109 vsize=411252 CPUtime=0
/proc/28110/task/28118/stat : 28118 (java) S 28109 28109 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4888599 421122048 53501 1283457024 134512640 134550932 4290772240 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=28110/tid=28119] ppid=28109 vsize=411252 CPUtime=0
/proc/28110/task/28119/stat : 28119 (java) S 28109 28109 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 4888599 421122048 53501 1283457024 134512640 134550932 4290772240 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=28110/tid=28120] ppid=28109 vsize=411252 CPUtime=0
/proc/28110/task/28120/stat : 28120 (java) S 28109 28109 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 4888983 421122048 53501 1283457024 134512640 134550932 4290772240 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 282.6
Current children cumulated vsize (KiB) 413820

[startup+284.712 s]
/proc/loadavg: 1.00 1.03 1.06 2/45 28149
/proc/meminfo: memFree=120172/1048576 swapFree=0/0
[pid=28109] ppid=28108 vsize=2568 CPUtime=0
/proc/28109/stat : 28109 (gj-trendy-solve) S 28108 28109 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 4888596 2629632 269 1283457024 134512640 135304128 4294379856 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28109/statm: 642 269 229 194 0 29 0
[pid=28110] ppid=28109 vsize=411252 CPUtime=284.2
/proc/28110/stat : 28110 (java) S 28109 28109 1511 34817 1511 4202496 64729 0 1 0 28390 30 0 0 25 0 10 0 4888596 421122048 53501 1283457024 134512640 134550932 4290772240 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28110/statm: 102813 53501 2920 10 0 96958 0
[pid=28110/tid=28112] ppid=28109 vsize=411252 CPUtime=279.35
/proc/28110/task/28112/stat : 28112 (java) R 28109 28109 1511 34817 1511 4202560 14500 0 1 0 27926 9 0 0 25 0 10 0 4888597 421122048 53501 1283457024 134512640 134550932 4290772240 18446744073709551615 4115941244 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28110/tid=28113] ppid=28109 vsize=411252 CPUtime=4.73
/proc/28110/task/28113/stat : 28113 (java) S 28109 28109 1511 34817 1511 4202560 48734 0 0 0 453 20 0 0 15 0 10 0 4888597 421122048 53501 1283457024 134512640 134550932 4290772240 18446744073709551615 4294960130 0 0 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=28110/tid=28114] ppid=28109 vsize=411252 CPUtime=0
/proc/28110/task/28114/stat : 28114 (java) S 28109 28109 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 4888597 421122048 53501 1283457024 134512640 134550932 4290772240 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=28110/tid=28115] ppid=28109 vsize=411252 CPUtime=0
/proc/28110/task/28115/stat : 28115 (java) S 28109 28109 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 4888597 421122048 53501 1283457024 134512640 134550932 4290772240 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=28110/tid=28116] ppid=28109 vsize=411252 CPUtime=0
/proc/28110/task/28116/stat : 28116 (java) S 28109 28109 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4888599 421122048 53501 1283457024 134512640 134550932 4290772240 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=28110/tid=28117] ppid=28109 vsize=411252 CPUtime=0.1
/proc/28110/task/28117/stat : 28117 (java) S 28109 28109 1511 34817 1511 4202560 551 0 0 0 10 0 0 0 15 0 10 0 4888599 421122048 53501 1283457024 134512640 134550932 4290772240 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=28110/tid=28118] ppid=28109 vsize=411252 CPUtime=0
/proc/28110/task/28118/stat : 28118 (java) S 28109 28109 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4888599 421122048 53501 1283457024 134512640 134550932 4290772240 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=28110/tid=28119] ppid=28109 vsize=411252 CPUtime=0
/proc/28110/task/28119/stat : 28119 (java) S 28109 28109 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 4888599 421122048 53501 1283457024 134512640 134550932 4290772240 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=28110/tid=28120] ppid=28109 vsize=411252 CPUtime=0
/proc/28110/task/28120/stat : 28120 (java) S 28109 28109 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 4888983 421122048 53501 1283457024 134512640 134550932 4290772240 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 284.2
Current children cumulated vsize (KiB) 413820

[startup+285.112 s]
/proc/loadavg: 1.00 1.03 1.06 2/45 28149
/proc/meminfo: memFree=120172/1048576 swapFree=0/0
[pid=28109] ppid=28108 vsize=2568 CPUtime=0
/proc/28109/stat : 28109 (gj-trendy-solve) S 28108 28109 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 4888596 2629632 269 1283457024 134512640 135304128 4294379856 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28109/statm: 642 269 229 194 0 29 0
[pid=28110] ppid=28109 vsize=411252 CPUtime=284.6
/proc/28110/stat : 28110 (java) S 28109 28109 1511 34817 1511 4202496 64730 0 1 0 28430 30 0 0 25 0 9 0 4888596 421122048 53502 1283457024 134512640 134550932 4290772240 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28110/statm: 102813 53502 2921 10 0 96958 0
[pid=28110/tid=28112] ppid=28109 vsize=411252 CPUtime=279.75
/proc/28110/task/28112/stat : 28112 (java) R 28109 28109 1511 34817 1511 4202560 14500 0 1 0 27966 9 0 0 25 0 9 0 4888597 421122048 53502 1283457024 134512640 134550932 4290772240 18446744073709551615 4115963845 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28110/tid=28113] ppid=28109 vsize=411252 CPUtime=4.73
/proc/28110/task/28113/stat : 28113 (java) S 28109 28109 1511 34817 1511 4202560 48734 0 0 0 453 20 0 0 15 0 9 0 4888597 421122048 53502 1283457024 134512640 134550932 4290772240 18446744073709551615 4294960130 0 0 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=28110/tid=28114] ppid=28109 vsize=411252 CPUtime=0
/proc/28110/task/28114/stat : 28114 (java) S 28109 28109 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 9 0 4888597 421122048 53502 1283457024 134512640 134550932 4290772240 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=28110/tid=28115] ppid=28109 vsize=411252 CPUtime=0
/proc/28110/task/28115/stat : 28115 (java) S 28109 28109 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 9 0 4888597 421122048 53502 1283457024 134512640 134550932 4290772240 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=28110/tid=28116] ppid=28109 vsize=411252 CPUtime=0
/proc/28110/task/28116/stat : 28116 (java) S 28109 28109 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 4888599 421122048 53502 1283457024 134512640 134550932 4290772240 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=28110/tid=28117] ppid=28109 vsize=411252 CPUtime=0.1
/proc/28110/task/28117/stat : 28117 (java) S 28109 28109 1511 34817 1511 4202560 551 0 0 0 10 0 0 0 15 0 9 0 4888599 421122048 53502 1283457024 134512640 134550932 4290772240 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=28110/tid=28118] ppid=28109 vsize=411252 CPUtime=0
/proc/28110/task/28118/stat : 28118 (java) S 28109 28109 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 4888599 421122048 53502 1283457024 134512640 134550932 4290772240 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=28110/tid=28119] ppid=28109 vsize=411252 CPUtime=0
/proc/28110/task/28119/stat : 28119 (java) S 28109 28109 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 9 0 4888599 421122048 53502 1283457024 134512640 134550932 4290772240 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 284.6
Current children cumulated vsize (KiB) 413820

[startup+285.312 s]
/proc/loadavg: 1.00 1.03 1.06 2/45 28149
/proc/meminfo: memFree=120172/1048576 swapFree=0/0
[pid=28109] ppid=28108 vsize=2568 CPUtime=0
/proc/28109/stat : 28109 (gj-trendy-solve) S 28108 28109 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 4888596 2629632 269 1283457024 134512640 135304128 4294379856 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28109/statm: 642 269 229 194 0 29 0
[pid=28110] ppid=28109 vsize=411252 CPUtime=284.8
/proc/28110/stat : 28110 (java) S 28109 28109 1511 34817 1511 4202496 64730 0 1 0 28450 30 0 0 25 0 9 0 4888596 421122048 53502 1283457024 134512640 134550932 4290772240 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28110/statm: 102813 53502 2921 10 0 96958 0
[pid=28110/tid=28112] ppid=28109 vsize=411252 CPUtime=279.94
/proc/28110/task/28112/stat : 28112 (java) R 28109 28109 1511 34817 1511 4202560 14500 0 1 0 27985 9 0 0 25 0 9 0 4888597 421122048 53502 1283457024 134512640 134550932 4290772240 18446744073709551615 4150664712 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28110/tid=28113] ppid=28109 vsize=411252 CPUtime=4.73
/proc/28110/task/28113/stat : 28113 (java) S 28109 28109 1511 34817 1511 4202560 48734 0 0 0 453 20 0 0 15 0 9 0 4888597 421122048 53502 1283457024 134512640 134550932 4290772240 18446744073709551615 4294960130 0 0 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=28110/tid=28114] ppid=28109 vsize=411252 CPUtime=0
/proc/28110/task/28114/stat : 28114 (java) S 28109 28109 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 9 0 4888597 421122048 53502 1283457024 134512640 134550932 4290772240 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=28110/tid=28115] ppid=28109 vsize=411252 CPUtime=0
/proc/28110/task/28115/stat : 28115 (java) S 28109 28109 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 9 0 4888597 421122048 53502 1283457024 134512640 134550932 4290772240 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=28110/tid=28116] ppid=28109 vsize=411252 CPUtime=0
/proc/28110/task/28116/stat : 28116 (java) S 28109 28109 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 4888599 421122048 53502 1283457024 134512640 134550932 4290772240 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=28110/tid=28117] ppid=28109 vsize=411252 CPUtime=0.11
/proc/28110/task/28117/stat : 28117 (java) S 28109 28109 1511 34817 1511 4202560 551 0 0 0 11 0 0 0 15 0 9 0 4888599 421122048 53502 1283457024 134512640 134550932 4290772240 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=28110/tid=28118] ppid=28109 vsize=411252 CPUtime=0
/proc/28110/task/28118/stat : 28118 (java) S 28109 28109 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 4888599 421122048 53502 1283457024 134512640 134550932 4290772240 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=28110/tid=28119] ppid=28109 vsize=411252 CPUtime=0
/proc/28110/task/28119/stat : 28119 (java) S 28109 28109 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 9 0 4888599 421122048 53502 1283457024 134512640 134550932 4290772240 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 284.8
Current children cumulated vsize (KiB) 413820

[startup+285.412 s]
/proc/loadavg: 1.00 1.03 1.06 2/45 28149
/proc/meminfo: memFree=120172/1048576 swapFree=0/0
[pid=28109] ppid=28108 vsize=2568 CPUtime=0
/proc/28109/stat : 28109 (gj-trendy-solve) S 28108 28109 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 4888596 2629632 269 1283457024 134512640 135304128 4294379856 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28109/statm: 642 269 229 194 0 29 0
[pid=28110] ppid=28109 vsize=411252 CPUtime=284.9
/proc/28110/stat : 28110 (java) S 28109 28109 1511 34817 1511 4202496 64730 0 1 0 28460 30 0 0 25 0 9 0 4888596 421122048 53502 1283457024 134512640 134550932 4290772240 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28110/statm: 102813 53502 2921 10 0 96958 0
[pid=28110/tid=28112] ppid=28109 vsize=411252 CPUtime=280.04
/proc/28110/task/28112/stat : 28112 (java) R 28109 28109 1511 34817 1511 4202560 14500 0 1 0 27995 9 0 0 25 0 9 0 4888597 421122048 53502 1283457024 134512640 134550932 4290772240 18446744073709551615 4115963845 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28110/tid=28113] ppid=28109 vsize=411252 CPUtime=4.73
/proc/28110/task/28113/stat : 28113 (java) S 28109 28109 1511 34817 1511 4202560 48734 0 0 0 453 20 0 0 15 0 9 0 4888597 421122048 53502 1283457024 134512640 134550932 4290772240 18446744073709551615 4294960130 0 0 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=28110/tid=28114] ppid=28109 vsize=411252 CPUtime=0
/proc/28110/task/28114/stat : 28114 (java) S 28109 28109 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 9 0 4888597 421122048 53502 1283457024 134512640 134550932 4290772240 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=28110/tid=28115] ppid=28109 vsize=411252 CPUtime=0
/proc/28110/task/28115/stat : 28115 (java) S 28109 28109 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 9 0 4888597 421122048 53502 1283457024 134512640 134550932 4290772240 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=28110/tid=28116] ppid=28109 vsize=411252 CPUtime=0
/proc/28110/task/28116/stat : 28116 (java) S 28109 28109 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 4888599 421122048 53502 1283457024 134512640 134550932 4290772240 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=28110/tid=28117] ppid=28109 vsize=411252 CPUtime=0.11
/proc/28110/task/28117/stat : 28117 (java) S 28109 28109 1511 34817 1511 4202560 551 0 0 0 11 0 0 0 15 0 9 0 4888599 421122048 53502 1283457024 134512640 134550932 4290772240 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=28110/tid=28118] ppid=28109 vsize=411252 CPUtime=0
/proc/28110/task/28118/stat : 28118 (java) S 28109 28109 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 4888599 421122048 53502 1283457024 134512640 134550932 4290772240 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
[pid=28110/tid=28119] ppid=28109 vsize=411252 CPUtime=0
/proc/28110/task/28119/stat : 28119 (java) S 28109 28109 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 9 0 4888599 421122048 53502 1283457024 134512640 134550932 4290772240 18446744073709551615 4294960130 0 4 0 16800975 18446612132974981184 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 284.9
Current children cumulated vsize (KiB) 413820

Child status: 0
Real time (s): 285.452
CPU time (s): 284.918
CPU user time (s): 284.61
CPU system time (s): 0.308019
CPU usage (%): 99.8129
Max. virtual memory (cumulated for all children) (KiB): 413820

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 284.61
system time used= 0.308019
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 65117
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= 5892
involuntary context switches= 9240

runsolver used 0 second user time and 0 second system time

The end