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/201108251442/gj-paranoid-solver-1.0/rand477.cudf.s-e-l-s.log.runsolver ./gj-paranoid-solver-1.0 /home/misc2010/data/2011/incremental/s-e-l-s/rand477.cudf /home/misc2010/tmp/201108251442/gj-paranoid-solver-1.0/rand477.cudf.s-e-l-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: 0.98 1.02 1.00 5/36 15567
/proc/meminfo: memFree=390024/1048576 swapFree=0/0
[pid=15566] ppid=15565 vsize=2568 CPUtime=0
/proc/15566/stat : 15566 (gj-paranoid-sol) R 15565 15566 4778 34817 4778 4202496 354 0 0 0 0 0 0 0 25 0 1 0 10883685 2629632 268 1283457024 134512640 135304128 4289223840 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/15566/statm: 642 268 228 194 0 29 0
[pid=15567] ppid=15566 vsize=2568 CPUtime=0
/proc/15567/stat : 15567 (gj-paranoid-sol) R 15566 15566 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 25 0 1 0 10883685 2629632 40 1283457024 134512640 135304128 4289223840 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/15567/statm: 642 40 0 194 0 29 0

[startup+0.125228 s]
/proc/loadavg: 0.98 1.02 1.00 5/36 15567
/proc/meminfo: memFree=390024/1048576 swapFree=0/0
[pid=15566] ppid=15565 vsize=2568 CPUtime=0
/proc/15566/stat : 15566 (gj-paranoid-sol) S 15565 15566 4778 34817 4778 4202496 371 0 0 0 0 0 0 0 25 0 1 0 10883685 2629632 269 1283457024 134512640 135304128 4289223840 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/15566/statm: 642 269 229 194 0 29 0
[pid=15567] ppid=15566 vsize=409796 CPUtime=0.12
/proc/15567/stat : 15567 (java) S 15566 15566 4778 34817 4778 4202496 3862 0 1 0 10 2 0 0 25 0 9 0 10883685 419631104 3294 1283457024 134512640 134550932 4292136608 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15567/statm: 102449 3294 1906 10 0 96597 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 412364

[startup+0.205235 s]
/proc/loadavg: 0.98 1.02 1.00 5/36 15567
/proc/meminfo: memFree=390024/1048576 swapFree=0/0
[pid=15566] ppid=15565 vsize=2568 CPUtime=0
/proc/15566/stat : 15566 (gj-paranoid-sol) S 15565 15566 4778 34817 4778 4202496 371 0 0 0 0 0 0 0 25 0 1 0 10883685 2629632 269 1283457024 134512640 135304128 4289223840 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/15566/statm: 642 269 229 194 0 29 0
[pid=15567] ppid=15566 vsize=409796 CPUtime=0.2
/proc/15567/stat : 15567 (java) S 15566 15566 4778 34817 4778 4202496 4047 0 1 0 18 2 0 0 25 0 9 0 10883685 419631104 3479 1283457024 134512640 134550932 4292136608 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15567/statm: 102449 3479 1906 10 0 96597 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 412364

[startup+0.305254 s]
/proc/loadavg: 0.98 1.02 1.00 5/36 15567
/proc/meminfo: memFree=390024/1048576 swapFree=0/0
[pid=15566] ppid=15565 vsize=2568 CPUtime=0
/proc/15566/stat : 15566 (gj-paranoid-sol) S 15565 15566 4778 34817 4778 4202496 371 0 0 0 0 0 0 0 25 0 1 0 10883685 2629632 269 1283457024 134512640 135304128 4289223840 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/15566/statm: 642 269 229 194 0 29 0
[pid=15567] ppid=15566 vsize=410244 CPUtime=0.3
/proc/15567/stat : 15567 (java) S 15566 15566 4778 34817 4778 4202496 4394 0 1 0 28 2 0 0 25 0 9 0 10883685 420089856 3826 1283457024 134512640 134550932 4292136608 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15567/statm: 102561 3826 1926 10 0 96709 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 412812

[startup+0.705331 s]
/proc/loadavg: 0.98 1.02 1.00 5/36 15567
/proc/meminfo: memFree=390024/1048576 swapFree=0/0
[pid=15566] ppid=15565 vsize=2568 CPUtime=0
/proc/15566/stat : 15566 (gj-paranoid-sol) S 15565 15566 4778 34817 4778 4202496 371 0 0 0 0 0 0 0 25 0 1 0 10883685 2629632 269 1283457024 134512640 135304128 4289223840 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/15566/statm: 642 269 229 194 0 29 0
[pid=15567] ppid=15566 vsize=410684 CPUtime=0.71
/proc/15567/stat : 15567 (java) S 15566 15566 4778 34817 4778 4202496 12887 0 1 0 67 4 0 0 25 0 9 0 10883685 420540416 12134 1283457024 134512640 134550932 4292136608 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15567/statm: 102671 12134 2895 10 0 96819 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 413252

[startup+1.50551 s]
/proc/loadavg: 0.98 1.02 1.00 3/45 15576
/proc/meminfo: memFree=330296/1048576 swapFree=0/0
[pid=15566] ppid=15565 vsize=2568 CPUtime=0
/proc/15566/stat : 15566 (gj-paranoid-sol) S 15565 15566 4778 34817 4778 4202496 371 0 0 0 0 0 0 0 25 0 1 0 10883685 2629632 269 1283457024 134512640 135304128 4289223840 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/15566/statm: 642 269 229 194 0 29 0
[pid=15567] ppid=15566 vsize=410816 CPUtime=1.51
/proc/15567/stat : 15567 (java) S 15566 15566 4778 34817 4778 4202496 26808 0 1 0 139 12 0 0 25 0 9 0 10883685 420675584 26055 1283457024 134512640 134550932 4292136608 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15567/statm: 102704 26055 2896 10 0 96852 0
[pid=15567/tid=15569] ppid=15566 vsize=410816 CPUtime=0.79
/proc/15567/task/15569/stat : 15569 (java) R 15566 15566 4778 34817 4778 4202560 6823 0 1 0 77 2 0 0 25 0 9 0 10883686 420675584 26055 1283457024 134512640 134550932 4292136608 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=15567/tid=15570] ppid=15566 vsize=410816 CPUtime=0.67
/proc/15567/task/15570/stat : 15570 (java) R 15566 15566 4778 34817 4778 4202560 18607 0 0 0 59 8 0 0 19 0 9 0 10883686 420675584 26055 1283457024 134512640 134550932 4292136608 18446744073709551615 4151407520 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=15567/tid=15571] ppid=15566 vsize=410816 CPUtime=0
/proc/15567/task/15571/stat : 15571 (java) S 15566 15566 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 20 0 9 0 10883686 420675584 26055 1283457024 134512640 134550932 4292136608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=15567/tid=15572] ppid=15566 vsize=410816 CPUtime=0
/proc/15567/task/15572/stat : 15572 (java) S 15566 15566 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 20 0 9 0 10883686 420675584 26055 1283457024 134512640 134550932 4292136608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=15567/tid=15573] ppid=15566 vsize=410816 CPUtime=0
/proc/15567/task/15573/stat : 15573 (java) S 15566 15566 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 10883688 420675584 26055 1283457024 134512640 134550932 4292136608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=15567/tid=15574] ppid=15566 vsize=410816 CPUtime=0.02
/proc/15567/task/15574/stat : 15574 (java) S 15566 15566 4778 34817 4778 4202560 439 0 0 0 2 0 0 0 16 0 9 0 10883688 420675584 26055 1283457024 134512640 134550932 4292136608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=15567/tid=15575] ppid=15566 vsize=410816 CPUtime=0
/proc/15567/task/15575/stat : 15575 (java) S 15566 15566 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 10883688 420675584 26055 1283457024 134512640 134550932 4292136608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=15567/tid=15576] ppid=15566 vsize=410816 CPUtime=0
/proc/15567/task/15576/stat : 15576 (java) S 15566 15566 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 15 0 9 0 10883688 420675584 26055 1283457024 134512640 134550932 4292136608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 413384

