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/201108311143/gj-user-solver-1.0/rand152.cudf.user-upgrades.log.runsolver ./gj-user-solver-1.0 /home/misc2010/data/2011/user-upgrades/rand152.cudf /home/misc2010/tmp/201108311143/gj-user-solver-1.0/rand152.cudf.user-upgrades.result -sum(installedsize) 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.99 1.00 1.00 4/40 20849 /proc/meminfo: memFree=756820/1048576 swapFree=0/0 [pid=20847] ppid=20846 vsize=2568 CPUtime=0 /proc/20847/stat : 20847 (gj-user-solver-) S 20846 20847 19908 34817 19908 4202496 373 0 0 0 0 0 0 0 24 0 1 0 61234406 2629632 270 1283457024 134512640 135304128 4292802544 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/20847/statm: 642 270 229 194 0 29 0 [pid=20848] ppid=20847 vsize=11356 CPUtime=0 /proc/20848/stat : 20848 (java) S 20847 20847 19908 34817 19908 4202496 917 0 0 0 0 0 0 0 24 0 2 0 61234406 11628544 651 1283457024 134512640 134550932 4294377680 18446744073709551615 4294960130 0 0 0 0 18446744073709551615 0 0 17 0 0 0 0 /proc/20848/statm: 2839 651 285 10 0 1185 0 [pid=20848/tid=20849] ppid=20847 vsize=11356 CPUtime=0 /proc/20848/task/20849/stat : 20849 (java) R 20847 20847 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 25 0 2 0 61234407 11628544 651 1283457024 134512640 134550932 4294377680 18446744073709551615 4159299176 0 0 0 0 0 0 0 -1 0 0 0 0 [startup+0.185668 s] /proc/loadavg: 0.99 1.00 1.00 4/40 20849 /proc/meminfo: memFree=756820/1048576 swapFree=0/0 [pid=20847] ppid=20846 vsize=2568 CPUtime=0 /proc/20847/stat : 20847 (gj-user-solver-) S 20846 20847 19908 34817 19908 4202496 373 0 0 0 0 0 0 0 24 0 1 0 61234406 2629632 270 1283457024 134512640 135304128 4292802544 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/20847/statm: 642 270 229 194 0 29 0 [pid=20848] ppid=20847 vsize=410068 CPUtime=0.18 /proc/20848/stat : 20848 (java) S 20847 20847 19908 34817 19908 4202496 4239 0 1 0 16 2 0 0 24 0 9 0 61234406 419909632 3670 1283457024 134512640 134550932 4294377680 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/20848/statm: 102517 3670 1940 10 0 96665 0 [pid=20848/tid=20849] ppid=20847 vsize=410068 CPUtime=0.16 /proc/20848/task/20849/stat : 20849 (java) R 20847 20847 19908 34817 19908 4202560 3037 0 1 0 14 2 0 0 25 0 9 0 61234407 419909632 3670 1283457024 134512640 134550932 4294377680 18446744073709551615 4114639332 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.18 Current children cumulated vsize (KiB) 412636 [startup+0.205666 s] /proc/loadavg: 0.99 1.00 1.00 4/40 20849 /proc/meminfo: memFree=756820/1048576 swapFree=0/0 [pid=20847] ppid=20846 vsize=2568 CPUtime=0 /proc/20847/stat : 20847 (gj-user-solver-) S 20846 20847 19908 34817 19908 4202496 373 0 0 0 0 0 0 0 24 0 1 0 61234406 2629632 270 1283457024 134512640 135304128 4292802544 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/20847/statm: 642 270 229 194 0 29 0 [pid=20848] ppid=20847 vsize=410068 CPUtime=0.2 /proc/20848/stat : 20848 (java) S 20847 20847 19908 34817 19908 4202496 4374 0 1 0 18 2 0 0 24 0 9 0 61234406 419909632 3805 1283457024 134512640 134550932 4294377680 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/20848/statm: 102517 3805 1940 10 0 96665 0 [pid=20848/tid=20849] ppid=20847 vsize=410068 CPUtime=0.18 /proc/20848/task/20849/stat : 20849 (java) R 20847 20847 19908 34817 19908 4202560 3172 0 1 0 16 2 0 0 25 0 9 0 61234407 419909632 3805 1283457024 134512640 134550932 4294377680 18446744073709551615 4114656212 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.2 Current children cumulated vsize (KiB) 412636 [startup+0.305694 s] /proc/loadavg: 0.99 1.00 1.00 4/40 20849 /proc/meminfo: memFree=756820/1048576 swapFree=0/0 [pid=20847] ppid=20846 vsize=2568 CPUtime=0 /proc/20847/stat : 20847 (gj-user-solver-) S 20846 20847 19908 34817 19908 4202496 373 0 0 0 0 0 0 0 24 0 1 0 61234406 2629632 270 1283457024 134512640 135304128 4292802544 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/20847/statm: 642 270 229 194 0 29 0 [pid=20848] ppid=20847 vsize=410372 CPUtime=0.3 /proc/20848/stat : 20848 (java) S 20847 20847 19908 34817 19908 4202496 5396 0 1 0 28 2 0 0 24 0 9 0 61234406 420220928 4826 1283457024 134512640 134550932 4294377680 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/20848/statm: 102593 4826 1951 10 0 96741 0 [pid=20848/tid=20849] ppid=20847 vsize=410372 CPUtime=0.25 /proc/20848/task/20849/stat : 20849 (java) R 20847 20847 19908 34817 19908 4202560 3510 0 1 0 23 2 0 0 25 0 9 0 61234407 420220928 4826 1283457024 134512640 134550932 4294377680 18446744073709551615 4115073306 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 412940 [startup+0.705805 s] /proc/loadavg: 0.99 1.00 1.00 4/40 20849 /proc/meminfo: memFree=756820/1048576 swapFree=0/0 [pid=20847] ppid=20846 vsize=2568 CPUtime=0 /proc/20847/stat : 20847 (gj-user-solver-) S 20846 20847 19908 34817 19908 4202496 373 0 0 0 0 0 0 0 24 0 1 0 61234406 2629632 270 1283457024 134512640 135304128 4292802544 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/20847/statm: 642 270 229 194 0 29 0 [pid=20848] ppid=20847 vsize=410644 CPUtime=0.7 /proc/20848/stat : 20848 (java) S 20847 20847 19908 34817 19908 4202496 12741 0 1 0 66 4 0 0 24 0 9 0 61234406 420499456 11987 1283457024 134512640 134550932 4294377680 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/20848/statm: 102661 11987 2900 10 0 96809 0 [pid=20848/tid=20849] ppid=20847 vsize=410644 CPUtime=0.46 /proc/20848/task/20849/stat : 20849 (java) R 20847 20847 19908 34817 19908 4202560 4166 0 1 0 42 4 0 0 25 0 9 0 61234407 420499456 11987 1283457024 134512640 134550932 4294377680 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 413212 [startup+1.50601 s] /proc/loadavg: 0.99 1.00 1.00 2/48 20857 /proc/meminfo: memFree=699672/1048576 swapFree=0/0 [pid=20847] ppid=20846 vsize=2568 CPUtime=0 /proc/20847/stat : 20847 (gj-user-solver-) S 20846 20847 19908 34817 19908 4202496 373 0 0 0 0 0 0 0 24 0 1 0 61234406 2629632 270 1283457024 134512640 135304128 4292802544 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/20847/statm: 642 270 229 194 0 29 0 [pid=20848] ppid=20847 vsize=410776 CPUtime=1.5 /proc/20848/stat : 20848 (java) S 20847 20847 19908 34817 19908 4202496 27358 0 1 0 142 8 0 0 24 0 9 0 61234406 420634624 26604 1283457024 134512640 134550932 4294377680 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/20848/statm: 102694 26604 2900 10 0 96842 0 [pid=20848/tid=20849] ppid=20847 vsize=410776 CPUtime=0.76 /proc/20848/task/20849/stat : 20849 (java) R 20847 20847 19908 34817 19908 4202560 6678 0 1 0 70 6 0 0 25 0 9 0 61234407 420634624 26604 1283457024 134512640 134550932 4294377680 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=20848/tid=20851] ppid=20847 vsize=410776 CPUtime=0.69 /proc/20848/task/20851/stat : 20851 (java) R 20847 20847 19908 34817 19908 4202560 19294 0 0 0 68 1 0 0 19 0 9 0 61234408 420634624 26604 1283457024 134512640 134550932 4294377680 18446744073709551615 4152598242 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=20848/tid=20852] ppid=20847 vsize=410776 CPUtime=0 /proc/20848/task/20852/stat : 20852 (java) S 20847 20847 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 20 0 9 0 61234408 420634624 26604 1283457024 134512640 134550932 4294377680 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=20848/tid=20853] ppid=20847 vsize=410776 CPUtime=0 /proc/20848/task/20853/stat : 20853 (java) S 20847 20847 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 21 0 9 0 61234408 420634624 26604 1283457024 134512640 134550932 4294377680 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=20848/tid=20854] ppid=20847 vsize=410776 CPUtime=0 /proc/20848/task/20854/stat : 20854 (java) S 20847 20847 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 61234409 420634624 26604 1283457024 134512640 134550932 4294377680 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=20848/tid=20855] ppid=20847 vsize=410776 CPUtime=0.03 /proc/20848/task/20855/stat : 20855 (java) S 20847 20847 19908 34817 19908 4202560 446 0 0 0 3 0 0 0 17 0 9 0 61234409 420634624 26604 1283457024 134512640 134550932 4294377680 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=20848/tid=20856] ppid=20847 vsize=410776 CPUtime=0 /proc/20848/task/20856/stat : 20856 (java) S 20847 20847 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 61234409 420634624 26604 1283457024 134512640 134550932 4294377680 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=20848/tid=20857] ppid=20847 vsize=410776 CPUtime=0 /proc/20848/task/20857/stat : 20857 (java) S 20847 20847 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 9 0 61234409 420634624 26604 1283457024 134512640 134550932 4294377680 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 413344 [startup+3.11646 s] /proc/loadavg: 0.99 1.00 1.00 3/48 20857 /proc/meminfo: memFree=623040/1048576 swapFree=0/0 [pid=20847] ppid=20846 vsize=2568 CPUtime=0 /proc/20847/stat : 20847 (gj-user-solver-) S 20846 20847 19908 34817 19908 4202496 373 0 0 0 0 0 0 0 24 0 1 0 61234406 2629632 270 1283457024 134512640 135304128 4292802544 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/20847/statm: 642 270 229 194 0 29 0 [pid=20848] ppid=20847 vsize=410776 CPUtime=3.11 /proc/20848/stat : 20848 (java) S 20847 20847 19908 34817 19908 4202496 53745 0 1 0 291 20 0 0 24 0 9 0 61234406 420634624 52991 1283457024 134512640 134550932 4294377680 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/20848/statm: 102694 52991 2900 10 0 96842 0 [pid=20848/tid=20849] ppid=20847 vsize=410776 CPUtime=1.38 /proc/20848/task/20849/stat : 20849 (java) R 20847 20847 19908 34817 19908 4202560 13782 0 1 0 130 8 0 0 25 0 9 0 61234407 420634624 52991 1283457024 134512640 134550932 4294377680 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=20848/tid=20851] ppid=20847 vsize=410776 CPUtime=1.68 /proc/20848/task/20851/stat : 20851 (java) R 20847 20847 19908 34817 19908 4202560 38573 0 0 0 157 11 0 0 15 0 9 0 61234408 420634624 52991 1283457024 134512640 134550932 4294377680 18446744073709551615 4151202720 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=20848/tid=20852] ppid=20847 vsize=410776 CPUtime=0 /proc/20848/task/20852/stat : 20852 (java) S 20847 20847 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 20 0 9 0 61234408 420634624 52991 1283457024 134512640 134550932 4294377680 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=20848/tid=20853] ppid=20847 vsize=410776 CPUtime=0 /proc/20848/task/20853/stat : 20853 (java) S 20847 20847 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 21 0 9 0 61234408 420634624 52991 1283457024 134512640 134550932 4294377680 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=20848/tid=20854] ppid=20847 vsize=410776 CPUtime=0 /proc/20848/task/20854/stat : 20854 (java) S 20847 20847 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 61234409 420634624 52991 1283457024 134512640 134550932 4294377680 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=20848/tid=20855] ppid=20847 vsize=410776 CPUtime=0.03 /proc/20848/task/20855/stat : 20855 (java) S 20847 20847 19908 34817 19908 4202560 450 0 0 0 3 0 0 0 15 0 9 0 61234409 420634624 52991 1283457024 134512640 134550932 4294377680 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=20848/tid=20856] ppid=20847 vsize=410776 CPUtime=0 /proc/20848/task/20856/stat : 20856 (java) S 20847 20847 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 61234409 420634624 52991 1283457024 134512640 134550932 4294377680 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=20848/tid=20857] ppid=20847 vsize=410776 CPUtime=0 /proc/20848/task/20857/stat : 20857 (java) S 20847 20847 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 9 0 61234409 420634624 52991 1283457024 134512640 134550932 4294377680 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3.11 Current children cumulated vsize (KiB) 413344 [startup+6.30725 s] /proc/loadavg: 1.07 1.02 1.01 2/48 20857 /proc/meminfo: memFree=491104/1048576 swapFree=0/0 [pid=20847] ppid=20846 vsize=2568 CPUtime=0 /proc/20847/stat : 20847 (gj-user-solver-) S 20846 20847 19908 34817 19908 4202496 373 0 0 0 0 0 0 0 24 0 1 0 61234406 2629632 270 1283457024 134512640 135304128 4292802544 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/20847/statm: 642 270 229 194 0 29 0 [pid=20848] ppid=20847 vsize=439816 CPUtime=6.3 /proc/20848/stat : 20848 (java) S 20847 20847 19908 34817 19908 4202496 78192 0 1 0 601 29 0 0 24 0 9 0 61234406 450371584 77432 1283457024 134512640 134550932 4294377680 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/20848/statm: 109954 77432 2901 10 0 104102 0 [pid=20848/tid=20849] ppid=20847 vsize=439816 CPUtime=2.24 /proc/20848/task/20849/stat : 20849 (java) R 20847 20847 19908 34817 19908 4202560 13799 0 1 0 216 8 0 0 25 0 9 0 61234407 450371584 77432 1283457024 134512640 134550932 4294377680 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=20848/tid=20851] ppid=20847 vsize=439816 CPUtime=4 /proc/20848/task/20851/stat : 20851 (java) R 20847 20847 19908 34817 19908 4202560 62985 0 0 0 380 20 0 0 16 0 9 0 61234408 450371584 77432 1283457024 134512640 134550932 4294377680 18446744073709551615 4151296528 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=20848/tid=20852] ppid=20847 vsize=439816 CPUtime=0 /proc/20848/task/20852/stat : 20852 (java) S 20847 20847 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 20 0 9 0 61234408 450371584 77432 1283457024 134512640 134550932 4294377680 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=20848/tid=20853] ppid=20847 vsize=439816 CPUtime=0 /proc/20848/task/20853/stat : 20853 (java) S 20847 20847 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 21 0 9 0 61234408 450371584 77432 1283457024 134512640 134550932 4294377680 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=20848/tid=20854] ppid=20847 vsize=439816 CPUtime=0 /proc/20848/task/20854/stat : 20854 (java) S 20847 20847 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 61234409 450371584 77432 1283457024 134512640 134550932 4294377680 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=20848/tid=20855] ppid=20847 vsize=439816 CPUtime=0.04 /proc/20848/task/20855/stat : 20855 (java) S 20847 20847 19908 34817 19908 4202560 468 0 0 0 4 0 0 0 15 0 9 0 61234409 450371584 77432 1283457024 134512640 134550932 4294377680 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=20848/tid=20856] ppid=20847 vsize=439816 CPUtime=0 /proc/20848/task/20856/stat : 20856 (java) S 20847 20847 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 61234409 450371584 77432 1283457024 134512640 134550932 4294377680 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=20848/tid=20857] ppid=20847 vsize=439816 CPUtime=0 /proc/20848/task/20857/stat : 20857 (java) S 20847 20847 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 9 0 61234409 450371584 77432 1283457024 134512640 134550932 4294377680 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 6.3 Current children cumulated vsize (KiB) 442384 [startup+12.7089 s] /proc/loadavg: 1.07 1.02 1.00 2/49 20859 /proc/meminfo: memFree=486268/1048576 swapFree=0/0 [pid=20847] ppid=20846 vsize=2568 CPUtime=0 /proc/20847/stat : 20847 (gj-user-solver-) S 20846 20847 19908 34817 19908 4202496 373 0 0 0 0 0 0 0 24 0 1 0 61234406 2629632 270 1283457024 134512640 135304128 4292802544 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/20847/statm: 642 270 229 194 0 29 0 [pid=20848] ppid=20847 vsize=411580 CPUtime=12.69 /proc/20848/stat : 20848 (java) S 20847 20847 19908 34817 19908 4202496 92685 0 1 0 1230 39 0 0 24 0 10 0 61234406 421457920 70551 1283457024 134512640 134550932 4294377680 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/20848/statm: 102895 70551 2917 10 0 97040 0 [pid=20848/tid=20849] ppid=20847 vsize=411580 CPUtime=5.78 /proc/20848/task/20849/stat : 20849 (java) R 20847 20847 19908 34817 19908 4202560 14051 0 1 0 568 10 0 0 25 0 10 0 61234407 421457920 70551 1283457024 134512640 134550932 4294377680 18446744073709551615 4115468136 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=20848/tid=20851] ppid=20847 vsize=411580 CPUtime=6.83 /proc/20848/task/20851/stat : 20851 (java) S 20847 20847 19908 34817 19908 4202560 77159 0 0 0 655 28 0 0 16 0 10 0 61234408 421457920 70551 1283457024 134512640 134550932 4294377680 18446744073709551615 4294960130 0 0 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=20848/tid=20852] ppid=20847 vsize=411580 CPUtime=0 /proc/20848/task/20852/stat : 20852 (java) S 20847 20847 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 61234408 421457920 70551 1283457024 134512640 134550932 4294377680 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=20848/tid=20853] ppid=20847 vsize=411580 CPUtime=0 /proc/20848/task/20853/stat : 20853 (java) S 20847 20847 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 61234408 421457920 70551 1283457024 134512640 134550932 4294377680 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=20848/tid=20854] ppid=20847 vsize=411580 CPUtime=0 /proc/20848/task/20854/stat : 20854 (java) S 20847 20847 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 61234409 421457920 70551 1283457024 134512640 134550932 4294377680 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=20848/tid=20855] ppid=20847 vsize=411580 CPUtime=0.07 /proc/20848/task/20855/stat : 20855 (java) S 20847 20847 19908 34817 19908 4202560 530 0 0 0 7 0 0 0 16 0 10 0 61234409 421457920 70551 1283457024 134512640 134550932 4294377680 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=20848/tid=20856] ppid=20847 vsize=411580 CPUtime=0 /proc/20848/task/20856/stat : 20856 (java) S 20847 20847 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 61234409 421457920 70551 1283457024 134512640 134550932 4294377680 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=20848/tid=20857] ppid=20847 vsize=411580 CPUtime=0 /proc/20848/task/20857/stat : 20857 (java) S 20847 20847 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 10 0 61234409 421457920 70551 1283457024 134512640 134550932 4294377680 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=20848/tid=20858] ppid=20847 vsize=411580 CPUtime=0 /proc/20848/task/20858/stat : 20858 (java) S 20847 20847 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 61235339 421457920 70551 1283457024 134512640 134550932 4294377680 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 414148 [startup+25.5115 s] /proc/loadavg: 1.05 1.01 1.00 2/49 20860 /proc/meminfo: memFree=575548/1048576 swapFree=0/0 [pid=20847] ppid=20846 vsize=2568 CPUtime=0 /proc/20847/stat : 20847 (gj-user-solver-) S 20846 20847 19908 34817 19908 4202496 373 0 0 0 0 0 0 0 24 0 1 0 61234406 2629632 270 1283457024 134512640 135304128 4292802544 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/20847/statm: 642 270 229 194 0 29 0 [pid=20848] ppid=20847 vsize=411580 CPUtime=25.49 /proc/20848/stat : 20848 (java) S 20847 20847 19908 34817 19908 4202496 92689 0 1 0 2508 41 0 0 24 0 10 0 61234406 421457920 48161 1283457024 134512640 134550932 4294377680 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/20848/statm: 102895 48161 2917 10 0 97040 0 [pid=20848/tid=20849] ppid=20847 vsize=411580 CPUtime=18.11 /proc/20848/task/20849/stat : 20849 (java) R 20847 20847 19908 34817 19908 4202560 14051 0 1 0 1801 10 0 0 25 0 10 0 61234407 421457920 48161 1283457024 134512640 134550932 4294377680 18446744073709551615 4115490794 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=20848/tid=20851] ppid=20847 vsize=411580 CPUtime=7.3 /proc/20848/task/20851/stat : 20851 (java) S 20847 20847 19908 34817 19908 4202560 77159 0 0 0 700 30 0 0 15 0 10 0 61234408 421457920 48161 1283457024 134512640 134550932 4294377680 18446744073709551615 4294960130 0 0 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=20848/tid=20852] ppid=20847 vsize=411580 CPUtime=0 /proc/20848/task/20852/stat : 20852 (java) S 20847 20847 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 61234408 421457920 48161 1283457024 134512640 134550932 4294377680 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=20848/tid=20853] ppid=20847 vsize=411580 CPUtime=0 /proc/20848/task/20853/stat : 20853 (java) S 20847 20847 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 61234408 421457920 48161 1283457024 134512640 134550932 4294377680 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=20848/tid=20854] ppid=20847 vsize=411580 CPUtime=0 /proc/20848/task/20854/stat : 20854 (java) S 20847 20847 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 61234409 421457920 48161 1283457024 134512640 134550932 4294377680 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=20848/tid=20855] ppid=20847 vsize=411580 CPUtime=0.07 /proc/20848/task/20855/stat : 20855 (java) S 20847 20847 19908 34817 19908 4202560 534 0 0 0 7 0 0 0 15 0 10 0 61234409 421457920 48161 1283457024 134512640 134550932 4294377680 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=20848/tid=20856] ppid=20847 vsize=411580 CPUtime=0 /proc/20848/task/20856/stat : 20856 (java) S 20847 20847 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 61234409 421457920 48161 1283457024 134512640 134550932 4294377680 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=20848/tid=20857] ppid=20847 vsize=411580 CPUtime=0 /proc/20848/task/20857/stat : 20857 (java) S 20847 20847 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 10 0 61234409 421457920 48161 1283457024 134512640 134550932 4294377680 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=20848/tid=20858] ppid=20847 vsize=411580 CPUtime=0 /proc/20848/task/20858/stat : 20858 (java) S 20847 20847 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 61235339 421457920 48161 1283457024 134512640 134550932 4294377680 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 414148 [startup+51.1081 s] /proc/loadavg: 1.03 1.01 1.00 2/48 20862 /proc/meminfo: memFree=575564/1048576 swapFree=0/0 [pid=20847] ppid=20846 vsize=2568 CPUtime=0 /proc/20847/stat : 20847 (gj-user-solver-) S 20846 20847 19908 34817 19908 4202496 373 0 0 0 0 0 0 0 24 0 1 0 61234406 2629632 270 1283457024 134512640 135304128 4292802544 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/20847/statm: 642 270 229 194 0 29 0 [pid=20848] ppid=20847 vsize=411580 CPUtime=51.08 /proc/20848/stat : 20848 (java) S 20847 20847 19908 34817 19908 4202496 92689 0 1 0 5067 41 0 0 24 0 10 0 61234406 421457920 48161 1283457024 134512640 134550932 4294377680 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/20848/statm: 102895 48161 2917 10 0 97040 0 [pid=20848/tid=20849] ppid=20847 vsize=411580 CPUtime=42.97 /proc/20848/task/20849/stat : 20849 (java) R 20847 20847 19908 34817 19908 4202560 14051 0 1 0 4287 10 0 0 25 0 10 0 61234407 421457920 48161 1283457024 134512640 134550932 4294377680 18446744073709551615 4115468286 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=20848/tid=20851] ppid=20847 vsize=411580 CPUtime=8.02 /proc/20848/task/20851/stat : 20851 (java) S 20847 20847 19908 34817 19908 4202560 77159 0 0 0 772 30 0 0 16 0 10 0 61234408 421457920 48161 1283457024 134512640 134550932 4294377680 18446744073709551615 4294960130 0 0 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=20848/tid=20852] ppid=20847 vsize=411580 CPUtime=0 /proc/20848/task/20852/stat : 20852 (java) S 20847 20847 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 61234408 421457920 48161 1283457024 134512640 134550932 4294377680 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=20848/tid=20853] ppid=20847 vsize=411580 CPUtime=0 /proc/20848/task/20853/stat : 20853 (java) S 20847 20847 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 61234408 421457920 48161 1283457024 134512640 134550932 4294377680 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=20848/tid=20854] ppid=20847 vsize=411580 CPUtime=0 /proc/20848/task/20854/stat : 20854 (java) S 20847 20847 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 61234409 421457920 48161 1283457024 134512640 134550932 4294377680 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=20848/tid=20855] ppid=20847 vsize=411580 CPUtime=0.07 /proc/20848/task/20855/stat : 20855 (java) S 20847 20847 19908 34817 19908 4202560 534 0 0 0 7 0 0 0 15 0 10 0 61234409 421457920 48161 1283457024 134512640 134550932 4294377680 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=20848/tid=20856] ppid=20847 vsize=411580 CPUtime=0 /proc/20848/task/20856/stat : 20856 (java) S 20847 20847 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 61234409 421457920 48161 1283457024 134512640 134550932 4294377680 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=20848/tid=20857] ppid=20847 vsize=411580 CPUtime=0 /proc/20848/task/20857/stat : 20857 (java) S 20847 20847 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 10 0 61234409 421457920 48161 1283457024 134512640 134550932 4294377680 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=20848/tid=20858] ppid=20847 vsize=411580 CPUtime=0 /proc/20848/task/20858/stat : 20858 (java) S 20847 20847 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 61235339 421457920 48161 1283457024 134512640 134550932 4294377680 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 414148 [startup+102.311 s] /proc/loadavg: 1.01 1.01 1.00 2/48 20862 /proc/meminfo: memFree=575564/1048576 swapFree=0/0 [pid=20847] ppid=20846 vsize=2568 CPUtime=0 /proc/20847/stat : 20847 (gj-user-solver-) S 20846 20847 19908 34817 19908 4202496 373 0 0 0 0 0 0 0 24 0 1 0 61234406 2629632 270 1283457024 134512640 135304128 4292802544 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/20847/statm: 642 270 229 194 0 29 0 [pid=20848] ppid=20847 vsize=411580 CPUtime=102.22 /proc/20848/stat : 20848 (java) S 20847 20847 19908 34817 19908 4202496 92689 0 1 0 10180 42 0 0 24 0 10 0 61234406 421457920 48161 1283457024 134512640 134550932 4294377680 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/20848/statm: 102895 48161 2917 10 0 97040 0 [pid=20848/tid=20849] ppid=20847 vsize=411580 CPUtime=93.32 /proc/20848/task/20849/stat : 20849 (java) R 20847 20847 19908 34817 19908 4202560 14051 0 1 0 9321 11 0 0 25 0 10 0 61234407 421457920 48161 1283457024 134512640 134550932 4294377680 18446744073709551615 4115564615 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=20848/tid=20851] ppid=20847 vsize=411580 CPUtime=8.8 /proc/20848/task/20851/stat : 20851 (java) S 20847 20847 19908 34817 19908 4202560 77159 0 0 0 850 30 0 0 15 0 10 0 61234408 421457920 48161 1283457024 134512640 134550932 4294377680 18446744073709551615 4294960130 0 0 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=20848/tid=20852] ppid=20847 vsize=411580 CPUtime=0 /proc/20848/task/20852/stat : 20852 (java) S 20847 20847 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 61234408 421457920 48161 1283457024 134512640 134550932 4294377680 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=20848/tid=20853] ppid=20847 vsize=411580 CPUtime=0 /proc/20848/task/20853/stat : 20853 (java) S 20847 20847 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 61234408 421457920 48161 1283457024 134512640 134550932 4294377680 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=20848/tid=20854] ppid=20847 vsize=411580 CPUtime=0 /proc/20848/task/20854/stat : 20854 (java) S 20847 20847 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 61234409 421457920 48161 1283457024 134512640 134550932 4294377680 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=20848/tid=20855] ppid=20847 vsize=411580 CPUtime=0.07 /proc/20848/task/20855/stat : 20855 (java) S 20847 20847 19908 34817 19908 4202560 534 0 0 0 7 0 0 0 15 0 10 0 61234409 421457920 48161 1283457024 134512640 134550932 4294377680 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=20848/tid=20856] ppid=20847 vsize=411580 CPUtime=0 /proc/20848/task/20856/stat : 20856 (java) S 20847 20847 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 61234409 421457920 48161 1283457024 134512640 134550932 4294377680 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=20848/tid=20857] ppid=20847 vsize=411580 CPUtime=0 /proc/20848/task/20857/stat : 20857 (java) S 20847 20847 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 10 0 61234409 421457920 48161 1283457024 134512640 134550932 4294377680 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=20848/tid=20858] ppid=20847 vsize=411580 CPUtime=0 /proc/20848/task/20858/stat : 20858 (java) S 20847 20847 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 61235339 421457920 48161 1283457024 134512640 134550932 4294377680 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 102.22 Current children cumulated vsize (KiB) 414148 [startup+162.305 s] /proc/loadavg: 1.00 1.00 1.00 2/47 20862 /proc/meminfo: memFree=575572/1048576 swapFree=0/0 [pid=20847] ppid=20846 vsize=2568 CPUtime=0 /proc/20847/stat : 20847 (gj-user-solver-) S 20846 20847 19908 34817 19908 4202496 373 0 0 0 0 0 0 0 24 0 1 0 61234406 2629632 270 1283457024 134512640 135304128 4292802544 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/20847/statm: 642 270 229 194 0 29 0 [pid=20848] ppid=20847 vsize=411580 CPUtime=162.16 /proc/20848/stat : 20848 (java) S 20847 20847 19908 34817 19908 4202496 92689 0 1 0 16173 43 0 0 24 0 10 0 61234406 421457920 48161 1283457024 134512640 134550932 4294377680 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/20848/statm: 102895 48161 2917 10 0 97040 0 [pid=20848/tid=20849] ppid=20847 vsize=411580 CPUtime=152.45 /proc/20848/task/20849/stat : 20849 (java) R 20847 20847 19908 34817 19908 4202560 14051 0 1 0 15233 12 0 0 25 0 10 0 61234407 421457920 48161 1283457024 134512640 134550932 4294377680 18446744073709551615 4115467584 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=20848/tid=20851] ppid=20847 vsize=411580 CPUtime=9.61 /proc/20848/task/20851/stat : 20851 (java) S 20847 20847 19908 34817 19908 4202560 77159 0 0 0 931 30 0 0 15 0 10 0 61234408 421457920 48161 1283457024 134512640 134550932 4294377680 18446744073709551615 4294960130 0 0 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=20848/tid=20852] ppid=20847 vsize=411580 CPUtime=0 /proc/20848/task/20852/stat : 20852 (java) S 20847 20847 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 61234408 421457920 48161 1283457024 134512640 134550932 4294377680 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=20848/tid=20853] ppid=20847 vsize=411580 CPUtime=0 /proc/20848/task/20853/stat : 20853 (java) S 20847 20847 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 61234408 421457920 48161 1283457024 134512640 134550932 4294377680 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=20848/tid=20854] ppid=20847 vsize=411580 CPUtime=0 /proc/20848/task/20854/stat : 20854 (java) S 20847 20847 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 61234409 421457920 48161 1283457024 134512640 134550932 4294377680 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=20848/tid=20855] ppid=20847 vsize=411580 CPUtime=0.07 /proc/20848/task/20855/stat : 20855 (java) S 20847 20847 19908 34817 19908 4202560 534 0 0 0 7 0 0 0 15 0 10 0 61234409 421457920 48161 1283457024 134512640 134550932 4294377680 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=20848/tid=20856] ppid=20847 vsize=411580 CPUtime=0 /proc/20848/task/20856/stat : 20856 (java) S 20847 20847 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 61234409 421457920 48161 1283457024 134512640 134550932 4294377680 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=20848/tid=20857] ppid=20847 vsize=411580 CPUtime=0 /proc/20848/task/20857/stat : 20857 (java) S 20847 20847 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 10 0 61234409 421457920 48161 1283457024 134512640 134550932 4294377680 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=20848/tid=20858] ppid=20847 vsize=411580 CPUtime=0 /proc/20848/task/20858/stat : 20858 (java) S 20847 20847 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 61235339 421457920 48161 1283457024 134512640 134550932 4294377680 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 162.16 Current children cumulated vsize (KiB) 414148 [startup+222.311 s] /proc/loadavg: 1.00 1.00 1.00 2/47 20862 /proc/meminfo: memFree=575572/1048576 swapFree=0/0 [pid=20847] ppid=20846 vsize=2568 CPUtime=0 /proc/20847/stat : 20847 (gj-user-solver-) S 20846 20847 19908 34817 19908 4202496 373 0 0 0 0 0 0 0 24 0 1 0 61234406 2629632 270 1283457024 134512640 135304128 4292802544 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/20847/statm: 642 270 229 194 0 29 0 [pid=20848] ppid=20847 vsize=411580 CPUtime=222.11 /proc/20848/stat : 20848 (java) S 20847 20847 19908 34817 19908 4202496 92689 0 1 0 22168 43 0 0 24 0 10 0 61234406 421457920 48161 1283457024 134512640 134550932 4294377680 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/20848/statm: 102895 48161 2917 10 0 97040 0 [pid=20848/tid=20849] ppid=20847 vsize=411580 CPUtime=211.73 /proc/20848/task/20849/stat : 20849 (java) R 20847 20847 19908 34817 19908 4202560 14051 0 1 0 21161 12 0 0 25 0 10 0 61234407 421457920 48161 1283457024 134512640 134550932 4294377680 18446744073709551615 4115468311 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=20848/tid=20851] ppid=20847 vsize=411580 CPUtime=10.29 /proc/20848/task/20851/stat : 20851 (java) S 20847 20847 19908 34817 19908 4202560 77159 0 0 0 999 30 0 0 15 0 10 0 61234408 421457920 48161 1283457024 134512640 134550932 4294377680 18446744073709551615 4294960130 0 0 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=20848/tid=20852] ppid=20847 vsize=411580 CPUtime=0 /proc/20848/task/20852/stat : 20852 (java) S 20847 20847 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 61234408 421457920 48161 1283457024 134512640 134550932 4294377680 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=20848/tid=20853] ppid=20847 vsize=411580 CPUtime=0 /proc/20848/task/20853/stat : 20853 (java) S 20847 20847 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 61234408 421457920 48161 1283457024 134512640 134550932 4294377680 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=20848/tid=20854] ppid=20847 vsize=411580 CPUtime=0 /proc/20848/task/20854/stat : 20854 (java) S 20847 20847 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 61234409 421457920 48161 1283457024 134512640 134550932 4294377680 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=20848/tid=20855] ppid=20847 vsize=411580 CPUtime=0.07 /proc/20848/task/20855/stat : 20855 (java) S 20847 20847 19908 34817 19908 4202560 534 0 0 0 7 0 0 0 15 0 10 0 61234409 421457920 48161 1283457024 134512640 134550932 4294377680 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=20848/tid=20856] ppid=20847 vsize=411580 CPUtime=0 /proc/20848/task/20856/stat : 20856 (java) S 20847 20847 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 61234409 421457920 48161 1283457024 134512640 134550932 4294377680 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=20848/tid=20857] ppid=20847 vsize=411580 CPUtime=0 /proc/20848/task/20857/stat : 20857 (java) S 20847 20847 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 10 0 61234409 421457920 48161 1283457024 134512640 134550932 4294377680 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=20848/tid=20858] ppid=20847 vsize=411580 CPUtime=0 /proc/20848/task/20858/stat : 20858 (java) S 20847 20847 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 61235339 421457920 48161 1283457024 134512640 134550932 4294377680 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 222.11 Current children cumulated vsize (KiB) 414148 [startup+282.306 s] /proc/loadavg: 1.00 1.00 1.00 2/47 20862 /proc/meminfo: memFree=575572/1048576 swapFree=0/0 [pid=20847] ppid=20846 vsize=2568 CPUtime=0 /proc/20847/stat : 20847 (gj-user-solver-) S 20846 20847 19908 34817 19908 4202496 373 0 0 0 0 0 0 0 24 0 1 0 61234406 2629632 270 1283457024 134512640 135304128 4292802544 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/20847/statm: 642 270 229 194 0 29 0 [pid=20848] ppid=20847 vsize=411580 CPUtime=282.05 /proc/20848/stat : 20848 (java) S 20847 20847 19908 34817 19908 4202496 92691 0 1 0 28161 44 0 0 24 0 10 0 61234406 421457920 48163 1283457024 134512640 134550932 4294377680 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/20848/statm: 102895 48163 2919 10 0 97040 0 [pid=20848/tid=20849] ppid=20847 vsize=411580 CPUtime=271.13 /proc/20848/task/20849/stat : 20849 (java) R 20847 20847 19908 34817 19908 4202560 14051 0 1 0 27100 13 0 0 25 0 10 0 61234407 421457920 48163 1283457024 134512640 134550932 4294377680 18446744073709551615 4115409424 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=20848/tid=20851] ppid=20847 vsize=411580 CPUtime=10.83 /proc/20848/task/20851/stat : 20851 (java) S 20847 20847 19908 34817 19908 4202560 77161 0 0 0 1053 30 0 0 15 0 10 0 61234408 421457920 48163 1283457024 134512640 134550932 4294377680 18446744073709551615 4294960130 0 0 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=20848/tid=20852] ppid=20847 vsize=411580 CPUtime=0 /proc/20848/task/20852/stat : 20852 (java) S 20847 20847 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 61234408 421457920 48163 1283457024 134512640 134550932 4294377680 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=20848/tid=20853] ppid=20847 vsize=411580 CPUtime=0 /proc/20848/task/20853/stat : 20853 (java) S 20847 20847 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 61234408 421457920 48163 1283457024 134512640 134550932 4294377680 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=20848/tid=20854] ppid=20847 vsize=411580 CPUtime=0 /proc/20848/task/20854/stat : 20854 (java) S 20847 20847 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 61234409 421457920 48163 1283457024 134512640 134550932 4294377680 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=20848/tid=20855] ppid=20847 vsize=411580 CPUtime=0.07 /proc/20848/task/20855/stat : 20855 (java) S 20847 20847 19908 34817 19908 4202560 534 0 0 0 7 0 0 0 15 0 10 0 61234409 421457920 48163 1283457024 134512640 134550932 4294377680 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=20848/tid=20856] ppid=20847 vsize=411580 CPUtime=0 /proc/20848/task/20856/stat : 20856 (java) S 20847 20847 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 61234409 421457920 48163 1283457024 134512640 134550932 4294377680 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=20848/tid=20857] ppid=20847 vsize=411580 CPUtime=0 /proc/20848/task/20857/stat : 20857 (java) S 20847 20847 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 10 0 61234409 421457920 48163 1283457024 134512640 134550932 4294377680 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=20848/tid=20858] ppid=20847 vsize=411580 CPUtime=0 /proc/20848/task/20858/stat : 20858 (java) S 20847 20847 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 61235339 421457920 48163 1283457024 134512640 134550932 4294377680 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 282.05 Current children cumulated vsize (KiB) 414148 Solver just ended. Dumping a history of the last processes samples [startup+283.206 s] /proc/loadavg: 1.00 1.00 1.00 2/47 20862 /proc/meminfo: memFree=575572/1048576 swapFree=0/0 [pid=20847] ppid=20846 vsize=2568 CPUtime=0 /proc/20847/stat : 20847 (gj-user-solver-) S 20846 20847 19908 34817 19908 4202496 373 0 0 0 0 0 0 0 24 0 1 0 61234406 2629632 270 1283457024 134512640 135304128 4292802544 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/20847/statm: 642 270 229 194 0 29 0 [pid=20848] ppid=20847 vsize=411580 CPUtime=282.95 /proc/20848/stat : 20848 (java) S 20847 20847 19908 34817 19908 4202496 92691 0 1 0 28251 44 0 0 24 0 10 0 61234406 421457920 48163 1283457024 134512640 134550932 4294377680 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/20848/statm: 102895 48163 2919 10 0 97040 0 [pid=20848/tid=20849] ppid=20847 vsize=411580 CPUtime=272.03 /proc/20848/task/20849/stat : 20849 (java) R 20847 20847 19908 34817 19908 4202560 14051 0 1 0 27190 13 0 0 25 0 10 0 61234407 421457920 48163 1283457024 134512640 134550932 4294377680 18446744073709551615 4115576224 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=20848/tid=20851] ppid=20847 vsize=411580 CPUtime=10.83 /proc/20848/task/20851/stat : 20851 (java) S 20847 20847 19908 34817 19908 4202560 77161 0 0 0 1053 30 0 0 15 0 10 0 61234408 421457920 48163 1283457024 134512640 134550932 4294377680 18446744073709551615 4294960130 0 0 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=20848/tid=20852] ppid=20847 vsize=411580 CPUtime=0 /proc/20848/task/20852/stat : 20852 (java) S 20847 20847 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 61234408 421457920 48163 1283457024 134512640 134550932 4294377680 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=20848/tid=20853] ppid=20847 vsize=411580 CPUtime=0 /proc/20848/task/20853/stat : 20853 (java) S 20847 20847 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 61234408 421457920 48163 1283457024 134512640 134550932 4294377680 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=20848/tid=20854] ppid=20847 vsize=411580 CPUtime=0 /proc/20848/task/20854/stat : 20854 (java) S 20847 20847 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 61234409 421457920 48163 1283457024 134512640 134550932 4294377680 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=20848/tid=20855] ppid=20847 vsize=411580 CPUtime=0.07 /proc/20848/task/20855/stat : 20855 (java) S 20847 20847 19908 34817 19908 4202560 534 0 0 0 7 0 0 0 15 0 10 0 61234409 421457920 48163 1283457024 134512640 134550932 4294377680 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=20848/tid=20856] ppid=20847 vsize=411580 CPUtime=0 /proc/20848/task/20856/stat : 20856 (java) S 20847 20847 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 61234409 421457920 48163 1283457024 134512640 134550932 4294377680 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=20848/tid=20857] ppid=20847 vsize=411580 CPUtime=0 /proc/20848/task/20857/stat : 20857 (java) S 20847 20847 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 10 0 61234409 421457920 48163 1283457024 134512640 134550932 4294377680 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=20848/tid=20858] ppid=20847 vsize=411580 CPUtime=0 /proc/20848/task/20858/stat : 20858 (java) S 20847 20847 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 61235339 421457920 48163 1283457024 134512640 134550932 4294377680 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 282.95 Current children cumulated vsize (KiB) 414148 [startup+284.006 s] /proc/loadavg: 1.00 1.00 1.00 2/47 20862 /proc/meminfo: memFree=575572/1048576 swapFree=0/0 [pid=20847] ppid=20846 vsize=2568 CPUtime=0 /proc/20847/stat : 20847 (gj-user-solver-) S 20846 20847 19908 34817 19908 4202496 373 0 0 0 0 0 0 0 24 0 1 0 61234406 2629632 270 1283457024 134512640 135304128 4292802544 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/20847/statm: 642 270 229 194 0 29 0 [pid=20848] ppid=20847 vsize=411580 CPUtime=283.75 /proc/20848/stat : 20848 (java) S 20847 20847 19908 34817 19908 4202496 92691 0 1 0 28331 44 0 0 24 0 10 0 61234406 421457920 48163 1283457024 134512640 134550932 4294377680 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/20848/statm: 102895 48163 2919 10 0 97040 0 [pid=20848/tid=20849] ppid=20847 vsize=411580 CPUtime=272.83 /proc/20848/task/20849/stat : 20849 (java) R 20847 20847 19908 34817 19908 4202560 14051 0 1 0 27270 13 0 0 25 0 10 0 61234407 421457920 48163 1283457024 134512640 134550932 4294377680 18446744073709551615 4115552789 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=20848/tid=20851] ppid=20847 vsize=411580 CPUtime=10.83 /proc/20848/task/20851/stat : 20851 (java) S 20847 20847 19908 34817 19908 4202560 77161 0 0 0 1053 30 0 0 15 0 10 0 61234408 421457920 48163 1283457024 134512640 134550932 4294377680 18446744073709551615 4294960130 0 0 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=20848/tid=20852] ppid=20847 vsize=411580 CPUtime=0 /proc/20848/task/20852/stat : 20852 (java) S 20847 20847 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 61234408 421457920 48163 1283457024 134512640 134550932 4294377680 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=20848/tid=20853] ppid=20847 vsize=411580 CPUtime=0 /proc/20848/task/20853/stat : 20853 (java) S 20847 20847 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 61234408 421457920 48163 1283457024 134512640 134550932 4294377680 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=20848/tid=20854] ppid=20847 vsize=411580 CPUtime=0 /proc/20848/task/20854/stat : 20854 (java) S 20847 20847 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 61234409 421457920 48163 1283457024 134512640 134550932 4294377680 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=20848/tid=20855] ppid=20847 vsize=411580 CPUtime=0.07 /proc/20848/task/20855/stat : 20855 (java) S 20847 20847 19908 34817 19908 4202560 534 0 0 0 7 0 0 0 15 0 10 0 61234409 421457920 48163 1283457024 134512640 134550932 4294377680 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=20848/tid=20856] ppid=20847 vsize=411580 CPUtime=0 /proc/20848/task/20856/stat : 20856 (java) S 20847 20847 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 61234409 421457920 48163 1283457024 134512640 134550932 4294377680 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=20848/tid=20857] ppid=20847 vsize=411580 CPUtime=0 /proc/20848/task/20857/stat : 20857 (java) S 20847 20847 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 10 0 61234409 421457920 48163 1283457024 134512640 134550932 4294377680 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=20848/tid=20858] ppid=20847 vsize=411580 CPUtime=0 /proc/20848/task/20858/stat : 20858 (java) S 20847 20847 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 61235339 421457920 48163 1283457024 134512640 134550932 4294377680 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 283.75 Current children cumulated vsize (KiB) 414148 [startup+284.807 s] /proc/loadavg: 1.00 1.00 1.00 2/47 20862 /proc/meminfo: memFree=575572/1048576 swapFree=0/0 [pid=20847] ppid=20846 vsize=2568 CPUtime=0 /proc/20847/stat : 20847 (gj-user-solver-) S 20846 20847 19908 34817 19908 4202496 373 0 0 0 0 0 0 0 24 0 1 0 61234406 2629632 270 1283457024 134512640 135304128 4292802544 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/20847/statm: 642 270 229 194 0 29 0 [pid=20848] ppid=20847 vsize=411580 CPUtime=284.55 /proc/20848/stat : 20848 (java) S 20847 20847 19908 34817 19908 4202496 92691 0 1 0 28411 44 0 0 24 0 10 0 61234406 421457920 48163 1283457024 134512640 134550932 4294377680 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/20848/statm: 102895 48163 2919 10 0 97040 0 [pid=20848/tid=20849] ppid=20847 vsize=411580 CPUtime=273.63 /proc/20848/task/20849/stat : 20849 (java) R 20847 20847 19908 34817 19908 4202560 14051 0 1 0 27350 13 0 0 25 0 10 0 61234407 421457920 48163 1283457024 134512640 134550932 4294377680 18446744073709551615 4114630933 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=20848/tid=20851] ppid=20847 vsize=411580 CPUtime=10.83 /proc/20848/task/20851/stat : 20851 (java) S 20847 20847 19908 34817 19908 4202560 77161 0 0 0 1053 30 0 0 15 0 10 0 61234408 421457920 48163 1283457024 134512640 134550932 4294377680 18446744073709551615 4294960130 0 0 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=20848/tid=20852] ppid=20847 vsize=411580 CPUtime=0 /proc/20848/task/20852/stat : 20852 (java) S 20847 20847 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 61234408 421457920 48163 1283457024 134512640 134550932 4294377680 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=20848/tid=20853] ppid=20847 vsize=411580 CPUtime=0 /proc/20848/task/20853/stat : 20853 (java) S 20847 20847 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 61234408 421457920 48163 1283457024 134512640 134550932 4294377680 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=20848/tid=20854] ppid=20847 vsize=411580 CPUtime=0 /proc/20848/task/20854/stat : 20854 (java) S 20847 20847 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 61234409 421457920 48163 1283457024 134512640 134550932 4294377680 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=20848/tid=20855] ppid=20847 vsize=411580 CPUtime=0.07 /proc/20848/task/20855/stat : 20855 (java) S 20847 20847 19908 34817 19908 4202560 534 0 0 0 7 0 0 0 15 0 10 0 61234409 421457920 48163 1283457024 134512640 134550932 4294377680 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=20848/tid=20856] ppid=20847 vsize=411580 CPUtime=0 /proc/20848/task/20856/stat : 20856 (java) S 20847 20847 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 61234409 421457920 48163 1283457024 134512640 134550932 4294377680 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=20848/tid=20857] ppid=20847 vsize=411580 CPUtime=0 /proc/20848/task/20857/stat : 20857 (java) S 20847 20847 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 10 0 61234409 421457920 48163 1283457024 134512640 134550932 4294377680 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=20848/tid=20858] ppid=20847 vsize=411580 CPUtime=0 /proc/20848/task/20858/stat : 20858 (java) S 20847 20847 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 61235339 421457920 48163 1283457024 134512640 134550932 4294377680 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 284.55 Current children cumulated vsize (KiB) 414148 [startup+285.007 s] /proc/loadavg: 1.00 1.00 1.00 2/47 20862 /proc/meminfo: memFree=575572/1048576 swapFree=0/0 [pid=20847] ppid=20846 vsize=2568 CPUtime=0 /proc/20847/stat : 20847 (gj-user-solver-) S 20846 20847 19908 34817 19908 4202496 373 0 0 0 0 0 0 0 24 0 1 0 61234406 2629632 270 1283457024 134512640 135304128 4292802544 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/20847/statm: 642 270 229 194 0 29 0 [pid=20848] ppid=20847 vsize=411580 CPUtime=284.75 /proc/20848/stat : 20848 (java) S 20847 20847 19908 34817 19908 4202496 92691 0 1 0 28431 44 0 0 24 0 10 0 61234406 421457920 48163 1283457024 134512640 134550932 4294377680 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/20848/statm: 102895 48163 2919 10 0 97040 0 [pid=20848/tid=20849] ppid=20847 vsize=411580 CPUtime=273.83 /proc/20848/task/20849/stat : 20849 (java) R 20847 20847 19908 34817 19908 4202560 14051 0 1 0 27370 13 0 0 25 0 10 0 61234407 421457920 48163 1283457024 134512640 134550932 4294377680 18446744073709551615 4115519805 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=20848/tid=20851] ppid=20847 vsize=411580 CPUtime=10.83 /proc/20848/task/20851/stat : 20851 (java) S 20847 20847 19908 34817 19908 4202560 77161 0 0 0 1053 30 0 0 15 0 10 0 61234408 421457920 48163 1283457024 134512640 134550932 4294377680 18446744073709551615 4294960130 0 0 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=20848/tid=20852] ppid=20847 vsize=411580 CPUtime=0 /proc/20848/task/20852/stat : 20852 (java) S 20847 20847 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 61234408 421457920 48163 1283457024 134512640 134550932 4294377680 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=20848/tid=20853] ppid=20847 vsize=411580 CPUtime=0 /proc/20848/task/20853/stat : 20853 (java) S 20847 20847 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 61234408 421457920 48163 1283457024 134512640 134550932 4294377680 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=20848/tid=20854] ppid=20847 vsize=411580 CPUtime=0 /proc/20848/task/20854/stat : 20854 (java) S 20847 20847 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 61234409 421457920 48163 1283457024 134512640 134550932 4294377680 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=20848/tid=20855] ppid=20847 vsize=411580 CPUtime=0.07 /proc/20848/task/20855/stat : 20855 (java) S 20847 20847 19908 34817 19908 4202560 534 0 0 0 7 0 0 0 15 0 10 0 61234409 421457920 48163 1283457024 134512640 134550932 4294377680 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=20848/tid=20856] ppid=20847 vsize=411580 CPUtime=0 /proc/20848/task/20856/stat : 20856 (java) S 20847 20847 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 61234409 421457920 48163 1283457024 134512640 134550932 4294377680 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=20848/tid=20857] ppid=20847 vsize=411580 CPUtime=0 /proc/20848/task/20857/stat : 20857 (java) S 20847 20847 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 10 0 61234409 421457920 48163 1283457024 134512640 134550932 4294377680 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=20848/tid=20858] ppid=20847 vsize=411580 CPUtime=0 /proc/20848/task/20858/stat : 20858 (java) S 20847 20847 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 61235339 421457920 48163 1283457024 134512640 134550932 4294377680 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 284.75 Current children cumulated vsize (KiB) 414148 [startup+285.107 s] /proc/loadavg: 1.00 1.00 1.00 2/47 20862 /proc/meminfo: memFree=575572/1048576 swapFree=0/0 [pid=20847] ppid=20846 vsize=2568 CPUtime=0 /proc/20847/stat : 20847 (gj-user-solver-) S 20846 20847 19908 34817 19908 4202496 373 0 0 0 0 0 0 0 24 0 1 0 61234406 2629632 270 1283457024 134512640 135304128 4292802544 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/20847/statm: 642 270 229 194 0 29 0 [pid=20848] ppid=20847 vsize=411580 CPUtime=284.85 /proc/20848/stat : 20848 (java) S 20847 20847 19908 34817 19908 4202496 92692 0 1 0 28441 44 0 0 24 0 9 0 61234406 421457920 48164 1283457024 134512640 134550932 4294377680 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/20848/statm: 102895 48164 2920 10 0 97040 0 [pid=20848/tid=20849] ppid=20847 vsize=411580 CPUtime=273.93 /proc/20848/task/20849/stat : 20849 (java) R 20847 20847 19908 34817 19908 4202560 14051 0 1 0 27380 13 0 0 25 0 9 0 61234407 421457920 48164 1283457024 134512640 134550932 4294377680 18446744073709551615 4150320648 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=20848/tid=20851] ppid=20847 vsize=411580 CPUtime=10.83 /proc/20848/task/20851/stat : 20851 (java) S 20847 20847 19908 34817 19908 4202560 77161 0 0 0 1053 30 0 0 15 0 9 0 61234408 421457920 48164 1283457024 134512640 134550932 4294377680 18446744073709551615 4294960130 0 0 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=20848/tid=20852] ppid=20847 vsize=411580 CPUtime=0 /proc/20848/task/20852/stat : 20852 (java) S 20847 20847 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 9 0 61234408 421457920 48164 1283457024 134512640 134550932 4294377680 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=20848/tid=20853] ppid=20847 vsize=411580 CPUtime=0 /proc/20848/task/20853/stat : 20853 (java) S 20847 20847 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 9 0 61234408 421457920 48164 1283457024 134512640 134550932 4294377680 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=20848/tid=20854] ppid=20847 vsize=411580 CPUtime=0 /proc/20848/task/20854/stat : 20854 (java) S 20847 20847 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 61234409 421457920 48164 1283457024 134512640 134550932 4294377680 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=20848/tid=20855] ppid=20847 vsize=411580 CPUtime=0.07 /proc/20848/task/20855/stat : 20855 (java) S 20847 20847 19908 34817 19908 4202560 534 0 0 0 7 0 0 0 15 0 9 0 61234409 421457920 48164 1283457024 134512640 134550932 4294377680 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=20848/tid=20856] ppid=20847 vsize=411580 CPUtime=0 /proc/20848/task/20856/stat : 20856 (java) S 20847 20847 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 61234409 421457920 48164 1283457024 134512640 134550932 4294377680 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 [pid=20848/tid=20857] ppid=20847 vsize=411580 CPUtime=0 /proc/20848/task/20857/stat : 20857 (java) S 20847 20847 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 9 0 61234409 421457920 48164 1283457024 134512640 134550932 4294377680 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 284.85 Current children cumulated vsize (KiB) 414148 Child status: 0 Real time (s): 285.203 CPU time (s): 284.93 CPU user time (s): 284.482 CPU system time (s): 0.448028 CPU usage (%): 99.9042 Max. virtual memory (cumulated for all children) (KiB): 442384 getrusage(RUSAGE_CHILDREN,...) data: user time used= 284.482 system time used= 0.448028 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 93081 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= 5911 involuntary context switches= 8741 runsolver used 0 second user time and 0 second system time The end