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/201108300820/gj-user-solver-1.0/e2f6303a-4fe9-11e0-aa4f-00163e1e087d.cudf.dudf-real.log.runsolver ./gj-user-solver-1.0 /home/misc2010/data/2011/dudf-real//e2f6303a-4fe9-11e0-aa4f-00163e1e087d.cudf /home/misc2010/tmp/201108300820/gj-user-solver-1.0/e2f6303a-4fe9-11e0-aa4f-00163e1e087d.cudf.dudf-real.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: 1.12 1.02 1.01 1/35 17504 /proc/meminfo: memFree=982504/1048576 swapFree=0/0 [pid=17504] ppid=17503 vsize=3020 CPUtime=0 /proc/17504/stat : 17504 (runsolver) D 17503 17504 2160 34817 2160 4202560 72 0 0 0 0 0 0 0 23 0 1 0 59031273 3092480 93 1283457024 134512640 134586868 4288412336 18446744073709551615 4294960130 0 0 0 24578 18446744071564332000 0 0 17 0 0 0 0 /proc/17504/statm: 755 93 62 19 0 54 0 [startup+0.15757 s] /proc/loadavg: 1.12 1.02 1.01 1/35 17504 /proc/meminfo: memFree=982504/1048576 swapFree=0/0 [pid=17504] ppid=17503 vsize=2568 CPUtime=0 /proc/17504/stat : 17504 (gj-user-solver-) S 17503 17504 2160 34817 2160 4202496 371 0 0 0 0 0 0 0 24 0 1 0 59031273 2629632 269 1283457024 134512640 135304128 4292050688 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/17504/statm: 642 269 229 194 0 29 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2568 [startup+0.205663 s] /proc/loadavg: 1.12 1.02 1.01 1/35 17504 /proc/meminfo: memFree=982504/1048576 swapFree=0/0 [pid=17504] ppid=17503 vsize=2568 CPUtime=0 /proc/17504/stat : 17504 (gj-user-solver-) S 17503 17504 2160 34817 2160 4202496 371 0 0 0 0 0 0 0 24 0 1 0 59031273 2629632 269 1283457024 134512640 135304128 4292050688 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/17504/statm: 642 269 229 194 0 29 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2568 [startup+0.305577 s] /proc/loadavg: 1.12 1.02 1.01 1/35 17504 /proc/meminfo: memFree=982504/1048576 swapFree=0/0 [pid=17504] ppid=17503 vsize=2568 CPUtime=0 /proc/17504/stat : 17504 (gj-user-solver-) S 17503 17504 2160 34817 2160 4202496 371 0 0 0 0 0 0 0 24 0 1 0 59031273 2629632 269 1283457024 134512640 135304128 4292050688 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/17504/statm: 642 269 229 194 0 29 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2568 [startup+0.705592 s] /proc/loadavg: 1.12 1.02 1.01 1/35 17504 /proc/meminfo: memFree=982504/1048576 swapFree=0/0 [pid=17504] ppid=17503 vsize=2568 CPUtime=0 /proc/17504/stat : 17504 (gj-user-solver-) S 17503 17504 2160 34817 2160 4202496 371 0 0 0 0 0 0 0 24 0 1 0 59031273 2629632 269 1283457024 134512640 135304128 4292050688 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/17504/statm: 642 269 229 194 0 29 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2568 [startup+1.50836 s] /proc/loadavg: 1.12 1.02 1.01 1/45 17514 /proc/meminfo: memFree=961004/1048576 swapFree=0/0 [pid=17504] ppid=17503 vsize=2568 CPUtime=0 /proc/17504/stat : 17504 (gj-user-solver-) S 17503 17504 2160 34817 2160 4202496 371 0 0 0 0 0 0 0 24 0 1 0 59031273 2629632 269 1283457024 134512640 135304128 4292050688 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/17504/statm: 642 269 229 194 0 29 0 [pid=17506] ppid=17504 vsize=411552 CPUtime=0.37 /proc/17506/stat : 17506 (java) S 17504 17504 2160 34817 2160 4202496 7983 0 211 0 35 2 0 0 23 0 9 0 59031275 421429248 7622 1283457024 134512640 134550932 4288834384 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/17506/statm: 102888 7622 1956 10 0 97036 0 [pid=17506/tid=17507] ppid=17504 vsize=411552 CPUtime=0.28 /proc/17506/task/17507/stat : 17507 (java) R 17504 17504 2160 34817 2160 4202560 3364 0 149 0 27 1 0 0 21 0 9 0 59031297 421429248 7622 1283457024 134512640 134550932 4288834384 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=17506/tid=17508] ppid=17504 vsize=411552 CPUtime=0.07 /proc/17506/task/17508/stat : 17508 (java) D 17504 17504 2160 34817 2160 4202560 3295 0 0 0 6 1 0 0 15 0 9 0 59031324 421429248 7622 1283457024 134512640 134550932 4288834384 18446744073709551615 4150645551 0 0 0 16800975 18446744071564332000 0 0 -1 0 0 0 0 [pid=17506/tid=17509] ppid=17504 vsize=411552 CPUtime=0 /proc/17506/task/17509/stat : 17509 (java) S 17504 17504 2160 34817 2160 4202560 14 0 1 0 0 0 0 0 17 0 9 0 59031328 421429248 7622 1283457024 134512640 134550932 4288834384 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0 [pid=17506/tid=17510] ppid=17504 vsize=411552 CPUtime=0 /proc/17506/task/17510/stat : 17510 (java) S 17504 17504 2160 34817 2160 4202560 4 0 0 0 0 0 0 0 23 0 9 0 59031328 421429248 7622 1283457024 134512640 134550932 4288834384 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0 [pid=17506/tid=17511] ppid=17504 vsize=411552 CPUtime=0 /proc/17506/task/17511/stat : 17511 (java) S 17504 17504 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 22 0 9 0 59031346 421429248 7622 1283457024 134512640 134550932 4288834384 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0 [pid=17506/tid=17512] ppid=17504 vsize=411552 CPUtime=0.02 /proc/17506/task/17512/stat : 17512 (java) S 17504 17504 2160 34817 2160 4202560 442 0 5 0 2 0 0 0 19 0 9 0 59031346 421429248 7622 1283457024 134512640 134550932 4288834384 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0 [pid=17506/tid=17513] ppid=17504 vsize=411552 CPUtime=0 /proc/17506/task/17513/stat : 17513 (java) S 17504 17504 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 23 0 9 0 59031346 421429248 7622 1283457024 134512640 134550932 4288834384 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0 [pid=17506/tid=17514] ppid=17504 vsize=411552 CPUtime=0 /proc/17506/task/17514/stat : 17514 (java) S 17504 17504 2160 34817 2160 4202560 2 0 0 0 0 0 0 0 17 0 9 0 59031346 421429248 7622 1283457024 134512640 134550932 4288834384 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.37 Current children cumulated vsize (KiB) 414120 [startup+3.13419 s] /proc/loadavg: 1.12 1.02 1.01 3/45 17514 /proc/meminfo: memFree=906936/1048576 swapFree=0/0 [pid=17504] ppid=17503 vsize=2568 CPUtime=0 /proc/17504/stat : 17504 (gj-user-solver-) S 17503 17504 2160 34817 2160 4202496 371 0 0 0 0 0 0 0 24 0 1 0 59031273 2629632 269 1283457024 134512640 135304128 4292050688 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/17504/statm: 642 269 229 194 0 29 0 [pid=17506] ppid=17504 vsize=411684 CPUtime=1.78 /proc/17506/stat : 17506 (java) S 17504 17504 2160 34817 2160 4202496 30732 0 237 0 172 6 0 0 23 0 9 0 59031275 421564416 30214 1283457024 134512640 134550932 4288834384 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/17506/statm: 102921 30214 2900 10 0 97069 0 [pid=17506/tid=17507] ppid=17504 vsize=411684 CPUtime=0.83 /proc/17506/task/17507/stat : 17507 (java) R 17504 17504 2160 34817 2160 4202560 9428 0 149 0 82 1 0 0 19 0 9 0 59031297 421564416 30214 1283457024 134512640 134550932 4288834384 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=17506/tid=17508] ppid=17504 vsize=411684 CPUtime=0.92 /proc/17506/task/17508/stat : 17508 (java) R 17504 17504 2160 34817 2160 4202560 19973 0 26 0 87 5 0 0 15 0 9 0 59031324 421564416 30214 1283457024 134512640 134550932 4288834384 18446744073709551615 4152385821 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=17506/tid=17509] ppid=17504 vsize=411684 CPUtime=0 /proc/17506/task/17509/stat : 17509 (java) S 17504 17504 2160 34817 2160 4202560 14 0 1 0 0 0 0 0 15 0 9 0 59031328 421564416 30214 1283457024 134512640 134550932 4288834384 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0 [pid=17506/tid=17510] ppid=17504 vsize=411684 CPUtime=0 /proc/17506/task/17510/stat : 17510 (java) S 17504 17504 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 18 0 9 0 59031328 421564416 30214 1283457024 134512640 134550932 4288834384 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0 [pid=17506/tid=17511] ppid=17504 vsize=411684 CPUtime=0 /proc/17506/task/17511/stat : 17511 (java) S 17504 17504 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 22 0 9 0 59031346 421564416 30214 1283457024 134512640 134550932 4288834384 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0 [pid=17506/tid=17512] ppid=17504 vsize=411684 CPUtime=0.02 /proc/17506/task/17512/stat : 17512 (java) S 17504 17504 2160 34817 2160 4202560 448 0 5 0 2 0 0 0 15 0 9 0 59031346 421564416 30214 1283457024 134512640 134550932 4288834384 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0 [pid=17506/tid=17513] ppid=17504 vsize=411684 CPUtime=0 /proc/17506/task/17513/stat : 17513 (java) S 17504 17504 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 23 0 9 0 59031346 421564416 30214 1283457024 134512640 134550932 4288834384 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0 [pid=17506/tid=17514] ppid=17504 vsize=411684 CPUtime=0 /proc/17506/task/17514/stat : 17514 (java) R 17504 17504 2160 34817 2160 4202560 2 0 0 0 0 0 0 0 15 0 9 0 59031346 421564416 30214 1283457024 134512640 134550932 4288834384 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.78 Current children cumulated vsize (KiB) 414252 heavy processes: [startup+6.30786 s] /proc/loadavg: 1.11 1.02 1.00 2/46 17515 /proc/meminfo: memFree=742420/1048576 swapFree=0/0 [pid=17504] ppid=17503 vsize=2568 CPUtime=0 /proc/17504/stat : 17504 (gj-user-solver-) S 17503 17504 2160 34817 2160 4202496 371 0 0 0 0 0 0 0 24 0 1 0 59031273 2629632 269 1283457024 134512640 135304128 4292050688 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/17504/statm: 642 269 229 194 0 29 0 [pid=17506] ppid=17504 vsize=412020 CPUtime=4.76 /proc/17506/stat : 17506 (java) S 17504 17504 2160 34817 2160 4202496 54306 0 244 0 461 15 0 0 23 0 10 0 59031275 421908480 53710 1283457024 134512640 134550932 4288834384 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/17506/statm: 103005 53710 2923 10 0 97150 0 [pid=17506/tid=17507] ppid=17504 vsize=412020 CPUtime=2.92 /proc/17506/task/17507/stat : 17507 (java) R 17504 17504 2160 34817 2160 4202560 14385 0 156 0 289 3 0 0 25 0 10 0 59031297 421908480 53710 1283457024 134512640 134550932 4288834384 18446744073709551615 4115181173 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=17506/tid=17508] ppid=17504 vsize=412020 CPUtime=1.72 /proc/17506/task/17508/stat : 17508 (java) S 17504 17504 2160 34817 2160 4202560 38504 0 26 0 160 12 0 0 15 0 10 0 59031324 421908480 53710 1283457024 134512640 134550932 4288834384 18446744073709551615 4294960130 0 0 0 16800975 18446612132371209152 0 0 -1 0 0 0 0 [pid=17506/tid=17509] ppid=17504 vsize=412020 CPUtime=0 /proc/17506/task/17509/stat : 17509 (java) S 17504 17504 2160 34817 2160 4202560 14 0 1 0 0 0 0 0 15 0 10 0 59031328 421908480 53710 1283457024 134512640 134550932 4288834384 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0 [pid=17506/tid=17510] ppid=17504 vsize=412020 CPUtime=0 /proc/17506/task/17510/stat : 17510 (java) S 17504 17504 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 18 0 10 0 59031328 421908480 53710 1283457024 134512640 134550932 4288834384 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0 [pid=17506/tid=17511] ppid=17504 vsize=412020 CPUtime=0 /proc/17506/task/17511/stat : 17511 (java) S 17504 17504 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 22 0 10 0 59031346 421908480 53710 1283457024 134512640 134550932 4288834384 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0 [pid=17506/tid=17512] ppid=17504 vsize=412020 CPUtime=0.11 /proc/17506/task/17512/stat : 17512 (java) S 17504 17504 2160 34817 2160 4202560 530 0 5 0 11 0 0 0 15 0 10 0 59031346 421908480 53710 1283457024 134512640 134550932 4288834384 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0 [pid=17506/tid=17513] ppid=17504 vsize=412020 CPUtime=0 /proc/17506/task/17513/stat : 17513 (java) S 17504 17504 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 23 0 10 0 59031346 421908480 53710 1283457024 134512640 134550932 4288834384 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0 [pid=17506/tid=17514] ppid=17504 vsize=412020 CPUtime=0 /proc/17506/task/17514/stat : 17514 (java) S 17504 17504 2160 34817 2160 4202560 2 0 0 0 0 0 0 0 15 0 10 0 59031346 421908480 53710 1283457024 134512640 134550932 4288834384 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0 [pid=17506/tid=17515] ppid=17504 vsize=412020 CPUtime=0 /proc/17506/task/17515/stat : 17515 (java) S 17504 17504 2160 34817 2160 4202560 4 0 0 0 0 0 0 0 21 0 10 0 59031745 421908480 53710 1283457024 134512640 134550932 4288834384 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4.76 Current children cumulated vsize (KiB) 414588 heavy processes: [startup+12.7088 s] /proc/loadavg: 1.10 1.02 1.00 2/46 17516 /proc/meminfo: memFree=724640/1048576 swapFree=0/0 [pid=17504] ppid=17503 vsize=2568 CPUtime=0 /proc/17504/stat : 17504 (gj-user-solver-) S 17503 17504 2160 34817 2160 4202496 371 0 0 0 0 0 0 0 24 0 1 0 59031273 2629632 269 1283457024 134512640 135304128 4292050688 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/17504/statm: 642 269 229 194 0 29 0 [pid=17506] ppid=17504 vsize=412020 CPUtime=11.16 /proc/17506/stat : 17506 (java) S 17504 17504 2160 34817 2160 4202496 58651 0 244 0 1101 15 0 0 23 0 10 0 59031275 421908480 58055 1283457024 134512640 134550932 4288834384 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/17506/statm: 103005 58055 2925 10 0 97150 0 [pid=17506/tid=17507] ppid=17504 vsize=412020 CPUtime=9.24 /proc/17506/task/17507/stat : 17507 (java) R 17504 17504 2160 34817 2160 4202560 14385 0 156 0 921 3 0 0 25 0 10 0 59031297 421908480 58055 1283457024 134512640 134550932 4288834384 18446744073709551615 4115181179 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=17506/tid=17508] ppid=17504 vsize=412020 CPUtime=1.79 /proc/17506/task/17508/stat : 17508 (java) S 17504 17504 2160 34817 2160 4202560 42846 0 26 0 167 12 0 0 15 0 10 0 59031324 421908480 58055 1283457024 134512640 134550932 4288834384 18446744073709551615 4294960130 0 0 0 16800975 18446612132371209152 0 0 -1 0 0 0 0 [pid=17506/tid=17509] ppid=17504 vsize=412020 CPUtime=0 /proc/17506/task/17509/stat : 17509 (java) S 17504 17504 2160 34817 2160 4202560 14 0 1 0 0 0 0 0 15 0 10 0 59031328 421908480 58055 1283457024 134512640 134550932 4288834384 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0 [pid=17506/tid=17510] ppid=17504 vsize=412020 CPUtime=0 /proc/17506/task/17510/stat : 17510 (java) S 17504 17504 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 18 0 10 0 59031328 421908480 58055 1283457024 134512640 134550932 4288834384 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0 [pid=17506/tid=17511] ppid=17504 vsize=412020 CPUtime=0 /proc/17506/task/17511/stat : 17511 (java) S 17504 17504 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 22 0 10 0 59031346 421908480 58055 1283457024 134512640 134550932 4288834384 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0 [pid=17506/tid=17512] ppid=17504 vsize=412020 CPUtime=0.12 /proc/17506/task/17512/stat : 17512 (java) S 17504 17504 2160 34817 2160 4202560 533 0 5 0 12 0 0 0 15 0 10 0 59031346 421908480 58055 1283457024 134512640 134550932 4288834384 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0 [pid=17506/tid=17513] ppid=17504 vsize=412020 CPUtime=0 /proc/17506/task/17513/stat : 17513 (java) S 17504 17504 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 23 0 10 0 59031346 421908480 58055 1283457024 134512640 134550932 4288834384 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0 [pid=17506/tid=17514] ppid=17504 vsize=412020 CPUtime=0 /proc/17506/task/17514/stat : 17514 (java) S 17504 17504 2160 34817 2160 4202560 2 0 0 0 0 0 0 0 15 0 10 0 59031346 421908480 58055 1283457024 134512640 134550932 4288834384 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0 [pid=17506/tid=17515] ppid=17504 vsize=412020 CPUtime=0 /proc/17506/task/17515/stat : 17515 (java) S 17504 17504 2160 34817 2160 4202560 4 0 0 0 0 0 0 0 21 0 10 0 59031745 421908480 58055 1283457024 134512640 134550932 4288834384 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 11.16 Current children cumulated vsize (KiB) 414588 [startup+25.5115 s] /proc/loadavg: 1.08 1.01 1.00 2/45 17516 /proc/meminfo: memFree=724656/1048576 swapFree=0/0 [pid=17504] ppid=17503 vsize=2568 CPUtime=0 /proc/17504/stat : 17504 (gj-user-solver-) S 17503 17504 2160 34817 2160 4202496 371 0 0 0 0 0 0 0 24 0 1 0 59031273 2629632 269 1283457024 134512640 135304128 4292050688 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/17504/statm: 642 269 229 194 0 29 0 [pid=17506] ppid=17504 vsize=412020 CPUtime=23.95 /proc/17506/stat : 17506 (java) S 17504 17504 2160 34817 2160 4202496 58665 0 244 0 2379 16 0 0 23 0 10 0 59031275 421908480 58061 1283457024 134512640 134550932 4288834384 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/17506/statm: 103005 58061 2920 10 0 97150 0 [pid=17506/tid=17507] ppid=17504 vsize=412020 CPUtime=21.85 /proc/17506/task/17507/stat : 17507 (java) R 17504 17504 2160 34817 2160 4202560 14385 0 156 0 2182 3 0 0 25 0 10 0 59031297 421908480 58061 1283457024 134512640 134550932 4288834384 18446744073709551615 4115375159 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=17506/tid=17508] ppid=17504 vsize=412020 CPUtime=1.97 /proc/17506/task/17508/stat : 17508 (java) S 17504 17504 2160 34817 2160 4202560 42857 0 26 0 184 13 0 0 15 0 10 0 59031324 421908480 58061 1283457024 134512640 134550932 4288834384 18446744073709551615 4294960130 0 0 0 16800975 18446612132371209152 0 0 -1 0 0 0 0 [pid=17506/tid=17509] ppid=17504 vsize=412020 CPUtime=0 /proc/17506/task/17509/stat : 17509 (java) S 17504 17504 2160 34817 2160 4202560 14 0 1 0 0 0 0 0 15 0 10 0 59031328 421908480 58061 1283457024 134512640 134550932 4288834384 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0 [pid=17506/tid=17510] ppid=17504 vsize=412020 CPUtime=0 /proc/17506/task/17510/stat : 17510 (java) S 17504 17504 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 18 0 10 0 59031328 421908480 58061 1283457024 134512640 134550932 4288834384 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0 [pid=17506/tid=17511] ppid=17504 vsize=412020 CPUtime=0 /proc/17506/task/17511/stat : 17511 (java) S 17504 17504 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 22 0 10 0 59031346 421908480 58061 1283457024 134512640 134550932 4288834384 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0 [pid=17506/tid=17512] ppid=17504 vsize=412020 CPUtime=0.12 /proc/17506/task/17512/stat : 17512 (java) S 17504 17504 2160 34817 2160 4202560 536 0 5 0 12 0 0 0 15 0 10 0 59031346 421908480 58061 1283457024 134512640 134550932 4288834384 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0 [pid=17506/tid=17513] ppid=17504 vsize=412020 CPUtime=0 /proc/17506/task/17513/stat : 17513 (java) S 17504 17504 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 23 0 10 0 59031346 421908480 58061 1283457024 134512640 134550932 4288834384 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0 [pid=17506/tid=17514] ppid=17504 vsize=412020 CPUtime=0 /proc/17506/task/17514/stat : 17514 (java) S 17504 17504 2160 34817 2160 4202560 2 0 0 0 0 0 0 0 15 0 10 0 59031346 421908480 58061 1283457024 134512640 134550932 4288834384 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0 [pid=17506/tid=17515] ppid=17504 vsize=412020 CPUtime=0 /proc/17506/task/17515/stat : 17515 (java) S 17504 17504 2160 34817 2160 4202560 4 0 0 0 0 0 0 0 21 0 10 0 59031745 421908480 58061 1283457024 134512640 134550932 4288834384 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 23.95 Current children cumulated vsize (KiB) 414588 [startup+51.1066 s] /proc/loadavg: 1.05 1.01 1.00 2/45 17516 /proc/meminfo: memFree=726332/1048576 swapFree=0/0 [pid=17504] ppid=17503 vsize=2568 CPUtime=0 /proc/17504/stat : 17504 (gj-user-solver-) S 17503 17504 2160 34817 2160 4202496 371 0 0 0 0 0 0 0 24 0 1 0 59031273 2629632 269 1283457024 134512640 135304128 4292050688 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/17504/statm: 642 269 229 194 0 29 0 [pid=17506] ppid=17504 vsize=412020 CPUtime=49.51 /proc/17506/stat : 17506 (java) S 17504 17504 2160 34817 2160 4202496 58666 0 244 0 4935 16 0 0 23 0 10 0 59031275 421908480 57500 1283457024 134512640 134550932 4288834384 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/17506/statm: 103005 57500 2920 10 0 97150 0 [pid=17506/tid=17507] ppid=17504 vsize=412020 CPUtime=47.12 /proc/17506/task/17507/stat : 17507 (java) R 17504 17504 2160 34817 2160 4202560 14385 0 156 0 4709 3 0 0 25 0 10 0 59031297 421908480 57500 1283457024 134512640 134550932 4288834384 18446744073709551615 4115306192 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=17506/tid=17508] ppid=17504 vsize=412020 CPUtime=2.27 /proc/17506/task/17508/stat : 17508 (java) S 17504 17504 2160 34817 2160 4202560 42857 0 26 0 214 13 0 0 15 0 10 0 59031324 421908480 57500 1283457024 134512640 134550932 4288834384 18446744073709551615 4294960130 0 0 0 16800975 18446612132371209152 0 0 -1 0 0 0 0 [pid=17506/tid=17509] ppid=17504 vsize=412020 CPUtime=0 /proc/17506/task/17509/stat : 17509 (java) S 17504 17504 2160 34817 2160 4202560 14 0 1 0 0 0 0 0 15 0 10 0 59031328 421908480 57500 1283457024 134512640 134550932 4288834384 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0 [pid=17506/tid=17510] ppid=17504 vsize=412020 CPUtime=0 /proc/17506/task/17510/stat : 17510 (java) S 17504 17504 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 18 0 10 0 59031328 421908480 57500 1283457024 134512640 134550932 4288834384 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0 [pid=17506/tid=17511] ppid=17504 vsize=412020 CPUtime=0 /proc/17506/task/17511/stat : 17511 (java) S 17504 17504 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 22 0 10 0 59031346 421908480 57500 1283457024 134512640 134550932 4288834384 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0 [pid=17506/tid=17512] ppid=17504 vsize=412020 CPUtime=0.12 /proc/17506/task/17512/stat : 17512 (java) S 17504 17504 2160 34817 2160 4202560 537 0 5 0 12 0 0 0 15 0 10 0 59031346 421908480 57500 1283457024 134512640 134550932 4288834384 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0 [pid=17506/tid=17513] ppid=17504 vsize=412020 CPUtime=0 /proc/17506/task/17513/stat : 17513 (java) S 17504 17504 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 23 0 10 0 59031346 421908480 57500 1283457024 134512640 134550932 4288834384 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0 [pid=17506/tid=17514] ppid=17504 vsize=412020 CPUtime=0 /proc/17506/task/17514/stat : 17514 (java) S 17504 17504 2160 34817 2160 4202560 2 0 0 0 0 0 0 0 15 0 10 0 59031346 421908480 57500 1283457024 134512640 134550932 4288834384 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0 [pid=17506/tid=17515] ppid=17504 vsize=412020 CPUtime=0 /proc/17506/task/17515/stat : 17515 (java) S 17504 17504 2160 34817 2160 4202560 4 0 0 0 0 0 0 0 21 0 10 0 59031745 421908480 57500 1283457024 134512640 134550932 4288834384 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 49.51 Current children cumulated vsize (KiB) 414588 [startup+102.31 s] /proc/loadavg: 1.02 1.01 1.00 3/44 17516 /proc/meminfo: memFree=726340/1048576 swapFree=0/0 [pid=17504] ppid=17503 vsize=2568 CPUtime=0 /proc/17504/stat : 17504 (gj-user-solver-) S 17503 17504 2160 34817 2160 4202496 371 0 0 0 0 0 0 0 24 0 1 0 59031273 2629632 269 1283457024 134512640 135304128 4292050688 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/17504/statm: 642 269 229 194 0 29 0 [pid=17506] ppid=17504 vsize=412020 CPUtime=100.67 /proc/17506/stat : 17506 (java) S 17504 17504 2160 34817 2160 4202496 58666 0 244 0 10051 16 0 0 23 0 10 0 59031275 421908480 57500 1283457024 134512640 134550932 4288834384 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/17506/statm: 103005 57500 2920 10 0 97150 0 [pid=17506/tid=17507] ppid=17504 vsize=412020 CPUtime=98 /proc/17506/task/17507/stat : 17507 (java) R 17504 17504 2160 34817 2160 4202560 14385 0 156 0 9797 3 0 0 25 0 10 0 59031297 421908480 57500 1283457024 134512640 134550932 4288834384 18446744073709551615 4115181785 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=17506/tid=17508] ppid=17504 vsize=412020 CPUtime=2.53 /proc/17506/task/17508/stat : 17508 (java) S 17504 17504 2160 34817 2160 4202560 42857 0 26 0 240 13 0 0 15 0 10 0 59031324 421908480 57500 1283457024 134512640 134550932 4288834384 18446744073709551615 4294960130 0 0 0 16800975 18446612132371209152 0 0 -1 0 0 0 0 [pid=17506/tid=17509] ppid=17504 vsize=412020 CPUtime=0 /proc/17506/task/17509/stat : 17509 (java) S 17504 17504 2160 34817 2160 4202560 14 0 1 0 0 0 0 0 15 0 10 0 59031328 421908480 57500 1283457024 134512640 134550932 4288834384 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0 [pid=17506/tid=17510] ppid=17504 vsize=412020 CPUtime=0 /proc/17506/task/17510/stat : 17510 (java) S 17504 17504 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 18 0 10 0 59031328 421908480 57500 1283457024 134512640 134550932 4288834384 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0 [pid=17506/tid=17511] ppid=17504 vsize=412020 CPUtime=0 /proc/17506/task/17511/stat : 17511 (java) S 17504 17504 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 22 0 10 0 59031346 421908480 57500 1283457024 134512640 134550932 4288834384 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0 [pid=17506/tid=17512] ppid=17504 vsize=412020 CPUtime=0.12 /proc/17506/task/17512/stat : 17512 (java) S 17504 17504 2160 34817 2160 4202560 537 0 5 0 12 0 0 0 15 0 10 0 59031346 421908480 57500 1283457024 134512640 134550932 4288834384 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0 [pid=17506/tid=17513] ppid=17504 vsize=412020 CPUtime=0 /proc/17506/task/17513/stat : 17513 (java) S 17504 17504 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 23 0 10 0 59031346 421908480 57500 1283457024 134512640 134550932 4288834384 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0 [pid=17506/tid=17514] ppid=17504 vsize=412020 CPUtime=0 /proc/17506/task/17514/stat : 17514 (java) S 17504 17504 2160 34817 2160 4202560 2 0 0 0 0 0 0 0 15 0 10 0 59031346 421908480 57500 1283457024 134512640 134550932 4288834384 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0 [pid=17506/tid=17515] ppid=17504 vsize=412020 CPUtime=0 /proc/17506/task/17515/stat : 17515 (java) S 17504 17504 2160 34817 2160 4202560 4 0 0 0 0 0 0 0 21 0 10 0 59031745 421908480 57500 1283457024 134512640 134550932 4288834384 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 100.67 Current children cumulated vsize (KiB) 414588 [startup+162.313 s] /proc/loadavg: 1.01 1.00 1.00 3/44 17516 /proc/meminfo: memFree=725980/1048576 swapFree=0/0 [pid=17504] ppid=17503 vsize=2568 CPUtime=0 /proc/17504/stat : 17504 (gj-user-solver-) S 17503 17504 2160 34817 2160 4202496 371 0 0 0 0 0 0 0 24 0 1 0 59031273 2629632 269 1283457024 134512640 135304128 4292050688 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/17504/statm: 642 269 229 194 0 29 0 [pid=17506] ppid=17504 vsize=412020 CPUtime=160.62 /proc/17506/stat : 17506 (java) S 17504 17504 2160 34817 2160 4202496 58666 0 244 0 16046 16 0 0 23 0 10 0 59031275 421908480 57500 1283457024 134512640 134550932 4288834384 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/17506/statm: 103005 57500 2920 10 0 97150 0 [pid=17506/tid=17507] ppid=17504 vsize=412020 CPUtime=157.59 /proc/17506/task/17507/stat : 17507 (java) R 17504 17504 2160 34817 2160 4202560 14385 0 156 0 15756 3 0 0 25 0 10 0 59031297 421908480 57500 1283457024 134512640 134550932 4288834384 18446744073709551615 4115181173 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=17506/tid=17508] ppid=17504 vsize=412020 CPUtime=2.9 /proc/17506/task/17508/stat : 17508 (java) S 17504 17504 2160 34817 2160 4202560 42857 0 26 0 277 13 0 0 16 0 10 0 59031324 421908480 57500 1283457024 134512640 134550932 4288834384 18446744073709551615 4294960130 0 0 0 16800975 18446612132371209152 0 0 -1 0 0 0 0 [pid=17506/tid=17509] ppid=17504 vsize=412020 CPUtime=0 /proc/17506/task/17509/stat : 17509 (java) S 17504 17504 2160 34817 2160 4202560 14 0 1 0 0 0 0 0 15 0 10 0 59031328 421908480 57500 1283457024 134512640 134550932 4288834384 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0 [pid=17506/tid=17510] ppid=17504 vsize=412020 CPUtime=0 /proc/17506/task/17510/stat : 17510 (java) S 17504 17504 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 18 0 10 0 59031328 421908480 57500 1283457024 134512640 134550932 4288834384 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0 [pid=17506/tid=17511] ppid=17504 vsize=412020 CPUtime=0 /proc/17506/task/17511/stat : 17511 (java) S 17504 17504 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 22 0 10 0 59031346 421908480 57500 1283457024 134512640 134550932 4288834384 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0 [pid=17506/tid=17512] ppid=17504 vsize=412020 CPUtime=0.12 /proc/17506/task/17512/stat : 17512 (java) S 17504 17504 2160 34817 2160 4202560 537 0 5 0 12 0 0 0 15 0 10 0 59031346 421908480 57500 1283457024 134512640 134550932 4288834384 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0 [pid=17506/tid=17513] ppid=17504 vsize=412020 CPUtime=0 /proc/17506/task/17513/stat : 17513 (java) S 17504 17504 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 23 0 10 0 59031346 421908480 57500 1283457024 134512640 134550932 4288834384 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0 [pid=17506/tid=17514] ppid=17504 vsize=412020 CPUtime=0 /proc/17506/task/17514/stat : 17514 (java) S 17504 17504 2160 34817 2160 4202560 2 0 0 0 0 0 0 0 15 0 10 0 59031346 421908480 57500 1283457024 134512640 134550932 4288834384 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0 [pid=17506/tid=17515] ppid=17504 vsize=412020 CPUtime=0 /proc/17506/task/17515/stat : 17515 (java) S 17504 17504 2160 34817 2160 4202560 4 0 0 0 0 0 0 0 21 0 10 0 59031745 421908480 57500 1283457024 134512640 134550932 4288834384 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 160.62 Current children cumulated vsize (KiB) 414588 [startup+222.306 s] /proc/loadavg: 1.00 1.00 1.00 2/44 17516 /proc/meminfo: memFree=725980/1048576 swapFree=0/0 [pid=17504] ppid=17503 vsize=2568 CPUtime=0 /proc/17504/stat : 17504 (gj-user-solver-) S 17503 17504 2160 34817 2160 4202496 371 0 0 0 0 0 0 0 24 0 1 0 59031273 2629632 269 1283457024 134512640 135304128 4292050688 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/17504/statm: 642 269 229 194 0 29 0 [pid=17506] ppid=17504 vsize=412020 CPUtime=220.57 /proc/17506/stat : 17506 (java) S 17504 17504 2160 34817 2160 4202496 58666 0 244 0 22041 16 0 0 23 0 10 0 59031275 421908480 57500 1283457024 134512640 134550932 4288834384 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/17506/statm: 103005 57500 2920 10 0 97150 0 [pid=17506/tid=17507] ppid=17504 vsize=412020 CPUtime=217.24 /proc/17506/task/17507/stat : 17507 (java) R 17504 17504 2160 34817 2160 4202560 14385 0 156 0 21721 3 0 0 25 0 10 0 59031297 421908480 57500 1283457024 134512640 134550932 4288834384 18446744073709551615 4115181173 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=17506/tid=17508] ppid=17504 vsize=412020 CPUtime=3.2 /proc/17506/task/17508/stat : 17508 (java) S 17504 17504 2160 34817 2160 4202560 42857 0 26 0 307 13 0 0 15 0 10 0 59031324 421908480 57500 1283457024 134512640 134550932 4288834384 18446744073709551615 4294960130 0 0 0 16800975 18446612132371209152 0 0 -1 0 0 0 0 [pid=17506/tid=17509] ppid=17504 vsize=412020 CPUtime=0 /proc/17506/task/17509/stat : 17509 (java) S 17504 17504 2160 34817 2160 4202560 14 0 1 0 0 0 0 0 15 0 10 0 59031328 421908480 57500 1283457024 134512640 134550932 4288834384 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0 [pid=17506/tid=17510] ppid=17504 vsize=412020 CPUtime=0 /proc/17506/task/17510/stat : 17510 (java) S 17504 17504 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 18 0 10 0 59031328 421908480 57500 1283457024 134512640 134550932 4288834384 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0 [pid=17506/tid=17511] ppid=17504 vsize=412020 CPUtime=0 /proc/17506/task/17511/stat : 17511 (java) S 17504 17504 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 22 0 10 0 59031346 421908480 57500 1283457024 134512640 134550932 4288834384 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0 [pid=17506/tid=17512] ppid=17504 vsize=412020 CPUtime=0.12 /proc/17506/task/17512/stat : 17512 (java) S 17504 17504 2160 34817 2160 4202560 537 0 5 0 12 0 0 0 15 0 10 0 59031346 421908480 57500 1283457024 134512640 134550932 4288834384 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0 [pid=17506/tid=17513] ppid=17504 vsize=412020 CPUtime=0 /proc/17506/task/17513/stat : 17513 (java) S 17504 17504 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 23 0 10 0 59031346 421908480 57500 1283457024 134512640 134550932 4288834384 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0 [pid=17506/tid=17514] ppid=17504 vsize=412020 CPUtime=0 /proc/17506/task/17514/stat : 17514 (java) S 17504 17504 2160 34817 2160 4202560 2 0 0 0 0 0 0 0 15 0 10 0 59031346 421908480 57500 1283457024 134512640 134550932 4288834384 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0 [pid=17506/tid=17515] ppid=17504 vsize=412020 CPUtime=0 /proc/17506/task/17515/stat : 17515 (java) S 17504 17504 2160 34817 2160 4202560 4 0 0 0 0 0 0 0 21 0 10 0 59031745 421908480 57500 1283457024 134512640 134550932 4288834384 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 220.57 Current children cumulated vsize (KiB) 414588 [startup+282.308 s] /proc/loadavg: 1.00 1.00 1.00 2/44 17516 /proc/meminfo: memFree=722508/1048576 swapFree=0/0 [pid=17504] ppid=17503 vsize=2568 CPUtime=0 /proc/17504/stat : 17504 (gj-user-solver-) S 17503 17504 2160 34817 2160 4202496 371 0 0 0 0 0 0 0 24 0 1 0 59031273 2629632 269 1283457024 134512640 135304128 4292050688 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/17504/statm: 642 269 229 194 0 29 0 [pid=17506] ppid=17504 vsize=412020 CPUtime=280.55 /proc/17506/stat : 17506 (java) S 17504 17504 2160 34817 2160 4202496 59642 0 244 0 28038 17 0 0 23 0 10 0 59031275 421908480 58476 1283457024 134512640 134550932 4288834384 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/17506/statm: 103005 58476 2920 10 0 97150 0 [pid=17506/tid=17507] ppid=17504 vsize=412020 CPUtime=276.89 /proc/17506/task/17507/stat : 17507 (java) R 17504 17504 2160 34817 2160 4202560 14385 0 156 0 27686 3 0 0 25 0 10 0 59031297 421908480 58476 1283457024 134512640 134550932 4288834384 18446744073709551615 4114417975 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=17506/tid=17508] ppid=17504 vsize=412020 CPUtime=3.53 /proc/17506/task/17508/stat : 17508 (java) S 17504 17504 2160 34817 2160 4202560 43833 0 26 0 339 14 0 0 15 0 10 0 59031324 421908480 58476 1283457024 134512640 134550932 4288834384 18446744073709551615 4294960130 0 0 0 16800975 18446612132371209152 0 0 -1 0 0 0 0 [pid=17506/tid=17509] ppid=17504 vsize=412020 CPUtime=0 /proc/17506/task/17509/stat : 17509 (java) S 17504 17504 2160 34817 2160 4202560 14 0 1 0 0 0 0 0 15 0 10 0 59031328 421908480 58476 1283457024 134512640 134550932 4288834384 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0 [pid=17506/tid=17510] ppid=17504 vsize=412020 CPUtime=0 /proc/17506/task/17510/stat : 17510 (java) S 17504 17504 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 18 0 10 0 59031328 421908480 58476 1283457024 134512640 134550932 4288834384 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0 [pid=17506/tid=17511] ppid=17504 vsize=412020 CPUtime=0 /proc/17506/task/17511/stat : 17511 (java) S 17504 17504 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 22 0 10 0 59031346 421908480 58476 1283457024 134512640 134550932 4288834384 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0 [pid=17506/tid=17512] ppid=17504 vsize=412020 CPUtime=0.12 /proc/17506/task/17512/stat : 17512 (java) S 17504 17504 2160 34817 2160 4202560 537 0 5 0 12 0 0 0 15 0 10 0 59031346 421908480 58476 1283457024 134512640 134550932 4288834384 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0 [pid=17506/tid=17513] ppid=17504 vsize=412020 CPUtime=0 /proc/17506/task/17513/stat : 17513 (java) S 17504 17504 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 23 0 10 0 59031346 421908480 58476 1283457024 134512640 134550932 4288834384 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0 [pid=17506/tid=17514] ppid=17504 vsize=412020 CPUtime=0 /proc/17506/task/17514/stat : 17514 (java) S 17504 17504 2160 34817 2160 4202560 2 0 0 0 0 0 0 0 15 0 10 0 59031346 421908480 58476 1283457024 134512640 134550932 4288834384 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0 [pid=17506/tid=17515] ppid=17504 vsize=412020 CPUtime=0 /proc/17506/task/17515/stat : 17515 (java) S 17504 17504 2160 34817 2160 4202560 4 0 0 0 0 0 0 0 21 0 10 0 59031745 421908480 58476 1283457024 134512640 134550932 4288834384 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 280.55 Current children cumulated vsize (KiB) 414588 Solver just ended. Dumping a history of the last processes samples [startup+284.709 s] /proc/loadavg: 1.00 1.00 1.00 2/44 17516 /proc/meminfo: memFree=722508/1048576 swapFree=0/0 [pid=17504] ppid=17503 vsize=2568 CPUtime=0 /proc/17504/stat : 17504 (gj-user-solver-) S 17503 17504 2160 34817 2160 4202496 371 0 0 0 0 0 0 0 24 0 1 0 59031273 2629632 269 1283457024 134512640 135304128 4292050688 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/17504/statm: 642 269 229 194 0 29 0 [pid=17506] ppid=17504 vsize=412020 CPUtime=282.94 /proc/17506/stat : 17506 (java) S 17504 17504 2160 34817 2160 4202496 59642 0 244 0 28277 17 0 0 23 0 10 0 59031275 421908480 58476 1283457024 134512640 134550932 4288834384 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/17506/statm: 103005 58476 2920 10 0 97150 0 [pid=17506/tid=17507] ppid=17504 vsize=412020 CPUtime=279.25 /proc/17506/task/17507/stat : 17507 (java) R 17504 17504 2160 34817 2160 4202560 14385 0 156 0 27922 3 0 0 25 0 10 0 59031297 421908480 58476 1283457024 134512640 134550932 4288834384 18446744073709551615 4115368512 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=17506/tid=17508] ppid=17504 vsize=412020 CPUtime=3.56 /proc/17506/task/17508/stat : 17508 (java) S 17504 17504 2160 34817 2160 4202560 43833 0 26 0 342 14 0 0 16 0 10 0 59031324 421908480 58476 1283457024 134512640 134550932 4288834384 18446744073709551615 4294960130 0 0 0 16800975 18446612132371209152 0 0 -1 0 0 0 0 [pid=17506/tid=17509] ppid=17504 vsize=412020 CPUtime=0 /proc/17506/task/17509/stat : 17509 (java) S 17504 17504 2160 34817 2160 4202560 14 0 1 0 0 0 0 0 15 0 10 0 59031328 421908480 58476 1283457024 134512640 134550932 4288834384 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0 [pid=17506/tid=17510] ppid=17504 vsize=412020 CPUtime=0 /proc/17506/task/17510/stat : 17510 (java) S 17504 17504 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 18 0 10 0 59031328 421908480 58476 1283457024 134512640 134550932 4288834384 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0 [pid=17506/tid=17511] ppid=17504 vsize=412020 CPUtime=0 /proc/17506/task/17511/stat : 17511 (java) S 17504 17504 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 22 0 10 0 59031346 421908480 58476 1283457024 134512640 134550932 4288834384 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0 [pid=17506/tid=17512] ppid=17504 vsize=412020 CPUtime=0.12 /proc/17506/task/17512/stat : 17512 (java) S 17504 17504 2160 34817 2160 4202560 537 0 5 0 12 0 0 0 15 0 10 0 59031346 421908480 58476 1283457024 134512640 134550932 4288834384 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0 [pid=17506/tid=17513] ppid=17504 vsize=412020 CPUtime=0 /proc/17506/task/17513/stat : 17513 (java) S 17504 17504 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 23 0 10 0 59031346 421908480 58476 1283457024 134512640 134550932 4288834384 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0 [pid=17506/tid=17514] ppid=17504 vsize=412020 CPUtime=0 /proc/17506/task/17514/stat : 17514 (java) R 17504 17504 2160 34817 2160 4202560 2 0 0 0 0 0 0 0 15 0 10 0 59031346 421908480 58476 1283457024 134512640 134550932 4288834384 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=17506/tid=17515] ppid=17504 vsize=412020 CPUtime=0 /proc/17506/task/17515/stat : 17515 (java) S 17504 17504 2160 34817 2160 4202560 4 0 0 0 0 0 0 0 21 0 10 0 59031745 421908480 58476 1283457024 134512640 134550932 4288834384 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 282.94 Current children cumulated vsize (KiB) 414588 [startup+285.509 s] /proc/loadavg: 1.00 1.00 1.00 2/44 17516 /proc/meminfo: memFree=722508/1048576 swapFree=0/0 [pid=17504] ppid=17503 vsize=2568 CPUtime=0 /proc/17504/stat : 17504 (gj-user-solver-) S 17503 17504 2160 34817 2160 4202496 371 0 0 0 0 0 0 0 24 0 1 0 59031273 2629632 269 1283457024 134512640 135304128 4292050688 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/17504/statm: 642 269 229 194 0 29 0 [pid=17506] ppid=17504 vsize=412020 CPUtime=283.74 /proc/17506/stat : 17506 (java) S 17504 17504 2160 34817 2160 4202496 59642 0 244 0 28357 17 0 0 23 0 10 0 59031275 421908480 58476 1283457024 134512640 134550932 4288834384 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/17506/statm: 103005 58476 2920 10 0 97150 0 [pid=17506/tid=17507] ppid=17504 vsize=412020 CPUtime=280.05 /proc/17506/task/17507/stat : 17507 (java) R 17504 17504 2160 34817 2160 4202560 14385 0 156 0 28002 3 0 0 25 0 10 0 59031297 421908480 58476 1283457024 134512640 134550932 4288834384 18446744073709551615 4115181148 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=17506/tid=17508] ppid=17504 vsize=412020 CPUtime=3.56 /proc/17506/task/17508/stat : 17508 (java) S 17504 17504 2160 34817 2160 4202560 43833 0 26 0 342 14 0 0 15 0 10 0 59031324 421908480 58476 1283457024 134512640 134550932 4288834384 18446744073709551615 4294960130 0 0 0 16800975 18446612132371209152 0 0 -1 0 0 0 0 [pid=17506/tid=17509] ppid=17504 vsize=412020 CPUtime=0 /proc/17506/task/17509/stat : 17509 (java) S 17504 17504 2160 34817 2160 4202560 14 0 1 0 0 0 0 0 15 0 10 0 59031328 421908480 58476 1283457024 134512640 134550932 4288834384 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0 [pid=17506/tid=17510] ppid=17504 vsize=412020 CPUtime=0 /proc/17506/task/17510/stat : 17510 (java) S 17504 17504 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 18 0 10 0 59031328 421908480 58476 1283457024 134512640 134550932 4288834384 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0 [pid=17506/tid=17511] ppid=17504 vsize=412020 CPUtime=0 /proc/17506/task/17511/stat : 17511 (java) S 17504 17504 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 22 0 10 0 59031346 421908480 58476 1283457024 134512640 134550932 4288834384 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0 [pid=17506/tid=17512] ppid=17504 vsize=412020 CPUtime=0.12 /proc/17506/task/17512/stat : 17512 (java) S 17504 17504 2160 34817 2160 4202560 537 0 5 0 12 0 0 0 15 0 10 0 59031346 421908480 58476 1283457024 134512640 134550932 4288834384 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0 [pid=17506/tid=17513] ppid=17504 vsize=412020 CPUtime=0 /proc/17506/task/17513/stat : 17513 (java) S 17504 17504 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 23 0 10 0 59031346 421908480 58476 1283457024 134512640 134550932 4288834384 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0 [pid=17506/tid=17514] ppid=17504 vsize=412020 CPUtime=0 /proc/17506/task/17514/stat : 17514 (java) S 17504 17504 2160 34817 2160 4202560 2 0 0 0 0 0 0 0 15 0 10 0 59031346 421908480 58476 1283457024 134512640 134550932 4288834384 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0 [pid=17506/tid=17515] ppid=17504 vsize=412020 CPUtime=0 /proc/17506/task/17515/stat : 17515 (java) S 17504 17504 2160 34817 2160 4202560 4 0 0 0 0 0 0 0 21 0 10 0 59031745 421908480 58476 1283457024 134512640 134550932 4288834384 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 283.74 Current children cumulated vsize (KiB) 414588 [startup+285.909 s] /proc/loadavg: 1.00 1.00 1.00 3/44 17516 /proc/meminfo: memFree=722508/1048576 swapFree=0/0 [pid=17504] ppid=17503 vsize=2568 CPUtime=0 /proc/17504/stat : 17504 (gj-user-solver-) S 17503 17504 2160 34817 2160 4202496 371 0 0 0 0 0 0 0 24 0 1 0 59031273 2629632 269 1283457024 134512640 135304128 4292050688 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/17504/statm: 642 269 229 194 0 29 0 [pid=17506] ppid=17504 vsize=412020 CPUtime=284.14 /proc/17506/stat : 17506 (java) S 17504 17504 2160 34817 2160 4202496 59642 0 244 0 28397 17 0 0 23 0 10 0 59031275 421908480 58476 1283457024 134512640 134550932 4288834384 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/17506/statm: 103005 58476 2920 10 0 97150 0 [pid=17506/tid=17507] ppid=17504 vsize=412020 CPUtime=280.45 /proc/17506/task/17507/stat : 17507 (java) R 17504 17504 2160 34817 2160 4202560 14385 0 156 0 28042 3 0 0 25 0 10 0 59031297 421908480 58476 1283457024 134512640 134550932 4288834384 18446744073709551615 4115181173 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=17506/tid=17508] ppid=17504 vsize=412020 CPUtime=3.56 /proc/17506/task/17508/stat : 17508 (java) S 17504 17504 2160 34817 2160 4202560 43833 0 26 0 342 14 0 0 15 0 10 0 59031324 421908480 58476 1283457024 134512640 134550932 4288834384 18446744073709551615 4294960130 0 0 0 16800975 18446612132371209152 0 0 -1 0 0 0 0 [pid=17506/tid=17509] ppid=17504 vsize=412020 CPUtime=0 /proc/17506/task/17509/stat : 17509 (java) S 17504 17504 2160 34817 2160 4202560 14 0 1 0 0 0 0 0 15 0 10 0 59031328 421908480 58476 1283457024 134512640 134550932 4288834384 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0 [pid=17506/tid=17510] ppid=17504 vsize=412020 CPUtime=0 /proc/17506/task/17510/stat : 17510 (java) S 17504 17504 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 18 0 10 0 59031328 421908480 58476 1283457024 134512640 134550932 4288834384 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0 [pid=17506/tid=17511] ppid=17504 vsize=412020 CPUtime=0 /proc/17506/task/17511/stat : 17511 (java) S 17504 17504 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 22 0 10 0 59031346 421908480 58476 1283457024 134512640 134550932 4288834384 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0 [pid=17506/tid=17512] ppid=17504 vsize=412020 CPUtime=0.12 /proc/17506/task/17512/stat : 17512 (java) S 17504 17504 2160 34817 2160 4202560 537 0 5 0 12 0 0 0 15 0 10 0 59031346 421908480 58476 1283457024 134512640 134550932 4288834384 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0 [pid=17506/tid=17513] ppid=17504 vsize=412020 CPUtime=0 /proc/17506/task/17513/stat : 17513 (java) S 17504 17504 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 23 0 10 0 59031346 421908480 58476 1283457024 134512640 134550932 4288834384 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0 [pid=17506/tid=17514] ppid=17504 vsize=412020 CPUtime=0 /proc/17506/task/17514/stat : 17514 (java) R 17504 17504 2160 34817 2160 4202560 2 0 0 0 0 0 0 0 15 0 10 0 59031346 421908480 58476 1283457024 134512640 134550932 4288834384 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=17506/tid=17515] ppid=17504 vsize=412020 CPUtime=0 /proc/17506/task/17515/stat : 17515 (java) S 17504 17504 2160 34817 2160 4202560 4 0 0 0 0 0 0 0 21 0 10 0 59031745 421908480 58476 1283457024 134512640 134550932 4288834384 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 284.14 Current children cumulated vsize (KiB) 414588 [startup+286.109 s] /proc/loadavg: 1.00 1.00 1.00 3/44 17516 /proc/meminfo: memFree=722508/1048576 swapFree=0/0 [pid=17504] ppid=17503 vsize=2568 CPUtime=0 /proc/17504/stat : 17504 (gj-user-solver-) S 17503 17504 2160 34817 2160 4202496 371 0 0 0 0 0 0 0 24 0 1 0 59031273 2629632 269 1283457024 134512640 135304128 4292050688 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/17504/statm: 642 269 229 194 0 29 0 [pid=17506] ppid=17504 vsize=412020 CPUtime=284.34 /proc/17506/stat : 17506 (java) S 17504 17504 2160 34817 2160 4202496 59643 0 244 0 28417 17 0 0 23 0 9 0 59031275 421908480 58477 1283457024 134512640 134550932 4288834384 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/17506/statm: 103005 58477 2921 10 0 97150 0 [pid=17506/tid=17507] ppid=17504 vsize=412020 CPUtime=280.65 /proc/17506/task/17507/stat : 17507 (java) R 17504 17504 2160 34817 2160 4202560 14385 0 156 0 28062 3 0 0 25 0 9 0 59031297 421908480 58477 1283457024 134512640 134550932 4288834384 18446744073709551615 4115356617 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=17506/tid=17508] ppid=17504 vsize=412020 CPUtime=3.56 /proc/17506/task/17508/stat : 17508 (java) S 17504 17504 2160 34817 2160 4202560 43833 0 26 0 342 14 0 0 15 0 9 0 59031324 421908480 58477 1283457024 134512640 134550932 4288834384 18446744073709551615 4294960130 0 0 0 16800975 18446612132371209152 0 0 -1 0 0 0 0 [pid=17506/tid=17509] ppid=17504 vsize=412020 CPUtime=0 /proc/17506/task/17509/stat : 17509 (java) S 17504 17504 2160 34817 2160 4202560 14 0 1 0 0 0 0 0 15 0 9 0 59031328 421908480 58477 1283457024 134512640 134550932 4288834384 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0 [pid=17506/tid=17510] ppid=17504 vsize=412020 CPUtime=0 /proc/17506/task/17510/stat : 17510 (java) S 17504 17504 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 18 0 9 0 59031328 421908480 58477 1283457024 134512640 134550932 4288834384 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0 [pid=17506/tid=17511] ppid=17504 vsize=412020 CPUtime=0 /proc/17506/task/17511/stat : 17511 (java) S 17504 17504 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 22 0 9 0 59031346 421908480 58477 1283457024 134512640 134550932 4288834384 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0 [pid=17506/tid=17512] ppid=17504 vsize=412020 CPUtime=0.12 /proc/17506/task/17512/stat : 17512 (java) S 17504 17504 2160 34817 2160 4202560 537 0 5 0 12 0 0 0 15 0 9 0 59031346 421908480 58477 1283457024 134512640 134550932 4288834384 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0 [pid=17506/tid=17513] ppid=17504 vsize=412020 CPUtime=0 /proc/17506/task/17513/stat : 17513 (java) S 17504 17504 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 23 0 9 0 59031346 421908480 58477 1283457024 134512640 134550932 4288834384 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0 [pid=17506/tid=17514] ppid=17504 vsize=412020 CPUtime=0 /proc/17506/task/17514/stat : 17514 (java) S 17504 17504 2160 34817 2160 4202560 2 0 0 0 0 0 0 0 15 0 9 0 59031346 421908480 58477 1283457024 134512640 134550932 4288834384 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 284.34 Current children cumulated vsize (KiB) 414588 [startup+286.204 s] /proc/loadavg: 1.00 1.00 1.00 3/44 17516 /proc/meminfo: memFree=722508/1048576 swapFree=0/0 [pid=17504] ppid=17503 vsize=2568 CPUtime=0 /proc/17504/stat : 17504 (gj-user-solver-) S 17503 17504 2160 34817 2160 4202496 371 0 0 0 0 0 0 0 24 0 1 0 59031273 2629632 269 1283457024 134512640 135304128 4292050688 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/17504/statm: 642 269 229 194 0 29 0 [pid=17506] ppid=17504 vsize=412020 CPUtime=284.43 /proc/17506/stat : 17506 (java) S 17504 17504 2160 34817 2160 4202496 59653 0 244 0 28426 17 0 0 23 0 9 0 59031275 421908480 58487 1283457024 134512640 134550932 4288834384 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/17506/statm: 103005 58487 2921 10 0 97150 0 [pid=17506/tid=17507] ppid=17504 vsize=412020 CPUtime=280.73 /proc/17506/task/17507/stat : 17507 (java) S 17504 17504 2160 34817 2160 4202560 14385 0 156 0 28070 3 0 0 25 0 9 0 59031297 421908480 58487 1283457024 134512640 134550932 4288834384 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0 [pid=17506/tid=17508] ppid=17504 vsize=412020 CPUtime=3.56 /proc/17506/task/17508/stat : 17508 (java) S 17504 17504 2160 34817 2160 4202560 43833 0 26 0 342 14 0 0 15 0 9 0 59031324 421908480 58487 1283457024 134512640 134550932 4288834384 18446744073709551615 4294960130 0 0 0 16800975 18446612132371209152 0 0 -1 0 0 0 0 [pid=17506/tid=17509] ppid=17504 vsize=412020 CPUtime=0 /proc/17506/task/17509/stat : 17509 (java) S 17504 17504 2160 34817 2160 4202560 14 0 1 0 0 0 0 0 15 0 9 0 59031328 421908480 58487 1283457024 134512640 134550932 4288834384 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0 [pid=17506/tid=17510] ppid=17504 vsize=412020 CPUtime=0 /proc/17506/task/17510/stat : 17510 (java) S 17504 17504 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 18 0 9 0 59031328 421908480 58487 1283457024 134512640 134550932 4288834384 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0 [pid=17506/tid=17511] ppid=17504 vsize=412020 CPUtime=0 /proc/17506/task/17511/stat : 17511 (java) S 17504 17504 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 22 0 9 0 59031346 421908480 58487 1283457024 134512640 134550932 4288834384 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0 [pid=17506/tid=17512] ppid=17504 vsize=412020 CPUtime=0.13 /proc/17506/task/17512/stat : 17512 (java) S 17504 17504 2160 34817 2160 4202560 547 0 5 0 13 0 0 0 16 0 9 0 59031346 421908480 58487 1283457024 134512640 134550932 4288834384 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0 [pid=17506/tid=17513] ppid=17504 vsize=412020 CPUtime=0 /proc/17506/task/17513/stat : 17513 (java) S 17504 17504 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 23 0 9 0 59031346 421908480 58487 1283457024 134512640 134550932 4288834384 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0 [pid=17506/tid=17514] ppid=17504 vsize=412020 CPUtime=0 /proc/17506/task/17514/stat : 17514 (java) R 17504 17504 2160 34817 2160 4202560 2 0 0 0 0 0 0 0 15 0 9 0 59031346 421908480 58487 1283457024 134512640 134550932 4288834384 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 284.43 Current children cumulated vsize (KiB) 414588 Child status: 0 Real time (s): 286.219 CPU time (s): 284.45 CPU user time (s): 284.27 CPU system time (s): 0.180011 CPU usage (%): 99.3819 Max. virtual memory (cumulated for all children) (KiB): 414588 getrusage(RUSAGE_CHILDREN,...) data: user time used= 284.27 system time used= 0.180011 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 60039 page faults= 244 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 6257 involuntary context switches= 8574 runsolver used 0 second user time and 0 second system time The end