[startup+3.10578 s]
/proc/loadavg: 0.98 1.02 1.00 2/45 15577
/proc/meminfo: memFree=255028/1048576 swapFree=0/0
[pid=15566] ppid=15565 vsize=2568 CPUtime=0
/proc/15566/stat : 15566 (gj-paranoid-sol) S 15565 15566 4778 34817 4778 4202496 371 0 0 0 0 0 0 0 25 0 1 0 10883685 2629632 269 1283457024 134512640 135304128 4289223840 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/15566/statm: 642 269 229 194 0 29 0
[pid=15567] ppid=15566 vsize=410816 CPUtime=3.11
/proc/15567/stat : 15567 (java) S 15566 15566 4778 34817 4778 4202496 48817 0 1 0 293 18 0 0 25 0 9 0 10883685 420675584 48064 1283457024 134512640 134550932 4292136608 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15567/statm: 102704 48064 2896 10 0 96852 0
[pid=15567/tid=15569] ppid=15566 vsize=410816 CPUtime=1.4
/proc/15567/task/15569/stat : 15569 (java) R 15566 15566 4778 34817 4778 4202560 13872 0 1 0 134 6 0 0 25 0 9 0 10883686 420675584 48064 1283457024 134512640 134550932 4292136608 18446744073709551615 4115324922 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=15567/tid=15570] ppid=15566 vsize=410816 CPUtime=1.66
/proc/15567/task/15570/stat : 15570 (java) S 15566 15566 4778 34817 4778 4202560 33564 0 0 0 156 10 0 0 17 0 9 0 10883686 420675584 48064 1283457024 134512640 134550932 4292136608 18446744073709551615 4294960130 0 0 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=15567/tid=15571] ppid=15566 vsize=410816 CPUtime=0
/proc/15567/task/15571/stat : 15571 (java) S 15566 15566 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 20 0 9 0 10883686 420675584 48064 1283457024 134512640 134550932 4292136608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=15567/tid=15572] ppid=15566 vsize=410816 CPUtime=0
/proc/15567/task/15572/stat : 15572 (java) S 15566 15566 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 20 0 9 0 10883686 420675584 48064 1283457024 134512640 134550932 4292136608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=15567/tid=15573] ppid=15566 vsize=410816 CPUtime=0
/proc/15567/task/15573/stat : 15573 (java) S 15566 15566 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 10883688 420675584 48064 1283457024 134512640 134550932 4292136608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=15567/tid=15574] ppid=15566 vsize=410816 CPUtime=0.02
/proc/15567/task/15574/stat : 15574 (java) S 15566 15566 4778 34817 4778 4202560 442 0 0 0 2 0 0 0 16 0 9 0 10883688 420675584 48064 1283457024 134512640 134550932 4292136608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=15567/tid=15575] ppid=15566 vsize=410816 CPUtime=0
/proc/15567/task/15575/stat : 15575 (java) S 15566 15566 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 10883688 420675584 48064 1283457024 134512640 134550932 4292136608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=15567/tid=15576] ppid=15566 vsize=410816 CPUtime=0
/proc/15567/task/15576/stat : 15576 (java) S 15566 15566 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 15 0 9 0 10883688 420675584 48064 1283457024 134512640 134550932 4292136608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.11
Current children cumulated vsize (KiB) 413384

[startup+6.3064 s]
/proc/loadavg: 0.98 1.02 1.00 3/45 15577
/proc/meminfo: memFree=105980/1048576 swapFree=0/0
[pid=15566] ppid=15565 vsize=2568 CPUtime=0
/proc/15566/stat : 15566 (gj-paranoid-sol) S 15565 15566 4778 34817 4778 4202496 371 0 0 0 0 0 0 0 25 0 1 0 10883685 2629632 269 1283457024 134512640 135304128 4289223840 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/15566/statm: 642 269 229 194 0 29 0
[pid=15567] ppid=15566 vsize=414060 CPUtime=6.3
/proc/15567/stat : 15567 (java) S 15566 15566 4778 34817 4778 4202496 77148 0 1 0 607 23 0 0 25 0 9 0 10883685 423997440 71154 1283457024 134512640 134550932 4292136608 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15567/statm: 103515 71154 2911 10 0 97660 0
[pid=15567/tid=15569] ppid=15566 vsize=414060 CPUtime=2.4
/proc/15567/task/15569/stat : 15569 (java) R 15566 15566 4778 34817 4778 4202560 14555 0 1 0 234 6 0 0 25 0 9 0 10883686 423997440 71154 1283457024 134512640 134550932 4292136608 18446744073709551615 4115454089 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=15567/tid=15570] ppid=15566 vsize=414060 CPUtime=3.84
/proc/15567/task/15570/stat : 15570 (java) S 15566 15566 4778 34817 4778 4202560 61177 0 0 0 369 15 0 0 17 0 9 0 10883686 423997440 71154 1283457024 134512640 134550932 4292136608 18446744073709551615 4294960130 0 0 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=15567/tid=15571] ppid=15566 vsize=414060 CPUtime=0
/proc/15567/task/15571/stat : 15571 (java) S 15566 15566 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 18 0 9 0 10883686 423997440 71154 1283457024 134512640 134550932 4292136608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=15567/tid=15572] ppid=15566 vsize=414060 CPUtime=0
/proc/15567/task/15572/stat : 15572 (java) S 15566 15566 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 9 0 10883686 423997440 71154 1283457024 134512640 134550932 4292136608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=15567/tid=15573] ppid=15566 vsize=414060 CPUtime=0
/proc/15567/task/15573/stat : 15573 (java) S 15566 15566 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 10883688 423997440 71154 1283457024 134512640 134550932 4292136608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=15567/tid=15574] ppid=15566 vsize=414060 CPUtime=0.03
/proc/15567/task/15574/stat : 15574 (java) S 15566 15566 4778 34817 4778 4202560 477 0 0 0 3 0 0 0 15 0 9 0 10883688 423997440 71154 1283457024 134512640 134550932 4292136608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=15567/tid=15575] ppid=15566 vsize=414060 CPUtime=0
/proc/15567/task/15575/stat : 15575 (java) S 15566 15566 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 10883688 423997440 71154 1283457024 134512640 134550932 4292136608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=15567/tid=15576] ppid=15566 vsize=414060 CPUtime=0
/proc/15567/task/15576/stat : 15576 (java) S 15566 15566 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 15 0 9 0 10883688 423997440 71154 1283457024 134512640 134550932 4292136608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 416628

