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/b2540c52-51b7-11e0-aa4f-00163e1e087d.cudf.dudf-real.log.runsolver ./gj-user-solver-1.0 /home/misc2010/data/2011/dudf-real//b2540c52-51b7-11e0-aa4f-00163e1e087d.cudf /home/misc2010/tmp/201109011757/gj-user-solver-1.0/b2540c52-51b7-11e0-aa4f-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: 1.07 1.02 1.00 4/36 1535 /proc/meminfo: memFree=269308/1048576 swapFree=0/0 [pid=1534] ppid=1533 vsize=2568 CPUtime=0 /proc/1534/stat : 1534 (gj-user-solver-) S 1533 1534 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 73384208 2629632 269 1283457024 134512640 135304128 4294363376 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/1534/statm: 642 269 229 194 0 29 0 [pid=1535] ppid=1534 vsize=11044 CPUtime=0.01 /proc/1535/stat : 1535 (java) R 1534 1534 22717 34817 22717 4202496 685 0 0 0 1 0 0 0 25 0 1 0 73384208 11309056 422 1283457024 134512640 134550932 4290305136 18446744073709551615 4160513762 0 0 0 0 0 0 0 17 0 0 0 0 /proc/1535/statm: 2761 422 179 10 0 1103 0 [startup+0.145442 s] /proc/loadavg: 1.07 1.02 1.00 4/36 1535 /proc/meminfo: memFree=269308/1048576 swapFree=0/0 [pid=1534] ppid=1533 vsize=2568 CPUtime=0 /proc/1534/stat : 1534 (gj-user-solver-) S 1533 1534 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 73384208 2629632 269 1283457024 134512640 135304128 4294363376 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/1534/statm: 642 269 229 194 0 29 0 [pid=1535] ppid=1534 vsize=409924 CPUtime=0.15 /proc/1535/stat : 1535 (java) S 1534 1534 22717 34817 22717 4202496 3923 0 1 0 14 1 0 0 25 0 9 0 73384208 419762176 3352 1283457024 134512640 134550932 4290305136 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/1535/statm: 102481 3352 1906 10 0 96629 0 Current children cumulated CPU time (s) 0.15 Current children cumulated vsize (KiB) 412492 [startup+0.20546 s] /proc/loadavg: 1.07 1.02 1.00 4/36 1535 /proc/meminfo: memFree=269308/1048576 swapFree=0/0 [pid=1534] ppid=1533 vsize=2568 CPUtime=0 /proc/1534/stat : 1534 (gj-user-solver-) S 1533 1534 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 73384208 2629632 269 1283457024 134512640 135304128 4294363376 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/1534/statm: 642 269 229 194 0 29 0 [pid=1535] ppid=1534 vsize=409924 CPUtime=0.21 /proc/1535/stat : 1535 (java) S 1534 1534 22717 34817 22717 4202496 4052 0 1 0 19 2 0 0 25 0 9 0 73384208 419762176 3481 1283457024 134512640 134550932 4290305136 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/1535/statm: 102481 3481 1906 10 0 96629 0 Current children cumulated CPU time (s) 0.21 Current children cumulated vsize (KiB) 412492 [startup+0.305692 s] /proc/loadavg: 1.07 1.02 1.00 4/36 1535 /proc/meminfo: memFree=269308/1048576 swapFree=0/0 [pid=1534] ppid=1533 vsize=2568 CPUtime=0 /proc/1534/stat : 1534 (gj-user-solver-) S 1533 1534 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 73384208 2629632 269 1283457024 134512640 135304128 4294363376 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/1534/statm: 642 269 229 194 0 29 0 [pid=1535] ppid=1534 vsize=410344 CPUtime=0.31 /proc/1535/stat : 1535 (java) S 1534 1534 22717 34817 22717 4202496 4417 0 1 0 29 2 0 0 25 0 9 0 73384208 420192256 3845 1283457024 134512640 134550932 4290305136 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/1535/statm: 102586 3845 1945 10 0 96734 0 Current children cumulated CPU time (s) 0.31 Current children cumulated vsize (KiB) 412912 [startup+0.705636 s] /proc/loadavg: 1.07 1.02 1.00 4/36 1535 /proc/meminfo: memFree=269308/1048576 swapFree=0/0 [pid=1534] ppid=1533 vsize=2568 CPUtime=0 /proc/1534/stat : 1534 (gj-user-solver-) S 1533 1534 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 73384208 2629632 269 1283457024 134512640 135304128 4294363376 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/1534/statm: 642 269 229 194 0 29 0 [pid=1535] ppid=1534 vsize=410620 CPUtime=0.7 /proc/1535/stat : 1535 (java) S 1534 1534 22717 34817 22717 4202496 12301 0 1 0 65 5 0 0 25 0 9 0 73384208 420474880 11542 1283457024 134512640 134550932 4290305136 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/1535/statm: 102655 11542 2901 10 0 96803 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 413188 [startup+1.50588 s] /proc/loadavg: 1.07 1.02 1.00 2/45 1544 /proc/meminfo: memFree=210512/1048576 swapFree=0/0 [pid=1534] ppid=1533 vsize=2568 CPUtime=0 /proc/1534/stat : 1534 (gj-user-solver-) S 1533 1534 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 73384208 2629632 269 1283457024 134512640 135304128 4294363376 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/1534/statm: 642 269 229 194 0 29 0 [pid=1535] ppid=1534 vsize=410752 CPUtime=1.5 /proc/1535/stat : 1535 (java) S 1534 1534 22717 34817 22717 4202496 25961 0 1 0 140 10 0 0 25 0 9 0 73384208 420610048 25202 1283457024 134512640 134550932 4290305136 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/1535/statm: 102688 25202 2901 10 0 96836 0 [pid=1535/tid=1537] ppid=1534 vsize=410752 CPUtime=0.83 /proc/1535/task/1537/stat : 1537 (java) R 1534 1534 22717 34817 22717 4202560 6824 0 1 0 79 4 0 0 25 0 9 0 73384209 420610048 25202 1283457024 134512640 134550932 4290305136 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=1535/tid=1538] ppid=1534 vsize=410752 CPUtime=0.61 /proc/1535/task/1538/stat : 1538 (java) R 1534 1534 22717 34817 22717 4202560 17752 0 0 0 55 6 0 0 18 0 9 0 73384210 420610048 25202 1283457024 134512640 134550932 4290305136 18446744073709551615 4151392262 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=1535/tid=1539] ppid=1534 vsize=410752 CPUtime=0 /proc/1535/task/1539/stat : 1539 (java) S 1534 1534 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 20 0 9 0 73384210 420610048 25202 1283457024 134512640 134550932 4290305136 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=1535/tid=1540] ppid=1534 vsize=410752 CPUtime=0 /proc/1535/task/1540/stat : 1540 (java) S 1534 1534 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 20 0 9 0 73384210 420610048 25202 1283457024 134512640 134550932 4290305136 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=1535/tid=1541] ppid=1534 vsize=410752 CPUtime=0 /proc/1535/task/1541/stat : 1541 (java) S 1534 1534 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 73384211 420610048 25202 1283457024 134512640 134550932 4290305136 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=1535/tid=1542] ppid=1534 vsize=410752 CPUtime=0.04 /proc/1535/task/1542/stat : 1542 (java) S 1534 1534 22717 34817 22717 4202560 446 0 0 0 4 0 0 0 17 0 9 0 73384211 420610048 25202 1283457024 134512640 134550932 4290305136 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=1535/tid=1543] ppid=1534 vsize=410752 CPUtime=0 /proc/1535/task/1543/stat : 1543 (java) S 1534 1534 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 73384211 420610048 25202 1283457024 134512640 134550932 4290305136 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=1535/tid=1544] ppid=1534 vsize=410752 CPUtime=0 /proc/1535/task/1544/stat : 1544 (java) S 1534 1534 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 15 0 9 0 73384211 420610048 25202 1283457024 134512640 134550932 4290305136 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 413320 [startup+3.10629 s] /proc/loadavg: 1.07 1.02 1.00 2/45 1544 /proc/meminfo: memFree=135988/1048576 swapFree=0/0 [pid=1534] ppid=1533 vsize=2568 CPUtime=0 /proc/1534/stat : 1534 (gj-user-solver-) S 1533 1534 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 73384208 2629632 269 1283457024 134512640 135304128 4294363376 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/1534/statm: 642 269 229 194 0 29 0 [pid=1535] ppid=1534 vsize=410884 CPUtime=3.1 /proc/1535/stat : 1535 (java) S 1534 1534 22717 34817 22717 4202496 49055 0 1 0 294 16 0 0 25 0 9 0 73384208 420745216 48290 1283457024 134512640 134550932 4290305136 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/1535/statm: 102721 48290 2903 10 0 96869 0 [pid=1535/tid=1537] ppid=1534 vsize=410884 CPUtime=1.44 /proc/1535/task/1537/stat : 1537 (java) R 1534 1534 22717 34817 22717 4202560 14260 0 1 0 137 7 0 0 25 0 9 0 73384209 420745216 48290 1283457024 134512640 134550932 4290305136 18446744073709551615 4115775468 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=1535/tid=1538] ppid=1534 vsize=410884 CPUtime=1.57 /proc/1535/task/1538/stat : 1538 (java) S 1534 1534 22717 34817 22717 4202560 33388 0 0 0 148 9 0 0 16 0 9 0 73384210 420745216 48290 1283457024 134512640 134550932 4290305136 18446744073709551615 4294960130 0 0 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=1535/tid=1539] ppid=1534 vsize=410884 CPUtime=0 /proc/1535/task/1539/stat : 1539 (java) S 1534 1534 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 20 0 9 0 73384210 420745216 48290 1283457024 134512640 134550932 4290305136 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=1535/tid=1540] ppid=1534 vsize=410884 CPUtime=0 /proc/1535/task/1540/stat : 1540 (java) S 1534 1534 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 20 0 9 0 73384210 420745216 48290 1283457024 134512640 134550932 4290305136 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=1535/tid=1541] ppid=1534 vsize=410884 CPUtime=0 /proc/1535/task/1541/stat : 1541 (java) S 1534 1534 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 73384211 420745216 48290 1283457024 134512640 134550932 4290305136 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=1535/tid=1542] ppid=1534 vsize=410884 CPUtime=0.06 /proc/1535/task/1542/stat : 1542 (java) S 1534 1534 22717 34817 22717 4202560 468 0 0 0 6 0 0 0 15 0 9 0 73384211 420745216 48290 1283457024 134512640 134550932 4290305136 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=1535/tid=1543] ppid=1534 vsize=410884 CPUtime=0 /proc/1535/task/1543/stat : 1543 (java) S 1534 1534 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 73384211 420745216 48290 1283457024 134512640 134550932 4290305136 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=1535/tid=1544] ppid=1534 vsize=410884 CPUtime=0 /proc/1535/task/1544/stat : 1544 (java) S 1534 1534 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 15 0 9 0 73384211 420745216 48290 1283457024 134512640 134550932 4290305136 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 413452 [startup+6.30705 s] /proc/loadavg: 1.06 1.02 1.00 2/46 1545 /proc/meminfo: memFree=39764/1048576 swapFree=0/0 [pid=1534] ppid=1533 vsize=2568 CPUtime=0 /proc/1534/stat : 1534 (gj-user-solver-) S 1533 1534 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 73384208 2629632 269 1283457024 134512640 135304128 4294363376 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/1534/statm: 642 269 229 194 0 29 0 [pid=1535] ppid=1534 vsize=411220 CPUtime=6.3 /proc/1535/stat : 1535 (java) S 1534 1534 22717 34817 22717 4202496 61186 0 1 0 605 25 0 0 25 0 10 0 73384208 421089280 60342 1283457024 134512640 134550932 4290305136 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/1535/statm: 102805 60342 2927 10 0 96950 0 [pid=1535/tid=1537] ppid=1534 vsize=411220 CPUtime=4.27 /proc/1535/task/1537/stat : 1537 (java) R 1534 1534 22717 34817 22717 4202560 14552 0 1 0 420 7 0 0 25 0 10 0 73384209 421089280 60342 1283457024 134512640 134550932 4290305136 18446744073709551615 4115996416 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=1535/tid=1538] ppid=1534 vsize=411220 CPUtime=1.88 /proc/1535/task/1538/stat : 1538 (java) S 1534 1534 22717 34817 22717 4202560 45144 0 0 0 171 17 0 0 16 0 10 0 73384210 421089280 60342 1283457024 134512640 134550932 4290305136 18446744073709551615 4294960130 0 0 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=1535/tid=1539] ppid=1534 vsize=411220 CPUtime=0 /proc/1535/task/1539/stat : 1539 (java) S 1534 1534 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 73384210 421089280 60342 1283457024 134512640 134550932 4290305136 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=1535/tid=1540] ppid=1534 vsize=411220 CPUtime=0 /proc/1535/task/1540/stat : 1540 (java) S 1534 1534 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73384210 421089280 60342 1283457024 134512640 134550932 4290305136 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=1535/tid=1541] ppid=1534 vsize=411220 CPUtime=0 /proc/1535/task/1541/stat : 1541 (java) S 1534 1534 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73384211 421089280 60342 1283457024 134512640 134550932 4290305136 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=1535/tid=1542] ppid=1534 vsize=411220 CPUtime=0.13 /proc/1535/task/1542/stat : 1542 (java) S 1534 1534 22717 34817 22717 4202560 546 0 0 0 12 1 0 0 15 0 10 0 73384211 421089280 60342 1283457024 134512640 134550932 4290305136 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=1535/tid=1543] ppid=1534 vsize=411220 CPUtime=0 /proc/1535/task/1543/stat : 1543 (java) S 1534 1534 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73384211 421089280 60342 1283457024 134512640 134550932 4290305136 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=1535/tid=1544] ppid=1534 vsize=411220 CPUtime=0 /proc/1535/task/1544/stat : 1544 (java) S 1534 1534 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 15 0 10 0 73384211 421089280 60342 1283457024 134512640 134550932 4290305136 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=1535/tid=1545] ppid=1534 vsize=411220 CPUtime=0 /proc/1535/task/1545/stat : 1545 (java) S 1534 1534 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 73384582 421089280 60342 1283457024 134512640 134550932 4290305136 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 6.3 Current children cumulated vsize (KiB) 413788 [startup+12.7087 s] /proc/loadavg: 1.06 1.02 1.00 2/46 1546 /proc/meminfo: memFree=40012/1048576 swapFree=0/0 [pid=1534] ppid=1533 vsize=2568 CPUtime=0 /proc/1534/stat : 1534 (gj-user-solver-) S 1533 1534 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 73384208 2629632 269 1283457024 134512640 135304128 4294363376 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/1534/statm: 642 269 229 194 0 29 0 [pid=1535] ppid=1534 vsize=411220 CPUtime=12.69 /proc/1535/stat : 1535 (java) S 1534 1534 22717 34817 22717 4202496 61204 0 1 0 1243 26 0 0 25 0 10 0 73384208 421089280 60094 1283457024 134512640 134550932 4290305136 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/1535/statm: 102805 60094 2921 10 0 96950 0 [pid=1535/tid=1537] ppid=1534 vsize=411220 CPUtime=10.2 /proc/1535/task/1537/stat : 1537 (java) R 1534 1534 22717 34817 22717 4202560 14553 0 1 0 1012 8 0 0 25 0 10 0 73384209 421089280 60094 1283457024 134512640 134550932 4290305136 18446744073709551615 4116004709 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=1535/tid=1538] ppid=1534 vsize=411220 CPUtime=2.34 /proc/1535/task/1538/stat : 1538 (java) S 1534 1534 22717 34817 22717 4202560 45156 0 0 0 217 17 0 0 16 0 10 0 73384210 421089280 60094 1283457024 134512640 134550932 4290305136 18446744073709551615 4294960130 0 0 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=1535/tid=1539] ppid=1534 vsize=411220 CPUtime=0 /proc/1535/task/1539/stat : 1539 (java) S 1534 1534 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 73384210 421089280 60094 1283457024 134512640 134550932 4290305136 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=1535/tid=1540] ppid=1534 vsize=411220 CPUtime=0 /proc/1535/task/1540/stat : 1540 (java) S 1534 1534 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73384210 421089280 60094 1283457024 134512640 134550932 4290305136 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=1535/tid=1541] ppid=1534 vsize=411220 CPUtime=0 /proc/1535/task/1541/stat : 1541 (java) S 1534 1534 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73384211 421089280 60094 1283457024 134512640 134550932 4290305136 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=1535/tid=1542] ppid=1534 vsize=411220 CPUtime=0.13 /proc/1535/task/1542/stat : 1542 (java) S 1534 1534 22717 34817 22717 4202560 551 0 0 0 12 1 0 0 15 0 10 0 73384211 421089280 60094 1283457024 134512640 134550932 4290305136 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=1535/tid=1543] ppid=1534 vsize=411220 CPUtime=0 /proc/1535/task/1543/stat : 1543 (java) S 1534 1534 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73384211 421089280 60094 1283457024 134512640 134550932 4290305136 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=1535/tid=1544] ppid=1534 vsize=411220 CPUtime=0 /proc/1535/task/1544/stat : 1544 (java) S 1534 1534 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 15 0 10 0 73384211 421089280 60094 1283457024 134512640 134550932 4290305136 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=1535/tid=1545] ppid=1534 vsize=411220 CPUtime=0 /proc/1535/task/1545/stat : 1545 (java) S 1534 1534 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 73384582 421089280 60094 1283457024 134512640 134550932 4290305136 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 413788 [startup+25.5118 s] /proc/loadavg: 1.04 1.02 1.00 2/46 1547 /proc/meminfo: memFree=40136/1048576 swapFree=0/0 [pid=1534] ppid=1533 vsize=2568 CPUtime=0 /proc/1534/stat : 1534 (gj-user-solver-) S 1533 1534 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 73384208 2629632 269 1283457024 134512640 135304128 4294363376 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/1534/statm: 642 269 229 194 0 29 0 [pid=1535] ppid=1534 vsize=411220 CPUtime=25.48 /proc/1535/stat : 1535 (java) S 1534 1534 22717 34817 22717 4202496 61208 0 1 0 2522 26 0 0 25 0 10 0 73384208 421089280 60098 1283457024 134512640 134550932 4290305136 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/1535/statm: 102805 60098 2921 10 0 96950 0 [pid=1535/tid=1537] ppid=1534 vsize=411220 CPUtime=22.86 /proc/1535/task/1537/stat : 1537 (java) R 1534 1534 22717 34817 22717 4202560 14553 0 1 0 2278 8 0 0 25 0 10 0 73384209 421089280 60098 1283457024 134512640 134550932 4290305136 18446744073709551615 4116088696 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=1535/tid=1538] ppid=1534 vsize=411220 CPUtime=2.47 /proc/1535/task/1538/stat : 1538 (java) S 1534 1534 22717 34817 22717 4202560 45156 0 0 0 230 17 0 0 16 0 10 0 73384210 421089280 60098 1283457024 134512640 134550932 4290305136 18446744073709551615 4294960130 0 0 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=1535/tid=1539] ppid=1534 vsize=411220 CPUtime=0 /proc/1535/task/1539/stat : 1539 (java) S 1534 1534 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 73384210 421089280 60098 1283457024 134512640 134550932 4290305136 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=1535/tid=1540] ppid=1534 vsize=411220 CPUtime=0 /proc/1535/task/1540/stat : 1540 (java) S 1534 1534 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73384210 421089280 60098 1283457024 134512640 134550932 4290305136 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=1535/tid=1541] ppid=1534 vsize=411220 CPUtime=0 /proc/1535/task/1541/stat : 1541 (java) S 1534 1534 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73384211 421089280 60098 1283457024 134512640 134550932 4290305136 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=1535/tid=1542] ppid=1534 vsize=411220 CPUtime=0.13 /proc/1535/task/1542/stat : 1542 (java) S 1534 1534 22717 34817 22717 4202560 555 0 0 0 12 1 0 0 15 0 10 0 73384211 421089280 60098 1283457024 134512640 134550932 4290305136 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=1535/tid=1543] ppid=1534 vsize=411220 CPUtime=0 /proc/1535/task/1543/stat : 1543 (java) S 1534 1534 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73384211 421089280 60098 1283457024 134512640 134550932 4290305136 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=1535/tid=1544] ppid=1534 vsize=411220 CPUtime=0 /proc/1535/task/1544/stat : 1544 (java) S 1534 1534 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 15 0 10 0 73384211 421089280 60098 1283457024 134512640 134550932 4290305136 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=1535/tid=1545] ppid=1534 vsize=411220 CPUtime=0 /proc/1535/task/1545/stat : 1545 (java) S 1534 1534 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 73384582 421089280 60098 1283457024 134512640 134550932 4290305136 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 413788 [startup+51.1075 s] /proc/loadavg: 1.03 1.02 1.00 2/46 1550 /proc/meminfo: memFree=40136/1048576 swapFree=0/0 [pid=1534] ppid=1533 vsize=2568 CPUtime=0 /proc/1534/stat : 1534 (gj-user-solver-) S 1533 1534 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 73384208 2629632 269 1283457024 134512640 135304128 4294363376 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/1534/statm: 642 269 229 194 0 29 0 [pid=1535] ppid=1534 vsize=411220 CPUtime=51.04 /proc/1535/stat : 1535 (java) S 1534 1534 22717 34817 22717 4202496 61208 0 1 0 5077 27 0 0 25 0 10 0 73384208 421089280 60098 1283457024 134512640 134550932 4290305136 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/1535/statm: 102805 60098 2921 10 0 96950 0 [pid=1535/tid=1537] ppid=1534 vsize=411220 CPUtime=48.22 /proc/1535/task/1537/stat : 1537 (java) R 1534 1534 22717 34817 22717 4202560 14553 0 1 0 4814 8 0 0 25 0 10 0 73384209 421089280 60098 1283457024 134512640 134550932 4290305136 18446744073709551615 4116092402 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=1535/tid=1538] ppid=1534 vsize=411220 CPUtime=2.66 /proc/1535/task/1538/stat : 1538 (java) S 1534 1534 22717 34817 22717 4202560 45156 0 0 0 249 17 0 0 15 0 10 0 73384210 421089280 60098 1283457024 134512640 134550932 4290305136 18446744073709551615 4294960130 0 0 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=1535/tid=1539] ppid=1534 vsize=411220 CPUtime=0 /proc/1535/task/1539/stat : 1539 (java) S 1534 1534 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 73384210 421089280 60098 1283457024 134512640 134550932 4290305136 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=1535/tid=1540] ppid=1534 vsize=411220 CPUtime=0 /proc/1535/task/1540/stat : 1540 (java) S 1534 1534 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73384210 421089280 60098 1283457024 134512640 134550932 4290305136 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=1535/tid=1541] ppid=1534 vsize=411220 CPUtime=0 /proc/1535/task/1541/stat : 1541 (java) S 1534 1534 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73384211 421089280 60098 1283457024 134512640 134550932 4290305136 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=1535/tid=1542] ppid=1534 vsize=411220 CPUtime=0.13 /proc/1535/task/1542/stat : 1542 (java) S 1534 1534 22717 34817 22717 4202560 555 0 0 0 12 1 0 0 15 0 10 0 73384211 421089280 60098 1283457024 134512640 134550932 4290305136 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=1535/tid=1543] ppid=1534 vsize=411220 CPUtime=0 /proc/1535/task/1543/stat : 1543 (java) S 1534 1534 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73384211 421089280 60098 1283457024 134512640 134550932 4290305136 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=1535/tid=1544] ppid=1534 vsize=411220 CPUtime=0 /proc/1535/task/1544/stat : 1544 (java) S 1534 1534 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 15 0 10 0 73384211 421089280 60098 1283457024 134512640 134550932 4290305136 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=1535/tid=1545] ppid=1534 vsize=411220 CPUtime=0 /proc/1535/task/1545/stat : 1545 (java) S 1534 1534 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 73384582 421089280 60098 1283457024 134512640 134550932 4290305136 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 51.04 Current children cumulated vsize (KiB) 413788 [startup+102.309 s] /proc/loadavg: 1.01 1.02 1.00 2/45 1554 /proc/meminfo: memFree=40152/1048576 swapFree=0/0 [pid=1534] ppid=1533 vsize=2568 CPUtime=0 /proc/1534/stat : 1534 (gj-user-solver-) S 1533 1534 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 73384208 2629632 269 1283457024 134512640 135304128 4294363376 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/1534/statm: 642 269 229 194 0 29 0 [pid=1535] ppid=1534 vsize=411220 CPUtime=102.22 /proc/1535/stat : 1535 (java) S 1534 1534 22717 34817 22717 4202496 61208 0 1 0 10195 27 0 0 25 0 10 0 73384208 421089280 60098 1283457024 134512640 134550932 4290305136 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/1535/statm: 102805 60098 2921 10 0 96950 0 [pid=1535/tid=1537] ppid=1534 vsize=411220 CPUtime=99.15 /proc/1535/task/1537/stat : 1537 (java) R 1534 1534 22717 34817 22717 4202560 14553 0 1 0 9907 8 0 0 25 0 10 0 73384209 421089280 60098 1283457024 134512640 134550932 4290305136 18446744073709551615 4116076476 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=1535/tid=1538] ppid=1534 vsize=411220 CPUtime=2.91 /proc/1535/task/1538/stat : 1538 (java) S 1534 1534 22717 34817 22717 4202560 45156 0 0 0 274 17 0 0 15 0 10 0 73384210 421089280 60098 1283457024 134512640 134550932 4290305136 18446744073709551615 4294960130 0 0 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=1535/tid=1539] ppid=1534 vsize=411220 CPUtime=0 /proc/1535/task/1539/stat : 1539 (java) S 1534 1534 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 73384210 421089280 60098 1283457024 134512640 134550932 4290305136 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=1535/tid=1540] ppid=1534 vsize=411220 CPUtime=0 /proc/1535/task/1540/stat : 1540 (java) S 1534 1534 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73384210 421089280 60098 1283457024 134512640 134550932 4290305136 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=1535/tid=1541] ppid=1534 vsize=411220 CPUtime=0 /proc/1535/task/1541/stat : 1541 (java) S 1534 1534 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73384211 421089280 60098 1283457024 134512640 134550932 4290305136 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=1535/tid=1542] ppid=1534 vsize=411220 CPUtime=0.13 /proc/1535/task/1542/stat : 1542 (java) S 1534 1534 22717 34817 22717 4202560 555 0 0 0 12 1 0 0 15 0 10 0 73384211 421089280 60098 1283457024 134512640 134550932 4290305136 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=1535/tid=1543] ppid=1534 vsize=411220 CPUtime=0 /proc/1535/task/1543/stat : 1543 (java) S 1534 1534 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73384211 421089280 60098 1283457024 134512640 134550932 4290305136 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=1535/tid=1544] ppid=1534 vsize=411220 CPUtime=0 /proc/1535/task/1544/stat : 1544 (java) S 1534 1534 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 15 0 10 0 73384211 421089280 60098 1283457024 134512640 134550932 4290305136 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=1535/tid=1545] ppid=1534 vsize=411220 CPUtime=0 /proc/1535/task/1545/stat : 1545 (java) S 1534 1534 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 73384582 421089280 60098 1283457024 134512640 134550932 4290305136 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 102.22 Current children cumulated vsize (KiB) 413788 [startup+162.312 s] /proc/loadavg: 1.00 1.01 1.00 2/44 1554 /proc/meminfo: memFree=40160/1048576 swapFree=0/0 [pid=1534] ppid=1533 vsize=2568 CPUtime=0 /proc/1534/stat : 1534 (gj-user-solver-) S 1533 1534 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 73384208 2629632 269 1283457024 134512640 135304128 4294363376 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/1534/statm: 642 269 229 194 0 29 0 [pid=1535] ppid=1534 vsize=411220 CPUtime=162.18 /proc/1535/stat : 1535 (java) S 1534 1534 22717 34817 22717 4202496 61208 0 1 0 16191 27 0 0 25 0 10 0 73384208 421089280 60098 1283457024 134512640 134550932 4290305136 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/1535/statm: 102805 60098 2921 10 0 96950 0 [pid=1535/tid=1537] ppid=1534 vsize=411220 CPUtime=158.76 /proc/1535/task/1537/stat : 1537 (java) R 1534 1534 22717 34817 22717 4202560 14553 0 1 0 15868 8 0 0 25 0 10 0 73384209 421089280 60098 1283457024 134512640 134550932 4290305136 18446744073709551615 4116076489 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=1535/tid=1538] ppid=1534 vsize=411220 CPUtime=3.23 /proc/1535/task/1538/stat : 1538 (java) S 1534 1534 22717 34817 22717 4202560 45156 0 0 0 306 17 0 0 16 0 10 0 73384210 421089280 60098 1283457024 134512640 134550932 4290305136 18446744073709551615 4294960130 0 0 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=1535/tid=1539] ppid=1534 vsize=411220 CPUtime=0.02 /proc/1535/task/1539/stat : 1539 (java) S 1534 1534 22717 34817 22717 4202560 15 0 0 0 2 0 0 0 18 0 10 0 73384210 421089280 60098 1283457024 134512640 134550932 4290305136 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=1535/tid=1540] ppid=1534 vsize=411220 CPUtime=0 /proc/1535/task/1540/stat : 1540 (java) S 1534 1534 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73384210 421089280 60098 1283457024 134512640 134550932 4290305136 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=1535/tid=1541] ppid=1534 vsize=411220 CPUtime=0 /proc/1535/task/1541/stat : 1541 (java) S 1534 1534 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73384211 421089280 60098 1283457024 134512640 134550932 4290305136 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=1535/tid=1542] ppid=1534 vsize=411220 CPUtime=0.13 /proc/1535/task/1542/stat : 1542 (java) S 1534 1534 22717 34817 22717 4202560 555 0 0 0 12 1 0 0 15 0 10 0 73384211 421089280 60098 1283457024 134512640 134550932 4290305136 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=1535/tid=1543] ppid=1534 vsize=411220 CPUtime=0 /proc/1535/task/1543/stat : 1543 (java) S 1534 1534 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73384211 421089280 60098 1283457024 134512640 134550932 4290305136 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=1535/tid=1544] ppid=1534 vsize=411220 CPUtime=0 /proc/1535/task/1544/stat : 1544 (java) S 1534 1534 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 15 0 10 0 73384211 421089280 60098 1283457024 134512640 134550932 4290305136 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=1535/tid=1545] ppid=1534 vsize=411220 CPUtime=0 /proc/1535/task/1545/stat : 1545 (java) S 1534 1534 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 73384582 421089280 60098 1283457024 134512640 134550932 4290305136 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 162.18 Current children cumulated vsize (KiB) 413788 [startup+222.309 s] /proc/loadavg: 1.00 1.00 1.00 2/44 1554 /proc/meminfo: memFree=40160/1048576 swapFree=0/0 [pid=1534] ppid=1533 vsize=2568 CPUtime=0 /proc/1534/stat : 1534 (gj-user-solver-) S 1533 1534 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 73384208 2629632 269 1283457024 134512640 135304128 4294363376 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/1534/statm: 642 269 229 194 0 29 0 [pid=1535] ppid=1534 vsize=411220 CPUtime=222.11 /proc/1535/stat : 1535 (java) S 1534 1534 22717 34817 22717 4202496 61208 0 1 0 22182 29 0 0 25 0 10 0 73384208 421089280 60098 1283457024 134512640 134550932 4290305136 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/1535/statm: 102805 60098 2921 10 0 96950 0 [pid=1535/tid=1537] ppid=1534 vsize=411220 CPUtime=218.43 /proc/1535/task/1537/stat : 1537 (java) R 1534 1534 22717 34817 22717 4202560 14553 0 1 0 21833 10 0 0 25 0 10 0 73384209 421089280 60098 1283457024 134512640 134550932 4290305136 18446744073709551615 4116076489 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=1535/tid=1538] ppid=1534 vsize=411220 CPUtime=3.51 /proc/1535/task/1538/stat : 1538 (java) S 1534 1534 22717 34817 22717 4202560 45156 0 0 0 333 18 0 0 16 0 10 0 73384210 421089280 60098 1283457024 134512640 134550932 4290305136 18446744073709551615 4294960130 0 0 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=1535/tid=1539] ppid=1534 vsize=411220 CPUtime=0.02 /proc/1535/task/1539/stat : 1539 (java) S 1534 1534 22717 34817 22717 4202560 15 0 0 0 2 0 0 0 18 0 10 0 73384210 421089280 60098 1283457024 134512640 134550932 4290305136 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=1535/tid=1540] ppid=1534 vsize=411220 CPUtime=0 /proc/1535/task/1540/stat : 1540 (java) S 1534 1534 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73384210 421089280 60098 1283457024 134512640 134550932 4290305136 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=1535/tid=1541] ppid=1534 vsize=411220 CPUtime=0 /proc/1535/task/1541/stat : 1541 (java) S 1534 1534 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73384211 421089280 60098 1283457024 134512640 134550932 4290305136 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=1535/tid=1542] ppid=1534 vsize=411220 CPUtime=0.13 /proc/1535/task/1542/stat : 1542 (java) S 1534 1534 22717 34817 22717 4202560 555 0 0 0 12 1 0 0 15 0 10 0 73384211 421089280 60098 1283457024 134512640 134550932 4290305136 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=1535/tid=1543] ppid=1534 vsize=411220 CPUtime=0 /proc/1535/task/1543/stat : 1543 (java) S 1534 1534 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73384211 421089280 60098 1283457024 134512640 134550932 4290305136 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=1535/tid=1544] ppid=1534 vsize=411220 CPUtime=0 /proc/1535/task/1544/stat : 1544 (java) S 1534 1534 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 15 0 10 0 73384211 421089280 60098 1283457024 134512640 134550932 4290305136 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=1535/tid=1545] ppid=1534 vsize=411220 CPUtime=0 /proc/1535/task/1545/stat : 1545 (java) S 1534 1534 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 73384582 421089280 60098 1283457024 134512640 134550932 4290305136 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 222.11 Current children cumulated vsize (KiB) 413788 [startup+282.308 s] /proc/loadavg: 1.00 1.00 1.00 2/44 1554 /proc/meminfo: memFree=40160/1048576 swapFree=0/0 [pid=1534] ppid=1533 vsize=2568 CPUtime=0 /proc/1534/stat : 1534 (gj-user-solver-) S 1533 1534 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 73384208 2629632 269 1283457024 134512640 135304128 4294363376 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/1534/statm: 642 269 229 194 0 29 0 [pid=1535] ppid=1534 vsize=411220 CPUtime=281.99 /proc/1535/stat : 1535 (java) S 1534 1534 22717 34817 22717 4202496 61208 0 1 0 28169 30 0 0 25 0 10 0 73384208 421089280 60098 1283457024 134512640 134550932 4290305136 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/1535/statm: 102805 60098 2921 10 0 96950 0 [pid=1535/tid=1537] ppid=1534 vsize=411220 CPUtime=278 /proc/1535/task/1537/stat : 1537 (java) R 1534 1534 22717 34817 22717 4202560 14553 0 1 0 27789 11 0 0 25 0 10 0 73384209 421089280 60098 1283457024 134512640 134550932 4290305136 18446744073709551615 4116088709 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=1535/tid=1538] ppid=1534 vsize=411220 CPUtime=3.82 /proc/1535/task/1538/stat : 1538 (java) S 1534 1534 22717 34817 22717 4202560 45156 0 0 0 364 18 0 0 16 0 10 0 73384210 421089280 60098 1283457024 134512640 134550932 4290305136 18446744073709551615 4294960130 0 0 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=1535/tid=1539] ppid=1534 vsize=411220 CPUtime=0.02 /proc/1535/task/1539/stat : 1539 (java) S 1534 1534 22717 34817 22717 4202560 15 0 0 0 2 0 0 0 18 0 10 0 73384210 421089280 60098 1283457024 134512640 134550932 4290305136 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=1535/tid=1540] ppid=1534 vsize=411220 CPUtime=0 /proc/1535/task/1540/stat : 1540 (java) S 1534 1534 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73384210 421089280 60098 1283457024 134512640 134550932 4290305136 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=1535/tid=1541] ppid=1534 vsize=411220 CPUtime=0 /proc/1535/task/1541/stat : 1541 (java) S 1534 1534 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73384211 421089280 60098 1283457024 134512640 134550932 4290305136 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=1535/tid=1542] ppid=1534 vsize=411220 CPUtime=0.13 /proc/1535/task/1542/stat : 1542 (java) S 1534 1534 22717 34817 22717 4202560 555 0 0 0 12 1 0 0 15 0 10 0 73384211 421089280 60098 1283457024 134512640 134550932 4290305136 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=1535/tid=1543] ppid=1534 vsize=411220 CPUtime=0 /proc/1535/task/1543/stat : 1543 (java) S 1534 1534 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73384211 421089280 60098 1283457024 134512640 134550932 4290305136 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=1535/tid=1544] ppid=1534 vsize=411220 CPUtime=0 /proc/1535/task/1544/stat : 1544 (java) S 1534 1534 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 15 0 10 0 73384211 421089280 60098 1283457024 134512640 134550932 4290305136 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=1535/tid=1545] ppid=1534 vsize=411220 CPUtime=0 /proc/1535/task/1545/stat : 1545 (java) S 1534 1534 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 73384582 421089280 60098 1283457024 134512640 134550932 4290305136 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 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.008 s] /proc/loadavg: 1.00 1.00 1.00 2/44 1554 /proc/meminfo: memFree=40160/1048576 swapFree=0/0 [pid=1534] ppid=1533 vsize=2568 CPUtime=0 /proc/1534/stat : 1534 (gj-user-solver-) S 1533 1534 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 73384208 2629632 269 1283457024 134512640 135304128 4294363376 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/1534/statm: 642 269 229 194 0 29 0 [pid=1535] ppid=1534 vsize=411220 CPUtime=282.69 /proc/1535/stat : 1535 (java) S 1534 1534 22717 34817 22717 4202496 61208 0 1 0 28239 30 0 0 25 0 10 0 73384208 421089280 60098 1283457024 134512640 134550932 4290305136 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/1535/statm: 102805 60098 2921 10 0 96950 0 [pid=1535/tid=1537] ppid=1534 vsize=411220 CPUtime=278.7 /proc/1535/task/1537/stat : 1537 (java) R 1534 1534 22717 34817 22717 4202560 14553 0 1 0 27859 11 0 0 25 0 10 0 73384209 421089280 60098 1283457024 134512640 134550932 4290305136 18446744073709551615 4116088709 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=1535/tid=1538] ppid=1534 vsize=411220 CPUtime=3.82 /proc/1535/task/1538/stat : 1538 (java) S 1534 1534 22717 34817 22717 4202560 45156 0 0 0 364 18 0 0 16 0 10 0 73384210 421089280 60098 1283457024 134512640 134550932 4290305136 18446744073709551615 4294960130 0 0 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=1535/tid=1539] ppid=1534 vsize=411220 CPUtime=0.02 /proc/1535/task/1539/stat : 1539 (java) S 1534 1534 22717 34817 22717 4202560 15 0 0 0 2 0 0 0 18 0 10 0 73384210 421089280 60098 1283457024 134512640 134550932 4290305136 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=1535/tid=1540] ppid=1534 vsize=411220 CPUtime=0 /proc/1535/task/1540/stat : 1540 (java) S 1534 1534 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73384210 421089280 60098 1283457024 134512640 134550932 4290305136 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=1535/tid=1541] ppid=1534 vsize=411220 CPUtime=0 /proc/1535/task/1541/stat : 1541 (java) S 1534 1534 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73384211 421089280 60098 1283457024 134512640 134550932 4290305136 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=1535/tid=1542] ppid=1534 vsize=411220 CPUtime=0.13 /proc/1535/task/1542/stat : 1542 (java) S 1534 1534 22717 34817 22717 4202560 555 0 0 0 12 1 0 0 15 0 10 0 73384211 421089280 60098 1283457024 134512640 134550932 4290305136 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=1535/tid=1543] ppid=1534 vsize=411220 CPUtime=0 /proc/1535/task/1543/stat : 1543 (java) S 1534 1534 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73384211 421089280 60098 1283457024 134512640 134550932 4290305136 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=1535/tid=1544] ppid=1534 vsize=411220 CPUtime=0 /proc/1535/task/1544/stat : 1544 (java) S 1534 1534 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 15 0 10 0 73384211 421089280 60098 1283457024 134512640 134550932 4290305136 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=1535/tid=1545] ppid=1534 vsize=411220 CPUtime=0 /proc/1535/task/1545/stat : 1545 (java) S 1534 1534 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 73384582 421089280 60098 1283457024 134512640 134550932 4290305136 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 282.69 Current children cumulated vsize (KiB) 413788 [startup+284.608 s] /proc/loadavg: 1.00 1.00 1.00 2/44 1554 /proc/meminfo: memFree=40160/1048576 swapFree=0/0 [pid=1534] ppid=1533 vsize=2568 CPUtime=0 /proc/1534/stat : 1534 (gj-user-solver-) S 1533 1534 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 73384208 2629632 269 1283457024 134512640 135304128 4294363376 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/1534/statm: 642 269 229 194 0 29 0 [pid=1535] ppid=1534 vsize=411220 CPUtime=284.29 /proc/1535/stat : 1535 (java) S 1534 1534 22717 34817 22717 4202496 61208 0 1 0 28399 30 0 0 25 0 10 0 73384208 421089280 60098 1283457024 134512640 134550932 4290305136 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/1535/statm: 102805 60098 2921 10 0 96950 0 [pid=1535/tid=1537] ppid=1534 vsize=411220 CPUtime=280.29 /proc/1535/task/1537/stat : 1537 (java) R 1534 1534 22717 34817 22717 4202560 14553 0 1 0 28018 11 0 0 25 0 10 0 73384209 421089280 60098 1283457024 134512640 134550932 4290305136 18446744073709551615 4116076476 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=1535/tid=1538] ppid=1534 vsize=411220 CPUtime=3.83 /proc/1535/task/1538/stat : 1538 (java) S 1534 1534 22717 34817 22717 4202560 45156 0 0 0 365 18 0 0 16 0 10 0 73384210 421089280 60098 1283457024 134512640 134550932 4290305136 18446744073709551615 4294960130 0 0 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=1535/tid=1539] ppid=1534 vsize=411220 CPUtime=0.02 /proc/1535/task/1539/stat : 1539 (java) S 1534 1534 22717 34817 22717 4202560 15 0 0 0 2 0 0 0 18 0 10 0 73384210 421089280 60098 1283457024 134512640 134550932 4290305136 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=1535/tid=1540] ppid=1534 vsize=411220 CPUtime=0 /proc/1535/task/1540/stat : 1540 (java) S 1534 1534 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73384210 421089280 60098 1283457024 134512640 134550932 4290305136 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=1535/tid=1541] ppid=1534 vsize=411220 CPUtime=0 /proc/1535/task/1541/stat : 1541 (java) S 1534 1534 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73384211 421089280 60098 1283457024 134512640 134550932 4290305136 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=1535/tid=1542] ppid=1534 vsize=411220 CPUtime=0.13 /proc/1535/task/1542/stat : 1542 (java) S 1534 1534 22717 34817 22717 4202560 555 0 0 0 12 1 0 0 15 0 10 0 73384211 421089280 60098 1283457024 134512640 134550932 4290305136 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=1535/tid=1543] ppid=1534 vsize=411220 CPUtime=0 /proc/1535/task/1543/stat : 1543 (java) S 1534 1534 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73384211 421089280 60098 1283457024 134512640 134550932 4290305136 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=1535/tid=1544] ppid=1534 vsize=411220 CPUtime=0 /proc/1535/task/1544/stat : 1544 (java) S 1534 1534 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 15 0 10 0 73384211 421089280 60098 1283457024 134512640 134550932 4290305136 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=1535/tid=1545] ppid=1534 vsize=411220 CPUtime=0 /proc/1535/task/1545/stat : 1545 (java) S 1534 1534 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 73384582 421089280 60098 1283457024 134512640 134550932 4290305136 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 284.29 Current children cumulated vsize (KiB) 413788 [startup+285.409 s] /proc/loadavg: 1.00 1.00 1.00 3/44 1554 /proc/meminfo: memFree=40160/1048576 swapFree=0/0 [pid=1534] ppid=1533 vsize=2568 CPUtime=0 /proc/1534/stat : 1534 (gj-user-solver-) S 1533 1534 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 73384208 2629632 269 1283457024 134512640 135304128 4294363376 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/1534/statm: 642 269 229 194 0 29 0 [pid=1535] ppid=1534 vsize=411220 CPUtime=285.09 /proc/1535/stat : 1535 (java) S 1534 1534 22717 34817 22717 4202496 61209 0 1 0 28479 30 0 0 25 0 9 0 73384208 421089280 60099 1283457024 134512640 134550932 4290305136 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/1535/statm: 102805 60099 2922 10 0 96950 0 [pid=1535/tid=1537] ppid=1534 vsize=411220 CPUtime=281.09 /proc/1535/task/1537/stat : 1537 (java) R 1534 1534 22717 34817 22717 4202560 14553 0 1 0 28098 11 0 0 25 0 9 0 73384209 421089280 60099 1283457024 134512640 134550932 4290305136 18446744073709551615 4116088696 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=1535/tid=1538] ppid=1534 vsize=411220 CPUtime=3.83 /proc/1535/task/1538/stat : 1538 (java) S 1534 1534 22717 34817 22717 4202560 45156 0 0 0 365 18 0 0 15 0 9 0 73384210 421089280 60099 1283457024 134512640 134550932 4290305136 18446744073709551615 4294960130 0 0 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=1535/tid=1539] ppid=1534 vsize=411220 CPUtime=0.02 /proc/1535/task/1539/stat : 1539 (java) S 1534 1534 22717 34817 22717 4202560 15 0 0 0 2 0 0 0 18 0 9 0 73384210 421089280 60099 1283457024 134512640 134550932 4290305136 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=1535/tid=1540] ppid=1534 vsize=411220 CPUtime=0 /proc/1535/task/1540/stat : 1540 (java) S 1534 1534 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 9 0 73384210 421089280 60099 1283457024 134512640 134550932 4290305136 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=1535/tid=1541] ppid=1534 vsize=411220 CPUtime=0 /proc/1535/task/1541/stat : 1541 (java) S 1534 1534 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 73384211 421089280 60099 1283457024 134512640 134550932 4290305136 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=1535/tid=1542] ppid=1534 vsize=411220 CPUtime=0.13 /proc/1535/task/1542/stat : 1542 (java) S 1534 1534 22717 34817 22717 4202560 555 0 0 0 12 1 0 0 15 0 9 0 73384211 421089280 60099 1283457024 134512640 134550932 4290305136 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=1535/tid=1543] ppid=1534 vsize=411220 CPUtime=0 /proc/1535/task/1543/stat : 1543 (java) S 1534 1534 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 73384211 421089280 60099 1283457024 134512640 134550932 4290305136 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=1535/tid=1544] ppid=1534 vsize=411220 CPUtime=0 /proc/1535/task/1544/stat : 1544 (java) S 1534 1534 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 15 0 9 0 73384211 421089280 60099 1283457024 134512640 134550932 4290305136 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 285.09 Current children cumulated vsize (KiB) 413788 [startup+285.809 s] /proc/loadavg: 1.00 1.00 1.00 2/43 1554 /proc/meminfo: memFree=40168/1048576 swapFree=0/0 [pid=1534] ppid=1533 vsize=2568 CPUtime=0 /proc/1534/stat : 1534 (gj-user-solver-) S 1533 1534 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 73384208 2629632 269 1283457024 134512640 135304128 4294363376 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/1534/statm: 642 269 229 194 0 29 0 [pid=1535] ppid=1534 vsize=411220 CPUtime=285.49 /proc/1535/stat : 1535 (java) S 1534 1534 22717 34817 22717 4202496 61209 0 1 0 28519 30 0 0 25 0 9 0 73384208 421089280 60099 1283457024 134512640 134550932 4290305136 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/1535/statm: 102805 60099 2922 10 0 96950 0 [pid=1535/tid=1537] ppid=1534 vsize=411220 CPUtime=281.49 /proc/1535/task/1537/stat : 1537 (java) R 1534 1534 22717 34817 22717 4202560 14553 0 1 0 28138 11 0 0 25 0 9 0 73384209 421089280 60099 1283457024 134512640 134550932 4290305136 18446744073709551615 4116062761 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=1535/tid=1538] ppid=1534 vsize=411220 CPUtime=3.83 /proc/1535/task/1538/stat : 1538 (java) S 1534 1534 22717 34817 22717 4202560 45156 0 0 0 365 18 0 0 15 0 9 0 73384210 421089280 60099 1283457024 134512640 134550932 4290305136 18446744073709551615 4294960130 0 0 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=1535/tid=1539] ppid=1534 vsize=411220 CPUtime=0.02 /proc/1535/task/1539/stat : 1539 (java) S 1534 1534 22717 34817 22717 4202560 15 0 0 0 2 0 0 0 18 0 9 0 73384210 421089280 60099 1283457024 134512640 134550932 4290305136 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=1535/tid=1540] ppid=1534 vsize=411220 CPUtime=0 /proc/1535/task/1540/stat : 1540 (java) S 1534 1534 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 9 0 73384210 421089280 60099 1283457024 134512640 134550932 4290305136 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=1535/tid=1541] ppid=1534 vsize=411220 CPUtime=0 /proc/1535/task/1541/stat : 1541 (java) S 1534 1534 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 73384211 421089280 60099 1283457024 134512640 134550932 4290305136 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=1535/tid=1542] ppid=1534 vsize=411220 CPUtime=0.13 /proc/1535/task/1542/stat : 1542 (java) S 1534 1534 22717 34817 22717 4202560 555 0 0 0 12 1 0 0 15 0 9 0 73384211 421089280 60099 1283457024 134512640 134550932 4290305136 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=1535/tid=1543] ppid=1534 vsize=411220 CPUtime=0 /proc/1535/task/1543/stat : 1543 (java) S 1534 1534 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 73384211 421089280 60099 1283457024 134512640 134550932 4290305136 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=1535/tid=1544] ppid=1534 vsize=411220 CPUtime=0 /proc/1535/task/1544/stat : 1544 (java) S 1534 1534 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 15 0 9 0 73384211 421089280 60099 1283457024 134512640 134550932 4290305136 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 285.49 Current children cumulated vsize (KiB) 413788 [startup+285.909 s] /proc/loadavg: 1.00 1.00 1.00 2/43 1554 /proc/meminfo: memFree=40168/1048576 swapFree=0/0 [pid=1534] ppid=1533 vsize=2568 CPUtime=0 /proc/1534/stat : 1534 (gj-user-solver-) S 1533 1534 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 73384208 2629632 269 1283457024 134512640 135304128 4294363376 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/1534/statm: 642 269 229 194 0 29 0 [pid=1535] ppid=1534 vsize=411220 CPUtime=285.59 /proc/1535/stat : 1535 (java) S 1534 1534 22717 34817 22717 4202496 61209 0 1 0 28529 30 0 0 25 0 9 0 73384208 421089280 60099 1283457024 134512640 134550932 4290305136 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/1535/statm: 102805 60099 2922 10 0 96950 0 [pid=1535/tid=1537] ppid=1534 vsize=411220 CPUtime=281.59 /proc/1535/task/1537/stat : 1537 (java) R 1534 1534 22717 34817 22717 4202560 14553 0 1 0 28148 11 0 0 25 0 9 0 73384209 421089280 60099 1283457024 134512640 134550932 4290305136 18446744073709551615 4116088709 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=1535/tid=1538] ppid=1534 vsize=411220 CPUtime=3.83 /proc/1535/task/1538/stat : 1538 (java) S 1534 1534 22717 34817 22717 4202560 45156 0 0 0 365 18 0 0 16 0 9 0 73384210 421089280 60099 1283457024 134512640 134550932 4290305136 18446744073709551615 4294960130 0 0 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=1535/tid=1539] ppid=1534 vsize=411220 CPUtime=0.02 /proc/1535/task/1539/stat : 1539 (java) S 1534 1534 22717 34817 22717 4202560 15 0 0 0 2 0 0 0 18 0 9 0 73384210 421089280 60099 1283457024 134512640 134550932 4290305136 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=1535/tid=1540] ppid=1534 vsize=411220 CPUtime=0 /proc/1535/task/1540/stat : 1540 (java) S 1534 1534 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 9 0 73384210 421089280 60099 1283457024 134512640 134550932 4290305136 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=1535/tid=1541] ppid=1534 vsize=411220 CPUtime=0 /proc/1535/task/1541/stat : 1541 (java) S 1534 1534 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 73384211 421089280 60099 1283457024 134512640 134550932 4290305136 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=1535/tid=1542] ppid=1534 vsize=411220 CPUtime=0.13 /proc/1535/task/1542/stat : 1542 (java) S 1534 1534 22717 34817 22717 4202560 555 0 0 0 12 1 0 0 15 0 9 0 73384211 421089280 60099 1283457024 134512640 134550932 4290305136 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=1535/tid=1543] ppid=1534 vsize=411220 CPUtime=0 /proc/1535/task/1543/stat : 1543 (java) S 1534 1534 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 73384211 421089280 60099 1283457024 134512640 134550932 4290305136 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 [pid=1535/tid=1544] ppid=1534 vsize=411220 CPUtime=0 /proc/1535/task/1544/stat : 1544 (java) S 1534 1534 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 15 0 9 0 73384211 421089280 60099 1283457024 134512640 134550932 4290305136 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 285.59 Current children cumulated vsize (KiB) 413788 Child status: 0 Real time (s): 286.006 CPU time (s): 285.662 CPU user time (s): 285.346 CPU system time (s): 0.316019 CPU usage (%): 99.8797 Max. virtual memory (cumulated for all children) (KiB): 413788 getrusage(RUSAGE_CHILDREN,...) data: user time used= 285.346 system time used= 0.316019 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 61598 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= 6898 involuntary context switches= 10010 runsolver used 0 second user time and 0 second system time The end