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/201109011757/gj-user-solver-1.0/ed1cc19e-51b7-11e0-8436-00163e1e087d.cudf.dudf-real.log.runsolver ./gj-user-solver-1.0 /home/misc2010/data/2011/dudf-real//ed1cc19e-51b7-11e0-8436-00163e1e087d.cudf /home/misc2010/tmp/201109011757/gj-user-solver-1.0/ed1cc19e-51b7-11e0-8436-00163e1e087d.cudf.dudf-real.result -sum(pin-priority-1),-sum(pin-priority-500),-sum(pin-priority-700),-notuptodate,-removed,-changed 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.95 1.00 1.00 4/34 4501 /proc/meminfo: memFree=238080/1048576 swapFree=0/0 [pid=4500] ppid=4499 vsize=2568 CPUtime=0 /proc/4500/stat : 4500 (gj-user-solver-) S 4499 4500 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 18 0 1 0 73742114 2629632 270 1283457024 134512640 135304128 4288877488 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4500/statm: 642 270 229 194 0 29 0 [pid=4501] ppid=4500 vsize=11048 CPUtime=0.01 /proc/4501/stat : 4501 (java) R 4500 4500 22717 34817 22717 4202496 643 0 0 0 0 1 0 0 25 0 1 0 73742115 11313152 378 1283457024 134512640 134550932 4291315040 18446744073709551615 4160087778 0 0 0 0 0 0 0 17 0 0 0 0 /proc/4501/statm: 2762 378 176 10 0 1104 0 [startup+0.185297 s] /proc/loadavg: 0.95 1.00 1.00 4/34 4501 /proc/meminfo: memFree=238080/1048576 swapFree=0/0 [pid=4500] ppid=4499 vsize=2568 CPUtime=0 /proc/4500/stat : 4500 (gj-user-solver-) S 4499 4500 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 18 0 1 0 73742114 2629632 270 1283457024 134512640 135304128 4288877488 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4500/statm: 642 270 229 194 0 29 0 [pid=4501] ppid=4500 vsize=409924 CPUtime=0.19 /proc/4501/stat : 4501 (java) S 4500 4500 22717 34817 22717 4202496 4007 0 1 0 15 4 0 0 25 0 9 0 73742115 419762176 3434 1283457024 134512640 134550932 4291315040 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4501/statm: 102481 3434 1906 10 0 96629 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 412492 [startup+0.20529 s] /proc/loadavg: 0.95 1.00 1.00 4/34 4501 /proc/meminfo: memFree=238080/1048576 swapFree=0/0 [pid=4500] ppid=4499 vsize=2568 CPUtime=0 /proc/4500/stat : 4500 (gj-user-solver-) S 4499 4500 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 18 0 1 0 73742114 2629632 270 1283457024 134512640 135304128 4288877488 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4500/statm: 642 270 229 194 0 29 0 [pid=4501] ppid=4500 vsize=409924 CPUtime=0.21 /proc/4501/stat : 4501 (java) S 4500 4500 22717 34817 22717 4202496 4051 0 1 0 17 4 0 0 25 0 9 0 73742115 419762176 3478 1283457024 134512640 134550932 4291315040 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4501/statm: 102481 3478 1906 10 0 96629 0 Current children cumulated CPU time (s) 0.21 Current children cumulated vsize (KiB) 412492 [startup+0.305318 s] /proc/loadavg: 0.95 1.00 1.00 4/34 4501 /proc/meminfo: memFree=238080/1048576 swapFree=0/0 [pid=4500] ppid=4499 vsize=2568 CPUtime=0 /proc/4500/stat : 4500 (gj-user-solver-) S 4499 4500 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 18 0 1 0 73742114 2629632 270 1283457024 134512640 135304128 4288877488 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4500/statm: 642 270 229 194 0 29 0 [pid=4501] ppid=4500 vsize=410344 CPUtime=0.31 /proc/4501/stat : 4501 (java) S 4500 4500 22717 34817 22717 4202496 4412 0 1 0 27 4 0 0 25 0 9 0 73742115 420192256 3838 1283457024 134512640 134550932 4291315040 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4501/statm: 102586 3838 1945 10 0 96734 0 Current children cumulated CPU time (s) 0.31 Current children cumulated vsize (KiB) 412912 [startup+0.705423 s] /proc/loadavg: 0.95 1.00 1.00 4/34 4501 /proc/meminfo: memFree=238080/1048576 swapFree=0/0 [pid=4500] ppid=4499 vsize=2568 CPUtime=0 /proc/4500/stat : 4500 (gj-user-solver-) S 4499 4500 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 18 0 1 0 73742114 2629632 270 1283457024 134512640 135304128 4288877488 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4500/statm: 642 270 229 194 0 29 0 [pid=4501] ppid=4500 vsize=410620 CPUtime=0.71 /proc/4501/stat : 4501 (java) S 4500 4500 22717 34817 22717 4202496 12021 0 1 0 62 9 0 0 25 0 9 0 73742115 420474880 11260 1283457024 134512640 134550932 4291315040 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4501/statm: 102655 11260 2901 10 0 96803 0 Current children cumulated CPU time (s) 0.71 Current children cumulated vsize (KiB) 413188 [startup+1.50562 s] /proc/loadavg: 0.95 1.00 1.00 3/43 4510 /proc/meminfo: memFree=179160/1048576 swapFree=0/0 [pid=4500] ppid=4499 vsize=2568 CPUtime=0 /proc/4500/stat : 4500 (gj-user-solver-) S 4499 4500 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 18 0 1 0 73742114 2629632 270 1283457024 134512640 135304128 4288877488 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4500/statm: 642 270 229 194 0 29 0 [pid=4501] ppid=4500 vsize=410752 CPUtime=1.5 /proc/4501/stat : 4501 (java) S 4500 4500 22717 34817 22717 4202496 25017 0 1 0 136 14 0 0 25 0 9 0 73742115 420610048 24256 1283457024 134512640 134550932 4291315040 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4501/statm: 102688 24256 2901 10 0 96836 0 [pid=4501/tid=4503] ppid=4500 vsize=410752 CPUtime=0.77 /proc/4501/task/4503/stat : 4503 (java) R 4500 4500 22717 34817 22717 4202560 6824 0 1 0 75 2 0 0 25 0 9 0 73742115 420610048 24256 1283457024 134512640 134550932 4291315040 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=4501/tid=4504] ppid=4500 vsize=410752 CPUtime=0.64 /proc/4501/task/4504/stat : 4504 (java) R 4500 4500 22717 34817 22717 4202560 16806 0 0 0 54 10 0 0 18 0 9 0 73742116 420610048 24256 1283457024 134512640 134550932 4291315040 18446744073709551615 4150966200 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=4501/tid=4505] ppid=4500 vsize=410752 CPUtime=0 /proc/4501/task/4505/stat : 4505 (java) S 4500 4500 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 20 0 9 0 73742116 420610048 24256 1283457024 134512640 134550932 4291315040 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4501/tid=4506] ppid=4500 vsize=410752 CPUtime=0 /proc/4501/task/4506/stat : 4506 (java) S 4500 4500 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 20 0 9 0 73742116 420610048 24256 1283457024 134512640 134550932 4291315040 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4501/tid=4507] ppid=4500 vsize=410752 CPUtime=0 /proc/4501/task/4507/stat : 4507 (java) S 4500 4500 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 73742117 420610048 24256 1283457024 134512640 134550932 4291315040 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4501/tid=4508] ppid=4500 vsize=410752 CPUtime=0.07 /proc/4501/task/4508/stat : 4508 (java) S 4500 4500 22717 34817 22717 4202560 446 0 0 0 7 0 0 0 17 0 9 0 73742117 420610048 24256 1283457024 134512640 134550932 4291315040 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4501/tid=4509] ppid=4500 vsize=410752 CPUtime=0 /proc/4501/task/4509/stat : 4509 (java) S 4500 4500 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 9 0 73742117 420610048 24256 1283457024 134512640 134550932 4291315040 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4501/tid=4510] ppid=4500 vsize=410752 CPUtime=0 /proc/4501/task/4510/stat : 4510 (java) S 4500 4500 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 9 0 73742117 420610048 24256 1283457024 134512640 134550932 4291315040 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 413320 [startup+3.10598 s] /proc/loadavg: 0.95 1.00 1.00 2/43 4510 /proc/meminfo: memFree=104512/1048576 swapFree=0/0 [pid=4500] ppid=4499 vsize=2568 CPUtime=0 /proc/4500/stat : 4500 (gj-user-solver-) S 4499 4500 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 18 0 1 0 73742114 2629632 270 1283457024 134512640 135304128 4288877488 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4500/statm: 642 270 229 194 0 29 0 [pid=4501] ppid=4500 vsize=410884 CPUtime=3.1 /proc/4501/stat : 4501 (java) S 4500 4500 22717 34817 22717 4202496 44408 0 1 0 290 20 0 0 25 0 9 0 73742115 420745216 43641 1283457024 134512640 134550932 4291315040 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4501/statm: 102721 43641 2903 10 0 96869 0 [pid=4501/tid=4503] ppid=4500 vsize=410884 CPUtime=1.31 /proc/4501/task/4503/stat : 4503 (java) R 4500 4500 22717 34817 22717 4202560 9611 0 1 0 127 4 0 0 25 0 9 0 73742115 420745216 43641 1283457024 134512640 134550932 4291315040 18446744073709551615 4115180076 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=4501/tid=4504] ppid=4500 vsize=410884 CPUtime=1.68 /proc/4501/task/4504/stat : 4504 (java) S 4500 4500 22717 34817 22717 4202560 33388 0 0 0 154 14 0 0 16 0 9 0 73742116 420745216 43641 1283457024 134512640 134550932 4291315040 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4501/tid=4505] ppid=4500 vsize=410884 CPUtime=0 /proc/4501/task/4505/stat : 4505 (java) S 4500 4500 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 20 0 9 0 73742116 420745216 43641 1283457024 134512640 134550932 4291315040 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4501/tid=4506] ppid=4500 vsize=410884 CPUtime=0 /proc/4501/task/4506/stat : 4506 (java) S 4500 4500 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 20 0 9 0 73742116 420745216 43641 1283457024 134512640 134550932 4291315040 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4501/tid=4507] ppid=4500 vsize=410884 CPUtime=0 /proc/4501/task/4507/stat : 4507 (java) S 4500 4500 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 73742117 420745216 43641 1283457024 134512640 134550932 4291315040 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4501/tid=4508] ppid=4500 vsize=410884 CPUtime=0.09 /proc/4501/task/4508/stat : 4508 (java) S 4500 4500 22717 34817 22717 4202560 468 0 0 0 9 0 0 0 15 0 9 0 73742117 420745216 43641 1283457024 134512640 134550932 4291315040 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4501/tid=4509] ppid=4500 vsize=410884 CPUtime=0 /proc/4501/task/4509/stat : 4509 (java) S 4500 4500 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 9 0 73742117 420745216 43641 1283457024 134512640 134550932 4291315040 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4501/tid=4510] ppid=4500 vsize=410884 CPUtime=0 /proc/4501/task/4510/stat : 4510 (java) S 4500 4500 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 9 0 73742117 420745216 43641 1283457024 134512640 134550932 4291315040 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 413452 [startup+6.30658 s] /proc/loadavg: 0.95 1.00 1.00 2/44 4511 /proc/meminfo: memFree=8280/1048576 swapFree=0/0 [pid=4500] ppid=4499 vsize=2568 CPUtime=0 /proc/4500/stat : 4500 (gj-user-solver-) S 4499 4500 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 18 0 1 0 73742114 2629632 270 1283457024 134512640 135304128 4288877488 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4500/statm: 642 270 229 194 0 29 0 [pid=4501] ppid=4500 vsize=411220 CPUtime=6.31 /proc/4501/stat : 4501 (java) S 4500 4500 22717 34817 22717 4202496 61188 0 1 0 597 34 0 0 25 0 10 0 73742115 421089280 60342 1283457024 134512640 134550932 4291315040 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4501/statm: 102805 60342 2927 10 0 96950 0 [pid=4501/tid=4503] ppid=4500 vsize=411220 CPUtime=4.12 /proc/4501/task/4503/stat : 4503 (java) R 4500 4500 22717 34817 22717 4202560 14552 0 1 0 403 9 0 0 25 0 10 0 73742115 421089280 60342 1283457024 134512640 134550932 4291315040 18446744073709551615 4115550109 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=4501/tid=4504] ppid=4500 vsize=411220 CPUtime=2.02 /proc/4501/task/4504/stat : 4504 (java) S 4500 4500 22717 34817 22717 4202560 45144 0 0 0 180 22 0 0 15 0 10 0 73742116 421089280 60342 1283457024 134512640 134550932 4291315040 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4501/tid=4505] ppid=4500 vsize=411220 CPUtime=0 /proc/4501/task/4505/stat : 4505 (java) S 4500 4500 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 73742116 421089280 60342 1283457024 134512640 134550932 4291315040 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4501/tid=4506] ppid=4500 vsize=411220 CPUtime=0 /proc/4501/task/4506/stat : 4506 (java) S 4500 4500 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73742116 421089280 60342 1283457024 134512640 134550932 4291315040 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4501/tid=4507] ppid=4500 vsize=411220 CPUtime=0 /proc/4501/task/4507/stat : 4507 (java) S 4500 4500 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73742117 421089280 60342 1283457024 134512640 134550932 4291315040 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4501/tid=4508] ppid=4500 vsize=411220 CPUtime=0.14 /proc/4501/task/4508/stat : 4508 (java) S 4500 4500 22717 34817 22717 4202560 546 0 0 0 13 1 0 0 15 0 10 0 73742117 421089280 60342 1283457024 134512640 134550932 4291315040 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4501/tid=4509] ppid=4500 vsize=411220 CPUtime=0 /proc/4501/task/4509/stat : 4509 (java) S 4500 4500 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 10 0 73742117 421089280 60342 1283457024 134512640 134550932 4291315040 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4501/tid=4510] ppid=4500 vsize=411220 CPUtime=0 /proc/4501/task/4510/stat : 4510 (java) S 4500 4500 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 73742117 421089280 60342 1283457024 134512640 134550932 4291315040 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4501/tid=4511] ppid=4500 vsize=411220 CPUtime=0 /proc/4501/task/4511/stat : 4511 (java) S 4500 4500 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 73742500 421089280 60342 1283457024 134512640 134550932 4291315040 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 6.31 Current children cumulated vsize (KiB) 413788 [startup+12.708 s] /proc/loadavg: 0.96 1.00 1.00 2/44 4511 /proc/meminfo: memFree=8536/1048576 swapFree=0/0 [pid=4500] ppid=4499 vsize=2568 CPUtime=0 /proc/4500/stat : 4500 (gj-user-solver-) S 4499 4500 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 18 0 1 0 73742114 2629632 270 1283457024 134512640 135304128 4288877488 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4500/statm: 642 270 229 194 0 29 0 [pid=4501] ppid=4500 vsize=411220 CPUtime=12.71 /proc/4501/stat : 4501 (java) S 4500 4500 22717 34817 22717 4202496 61205 0 1 0 1237 34 0 0 25 0 10 0 73742115 421089280 60093 1283457024 134512640 134550932 4291315040 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4501/statm: 102805 60093 2921 10 0 96950 0 [pid=4501/tid=4503] ppid=4500 vsize=411220 CPUtime=10.03 /proc/4501/task/4503/stat : 4503 (java) R 4500 4500 22717 34817 22717 4202560 14553 0 1 0 994 9 0 0 25 0 10 0 73742115 421089280 60093 1283457024 134512640 134550932 4291315040 18446744073709551615 4115700234 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=4501/tid=4504] ppid=4500 vsize=411220 CPUtime=2.51 /proc/4501/task/4504/stat : 4504 (java) S 4500 4500 22717 34817 22717 4202560 45156 0 0 0 229 22 0 0 16 0 10 0 73742116 421089280 60093 1283457024 134512640 134550932 4291315040 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4501/tid=4505] ppid=4500 vsize=411220 CPUtime=0 /proc/4501/task/4505/stat : 4505 (java) S 4500 4500 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 73742116 421089280 60093 1283457024 134512640 134550932 4291315040 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4501/tid=4506] ppid=4500 vsize=411220 CPUtime=0 /proc/4501/task/4506/stat : 4506 (java) S 4500 4500 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73742116 421089280 60093 1283457024 134512640 134550932 4291315040 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4501/tid=4507] ppid=4500 vsize=411220 CPUtime=0 /proc/4501/task/4507/stat : 4507 (java) S 4500 4500 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73742117 421089280 60093 1283457024 134512640 134550932 4291315040 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4501/tid=4508] ppid=4500 vsize=411220 CPUtime=0.14 /proc/4501/task/4508/stat : 4508 (java) S 4500 4500 22717 34817 22717 4202560 550 0 0 0 13 1 0 0 15 0 10 0 73742117 421089280 60093 1283457024 134512640 134550932 4291315040 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4501/tid=4509] ppid=4500 vsize=411220 CPUtime=0 /proc/4501/task/4509/stat : 4509 (java) S 4500 4500 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 10 0 73742117 421089280 60093 1283457024 134512640 134550932 4291315040 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4501/tid=4510] ppid=4500 vsize=411220 CPUtime=0 /proc/4501/task/4510/stat : 4510 (java) S 4500 4500 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 73742117 421089280 60093 1283457024 134512640 134550932 4291315040 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4501/tid=4511] ppid=4500 vsize=411220 CPUtime=0 /proc/4501/task/4511/stat : 4511 (java) S 4500 4500 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 73742500 421089280 60093 1283457024 134512640 134550932 4291315040 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 12.71 Current children cumulated vsize (KiB) 413788 [startup+25.5049 s] /proc/loadavg: 0.97 1.00 1.00 2/44 4511 /proc/meminfo: memFree=8660/1048576 swapFree=0/0 [pid=4500] ppid=4499 vsize=2568 CPUtime=0 /proc/4500/stat : 4500 (gj-user-solver-) S 4499 4500 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 18 0 1 0 73742114 2629632 270 1283457024 134512640 135304128 4288877488 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4500/statm: 642 270 229 194 0 29 0 [pid=4501] ppid=4500 vsize=411220 CPUtime=25.48 /proc/4501/stat : 4501 (java) S 4500 4500 22717 34817 22717 4202496 61210 0 1 0 2514 34 0 0 25 0 10 0 73742115 421089280 60098 1283457024 134512640 134550932 4291315040 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4501/statm: 102805 60098 2921 10 0 96950 0 [pid=4501/tid=4503] ppid=4500 vsize=411220 CPUtime=22.66 /proc/4501/task/4503/stat : 4503 (java) R 4500 4500 22717 34817 22717 4202560 14553 0 1 0 2257 9 0 0 25 0 10 0 73742115 421089280 60098 1283457024 134512640 134550932 4291315040 18446744073709551615 4115662712 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=4501/tid=4504] ppid=4500 vsize=411220 CPUtime=2.64 /proc/4501/task/4504/stat : 4504 (java) S 4500 4500 22717 34817 22717 4202560 45156 0 0 0 241 23 0 0 16 0 10 0 73742116 421089280 60098 1283457024 134512640 134550932 4291315040 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4501/tid=4505] ppid=4500 vsize=411220 CPUtime=0 /proc/4501/task/4505/stat : 4505 (java) S 4500 4500 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 73742116 421089280 60098 1283457024 134512640 134550932 4291315040 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4501/tid=4506] ppid=4500 vsize=411220 CPUtime=0 /proc/4501/task/4506/stat : 4506 (java) S 4500 4500 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73742116 421089280 60098 1283457024 134512640 134550932 4291315040 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4501/tid=4507] ppid=4500 vsize=411220 CPUtime=0 /proc/4501/task/4507/stat : 4507 (java) S 4500 4500 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73742117 421089280 60098 1283457024 134512640 134550932 4291315040 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4501/tid=4508] ppid=4500 vsize=411220 CPUtime=0.16 /proc/4501/task/4508/stat : 4508 (java) S 4500 4500 22717 34817 22717 4202560 555 0 0 0 15 1 0 0 15 0 10 0 73742117 421089280 60098 1283457024 134512640 134550932 4291315040 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4501/tid=4509] ppid=4500 vsize=411220 CPUtime=0 /proc/4501/task/4509/stat : 4509 (java) S 4500 4500 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 10 0 73742117 421089280 60098 1283457024 134512640 134550932 4291315040 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4501/tid=4510] ppid=4500 vsize=411220 CPUtime=0 /proc/4501/task/4510/stat : 4510 (java) S 4500 4500 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 73742117 421089280 60098 1283457024 134512640 134550932 4291315040 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4501/tid=4511] ppid=4500 vsize=411220 CPUtime=0 /proc/4501/task/4511/stat : 4511 (java) S 4500 4500 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 73742500 421089280 60098 1283457024 134512640 134550932 4291315040 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 413788 [startup+51.1103 s] /proc/loadavg: 0.98 1.00 1.00 2/46 4514 /proc/meminfo: memFree=8636/1048576 swapFree=0/0 [pid=4500] ppid=4499 vsize=2568 CPUtime=0 /proc/4500/stat : 4500 (gj-user-solver-) S 4499 4500 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 18 0 1 0 73742114 2629632 270 1283457024 134512640 135304128 4288877488 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4500/statm: 642 270 229 194 0 29 0 [pid=4501] ppid=4500 vsize=411220 CPUtime=51.07 /proc/4501/stat : 4501 (java) S 4500 4500 22717 34817 22717 4202496 61210 0 1 0 5070 37 0 0 25 0 10 0 73742115 421089280 60098 1283457024 134512640 134550932 4291315040 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4501/statm: 102805 60098 2921 10 0 96950 0 [pid=4501/tid=4503] ppid=4500 vsize=411220 CPUtime=48.08 /proc/4501/task/4503/stat : 4503 (java) R 4500 4500 22717 34817 22717 4202560 14553 0 1 0 4797 11 0 0 25 0 10 0 73742115 421089280 60098 1283457024 134512640 134550932 4291315040 18446744073709551615 4115662712 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=4501/tid=4504] ppid=4500 vsize=411220 CPUtime=2.81 /proc/4501/task/4504/stat : 4504 (java) S 4500 4500 22717 34817 22717 4202560 45156 0 0 0 258 23 0 0 16 0 10 0 73742116 421089280 60098 1283457024 134512640 134550932 4291315040 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4501/tid=4505] ppid=4500 vsize=411220 CPUtime=0 /proc/4501/task/4505/stat : 4505 (java) S 4500 4500 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 15 0 10 0 73742116 421089280 60098 1283457024 134512640 134550932 4291315040 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4501/tid=4506] ppid=4500 vsize=411220 CPUtime=0 /proc/4501/task/4506/stat : 4506 (java) S 4500 4500 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73742116 421089280 60098 1283457024 134512640 134550932 4291315040 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4501/tid=4507] ppid=4500 vsize=411220 CPUtime=0 /proc/4501/task/4507/stat : 4507 (java) S 4500 4500 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73742117 421089280 60098 1283457024 134512640 134550932 4291315040 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4501/tid=4508] ppid=4500 vsize=411220 CPUtime=0.16 /proc/4501/task/4508/stat : 4508 (java) S 4500 4500 22717 34817 22717 4202560 555 0 0 0 15 1 0 0 15 0 10 0 73742117 421089280 60098 1283457024 134512640 134550932 4291315040 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4501/tid=4509] ppid=4500 vsize=411220 CPUtime=0 /proc/4501/task/4509/stat : 4509 (java) S 4500 4500 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 10 0 73742117 421089280 60098 1283457024 134512640 134550932 4291315040 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4501/tid=4510] ppid=4500 vsize=411220 CPUtime=0 /proc/4501/task/4510/stat : 4510 (java) S 4500 4500 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 73742117 421089280 60098 1283457024 134512640 134550932 4291315040 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4501/tid=4511] ppid=4500 vsize=411220 CPUtime=0 /proc/4501/task/4511/stat : 4511 (java) S 4500 4500 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 73742500 421089280 60098 1283457024 134512640 134550932 4291315040 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 413788 [startup+102.313 s] /proc/loadavg: 0.99 1.00 1.00 2/46 4520 /proc/meminfo: memFree=8636/1048576 swapFree=0/0 [pid=4500] ppid=4499 vsize=2568 CPUtime=0 /proc/4500/stat : 4500 (gj-user-solver-) S 4499 4500 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 18 0 1 0 73742114 2629632 270 1283457024 134512640 135304128 4288877488 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4500/statm: 642 270 229 194 0 29 0 [pid=4501] ppid=4500 vsize=411220 CPUtime=102.22 /proc/4501/stat : 4501 (java) S 4500 4500 22717 34817 22717 4202496 61210 0 1 0 10183 39 0 0 25 0 10 0 73742115 421089280 60098 1283457024 134512640 134550932 4291315040 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4501/statm: 102805 60098 2921 10 0 96950 0 [pid=4501/tid=4503] ppid=4500 vsize=411220 CPUtime=98.97 /proc/4501/task/4503/stat : 4503 (java) R 4500 4500 22717 34817 22717 4202560 14553 0 1 0 9883 14 0 0 25 0 10 0 73742115 421089280 60098 1283457024 134512640 134550932 4291315040 18446744073709551615 4115662725 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=4501/tid=4504] ppid=4500 vsize=411220 CPUtime=3.07 /proc/4501/task/4504/stat : 4504 (java) S 4500 4500 22717 34817 22717 4202560 45156 0 0 0 284 23 0 0 15 0 10 0 73742116 421089280 60098 1283457024 134512640 134550932 4291315040 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4501/tid=4505] ppid=4500 vsize=411220 CPUtime=0 /proc/4501/task/4505/stat : 4505 (java) S 4500 4500 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 15 0 10 0 73742116 421089280 60098 1283457024 134512640 134550932 4291315040 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4501/tid=4506] ppid=4500 vsize=411220 CPUtime=0 /proc/4501/task/4506/stat : 4506 (java) S 4500 4500 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73742116 421089280 60098 1283457024 134512640 134550932 4291315040 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4501/tid=4507] ppid=4500 vsize=411220 CPUtime=0 /proc/4501/task/4507/stat : 4507 (java) S 4500 4500 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73742117 421089280 60098 1283457024 134512640 134550932 4291315040 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4501/tid=4508] ppid=4500 vsize=411220 CPUtime=0.16 /proc/4501/task/4508/stat : 4508 (java) S 4500 4500 22717 34817 22717 4202560 555 0 0 0 15 1 0 0 15 0 10 0 73742117 421089280 60098 1283457024 134512640 134550932 4291315040 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4501/tid=4509] ppid=4500 vsize=411220 CPUtime=0 /proc/4501/task/4509/stat : 4509 (java) S 4500 4500 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 10 0 73742117 421089280 60098 1283457024 134512640 134550932 4291315040 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4501/tid=4510] ppid=4500 vsize=411220 CPUtime=0 /proc/4501/task/4510/stat : 4510 (java) R 4500 4500 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 73742117 421089280 60098 1283457024 134512640 134550932 4291315040 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=4501/tid=4511] ppid=4500 vsize=411220 CPUtime=0 /proc/4501/task/4511/stat : 4511 (java) S 4500 4500 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 73742500 421089280 60098 1283457024 134512640 134550932 4291315040 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 102.22 Current children cumulated vsize (KiB) 413788 [startup+162.306 s] /proc/loadavg: 0.99 1.00 1.00 2/45 4522 /proc/meminfo: memFree=8652/1048576 swapFree=0/0 [pid=4500] ppid=4499 vsize=2568 CPUtime=0 /proc/4500/stat : 4500 (gj-user-solver-) S 4499 4500 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 18 0 1 0 73742114 2629632 270 1283457024 134512640 135304128 4288877488 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4500/statm: 642 270 229 194 0 29 0 [pid=4501] ppid=4500 vsize=411220 CPUtime=162.17 /proc/4501/stat : 4501 (java) S 4500 4500 22717 34817 22717 4202496 61210 0 1 0 16176 41 0 0 25 0 10 0 73742115 421089280 60098 1283457024 134512640 134550932 4291315040 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4501/statm: 102805 60098 2921 10 0 96950 0 [pid=4501/tid=4503] ppid=4500 vsize=411220 CPUtime=158.55 /proc/4501/task/4503/stat : 4503 (java) R 4500 4500 22717 34817 22717 4202560 14553 0 1 0 15840 15 0 0 25 0 10 0 73742115 421089280 60098 1283457024 134512640 134550932 4291315040 18446744073709551615 4115662725 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=4501/tid=4504] ppid=4500 vsize=411220 CPUtime=3.43 /proc/4501/task/4504/stat : 4504 (java) S 4500 4500 22717 34817 22717 4202560 45156 0 0 0 320 23 0 0 16 0 10 0 73742116 421089280 60098 1283457024 134512640 134550932 4291315040 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4501/tid=4505] ppid=4500 vsize=411220 CPUtime=0 /proc/4501/task/4505/stat : 4505 (java) S 4500 4500 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 15 0 10 0 73742116 421089280 60098 1283457024 134512640 134550932 4291315040 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4501/tid=4506] ppid=4500 vsize=411220 CPUtime=0 /proc/4501/task/4506/stat : 4506 (java) S 4500 4500 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73742116 421089280 60098 1283457024 134512640 134550932 4291315040 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4501/tid=4507] ppid=4500 vsize=411220 CPUtime=0 /proc/4501/task/4507/stat : 4507 (java) S 4500 4500 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73742117 421089280 60098 1283457024 134512640 134550932 4291315040 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4501/tid=4508] ppid=4500 vsize=411220 CPUtime=0.16 /proc/4501/task/4508/stat : 4508 (java) S 4500 4500 22717 34817 22717 4202560 555 0 0 0 15 1 0 0 15 0 10 0 73742117 421089280 60098 1283457024 134512640 134550932 4291315040 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4501/tid=4509] ppid=4500 vsize=411220 CPUtime=0 /proc/4501/task/4509/stat : 4509 (java) S 4500 4500 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 10 0 73742117 421089280 60098 1283457024 134512640 134550932 4291315040 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4501/tid=4510] ppid=4500 vsize=411220 CPUtime=0 /proc/4501/task/4510/stat : 4510 (java) S 4500 4500 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 73742117 421089280 60098 1283457024 134512640 134550932 4291315040 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4501/tid=4511] ppid=4500 vsize=411220 CPUtime=0 /proc/4501/task/4511/stat : 4511 (java) S 4500 4500 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 73742500 421089280 60098 1283457024 134512640 134550932 4291315040 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 162.17 Current children cumulated vsize (KiB) 413788 [startup+222.314 s] /proc/loadavg: 0.99 1.00 1.00 2/44 4522 /proc/meminfo: memFree=8660/1048576 swapFree=0/0 [pid=4500] ppid=4499 vsize=2568 CPUtime=0 /proc/4500/stat : 4500 (gj-user-solver-) S 4499 4500 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 18 0 1 0 73742114 2629632 270 1283457024 134512640 135304128 4288877488 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4500/statm: 642 270 229 194 0 29 0 [pid=4501] ppid=4500 vsize=411220 CPUtime=222.12 /proc/4501/stat : 4501 (java) S 4500 4500 22717 34817 22717 4202496 61210 0 1 0 22170 42 0 0 25 0 10 0 73742115 421089280 60098 1283457024 134512640 134550932 4291315040 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4501/statm: 102805 60098 2921 10 0 96950 0 [pid=4501/tid=4503] ppid=4500 vsize=411220 CPUtime=218.26 /proc/4501/task/4503/stat : 4503 (java) R 4500 4500 22717 34817 22717 4202560 14553 0 1 0 21810 16 0 0 25 0 10 0 73742115 421089280 60098 1283457024 134512640 134550932 4291315040 18446744073709551615 4115650505 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=4501/tid=4504] ppid=4500 vsize=411220 CPUtime=3.67 /proc/4501/task/4504/stat : 4504 (java) S 4500 4500 22717 34817 22717 4202560 45156 0 0 0 344 23 0 0 15 0 10 0 73742116 421089280 60098 1283457024 134512640 134550932 4291315040 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4501/tid=4505] ppid=4500 vsize=411220 CPUtime=0 /proc/4501/task/4505/stat : 4505 (java) S 4500 4500 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 15 0 10 0 73742116 421089280 60098 1283457024 134512640 134550932 4291315040 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4501/tid=4506] ppid=4500 vsize=411220 CPUtime=0 /proc/4501/task/4506/stat : 4506 (java) S 4500 4500 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73742116 421089280 60098 1283457024 134512640 134550932 4291315040 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4501/tid=4507] ppid=4500 vsize=411220 CPUtime=0 /proc/4501/task/4507/stat : 4507 (java) S 4500 4500 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73742117 421089280 60098 1283457024 134512640 134550932 4291315040 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4501/tid=4508] ppid=4500 vsize=411220 CPUtime=0.16 /proc/4501/task/4508/stat : 4508 (java) S 4500 4500 22717 34817 22717 4202560 555 0 0 0 15 1 0 0 15 0 10 0 73742117 421089280 60098 1283457024 134512640 134550932 4291315040 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4501/tid=4509] ppid=4500 vsize=411220 CPUtime=0 /proc/4501/task/4509/stat : 4509 (java) S 4500 4500 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 10 0 73742117 421089280 60098 1283457024 134512640 134550932 4291315040 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4501/tid=4510] ppid=4500 vsize=411220 CPUtime=0 /proc/4501/task/4510/stat : 4510 (java) S 4500 4500 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 73742117 421089280 60098 1283457024 134512640 134550932 4291315040 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4501/tid=4511] ppid=4500 vsize=411220 CPUtime=0 /proc/4501/task/4511/stat : 4511 (java) S 4500 4500 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 73742500 421089280 60098 1283457024 134512640 134550932 4291315040 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 222.12 Current children cumulated vsize (KiB) 413788 [startup+282.305 s] /proc/loadavg: 0.99 1.00 1.00 2/44 4522 /proc/meminfo: memFree=8660/1048576 swapFree=0/0 [pid=4500] ppid=4499 vsize=2568 CPUtime=0 /proc/4500/stat : 4500 (gj-user-solver-) S 4499 4500 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 18 0 1 0 73742114 2629632 270 1283457024 134512640 135304128 4288877488 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4500/statm: 642 270 229 194 0 29 0 [pid=4501] ppid=4500 vsize=411220 CPUtime=281.99 /proc/4501/stat : 4501 (java) S 4500 4500 22717 34817 22717 4202496 61210 0 1 0 28155 44 0 0 25 0 10 0 73742115 421089280 60098 1283457024 134512640 134550932 4291315040 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4501/statm: 102805 60098 2921 10 0 96950 0 [pid=4501/tid=4503] ppid=4500 vsize=411220 CPUtime=277.9 /proc/4501/task/4503/stat : 4503 (java) R 4500 4500 22717 34817 22717 4202560 14553 0 1 0 27772 18 0 0 25 0 10 0 73742115 421089280 60098 1283457024 134512640 134550932 4291315040 18446744073709551615 4115650505 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=4501/tid=4504] ppid=4500 vsize=411220 CPUtime=3.91 /proc/4501/task/4504/stat : 4504 (java) S 4500 4500 22717 34817 22717 4202560 45156 0 0 0 368 23 0 0 16 0 10 0 73742116 421089280 60098 1283457024 134512640 134550932 4291315040 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4501/tid=4505] ppid=4500 vsize=411220 CPUtime=0 /proc/4501/task/4505/stat : 4505 (java) S 4500 4500 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 15 0 10 0 73742116 421089280 60098 1283457024 134512640 134550932 4291315040 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4501/tid=4506] ppid=4500 vsize=411220 CPUtime=0 /proc/4501/task/4506/stat : 4506 (java) S 4500 4500 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73742116 421089280 60098 1283457024 134512640 134550932 4291315040 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4501/tid=4507] ppid=4500 vsize=411220 CPUtime=0 /proc/4501/task/4507/stat : 4507 (java) S 4500 4500 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73742117 421089280 60098 1283457024 134512640 134550932 4291315040 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4501/tid=4508] ppid=4500 vsize=411220 CPUtime=0.16 /proc/4501/task/4508/stat : 4508 (java) S 4500 4500 22717 34817 22717 4202560 555 0 0 0 15 1 0 0 15 0 10 0 73742117 421089280 60098 1283457024 134512640 134550932 4291315040 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4501/tid=4509] ppid=4500 vsize=411220 CPUtime=0 /proc/4501/task/4509/stat : 4509 (java) S 4500 4500 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 10 0 73742117 421089280 60098 1283457024 134512640 134550932 4291315040 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4501/tid=4510] ppid=4500 vsize=411220 CPUtime=0 /proc/4501/task/4510/stat : 4510 (java) S 4500 4500 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 73742117 421089280 60098 1283457024 134512640 134550932 4291315040 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4501/tid=4511] ppid=4500 vsize=411220 CPUtime=0 /proc/4501/task/4511/stat : 4511 (java) S 4500 4500 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 73742500 421089280 60098 1283457024 134512640 134550932 4291315040 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 281.99 Current children cumulated vsize (KiB) 413788 Solver just ended. Dumping a history of the last processes samples [startup+283.106 s] /proc/loadavg: 0.99 1.00 1.00 2/44 4522 /proc/meminfo: memFree=8660/1048576 swapFree=0/0 [pid=4500] ppid=4499 vsize=2568 CPUtime=0 /proc/4500/stat : 4500 (gj-user-solver-) S 4499 4500 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 18 0 1 0 73742114 2629632 270 1283457024 134512640 135304128 4288877488 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4500/statm: 642 270 229 194 0 29 0 [pid=4501] ppid=4500 vsize=411220 CPUtime=282.79 /proc/4501/stat : 4501 (java) S 4500 4500 22717 34817 22717 4202496 61210 0 1 0 28235 44 0 0 25 0 10 0 73742115 421089280 60098 1283457024 134512640 134550932 4291315040 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4501/statm: 102805 60098 2921 10 0 96950 0 [pid=4501/tid=4503] ppid=4500 vsize=411220 CPUtime=278.69 /proc/4501/task/4503/stat : 4503 (java) R 4500 4500 22717 34817 22717 4202560 14553 0 1 0 27851 18 0 0 25 0 10 0 73742115 421089280 60098 1283457024 134512640 134550932 4291315040 18446744073709551615 4115662725 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=4501/tid=4504] ppid=4500 vsize=411220 CPUtime=3.92 /proc/4501/task/4504/stat : 4504 (java) S 4500 4500 22717 34817 22717 4202560 45156 0 0 0 369 23 0 0 16 0 10 0 73742116 421089280 60098 1283457024 134512640 134550932 4291315040 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4501/tid=4505] ppid=4500 vsize=411220 CPUtime=0 /proc/4501/task/4505/stat : 4505 (java) S 4500 4500 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 15 0 10 0 73742116 421089280 60098 1283457024 134512640 134550932 4291315040 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4501/tid=4506] ppid=4500 vsize=411220 CPUtime=0 /proc/4501/task/4506/stat : 4506 (java) S 4500 4500 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73742116 421089280 60098 1283457024 134512640 134550932 4291315040 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4501/tid=4507] ppid=4500 vsize=411220 CPUtime=0 /proc/4501/task/4507/stat : 4507 (java) S 4500 4500 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73742117 421089280 60098 1283457024 134512640 134550932 4291315040 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4501/tid=4508] ppid=4500 vsize=411220 CPUtime=0.16 /proc/4501/task/4508/stat : 4508 (java) S 4500 4500 22717 34817 22717 4202560 555 0 0 0 15 1 0 0 15 0 10 0 73742117 421089280 60098 1283457024 134512640 134550932 4291315040 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4501/tid=4509] ppid=4500 vsize=411220 CPUtime=0 /proc/4501/task/4509/stat : 4509 (java) S 4500 4500 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 10 0 73742117 421089280 60098 1283457024 134512640 134550932 4291315040 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4501/tid=4510] ppid=4500 vsize=411220 CPUtime=0 /proc/4501/task/4510/stat : 4510 (java) S 4500 4500 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 73742117 421089280 60098 1283457024 134512640 134550932 4291315040 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4501/tid=4511] ppid=4500 vsize=411220 CPUtime=0 /proc/4501/task/4511/stat : 4511 (java) S 4500 4500 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 73742500 421089280 60098 1283457024 134512640 134550932 4291315040 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 282.79 Current children cumulated vsize (KiB) 413788 [startup+284.706 s] /proc/loadavg: 0.99 1.00 1.00 2/44 4522 /proc/meminfo: memFree=8660/1048576 swapFree=0/0 [pid=4500] ppid=4499 vsize=2568 CPUtime=0 /proc/4500/stat : 4500 (gj-user-solver-) S 4499 4500 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 18 0 1 0 73742114 2629632 270 1283457024 134512640 135304128 4288877488 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4500/statm: 642 270 229 194 0 29 0 [pid=4501] ppid=4500 vsize=411220 CPUtime=284.39 /proc/4501/stat : 4501 (java) S 4500 4500 22717 34817 22717 4202496 61210 0 1 0 28395 44 0 0 25 0 10 0 73742115 421089280 60098 1283457024 134512640 134550932 4291315040 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4501/statm: 102805 60098 2921 10 0 96950 0 [pid=4501/tid=4503] ppid=4500 vsize=411220 CPUtime=280.29 /proc/4501/task/4503/stat : 4503 (java) R 4500 4500 22717 34817 22717 4202560 14553 0 1 0 28011 18 0 0 25 0 10 0 73742115 421089280 60098 1283457024 134512640 134550932 4291315040 18446744073709551615 4115650492 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=4501/tid=4504] ppid=4500 vsize=411220 CPUtime=3.92 /proc/4501/task/4504/stat : 4504 (java) S 4500 4500 22717 34817 22717 4202560 45156 0 0 0 369 23 0 0 15 0 10 0 73742116 421089280 60098 1283457024 134512640 134550932 4291315040 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4501/tid=4505] ppid=4500 vsize=411220 CPUtime=0 /proc/4501/task/4505/stat : 4505 (java) S 4500 4500 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 15 0 10 0 73742116 421089280 60098 1283457024 134512640 134550932 4291315040 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4501/tid=4506] ppid=4500 vsize=411220 CPUtime=0 /proc/4501/task/4506/stat : 4506 (java) S 4500 4500 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73742116 421089280 60098 1283457024 134512640 134550932 4291315040 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4501/tid=4507] ppid=4500 vsize=411220 CPUtime=0 /proc/4501/task/4507/stat : 4507 (java) S 4500 4500 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73742117 421089280 60098 1283457024 134512640 134550932 4291315040 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4501/tid=4508] ppid=4500 vsize=411220 CPUtime=0.16 /proc/4501/task/4508/stat : 4508 (java) S 4500 4500 22717 34817 22717 4202560 555 0 0 0 15 1 0 0 15 0 10 0 73742117 421089280 60098 1283457024 134512640 134550932 4291315040 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4501/tid=4509] ppid=4500 vsize=411220 CPUtime=0 /proc/4501/task/4509/stat : 4509 (java) S 4500 4500 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 10 0 73742117 421089280 60098 1283457024 134512640 134550932 4291315040 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4501/tid=4510] ppid=4500 vsize=411220 CPUtime=0 /proc/4501/task/4510/stat : 4510 (java) S 4500 4500 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 73742117 421089280 60098 1283457024 134512640 134550932 4291315040 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4501/tid=4511] ppid=4500 vsize=411220 CPUtime=0 /proc/4501/task/4511/stat : 4511 (java) S 4500 4500 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 73742500 421089280 60098 1283457024 134512640 134550932 4291315040 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 284.39 Current children cumulated vsize (KiB) 413788 [startup+285.106 s] /proc/loadavg: 0.99 1.00 1.00 2/44 4522 /proc/meminfo: memFree=8660/1048576 swapFree=0/0 [pid=4500] ppid=4499 vsize=2568 CPUtime=0 /proc/4500/stat : 4500 (gj-user-solver-) S 4499 4500 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 18 0 1 0 73742114 2629632 270 1283457024 134512640 135304128 4288877488 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4500/statm: 642 270 229 194 0 29 0 [pid=4501] ppid=4500 vsize=411220 CPUtime=284.79 /proc/4501/stat : 4501 (java) S 4500 4500 22717 34817 22717 4202496 61211 0 1 0 28435 44 0 0 25 0 9 0 73742115 421089280 60099 1283457024 134512640 134550932 4291315040 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4501/statm: 102805 60099 2922 10 0 96950 0 [pid=4501/tid=4503] ppid=4500 vsize=411220 CPUtime=280.69 /proc/4501/task/4503/stat : 4503 (java) R 4500 4500 22717 34817 22717 4202560 14553 0 1 0 28051 18 0 0 25 0 9 0 73742115 421089280 60099 1283457024 134512640 134550932 4291315040 18446744073709551615 4115662725 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=4501/tid=4504] ppid=4500 vsize=411220 CPUtime=3.92 /proc/4501/task/4504/stat : 4504 (java) S 4500 4500 22717 34817 22717 4202560 45156 0 0 0 369 23 0 0 16 0 9 0 73742116 421089280 60099 1283457024 134512640 134550932 4291315040 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4501/tid=4505] ppid=4500 vsize=411220 CPUtime=0 /proc/4501/task/4505/stat : 4505 (java) S 4500 4500 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 15 0 9 0 73742116 421089280 60099 1283457024 134512640 134550932 4291315040 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4501/tid=4506] ppid=4500 vsize=411220 CPUtime=0 /proc/4501/task/4506/stat : 4506 (java) S 4500 4500 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 9 0 73742116 421089280 60099 1283457024 134512640 134550932 4291315040 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4501/tid=4507] ppid=4500 vsize=411220 CPUtime=0 /proc/4501/task/4507/stat : 4507 (java) S 4500 4500 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 73742117 421089280 60099 1283457024 134512640 134550932 4291315040 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4501/tid=4508] ppid=4500 vsize=411220 CPUtime=0.16 /proc/4501/task/4508/stat : 4508 (java) S 4500 4500 22717 34817 22717 4202560 555 0 0 0 15 1 0 0 15 0 9 0 73742117 421089280 60099 1283457024 134512640 134550932 4291315040 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4501/tid=4509] ppid=4500 vsize=411220 CPUtime=0 /proc/4501/task/4509/stat : 4509 (java) S 4500 4500 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 9 0 73742117 421089280 60099 1283457024 134512640 134550932 4291315040 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4501/tid=4510] ppid=4500 vsize=411220 CPUtime=0 /proc/4501/task/4510/stat : 4510 (java) S 4500 4500 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 9 0 73742117 421089280 60099 1283457024 134512640 134550932 4291315040 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 284.79 Current children cumulated vsize (KiB) 413788 [startup+285.303 s] /proc/loadavg: 0.99 1.00 1.00 2/44 4522 /proc/meminfo: memFree=8660/1048576 swapFree=0/0 [pid=4500] ppid=4499 vsize=2568 CPUtime=0 /proc/4500/stat : 4500 (gj-user-solver-) S 4499 4500 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 18 0 1 0 73742114 2629632 270 1283457024 134512640 135304128 4288877488 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4500/statm: 642 270 229 194 0 29 0 [pid=4501] ppid=4500 vsize=411220 CPUtime=284.98 /proc/4501/stat : 4501 (java) S 4500 4500 22717 34817 22717 4202496 61212 0 1 0 28454 44 0 0 25 0 9 0 73742115 421089280 60100 1283457024 134512640 134550932 4291315040 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4501/statm: 102805 60100 2922 10 0 96950 0 [pid=4501/tid=4503] ppid=4500 vsize=411220 CPUtime=280.88 /proc/4501/task/4503/stat : 4503 (java) S 4500 4500 22717 34817 22717 4202560 14554 0 1 0 28070 18 0 0 25 0 9 0 73742115 421089280 60100 1283457024 134512640 134550932 4291315040 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4501/tid=4504] ppid=4500 vsize=411220 CPUtime=3.92 /proc/4501/task/4504/stat : 4504 (java) S 4500 4500 22717 34817 22717 4202560 45156 0 0 0 369 23 0 0 16 0 9 0 73742116 421089280 60100 1283457024 134512640 134550932 4291315040 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4501/tid=4505] ppid=4500 vsize=411220 CPUtime=0 /proc/4501/task/4505/stat : 4505 (java) S 4500 4500 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 15 0 9 0 73742116 421089280 60100 1283457024 134512640 134550932 4291315040 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4501/tid=4506] ppid=4500 vsize=411220 CPUtime=0 /proc/4501/task/4506/stat : 4506 (java) S 4500 4500 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 9 0 73742116 421089280 60100 1283457024 134512640 134550932 4291315040 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4501/tid=4507] ppid=4500 vsize=411220 CPUtime=0 /proc/4501/task/4507/stat : 4507 (java) S 4500 4500 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 73742117 421089280 60100 1283457024 134512640 134550932 4291315040 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4501/tid=4508] ppid=4500 vsize=411220 CPUtime=0.16 /proc/4501/task/4508/stat : 4508 (java) S 4500 4500 22717 34817 22717 4202560 555 0 0 0 15 1 0 0 15 0 9 0 73742117 421089280 60100 1283457024 134512640 134550932 4291315040 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4501/tid=4509] ppid=4500 vsize=411220 CPUtime=0 /proc/4501/task/4509/stat : 4509 (java) S 4500 4500 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 9 0 73742117 421089280 60100 1283457024 134512640 134550932 4291315040 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 [pid=4501/tid=4510] ppid=4500 vsize=411220 CPUtime=0 /proc/4501/task/4510/stat : 4510 (java) S 4500 4500 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 9 0 73742117 421089280 60100 1283457024 134512640 134550932 4291315040 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 284.98 Current children cumulated vsize (KiB) 413788 Child status: 0 Real time (s): 285.328 CPU time (s): 285.006 CPU user time (s): 284.546 CPU system time (s): 0.460028 CPU usage (%): 99.8872 Max. virtual memory (cumulated for all children) (KiB): 413788 getrusage(RUSAGE_CHILDREN,...) data: user time used= 284.546 system time used= 0.460028 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 61600 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= 6881 involuntary context switches= 9949 runsolver used 0 second user time and 0 second system time The end