[startup+12.7083 s]
/proc/loadavg: 0.98 1.02 1.00 2/46 15579
/proc/meminfo: memFree=116272/1048576 swapFree=0/0
[pid=15566] ppid=15565 vsize=2568 CPUtime=0
/proc/15566/stat : 15566 (gj-paranoid-sol) S 15565 15566 4778 34817 4778 4202496 371 0 0 0 0 0 0 0 25 0 1 0 10883685 2629632 269 1283457024 134512640 135304128 4289223840 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/15566/statm: 642 269 229 194 0 29 0
[pid=15567] ppid=15566 vsize=413744 CPUtime=12.7
/proc/15567/stat : 15567 (java) S 15566 15566 4778 34817 4778 4202496 82242 0 1 0 1245 25 0 0 25 0 10 0 10883685 423673856 71088 1283457024 134512640 134550932 4292136608 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15567/statm: 103436 71088 2913 10 0 97581 0
[pid=15567/tid=15569] ppid=15566 vsize=413744 CPUtime=7.09
/proc/15567/task/15569/stat : 15569 (java) R 15566 15566 4778 34817 4778 4202560 14586 0 1 0 702 7 0 0 25 0 10 0 10883686 423673856 71088 1283457024 134512640 134550932 4292136608 18446744073709551615 4115693124 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=15567/tid=15570] ppid=15566 vsize=413744 CPUtime=5.51
/proc/15567/task/15570/stat : 15570 (java) S 15566 15566 4778 34817 4778 4202560 66173 0 0 0 535 16 0 0 16 0 10 0 10883686 423673856 71088 1283457024 134512640 134550932 4292136608 18446744073709551615 4294960130 0 0 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=15567/tid=15571] ppid=15566 vsize=413744 CPUtime=0
/proc/15567/task/15571/stat : 15571 (java) S 15566 15566 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 18 0 10 0 10883686 423673856 71088 1283457024 134512640 134550932 4292136608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=15567/tid=15572] ppid=15566 vsize=413744 CPUtime=0
/proc/15567/task/15572/stat : 15572 (java) S 15566 15566 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 10883686 423673856 71088 1283457024 134512640 134550932 4292136608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=15567/tid=15573] ppid=15566 vsize=413744 CPUtime=0
/proc/15567/task/15573/stat : 15573 (java) S 15566 15566 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10883688 423673856 71088 1283457024 134512640 134550932 4292136608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=15567/tid=15574] ppid=15566 vsize=413744 CPUtime=0.07
/proc/15567/task/15574/stat : 15574 (java) S 15566 15566 4778 34817 4778 4202560 539 0 0 0 7 0 0 0 15 0 10 0 10883688 423673856 71088 1283457024 134512640 134550932 4292136608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=15567/tid=15575] ppid=15566 vsize=413744 CPUtime=0
/proc/15567/task/15575/stat : 15575 (java) S 15566 15566 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10883688 423673856 71088 1283457024 134512640 134550932 4292136608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=15567/tid=15576] ppid=15566 vsize=413744 CPUtime=0
/proc/15567/task/15576/stat : 15576 (java) S 15566 15566 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 15 0 10 0 10883688 423673856 71088 1283457024 134512640 134550932 4292136608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=15567/tid=15578] ppid=15566 vsize=413744 CPUtime=0
/proc/15567/task/15578/stat : 15578 (java) S 15566 15566 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 25 0 10 0 10884534 423673856 71088 1283457024 134512640 134550932 4292136608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 416312

[startup+25.5044 s]
/proc/loadavg: 0.98 1.01 1.00 2/46 15580
/proc/meminfo: memFree=116272/1048576 swapFree=0/0
[pid=15566] ppid=15565 vsize=2568 CPUtime=0
/proc/15566/stat : 15566 (gj-paranoid-sol) S 15565 15566 4778 34817 4778 4202496 371 0 0 0 0 0 0 0 25 0 1 0 10883685 2629632 269 1283457024 134512640 135304128 4289223840 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/15566/statm: 642 269 229 194 0 29 0
[pid=15567] ppid=15566 vsize=413744 CPUtime=25.47
/proc/15567/stat : 15567 (java) S 15566 15566 4778 34817 4778 4202496 82254 0 1 0 2522 25 0 0 25 0 10 0 10883685 423673856 71100 1283457024 134512640 134550932 4292136608 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15567/statm: 103436 71100 2915 10 0 97581 0
[pid=15567/tid=15569] ppid=15566 vsize=413744 CPUtime=19.47
/proc/15567/task/15569/stat : 15569 (java) R 15566 15566 4778 34817 4778 4202560 14587 0 1 0 1940 7 0 0 25 0 10 0 10883686 423673856 71100 1283457024 134512640 134550932 4292136608 18446744073709551615 4115699872 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=15567/tid=15570] ppid=15566 vsize=413744 CPUtime=5.89
/proc/15567/task/15570/stat : 15570 (java) S 15566 15566 4778 34817 4778 4202560 66175 0 0 0 573 16 0 0 15 0 10 0 10883686 423673856 71100 1283457024 134512640 134550932 4292136608 18446744073709551615 4294960130 0 0 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=15567/tid=15571] ppid=15566 vsize=413744 CPUtime=0
/proc/15567/task/15571/stat : 15571 (java) S 15566 15566 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 15 0 10 0 10883686 423673856 71100 1283457024 134512640 134550932 4292136608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=15567/tid=15572] ppid=15566 vsize=413744 CPUtime=0
/proc/15567/task/15572/stat : 15572 (java) S 15566 15566 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 10883686 423673856 71100 1283457024 134512640 134550932 4292136608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=15567/tid=15573] ppid=15566 vsize=413744 CPUtime=0
/proc/15567/task/15573/stat : 15573 (java) S 15566 15566 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10883688 423673856 71100 1283457024 134512640 134550932 4292136608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=15567/tid=15574] ppid=15566 vsize=413744 CPUtime=0.08
/proc/15567/task/15574/stat : 15574 (java) S 15566 15566 4778 34817 4778 4202560 548 0 0 0 8 0 0 0 15 0 10 0 10883688 423673856 71100 1283457024 134512640 134550932 4292136608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=15567/tid=15575] ppid=15566 vsize=413744 CPUtime=0
/proc/15567/task/15575/stat : 15575 (java) S 15566 15566 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10883688 423673856 71100 1283457024 134512640 134550932 4292136608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=15567/tid=15576] ppid=15566 vsize=413744 CPUtime=0
/proc/15567/task/15576/stat : 15576 (java) S 15566 15566 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 15 0 10 0 10883688 423673856 71100 1283457024 134512640 134550932 4292136608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=15567/tid=15578] ppid=15566 vsize=413744 CPUtime=0
/proc/15567/task/15578/stat : 15578 (java) S 15566 15566 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 25 0 10 0 10884534 423673856 71100 1283457024 134512640 134550932 4292136608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 416312

[startup+51.1103 s]
/proc/loadavg: 0.99 1.01 1.00 3/45 15581
/proc/meminfo: memFree=116164/1048576 swapFree=0/0
[pid=15566] ppid=15565 vsize=2568 CPUtime=0
/proc/15566/stat : 15566 (gj-paranoid-sol) S 15565 15566 4778 34817 4778 4202496 371 0 0 0 0 0 0 0 25 0 1 0 10883685 2629632 269 1283457024 134512640 135304128 4289223840 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/15566/statm: 642 269 229 194 0 29 0
[pid=15567] ppid=15566 vsize=413744 CPUtime=51.07
/proc/15567/stat : 15567 (java) S 15566 15566 4778 34817 4778 4202496 82255 0 1 0 5081 26 0 0 25 0 10 0 10883685 423673856 71101 1283457024 134512640 134550932 4292136608 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15567/statm: 103436 71101 2915 10 0 97581 0
[pid=15567/tid=15569] ppid=15566 vsize=413744 CPUtime=44.75
/proc/15567/task/15569/stat : 15569 (java) R 15566 15566 4778 34817 4778 4202560 14587 0 1 0 4467 8 0 0 25 0 10 0 10883686 423673856 71101 1283457024 134512640 134550932 4292136608 18446744073709551615 4115790095 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=15567/tid=15570] ppid=15566 vsize=413744 CPUtime=6.22
/proc/15567/task/15570/stat : 15570 (java) S 15566 15566 4778 34817 4778 4202560 66175 0 0 0 606 16 0 0 15 0 10 0 10883686 423673856 71101 1283457024 134512640 134550932 4292136608 18446744073709551615 4294960130 0 0 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=15567/tid=15571] ppid=15566 vsize=413744 CPUtime=0
/proc/15567/task/15571/stat : 15571 (java) S 15566 15566 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 15 0 10 0 10883686 423673856 71101 1283457024 134512640 134550932 4292136608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=15567/tid=15572] ppid=15566 vsize=413744 CPUtime=0
/proc/15567/task/15572/stat : 15572 (java) S 15566 15566 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 10883686 423673856 71101 1283457024 134512640 134550932 4292136608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=15567/tid=15573] ppid=15566 vsize=413744 CPUtime=0
/proc/15567/task/15573/stat : 15573 (java) S 15566 15566 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10883688 423673856 71101 1283457024 134512640 134550932 4292136608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=15567/tid=15574] ppid=15566 vsize=413744 CPUtime=0.08
/proc/15567/task/15574/stat : 15574 (java) S 15566 15566 4778 34817 4778 4202560 549 0 0 0 8 0 0 0 15 0 10 0 10883688 423673856 71101 1283457024 134512640 134550932 4292136608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=15567/tid=15575] ppid=15566 vsize=413744 CPUtime=0
/proc/15567/task/15575/stat : 15575 (java) S 15566 15566 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10883688 423673856 71101 1283457024 134512640 134550932 4292136608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=15567/tid=15576] ppid=15566 vsize=413744 CPUtime=0
/proc/15567/task/15576/stat : 15576 (java) S 15566 15566 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 15 0 10 0 10883688 423673856 71101 1283457024 134512640 134550932 4292136608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=15567/tid=15578] ppid=15566 vsize=413744 CPUtime=0
/proc/15567/task/15578/stat : 15578 (java) S 15566 15566 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 25 0 10 0 10884534 423673856 71101 1283457024 134512640 134550932 4292136608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 416312

[startup+102.305 s]
/proc/loadavg: 1.03 1.02 1.00 2/44 15581
/proc/meminfo: memFree=116172/1048576 swapFree=0/0
[pid=15566] ppid=15565 vsize=2568 CPUtime=0
/proc/15566/stat : 15566 (gj-paranoid-sol) S 15565 15566 4778 34817 4778 4202496 371 0 0 0 0 0 0 0 25 0 1 0 10883685 2629632 269 1283457024 134512640 135304128 4289223840 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/15566/statm: 642 269 229 194 0 29 0
[pid=15567] ppid=15566 vsize=413744 CPUtime=102.24
/proc/15567/stat : 15567 (java) S 15566 15566 4778 34817 4778 4202496 82255 0 1 0 10197 27 0 0 25 0 10 0 10883685 423673856 71101 1283457024 134512640 134550932 4292136608 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15567/statm: 103436 71101 2915 10 0 97581 0
[pid=15567/tid=15569] ppid=15566 vsize=413744 CPUtime=95.28
/proc/15567/task/15569/stat : 15569 (java) R 15566 15566 4778 34817 4778 4202560 14587 0 1 0 9519 9 0 0 25 0 10 0 10883686 423673856 71101 1283457024 134512640 134550932 4292136608 18446744073709551615 4115699344 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=15567/tid=15570] ppid=15566 vsize=413744 CPUtime=6.85
/proc/15567/task/15570/stat : 15570 (java) S 15566 15566 4778 34817 4778 4202560 66175 0 0 0 669 16 0 0 15 0 10 0 10883686 423673856 71101 1283457024 134512640 134550932 4292136608 18446744073709551615 4294960130 0 0 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=15567/tid=15571] ppid=15566 vsize=413744 CPUtime=0
/proc/15567/task/15571/stat : 15571 (java) S 15566 15566 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 15 0 10 0 10883686 423673856 71101 1283457024 134512640 134550932 4292136608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=15567/tid=15572] ppid=15566 vsize=413744 CPUtime=0
/proc/15567/task/15572/stat : 15572 (java) S 15566 15566 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 10883686 423673856 71101 1283457024 134512640 134550932 4292136608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=15567/tid=15573] ppid=15566 vsize=413744 CPUtime=0
/proc/15567/task/15573/stat : 15573 (java) S 15566 15566 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10883688 423673856 71101 1283457024 134512640 134550932 4292136608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=15567/tid=15574] ppid=15566 vsize=413744 CPUtime=0.08
/proc/15567/task/15574/stat : 15574 (java) S 15566 15566 4778 34817 4778 4202560 549 0 0 0 8 0 0 0 15 0 10 0 10883688 423673856 71101 1283457024 134512640 134550932 4292136608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=15567/tid=15575] ppid=15566 vsize=413744 CPUtime=0
/proc/15567/task/15575/stat : 15575 (java) S 15566 15566 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10883688 423673856 71101 1283457024 134512640 134550932 4292136608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=15567/tid=15576] ppid=15566 vsize=413744 CPUtime=0
/proc/15567/task/15576/stat : 15576 (java) S 15566 15566 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 15 0 10 0 10883688 423673856 71101 1283457024 134512640 134550932 4292136608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=15567/tid=15578] ppid=15566 vsize=413744 CPUtime=0
/proc/15567/task/15578/stat : 15578 (java) S 15566 15566 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 25 0 10 0 10884534 423673856 71101 1283457024 134512640 134550932 4292136608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 416312

[startup+162.31 s]
/proc/loadavg: 1.01 1.02 1.00 2/44 15581
/proc/meminfo: memFree=116172/1048576 swapFree=0/0
[pid=15566] ppid=15565 vsize=2568 CPUtime=0
/proc/15566/stat : 15566 (gj-paranoid-sol) S 15565 15566 4778 34817 4778 4202496 371 0 0 0 0 0 0 0 25 0 1 0 10883685 2629632 269 1283457024 134512640 135304128 4289223840 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/15566/statm: 642 269 229 194 0 29 0
[pid=15567] ppid=15566 vsize=413744 CPUtime=162.21
/proc/15567/stat : 15567 (java) S 15566 15566 4778 34817 4778 4202496 82255 0 1 0 16194 27 0 0 25 0 10 0 10883685 423673856 71101 1283457024 134512640 134550932 4292136608 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15567/statm: 103436 71101 2915 10 0 97581 0
[pid=15567/tid=15569] ppid=15566 vsize=413744 CPUtime=154.97
/proc/15567/task/15569/stat : 15569 (java) R 15566 15566 4778 34817 4778 4202560 14587 0 1 0 15488 9 0 0 25 0 10 0 10883686 423673856 71101 1283457024 134512640 134550932 4292136608 18446744073709551615 4114835838 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=15567/tid=15570] ppid=15566 vsize=413744 CPUtime=7.14
/proc/15567/task/15570/stat : 15570 (java) S 15566 15566 4778 34817 4778 4202560 66175 0 0 0 698 16 0 0 15 0 10 0 10883686 423673856 71101 1283457024 134512640 134550932 4292136608 18446744073709551615 4294960130 0 0 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=15567/tid=15571] ppid=15566 vsize=413744 CPUtime=0
/proc/15567/task/15571/stat : 15571 (java) S 15566 15566 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 15 0 10 0 10883686 423673856 71101 1283457024 134512640 134550932 4292136608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=15567/tid=15572] ppid=15566 vsize=413744 CPUtime=0
/proc/15567/task/15572/stat : 15572 (java) S 15566 15566 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 10883686 423673856 71101 1283457024 134512640 134550932 4292136608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=15567/tid=15573] ppid=15566 vsize=413744 CPUtime=0
/proc/15567/task/15573/stat : 15573 (java) S 15566 15566 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10883688 423673856 71101 1283457024 134512640 134550932 4292136608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=15567/tid=15574] ppid=15566 vsize=413744 CPUtime=0.08
/proc/15567/task/15574/stat : 15574 (java) S 15566 15566 4778 34817 4778 4202560 549 0 0 0 8 0 0 0 15 0 10 0 10883688 423673856 71101 1283457024 134512640 134550932 4292136608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=15567/tid=15575] ppid=15566 vsize=413744 CPUtime=0
/proc/15567/task/15575/stat : 15575 (java) S 15566 15566 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10883688 423673856 71101 1283457024 134512640 134550932 4292136608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=15567/tid=15576] ppid=15566 vsize=413744 CPUtime=0
/proc/15567/task/15576/stat : 15576 (java) S 15566 15566 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 15 0 10 0 10883688 423673856 71101 1283457024 134512640 134550932 4292136608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=15567/tid=15578] ppid=15566 vsize=413744 CPUtime=0
/proc/15567/task/15578/stat : 15578 (java) S 15566 15566 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 25 0 10 0 10884534 423673856 71101 1283457024 134512640 134550932 4292136608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 416312

[startup+222.305 s]
/proc/loadavg: 1.00 1.01 1.00 2/44 15581
/proc/meminfo: memFree=116172/1048576 swapFree=0/0
[pid=15566] ppid=15565 vsize=2568 CPUtime=0
/proc/15566/stat : 15566 (gj-paranoid-sol) S 15565 15566 4778 34817 4778 4202496 371 0 0 0 0 0 0 0 25 0 1 0 10883685 2629632 269 1283457024 134512640 135304128 4289223840 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/15566/statm: 642 269 229 194 0 29 0
[pid=15567] ppid=15566 vsize=413744 CPUtime=222.15
/proc/15567/stat : 15567 (java) S 15566 15566 4778 34817 4778 4202496 82255 0 1 0 22188 27 0 0 25 0 10 0 10883685 423673856 71101 1283457024 134512640 134550932 4292136608 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15567/statm: 103436 71101 2915 10 0 97581 0
[pid=15567/tid=15569] ppid=15566 vsize=413744 CPUtime=214.61
/proc/15567/task/15569/stat : 15569 (java) R 15566 15566 4778 34817 4778 4202560 14587 0 1 0 21452 9 0 0 25 0 10 0 10883686 423673856 71101 1283457024 134512640 134550932 4292136608 18446744073709551615 4115670332 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=15567/tid=15570] ppid=15566 vsize=413744 CPUtime=7.44
/proc/15567/task/15570/stat : 15570 (java) S 15566 15566 4778 34817 4778 4202560 66175 0 0 0 728 16 0 0 15 0 10 0 10883686 423673856 71101 1283457024 134512640 134550932 4292136608 18446744073709551615 4294960130 0 0 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=15567/tid=15571] ppid=15566 vsize=413744 CPUtime=0
/proc/15567/task/15571/stat : 15571 (java) S 15566 15566 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 15 0 10 0 10883686 423673856 71101 1283457024 134512640 134550932 4292136608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=15567/tid=15572] ppid=15566 vsize=413744 CPUtime=0
/proc/15567/task/15572/stat : 15572 (java) S 15566 15566 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 10883686 423673856 71101 1283457024 134512640 134550932 4292136608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=15567/tid=15573] ppid=15566 vsize=413744 CPUtime=0
/proc/15567/task/15573/stat : 15573 (java) S 15566 15566 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10883688 423673856 71101 1283457024 134512640 134550932 4292136608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=15567/tid=15574] ppid=15566 vsize=413744 CPUtime=0.08
/proc/15567/task/15574/stat : 15574 (java) S 15566 15566 4778 34817 4778 4202560 549 0 0 0 8 0 0 0 15 0 10 0 10883688 423673856 71101 1283457024 134512640 134550932 4292136608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=15567/tid=15575] ppid=15566 vsize=413744 CPUtime=0
/proc/15567/task/15575/stat : 15575 (java) S 15566 15566 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10883688 423673856 71101 1283457024 134512640 134550932 4292136608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=15567/tid=15576] ppid=15566 vsize=413744 CPUtime=0
/proc/15567/task/15576/stat : 15576 (java) S 15566 15566 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 15 0 10 0 10883688 423673856 71101 1283457024 134512640 134550932 4292136608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=15567/tid=15578] ppid=15566 vsize=413744 CPUtime=0
/proc/15567/task/15578/stat : 15578 (java) S 15566 15566 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 25 0 10 0 10884534 423673856 71101 1283457024 134512640 134550932 4292136608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 222.15
Current children cumulated vsize (KiB) 416312

[startup+282.312 s]
/proc/loadavg: 1.00 1.01 1.00 3/44 15581
/proc/meminfo: memFree=116048/1048576 swapFree=0/0
[pid=15566] ppid=15565 vsize=2568 CPUtime=0
/proc/15566/stat : 15566 (gj-paranoid-sol) S 15565 15566 4778 34817 4778 4202496 371 0 0 0 0 0 0 0 25 0 1 0 10883685 2629632 269 1283457024 134512640 135304128 4289223840 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/15566/statm: 642 269 229 194 0 29 0
[pid=15567] ppid=15566 vsize=413744 CPUtime=282.14
/proc/15567/stat : 15567 (java) S 15566 15566 4778 34817 4778 4202496 82255 0 1 0 28187 27 0 0 25 0 10 0 10883685 423673856 71101 1283457024 134512640 134550932 4292136608 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15567/statm: 103436 71101 2915 10 0 97581 0
[pid=15567/tid=15569] ppid=15566 vsize=413744 CPUtime=274.27
/proc/15567/task/15569/stat : 15569 (java) R 15566 15566 4778 34817 4778 4202560 14587 0 1 0 27418 9 0 0 25 0 10 0 10883686 423673856 71101 1283457024 134512640 134550932 4292136608 18446744073709551615 4115678214 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=15567/tid=15570] ppid=15566 vsize=413744 CPUtime=7.77
/proc/15567/task/15570/stat : 15570 (java) S 15566 15566 4778 34817 4778 4202560 66175 0 0 0 761 16 0 0 15 0 10 0 10883686 423673856 71101 1283457024 134512640 134550932 4292136608 18446744073709551615 4294960130 0 0 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=15567/tid=15571] ppid=15566 vsize=413744 CPUtime=0
/proc/15567/task/15571/stat : 15571 (java) S 15566 15566 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 15 0 10 0 10883686 423673856 71101 1283457024 134512640 134550932 4292136608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=15567/tid=15572] ppid=15566 vsize=413744 CPUtime=0
/proc/15567/task/15572/stat : 15572 (java) S 15566 15566 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 10883686 423673856 71101 1283457024 134512640 134550932 4292136608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=15567/tid=15573] ppid=15566 vsize=413744 CPUtime=0
/proc/15567/task/15573/stat : 15573 (java) S 15566 15566 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10883688 423673856 71101 1283457024 134512640 134550932 4292136608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=15567/tid=15574] ppid=15566 vsize=413744 CPUtime=0.08
/proc/15567/task/15574/stat : 15574 (java) S 15566 15566 4778 34817 4778 4202560 549 0 0 0 8 0 0 0 15 0 10 0 10883688 423673856 71101 1283457024 134512640 134550932 4292136608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=15567/tid=15575] ppid=15566 vsize=413744 CPUtime=0
/proc/15567/task/15575/stat : 15575 (java) S 15566 15566 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10883688 423673856 71101 1283457024 134512640 134550932 4292136608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=15567/tid=15576] ppid=15566 vsize=413744 CPUtime=0
/proc/15567/task/15576/stat : 15576 (java) S 15566 15566 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 15 0 10 0 10883688 423673856 71101 1283457024 134512640 134550932 4292136608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=15567/tid=15578] ppid=15566 vsize=413744 CPUtime=0
/proc/15567/task/15578/stat : 15578 (java) S 15566 15566 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 25 0 10 0 10884534 423673856 71101 1283457024 134512640 134550932 4292136608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 282.14
Current children cumulated vsize (KiB) 416312

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

[startup+283.212 s]
/proc/loadavg: 1.00 1.01 1.00 2/44 15581
/proc/meminfo: memFree=116048/1048576 swapFree=0/0
[pid=15566] ppid=15565 vsize=2568 CPUtime=0
/proc/15566/stat : 15566 (gj-paranoid-sol) S 15565 15566 4778 34817 4778 4202496 371 0 0 0 0 0 0 0 25 0 1 0 10883685 2629632 269 1283457024 134512640 135304128 4289223840 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/15566/statm: 642 269 229 194 0 29 0
[pid=15567] ppid=15566 vsize=413744 CPUtime=283.04
/proc/15567/stat : 15567 (java) S 15566 15566 4778 34817 4778 4202496 82255 0 1 0 28277 27 0 0 25 0 10 0 10883685 423673856 71101 1283457024 134512640 134550932 4292136608 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15567/statm: 103436 71101 2915 10 0 97581 0
[pid=15567/tid=15569] ppid=15566 vsize=413744 CPUtime=275.17
/proc/15567/task/15569/stat : 15569 (java) R 15566 15566 4778 34817 4778 4202560 14587 0 1 0 27508 9 0 0 25 0 10 0 10883686 423673856 71101 1283457024 134512640 134550932 4292136608 18446744073709551615 4115699312 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=15567/tid=15570] ppid=15566 vsize=413744 CPUtime=7.77
/proc/15567/task/15570/stat : 15570 (java) S 15566 15566 4778 34817 4778 4202560 66175 0 0 0 761 16 0 0 15 0 10 0 10883686 423673856 71101 1283457024 134512640 134550932 4292136608 18446744073709551615 4294960130 0 0 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=15567/tid=15571] ppid=15566 vsize=413744 CPUtime=0
/proc/15567/task/15571/stat : 15571 (java) S 15566 15566 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 15 0 10 0 10883686 423673856 71101 1283457024 134512640 134550932 4292136608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=15567/tid=15572] ppid=15566 vsize=413744 CPUtime=0
/proc/15567/task/15572/stat : 15572 (java) S 15566 15566 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 10883686 423673856 71101 1283457024 134512640 134550932 4292136608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=15567/tid=15573] ppid=15566 vsize=413744 CPUtime=0
/proc/15567/task/15573/stat : 15573 (java) S 15566 15566 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10883688 423673856 71101 1283457024 134512640 134550932 4292136608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=15567/tid=15574] ppid=15566 vsize=413744 CPUtime=0.08
/proc/15567/task/15574/stat : 15574 (java) S 15566 15566 4778 34817 4778 4202560 549 0 0 0 8 0 0 0 15 0 10 0 10883688 423673856 71101 1283457024 134512640 134550932 4292136608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=15567/tid=15575] ppid=15566 vsize=413744 CPUtime=0
/proc/15567/task/15575/stat : 15575 (java) S 15566 15566 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10883688 423673856 71101 1283457024 134512640 134550932 4292136608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=15567/tid=15576] ppid=15566 vsize=413744 CPUtime=0
/proc/15567/task/15576/stat : 15576 (java) S 15566 15566 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 15 0 10 0 10883688 423673856 71101 1283457024 134512640 134550932 4292136608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=15567/tid=15578] ppid=15566 vsize=413744 CPUtime=0
/proc/15567/task/15578/stat : 15578 (java) S 15566 15566 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 25 0 10 0 10884534 423673856 71101 1283457024 134512640 134550932 4292136608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 283.04
Current children cumulated vsize (KiB) 416312

[startup+284.012 s]
/proc/loadavg: 1.00 1.01 1.00 2/44 15581
/proc/meminfo: memFree=116048/1048576 swapFree=0/0
[pid=15566] ppid=15565 vsize=2568 CPUtime=0
/proc/15566/stat : 15566 (gj-paranoid-sol) S 15565 15566 4778 34817 4778 4202496 371 0 0 0 0 0 0 0 25 0 1 0 10883685 2629632 269 1283457024 134512640 135304128 4289223840 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/15566/statm: 642 269 229 194 0 29 0
[pid=15567] ppid=15566 vsize=413744 CPUtime=283.84
/proc/15567/stat : 15567 (java) S 15566 15566 4778 34817 4778 4202496 82255 0 1 0 28357 27 0 0 25 0 10 0 10883685 423673856 71101 1283457024 134512640 134550932 4292136608 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15567/statm: 103436 71101 2915 10 0 97581 0
[pid=15567/tid=15569] ppid=15566 vsize=413744 CPUtime=275.97
/proc/15567/task/15569/stat : 15569 (java) R 15566 15566 4778 34817 4778 4202560 14587 0 1 0 27588 9 0 0 25 0 10 0 10883686 423673856 71101 1283457024 134512640 134550932 4292136608 18446744073709551615 4115699883 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=15567/tid=15570] ppid=15566 vsize=413744 CPUtime=7.77
/proc/15567/task/15570/stat : 15570 (java) S 15566 15566 4778 34817 4778 4202560 66175 0 0 0 761 16 0 0 15 0 10 0 10883686 423673856 71101 1283457024 134512640 134550932 4292136608 18446744073709551615 4294960130 0 0 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=15567/tid=15571] ppid=15566 vsize=413744 CPUtime=0
/proc/15567/task/15571/stat : 15571 (java) S 15566 15566 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 15 0 10 0 10883686 423673856 71101 1283457024 134512640 134550932 4292136608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=15567/tid=15572] ppid=15566 vsize=413744 CPUtime=0
/proc/15567/task/15572/stat : 15572 (java) S 15566 15566 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 10883686 423673856 71101 1283457024 134512640 134550932 4292136608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=15567/tid=15573] ppid=15566 vsize=413744 CPUtime=0
/proc/15567/task/15573/stat : 15573 (java) S 15566 15566 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10883688 423673856 71101 1283457024 134512640 134550932 4292136608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=15567/tid=15574] ppid=15566 vsize=413744 CPUtime=0.08
/proc/15567/task/15574/stat : 15574 (java) S 15566 15566 4778 34817 4778 4202560 549 0 0 0 8 0 0 0 15 0 10 0 10883688 423673856 71101 1283457024 134512640 134550932 4292136608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=15567/tid=15575] ppid=15566 vsize=413744 CPUtime=0
/proc/15567/task/15575/stat : 15575 (java) S 15566 15566 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10883688 423673856 71101 1283457024 134512640 134550932 4292136608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=15567/tid=15576] ppid=15566 vsize=413744 CPUtime=0
/proc/15567/task/15576/stat : 15576 (java) R 15566 15566 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 15 0 10 0 10883688 423673856 71101 1283457024 134512640 134550932 4292136608 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=15567/tid=15578] ppid=15566 vsize=413744 CPUtime=0
/proc/15567/task/15578/stat : 15578 (java) S 15566 15566 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 25 0 10 0 10884534 423673856 71101 1283457024 134512640 134550932 4292136608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 283.84
Current children cumulated vsize (KiB) 416312

[startup+284.812 s]
/proc/loadavg: 1.00 1.01 1.00 2/44 15581
/proc/meminfo: memFree=116048/1048576 swapFree=0/0
[pid=15566] ppid=15565 vsize=2568 CPUtime=0
/proc/15566/stat : 15566 (gj-paranoid-sol) S 15565 15566 4778 34817 4778 4202496 371 0 0 0 0 0 0 0 25 0 1 0 10883685 2629632 269 1283457024 134512640 135304128 4289223840 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/15566/statm: 642 269 229 194 0 29 0
[pid=15567] ppid=15566 vsize=413744 CPUtime=284.64
/proc/15567/stat : 15567 (java) S 15566 15566 4778 34817 4778 4202496 82255 0 1 0 28437 27 0 0 25 0 10 0 10883685 423673856 71101 1283457024 134512640 134550932 4292136608 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15567/statm: 103436 71101 2915 10 0 97581 0
[pid=15567/tid=15569] ppid=15566 vsize=413744 CPUtime=276.77
/proc/15567/task/15569/stat : 15569 (java) R 15566 15566 4778 34817 4778 4202560 14587 0 1 0 27668 9 0 0 25 0 10 0 10883686 423673856 71101 1283457024 134512640 134550932 4292136608 18446744073709551615 4114979319 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=15567/tid=15570] ppid=15566 vsize=413744 CPUtime=7.77
/proc/15567/task/15570/stat : 15570 (java) S 15566 15566 4778 34817 4778 4202560 66175 0 0 0 761 16 0 0 15 0 10 0 10883686 423673856 71101 1283457024 134512640 134550932 4292136608 18446744073709551615 4294960130 0 0 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=15567/tid=15571] ppid=15566 vsize=413744 CPUtime=0
/proc/15567/task/15571/stat : 15571 (java) S 15566 15566 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 15 0 10 0 10883686 423673856 71101 1283457024 134512640 134550932 4292136608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=15567/tid=15572] ppid=15566 vsize=413744 CPUtime=0
/proc/15567/task/15572/stat : 15572 (java) S 15566 15566 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 10883686 423673856 71101 1283457024 134512640 134550932 4292136608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=15567/tid=15573] ppid=15566 vsize=413744 CPUtime=0
/proc/15567/task/15573/stat : 15573 (java) S 15566 15566 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10883688 423673856 71101 1283457024 134512640 134550932 4292136608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=15567/tid=15574] ppid=15566 vsize=413744 CPUtime=0.08
/proc/15567/task/15574/stat : 15574 (java) S 15566 15566 4778 34817 4778 4202560 549 0 0 0 8 0 0 0 15 0 10 0 10883688 423673856 71101 1283457024 134512640 134550932 4292136608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=15567/tid=15575] ppid=15566 vsize=413744 CPUtime=0
/proc/15567/task/15575/stat : 15575 (java) S 15566 15566 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10883688 423673856 71101 1283457024 134512640 134550932 4292136608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=15567/tid=15576] ppid=15566 vsize=413744 CPUtime=0
/proc/15567/task/15576/stat : 15576 (java) S 15566 15566 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 15 0 10 0 10883688 423673856 71101 1283457024 134512640 134550932 4292136608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=15567/tid=15578] ppid=15566 vsize=413744 CPUtime=0
/proc/15567/task/15578/stat : 15578 (java) S 15566 15566 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 25 0 10 0 10884534 423673856 71101 1283457024 134512640 134550932 4292136608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 284.64
Current children cumulated vsize (KiB) 416312

[startup+285.012 s]
/proc/loadavg: 1.00 1.01 1.00 3/44 15581
/proc/meminfo: memFree=116048/1048576 swapFree=0/0
[pid=15566] ppid=15565 vsize=2568 CPUtime=0
/proc/15566/stat : 15566 (gj-paranoid-sol) S 15565 15566 4778 34817 4778 4202496 371 0 0 0 0 0 0 0 25 0 1 0 10883685 2629632 269 1283457024 134512640 135304128 4289223840 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/15566/statm: 642 269 229 194 0 29 0
[pid=15567] ppid=15566 vsize=413744 CPUtime=284.84
/proc/15567/stat : 15567 (java) S 15566 15566 4778 34817 4778 4202496 82255 0 1 0 28457 27 0 0 25 0 10 0 10883685 423673856 71101 1283457024 134512640 134550932 4292136608 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15567/statm: 103436 71101 2915 10 0 97581 0
[pid=15567/tid=15569] ppid=15566 vsize=413744 CPUtime=276.97
/proc/15567/task/15569/stat : 15569 (java) R 15566 15566 4778 34817 4778 4202560 14587 0 1 0 27688 9 0 0 25 0 10 0 10883686 423673856 71101 1283457024 134512640 134550932 4292136608 18446744073709551615 4115617968 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=15567/tid=15570] ppid=15566 vsize=413744 CPUtime=7.77
/proc/15567/task/15570/stat : 15570 (java) S 15566 15566 4778 34817 4778 4202560 66175 0 0 0 761 16 0 0 15 0 10 0 10883686 423673856 71101 1283457024 134512640 134550932 4292136608 18446744073709551615 4294960130 0 0 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=15567/tid=15571] ppid=15566 vsize=413744 CPUtime=0
/proc/15567/task/15571/stat : 15571 (java) S 15566 15566 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 15 0 10 0 10883686 423673856 71101 1283457024 134512640 134550932 4292136608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=15567/tid=15572] ppid=15566 vsize=413744 CPUtime=0
/proc/15567/task/15572/stat : 15572 (java) S 15566 15566 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 10883686 423673856 71101 1283457024 134512640 134550932 4292136608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=15567/tid=15573] ppid=15566 vsize=413744 CPUtime=0
/proc/15567/task/15573/stat : 15573 (java) S 15566 15566 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10883688 423673856 71101 1283457024 134512640 134550932 4292136608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=15567/tid=15574] ppid=15566 vsize=413744 CPUtime=0.08
/proc/15567/task/15574/stat : 15574 (java) S 15566 15566 4778 34817 4778 4202560 549 0 0 0 8 0 0 0 15 0 10 0 10883688 423673856 71101 1283457024 134512640 134550932 4292136608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=15567/tid=15575] ppid=15566 vsize=413744 CPUtime=0
/proc/15567/task/15575/stat : 15575 (java) S 15566 15566 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10883688 423673856 71101 1283457024 134512640 134550932 4292136608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=15567/tid=15576] ppid=15566 vsize=413744 CPUtime=0
/proc/15567/task/15576/stat : 15576 (java) S 15566 15566 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 15 0 10 0 10883688 423673856 71101 1283457024 134512640 134550932 4292136608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=15567/tid=15578] ppid=15566 vsize=413744 CPUtime=0
/proc/15567/task/15578/stat : 15578 (java) S 15566 15566 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 25 0 10 0 10884534 423673856 71101 1283457024 134512640 134550932 4292136608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 284.84
Current children cumulated vsize (KiB) 416312

[startup+285.112 s]
/proc/loadavg: 1.00 1.01 1.00 3/44 15581
/proc/meminfo: memFree=116048/1048576 swapFree=0/0
[pid=15566] ppid=15565 vsize=2568 CPUtime=0
/proc/15566/stat : 15566 (gj-paranoid-sol) S 15565 15566 4778 34817 4778 4202496 371 0 0 0 0 0 0 0 25 0 1 0 10883685 2629632 269 1283457024 134512640 135304128 4289223840 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/15566/statm: 642 269 229 194 0 29 0
[pid=15567] ppid=15566 vsize=413744 CPUtime=284.94
/proc/15567/stat : 15567 (java) S 15566 15566 4778 34817 4778 4202496 82257 0 1 0 28467 27 0 0 25 0 9 0 10883685 423673856 71103 1283457024 134512640 134550932 4292136608 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15567/statm: 103436 71103 2916 10 0 97581 0
[pid=15567/tid=15569] ppid=15566 vsize=413744 CPUtime=277.07
/proc/15567/task/15569/stat : 15569 (java) R 15566 15566 4778 34817 4778 4202560 14587 0 1 0 27698 9 0 0 25 0 9 0 10883686 423673856 71103 1283457024 134512640 134550932 4292136608 18446744073709551615 4115857413 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=15567/tid=15570] ppid=15566 vsize=413744 CPUtime=7.77
/proc/15567/task/15570/stat : 15570 (java) S 15566 15566 4778 34817 4778 4202560 66175 0 0 0 761 16 0 0 15 0 9 0 10883686 423673856 71103 1283457024 134512640 134550932 4292136608 18446744073709551615 4294960130 0 0 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=15567/tid=15571] ppid=15566 vsize=413744 CPUtime=0
/proc/15567/task/15571/stat : 15571 (java) S 15566 15566 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 15 0 9 0 10883686 423673856 71103 1283457024 134512640 134550932 4292136608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=15567/tid=15572] ppid=15566 vsize=413744 CPUtime=0
/proc/15567/task/15572/stat : 15572 (java) S 15566 15566 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 9 0 10883686 423673856 71103 1283457024 134512640 134550932 4292136608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=15567/tid=15573] ppid=15566 vsize=413744 CPUtime=0
/proc/15567/task/15573/stat : 15573 (java) S 15566 15566 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 10883688 423673856 71103 1283457024 134512640 134550932 4292136608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=15567/tid=15574] ppid=15566 vsize=413744 CPUtime=0.08
/proc/15567/task/15574/stat : 15574 (java) S 15566 15566 4778 34817 4778 4202560 550 0 0 0 8 0 0 0 15 0 9 0 10883688 423673856 71103 1283457024 134512640 134550932 4292136608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=15567/tid=15575] ppid=15566 vsize=413744 CPUtime=0
/proc/15567/task/15575/stat : 15575 (java) S 15566 15566 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 10883688 423673856 71103 1283457024 134512640 134550932 4292136608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=15567/tid=15576] ppid=15566 vsize=413744 CPUtime=0
/proc/15567/task/15576/stat : 15576 (java) S 15566 15566 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 15 0 9 0 10883688 423673856 71103 1283457024 134512640 134550932 4292136608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 284.94
Current children cumulated vsize (KiB) 416312

Child status: 0
Real time (s): 285.174
CPU time (s): 284.994
CPU user time (s): 284.706
CPU system time (s): 0.288018
CPU usage (%): 99.9368
Max. virtual memory (cumulated for all children) (KiB): 437288

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 284.706
system time used= 0.288018
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 82645
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= 5854
involuntary context switches= 8662

runsolver used 0 second user time and 0 second system time

The end