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/adf7b774-9af8-11df-bc37-00163e46d37a.cudf.dudf-real.log.runsolver ./gj-user-solver-1.0 /home/misc2010/data/2011/dudf-real//adf7b774-9af8-11df-bc37-00163e46d37a.cudf /home/misc2010/tmp/201109011757/gj-user-solver-1.0/adf7b774-9af8-11df-bc37-00163e46d37a.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.11 1.03 1.01 6/34 1390 /proc/meminfo: memFree=287796/1048576 swapFree=0/0 [pid=1389] ppid=1388 vsize=2572 CPUtime=0 /proc/1389/stat : 1389 (gj-user-solver-) R 1388 1389 22717 34817 22717 4202496 355 0 0 0 0 0 0 0 25 0 1 0 73381120 2633728 268 1283457024 134512640 135304128 4288176896 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0 /proc/1389/statm: 643 268 228 194 0 30 0 [pid=1390] ppid=1389 vsize=2572 CPUtime=0 /proc/1390/stat : 1390 (gj-user-solver-) R 1389 1389 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 1 0 73381120 2633728 40 1283457024 134512640 135304128 4288176896 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0 /proc/1390/statm: 643 40 0 194 0 30 0 [startup+0.125146 s] /proc/loadavg: 1.11 1.03 1.01 6/34 1390 /proc/meminfo: memFree=287796/1048576 swapFree=0/0 [pid=1389] ppid=1388 vsize=2572 CPUtime=0 /proc/1389/stat : 1389 (gj-user-solver-) S 1388 1389 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 25 0 1 0 73381120 2633728 269 1283457024 134512640 135304128 4288176896 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/1389/statm: 643 269 229 194 0 30 0 [pid=1390] ppid=1389 vsize=409920 CPUtime=0.13 /proc/1390/stat : 1390 (java) S 1389 1389 22717 34817 22717 4202496 3898 0 1 0 12 1 0 0 25 0 9 0 73381120 419758080 3324 1283457024 134512640 134550932 4287788912 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/1390/statm: 102480 3324 1918 10 0 96628 0 Current children cumulated CPU time (s) 0.13 Current children cumulated vsize (KiB) 412492 [startup+0.205149 s] /proc/loadavg: 1.11 1.03 1.01 6/34 1390 /proc/meminfo: memFree=287796/1048576 swapFree=0/0 [pid=1389] ppid=1388 vsize=2572 CPUtime=0 /proc/1389/stat : 1389 (gj-user-solver-) S 1388 1389 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 25 0 1 0 73381120 2633728 269 1283457024 134512640 135304128 4288176896 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/1389/statm: 643 269 229 194 0 30 0 [pid=1390] ppid=1389 vsize=409920 CPUtime=0.21 /proc/1390/stat : 1390 (java) S 1389 1389 22717 34817 22717 4202496 4073 0 1 0 20 1 0 0 25 0 9 0 73381120 419758080 3499 1283457024 134512640 134550932 4287788912 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/1390/statm: 102480 3499 1918 10 0 96628 0 Current children cumulated CPU time (s) 0.21 Current children cumulated vsize (KiB) 412492 [startup+0.305167 s] /proc/loadavg: 1.11 1.03 1.01 6/34 1390 /proc/meminfo: memFree=287796/1048576 swapFree=0/0 [pid=1389] ppid=1388 vsize=2572 CPUtime=0 /proc/1389/stat : 1389 (gj-user-solver-) S 1388 1389 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 25 0 1 0 73381120 2633728 269 1283457024 134512640 135304128 4288176896 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/1389/statm: 643 269 229 194 0 30 0 [pid=1390] ppid=1389 vsize=410340 CPUtime=0.31 /proc/1390/stat : 1390 (java) S 1389 1389 22717 34817 22717 4202496 4413 0 1 0 29 2 0 0 25 0 9 0 73381120 420188160 3839 1283457024 134512640 134550932 4287788912 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/1390/statm: 102585 3839 1945 10 0 96733 0 Current children cumulated CPU time (s) 0.31 Current children cumulated vsize (KiB) 412912 [startup+0.705236 s] /proc/loadavg: 1.11 1.03 1.01 6/34 1390 /proc/meminfo: memFree=287796/1048576 swapFree=0/0 [pid=1389] ppid=1388 vsize=2572 CPUtime=0 /proc/1389/stat : 1389 (gj-user-solver-) S 1388 1389 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 25 0 1 0 73381120 2633728 269 1283457024 134512640 135304128 4288176896 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/1389/statm: 643 269 229 194 0 30 0 [pid=1390] ppid=1389 vsize=410620 CPUtime=0.71 /proc/1390/stat : 1390 (java) S 1389 1389 22717 34817 22717 4202496 12170 0 1 0 69 2 0 0 25 0 9 0 73381120 420474880 11409 1283457024 134512640 134550932 4287788912 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/1390/statm: 102655 11409 2901 10 0 96803 0 Current children cumulated CPU time (s) 0.71 Current children cumulated vsize (KiB) 413192 [startup+1.50539 s] /proc/loadavg: 1.11 1.03 1.01 2/43 1399 /proc/meminfo: memFree=228008/1048576 swapFree=0/0 [pid=1389] ppid=1388 vsize=2572 CPUtime=0 /proc/1389/stat : 1389 (gj-user-solver-) S 1388 1389 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 25 0 1 0 73381120 2633728 269 1283457024 134512640 135304128 4288176896 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/1389/statm: 643 269 229 194 0 30 0 [pid=1390] ppid=1389 vsize=410752 CPUtime=1.51 /proc/1390/stat : 1390 (java) S 1389 1389 22717 34817 22717 4202496 26172 0 1 0 147 4 0 0 25 0 9 0 73381120 420610048 25411 1283457024 134512640 134550932 4287788912 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/1390/statm: 102688 25411 2901 10 0 96836 0 [pid=1390/tid=1392] ppid=1389 vsize=410752 CPUtime=0.83 /proc/1390/task/1392/stat : 1392 (java) R 1389 1389 22717 34817 22717 4202560 6840 0 1 0 83 0 0 0 25 0 9 0 73381121 420610048 25411 1283457024 134512640 134550932 4287788912 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=1390/tid=1393] ppid=1389 vsize=410752 CPUtime=0.62 /proc/1390/task/1393/stat : 1393 (java) R 1389 1389 22717 34817 22717 4202560 17946 0 0 0 60 2 0 0 18 0 9 0 73381121 420610048 25411 1283457024 134512640 134550932 4287788912 18446744073709551615 4151191480 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=1390/tid=1394] ppid=1389 vsize=410752 CPUtime=0 /proc/1390/task/1394/stat : 1394 (java) S 1389 1389 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 20 0 9 0 73381122 420610048 25411 1283457024 134512640 134550932 4287788912 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=1390/tid=1395] ppid=1389 vsize=410752 CPUtime=0 /proc/1390/task/1395/stat : 1395 (java) S 1389 1389 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 20 0 9 0 73381122 420610048 25411 1283457024 134512640 134550932 4287788912 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=1390/tid=1396] ppid=1389 vsize=410752 CPUtime=0 /proc/1390/task/1396/stat : 1396 (java) S 1389 1389 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 73381123 420610048 25411 1283457024 134512640 134550932 4287788912 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=1390/tid=1397] ppid=1389 vsize=410752 CPUtime=0.03 /proc/1390/task/1397/stat : 1397 (java) S 1389 1389 22717 34817 22717 4202560 445 0 0 0 3 0 0 0 17 0 9 0 73381123 420610048 25411 1283457024 134512640 134550932 4287788912 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=1390/tid=1398] ppid=1389 vsize=410752 CPUtime=0 /proc/1390/task/1398/stat : 1398 (java) S 1389 1389 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 73381123 420610048 25411 1283457024 134512640 134550932 4287788912 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=1390/tid=1399] ppid=1389 vsize=410752 CPUtime=0 /proc/1390/task/1399/stat : 1399 (java) S 1389 1389 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 15 0 9 0 73381123 420610048 25411 1283457024 134512640 134550932 4287788912 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.51 Current children cumulated vsize (KiB) 413324 [startup+3.10567 s] /proc/loadavg: 1.11 1.03 1.01 2/43 1399 /proc/meminfo: memFree=152988/1048576 swapFree=0/0 [pid=1389] ppid=1388 vsize=2572 CPUtime=0 /proc/1389/stat : 1389 (gj-user-solver-) S 1388 1389 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 25 0 1 0 73381120 2633728 269 1283457024 134512640 135304128 4288176896 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/1389/statm: 643 269 229 194 0 30 0 [pid=1390] ppid=1389 vsize=410884 CPUtime=3.1 /proc/1390/stat : 1390 (java) S 1389 1389 22717 34817 22717 4202496 47192 0 1 0 300 10 0 0 25 0 9 0 73381120 420745216 46425 1283457024 134512640 134550932 4287788912 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/1390/statm: 102721 46425 2902 10 0 96869 0 [pid=1390/tid=1392] ppid=1389 vsize=410884 CPUtime=1.47 /proc/1390/task/1392/stat : 1392 (java) R 1389 1389 22717 34817 22717 4202560 12281 0 1 0 144 3 0 0 25 0 9 0 73381121 420745216 46425 1283457024 134512640 134550932 4287788912 18446744073709551615 4115516304 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=1390/tid=1393] ppid=1389 vsize=410884 CPUtime=1.57 /proc/1390/task/1393/stat : 1393 (java) S 1389 1389 22717 34817 22717 4202560 33504 0 0 0 152 5 0 0 16 0 9 0 73381121 420745216 46425 1283457024 134512640 134550932 4287788912 18446744073709551615 4294960130 0 0 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=1390/tid=1394] ppid=1389 vsize=410884 CPUtime=0 /proc/1390/task/1394/stat : 1394 (java) S 1389 1389 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 20 0 9 0 73381122 420745216 46425 1283457024 134512640 134550932 4287788912 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=1390/tid=1395] ppid=1389 vsize=410884 CPUtime=0 /proc/1390/task/1395/stat : 1395 (java) S 1389 1389 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 20 0 9 0 73381122 420745216 46425 1283457024 134512640 134550932 4287788912 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=1390/tid=1396] ppid=1389 vsize=410884 CPUtime=0 /proc/1390/task/1396/stat : 1396 (java) S 1389 1389 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 73381123 420745216 46425 1283457024 134512640 134550932 4287788912 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=1390/tid=1397] ppid=1389 vsize=410884 CPUtime=0.04 /proc/1390/task/1397/stat : 1397 (java) S 1389 1389 22717 34817 22717 4202560 466 0 0 0 4 0 0 0 15 0 9 0 73381123 420745216 46425 1283457024 134512640 134550932 4287788912 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=1390/tid=1398] ppid=1389 vsize=410884 CPUtime=0 /proc/1390/task/1398/stat : 1398 (java) S 1389 1389 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 73381123 420745216 46425 1283457024 134512640 134550932 4287788912 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=1390/tid=1399] ppid=1389 vsize=410884 CPUtime=0 /proc/1390/task/1399/stat : 1399 (java) S 1389 1389 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 15 0 9 0 73381123 420745216 46425 1283457024 134512640 134550932 4287788912 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 413456 [startup+6.30643 s] /proc/loadavg: 1.10 1.03 1.00 2/44 1400 /proc/meminfo: memFree=49448/1048576 swapFree=0/0 [pid=1389] ppid=1388 vsize=2572 CPUtime=0 /proc/1389/stat : 1389 (gj-user-solver-) S 1388 1389 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 25 0 1 0 73381120 2633728 269 1283457024 134512640 135304128 4288176896 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/1389/statm: 643 269 229 194 0 30 0 [pid=1390] ppid=1389 vsize=411220 CPUtime=6.3 /proc/1390/stat : 1390 (java) S 1389 1389 22717 34817 22717 4202496 63158 0 1 0 614 16 0 0 25 0 10 0 73381120 421089280 62312 1283457024 134512640 134550932 4287788912 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/1390/statm: 102805 62312 2927 10 0 96950 0 [pid=1390/tid=1392] ppid=1389 vsize=411220 CPUtime=4.27 /proc/1390/task/1392/stat : 1392 (java) R 1389 1389 22717 34817 22717 4202560 14551 0 1 0 423 4 0 0 25 0 10 0 73381121 421089280 62312 1283457024 134512640 134550932 4287788912 18446744073709551615 4115806820 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=1390/tid=1393] ppid=1389 vsize=411220 CPUtime=1.92 /proc/1390/task/1393/stat : 1393 (java) S 1389 1389 22717 34817 22717 4202560 47140 0 0 0 183 9 0 0 16 0 10 0 73381121 421089280 62312 1283457024 134512640 134550932 4287788912 18446744073709551615 4294960130 0 0 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=1390/tid=1394] ppid=1389 vsize=411220 CPUtime=0 /proc/1390/task/1394/stat : 1394 (java) S 1389 1389 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 73381122 421089280 62312 1283457024 134512640 134550932 4287788912 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=1390/tid=1395] ppid=1389 vsize=411220 CPUtime=0 /proc/1390/task/1395/stat : 1395 (java) S 1389 1389 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73381122 421089280 62312 1283457024 134512640 134550932 4287788912 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=1390/tid=1396] ppid=1389 vsize=411220 CPUtime=0 /proc/1390/task/1396/stat : 1396 (java) S 1389 1389 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73381123 421089280 62312 1283457024 134512640 134550932 4287788912 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=1390/tid=1397] ppid=1389 vsize=411220 CPUtime=0.08 /proc/1390/task/1397/stat : 1397 (java) S 1389 1389 22717 34817 22717 4202560 521 0 0 0 8 0 0 0 15 0 10 0 73381123 421089280 62312 1283457024 134512640 134550932 4287788912 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=1390/tid=1398] ppid=1389 vsize=411220 CPUtime=0 /proc/1390/task/1398/stat : 1398 (java) S 1389 1389 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73381123 421089280 62312 1283457024 134512640 134550932 4287788912 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=1390/tid=1399] ppid=1389 vsize=411220 CPUtime=0 /proc/1390/task/1399/stat : 1399 (java) S 1389 1389 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 15 0 10 0 73381123 421089280 62312 1283457024 134512640 134550932 4287788912 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=1390/tid=1400] ppid=1389 vsize=411220 CPUtime=0 /proc/1390/task/1400/stat : 1400 (java) S 1389 1389 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 73381508 421089280 62312 1283457024 134512640 134550932 4287788912 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 6.3 Current children cumulated vsize (KiB) 413792 [startup+12.7115 s] /proc/loadavg: 1.09 1.03 1.00 2/44 1400 /proc/meminfo: memFree=42380/1048576 swapFree=0/0 [pid=1389] ppid=1388 vsize=2572 CPUtime=0 /proc/1389/stat : 1389 (gj-user-solver-) S 1388 1389 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 25 0 1 0 73381120 2633728 269 1283457024 134512640 135304128 4288176896 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/1389/statm: 643 269 229 194 0 30 0 [pid=1390] ppid=1389 vsize=411220 CPUtime=12.69 /proc/1390/stat : 1390 (java) S 1389 1389 22717 34817 22717 4202496 64924 0 1 0 1252 17 0 0 25 0 10 0 73381120 421089280 64069 1283457024 134512640 134550932 4287788912 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/1390/statm: 102805 64069 2921 10 0 96950 0 [pid=1390/tid=1392] ppid=1389 vsize=411220 CPUtime=10.41 /proc/1390/task/1392/stat : 1392 (java) R 1389 1389 22717 34817 22717 4202560 14554 0 1 0 1037 4 0 0 25 0 10 0 73381121 421089280 64069 1283457024 134512640 134550932 4287788912 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=1390/tid=1393] ppid=1389 vsize=411220 CPUtime=2.14 /proc/1390/task/1393/stat : 1393 (java) R 1389 1389 22717 34817 22717 4202560 48876 0 0 0 204 10 0 0 16 0 10 0 73381121 421089280 64069 1283457024 134512640 134550932 4287788912 18446744073709551615 4152682933 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=1390/tid=1394] ppid=1389 vsize=411220 CPUtime=0 /proc/1390/task/1394/stat : 1394 (java) S 1389 1389 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 73381122 421089280 64069 1283457024 134512640 134550932 4287788912 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=1390/tid=1395] ppid=1389 vsize=411220 CPUtime=0 /proc/1390/task/1395/stat : 1395 (java) S 1389 1389 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73381122 421089280 64069 1283457024 134512640 134550932 4287788912 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=1390/tid=1396] ppid=1389 vsize=411220 CPUtime=0 /proc/1390/task/1396/stat : 1396 (java) S 1389 1389 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73381123 421089280 64069 1283457024 134512640 134550932 4287788912 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=1390/tid=1397] ppid=1389 vsize=411220 CPUtime=0.1 /proc/1390/task/1397/stat : 1397 (java) S 1389 1389 22717 34817 22717 4202560 548 0 0 0 10 0 0 0 16 0 10 0 73381123 421089280 64069 1283457024 134512640 134550932 4287788912 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=1390/tid=1398] ppid=1389 vsize=411220 CPUtime=0 /proc/1390/task/1398/stat : 1398 (java) S 1389 1389 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73381123 421089280 64069 1283457024 134512640 134550932 4287788912 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=1390/tid=1399] ppid=1389 vsize=411220 CPUtime=0 /proc/1390/task/1399/stat : 1399 (java) S 1389 1389 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 15 0 10 0 73381123 421089280 64069 1283457024 134512640 134550932 4287788912 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=1390/tid=1400] ppid=1389 vsize=411220 CPUtime=0 /proc/1390/task/1400/stat : 1400 (java) S 1389 1389 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 73381508 421089280 64069 1283457024 134512640 134550932 4287788912 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 413792 Solver just ended. Dumping a history of the last processes samples [startup+12.8116 s] /proc/loadavg: 1.09 1.03 1.00 2/44 1400 /proc/meminfo: memFree=42380/1048576 swapFree=0/0 [pid=1389] ppid=1388 vsize=2572 CPUtime=0 /proc/1389/stat : 1389 (gj-user-solver-) S 1388 1389 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 25 0 1 0 73381120 2633728 269 1283457024 134512640 135304128 4288176896 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/1389/statm: 643 269 229 194 0 30 0 [pid=1390] ppid=1389 vsize=411220 CPUtime=12.79 /proc/1390/stat : 1390 (java) S 1389 1389 22717 34817 22717 4202496 64924 0 1 0 1262 17 0 0 25 0 10 0 73381120 421089280 64069 1283457024 134512640 134550932 4287788912 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/1390/statm: 102805 64069 2921 10 0 96950 0 [pid=1390/tid=1392] ppid=1389 vsize=411220 CPUtime=10.42 /proc/1390/task/1392/stat : 1392 (java) R 1389 1389 22717 34817 22717 4202560 14554 0 1 0 1038 4 0 0 25 0 10 0 73381121 421089280 64069 1283457024 134512640 134550932 4287788912 18446744073709551615 4115801635 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=1390/tid=1393] ppid=1389 vsize=411220 CPUtime=2.23 /proc/1390/task/1393/stat : 1393 (java) S 1389 1389 22717 34817 22717 4202560 48876 0 0 0 213 10 0 0 16 0 10 0 73381121 421089280 64069 1283457024 134512640 134550932 4287788912 18446744073709551615 4294960130 0 0 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=1390/tid=1394] ppid=1389 vsize=411220 CPUtime=0 /proc/1390/task/1394/stat : 1394 (java) S 1389 1389 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 73381122 421089280 64069 1283457024 134512640 134550932 4287788912 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=1390/tid=1395] ppid=1389 vsize=411220 CPUtime=0 /proc/1390/task/1395/stat : 1395 (java) S 1389 1389 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73381122 421089280 64069 1283457024 134512640 134550932 4287788912 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=1390/tid=1396] ppid=1389 vsize=411220 CPUtime=0 /proc/1390/task/1396/stat : 1396 (java) S 1389 1389 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73381123 421089280 64069 1283457024 134512640 134550932 4287788912 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=1390/tid=1397] ppid=1389 vsize=411220 CPUtime=0.1 /proc/1390/task/1397/stat : 1397 (java) S 1389 1389 22717 34817 22717 4202560 548 0 0 0 10 0 0 0 16 0 10 0 73381123 421089280 64069 1283457024 134512640 134550932 4287788912 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=1390/tid=1398] ppid=1389 vsize=411220 CPUtime=0 /proc/1390/task/1398/stat : 1398 (java) S 1389 1389 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73381123 421089280 64069 1283457024 134512640 134550932 4287788912 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=1390/tid=1399] ppid=1389 vsize=411220 CPUtime=0 /proc/1390/task/1399/stat : 1399 (java) S 1389 1389 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 15 0 10 0 73381123 421089280 64069 1283457024 134512640 134550932 4287788912 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=1390/tid=1400] ppid=1389 vsize=411220 CPUtime=0 /proc/1390/task/1400/stat : 1400 (java) S 1389 1389 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 73381508 421089280 64069 1283457024 134512640 134550932 4287788912 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 12.79 Current children cumulated vsize (KiB) 413792 [startup+19.2138 s] /proc/loadavg: 1.08 1.03 1.00 2/44 1400 /proc/meminfo: memFree=42256/1048576 swapFree=0/0 [pid=1389] ppid=1388 vsize=2572 CPUtime=0 /proc/1389/stat : 1389 (gj-user-solver-) S 1388 1389 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 25 0 1 0 73381120 2633728 269 1283457024 134512640 135304128 4288176896 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/1389/statm: 643 269 229 194 0 30 0 [pid=1390] ppid=1389 vsize=411220 CPUtime=19.18 /proc/1390/stat : 1390 (java) S 1389 1389 22717 34817 22717 4202496 64927 0 1 0 1901 17 0 0 25 0 10 0 73381120 421089280 64072 1283457024 134512640 134550932 4287788912 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/1390/statm: 102805 64072 2921 10 0 96950 0 [pid=1390/tid=1392] ppid=1389 vsize=411220 CPUtime=16.71 /proc/1390/task/1392/stat : 1392 (java) R 1389 1389 22717 34817 22717 4202560 14554 0 1 0 1667 4 0 0 25 0 10 0 73381121 421089280 64072 1283457024 134512640 134550932 4287788912 18446744073709551615 4115899529 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=1390/tid=1393] ppid=1389 vsize=411220 CPUtime=2.32 /proc/1390/task/1393/stat : 1393 (java) S 1389 1389 22717 34817 22717 4202560 48876 0 0 0 222 10 0 0 15 0 10 0 73381121 421089280 64072 1283457024 134512640 134550932 4287788912 18446744073709551615 4294960130 0 0 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=1390/tid=1394] ppid=1389 vsize=411220 CPUtime=0 /proc/1390/task/1394/stat : 1394 (java) S 1389 1389 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 73381122 421089280 64072 1283457024 134512640 134550932 4287788912 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=1390/tid=1395] ppid=1389 vsize=411220 CPUtime=0 /proc/1390/task/1395/stat : 1395 (java) S 1389 1389 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73381122 421089280 64072 1283457024 134512640 134550932 4287788912 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=1390/tid=1396] ppid=1389 vsize=411220 CPUtime=0 /proc/1390/task/1396/stat : 1396 (java) S 1389 1389 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73381123 421089280 64072 1283457024 134512640 134550932 4287788912 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=1390/tid=1397] ppid=1389 vsize=411220 CPUtime=0.12 /proc/1390/task/1397/stat : 1397 (java) S 1389 1389 22717 34817 22717 4202560 551 0 0 0 12 0 0 0 15 0 10 0 73381123 421089280 64072 1283457024 134512640 134550932 4287788912 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=1390/tid=1398] ppid=1389 vsize=411220 CPUtime=0 /proc/1390/task/1398/stat : 1398 (java) S 1389 1389 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73381123 421089280 64072 1283457024 134512640 134550932 4287788912 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=1390/tid=1399] ppid=1389 vsize=411220 CPUtime=0 /proc/1390/task/1399/stat : 1399 (java) S 1389 1389 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 15 0 10 0 73381123 421089280 64072 1283457024 134512640 134550932 4287788912 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=1390/tid=1400] ppid=1389 vsize=411220 CPUtime=0 /proc/1390/task/1400/stat : 1400 (java) S 1389 1389 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 73381508 421089280 64072 1283457024 134512640 134550932 4287788912 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 19.18 Current children cumulated vsize (KiB) 413792 [startup+20.8044 s] /proc/loadavg: 1.08 1.03 1.00 2/44 1400 /proc/meminfo: memFree=42256/1048576 swapFree=0/0 [pid=1389] ppid=1388 vsize=2572 CPUtime=0 /proc/1389/stat : 1389 (gj-user-solver-) S 1388 1389 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 25 0 1 0 73381120 2633728 269 1283457024 134512640 135304128 4288176896 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/1389/statm: 643 269 229 194 0 30 0 [pid=1390] ppid=1389 vsize=411220 CPUtime=20.77 /proc/1390/stat : 1390 (java) S 1389 1389 22717 34817 22717 4202496 64927 0 1 0 2060 17 0 0 25 0 10 0 73381120 421089280 64072 1283457024 134512640 134550932 4287788912 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/1390/statm: 102805 64072 2921 10 0 96950 0 [pid=1390/tid=1392] ppid=1389 vsize=411220 CPUtime=18.27 /proc/1390/task/1392/stat : 1392 (java) R 1389 1389 22717 34817 22717 4202560 14554 0 1 0 1823 4 0 0 25 0 10 0 73381121 421089280 64072 1283457024 134512640 134550932 4287788912 18446744073709551615 4115799454 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=1390/tid=1393] ppid=1389 vsize=411220 CPUtime=2.35 /proc/1390/task/1393/stat : 1393 (java) S 1389 1389 22717 34817 22717 4202560 48876 0 0 0 225 10 0 0 15 0 10 0 73381121 421089280 64072 1283457024 134512640 134550932 4287788912 18446744073709551615 4294960130 0 0 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=1390/tid=1394] ppid=1389 vsize=411220 CPUtime=0 /proc/1390/task/1394/stat : 1394 (java) S 1389 1389 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 73381122 421089280 64072 1283457024 134512640 134550932 4287788912 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=1390/tid=1395] ppid=1389 vsize=411220 CPUtime=0 /proc/1390/task/1395/stat : 1395 (java) S 1389 1389 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73381122 421089280 64072 1283457024 134512640 134550932 4287788912 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=1390/tid=1396] ppid=1389 vsize=411220 CPUtime=0 /proc/1390/task/1396/stat : 1396 (java) S 1389 1389 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73381123 421089280 64072 1283457024 134512640 134550932 4287788912 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=1390/tid=1397] ppid=1389 vsize=411220 CPUtime=0.12 /proc/1390/task/1397/stat : 1397 (java) S 1389 1389 22717 34817 22717 4202560 551 0 0 0 12 0 0 0 15 0 10 0 73381123 421089280 64072 1283457024 134512640 134550932 4287788912 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=1390/tid=1398] ppid=1389 vsize=411220 CPUtime=0 /proc/1390/task/1398/stat : 1398 (java) S 1389 1389 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73381123 421089280 64072 1283457024 134512640 134550932 4287788912 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=1390/tid=1399] ppid=1389 vsize=411220 CPUtime=0 /proc/1390/task/1399/stat : 1399 (java) S 1389 1389 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 15 0 10 0 73381123 421089280 64072 1283457024 134512640 134550932 4287788912 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=1390/tid=1400] ppid=1389 vsize=411220 CPUtime=0 /proc/1390/task/1400/stat : 1400 (java) S 1389 1389 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 73381508 421089280 64072 1283457024 134512640 134550932 4287788912 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 20.77 Current children cumulated vsize (KiB) 413792 [startup+22.405 s] /proc/loadavg: 1.08 1.03 1.00 2/44 1400 /proc/meminfo: memFree=42256/1048576 swapFree=0/0 [pid=1389] ppid=1388 vsize=2572 CPUtime=0 /proc/1389/stat : 1389 (gj-user-solver-) S 1388 1389 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 25 0 1 0 73381120 2633728 269 1283457024 134512640 135304128 4288176896 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/1389/statm: 643 269 229 194 0 30 0 [pid=1390] ppid=1389 vsize=411220 CPUtime=22.37 /proc/1390/stat : 1390 (java) S 1389 1389 22717 34817 22717 4202496 64927 0 1 0 2220 17 0 0 25 0 10 0 73381120 421089280 64072 1283457024 134512640 134550932 4287788912 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/1390/statm: 102805 64072 2921 10 0 96950 0 [pid=1390/tid=1392] ppid=1389 vsize=411220 CPUtime=19.87 /proc/1390/task/1392/stat : 1392 (java) R 1389 1389 22717 34817 22717 4202560 14554 0 1 0 1983 4 0 0 25 0 10 0 73381121 421089280 64072 1283457024 134512640 134550932 4287788912 18446744073709551615 4115828312 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=1390/tid=1393] ppid=1389 vsize=411220 CPUtime=2.35 /proc/1390/task/1393/stat : 1393 (java) S 1389 1389 22717 34817 22717 4202560 48876 0 0 0 225 10 0 0 15 0 10 0 73381121 421089280 64072 1283457024 134512640 134550932 4287788912 18446744073709551615 4294960130 0 0 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=1390/tid=1394] ppid=1389 vsize=411220 CPUtime=0 /proc/1390/task/1394/stat : 1394 (java) S 1389 1389 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 73381122 421089280 64072 1283457024 134512640 134550932 4287788912 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=1390/tid=1395] ppid=1389 vsize=411220 CPUtime=0 /proc/1390/task/1395/stat : 1395 (java) S 1389 1389 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73381122 421089280 64072 1283457024 134512640 134550932 4287788912 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=1390/tid=1396] ppid=1389 vsize=411220 CPUtime=0 /proc/1390/task/1396/stat : 1396 (java) S 1389 1389 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73381123 421089280 64072 1283457024 134512640 134550932 4287788912 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=1390/tid=1397] ppid=1389 vsize=411220 CPUtime=0.12 /proc/1390/task/1397/stat : 1397 (java) S 1389 1389 22717 34817 22717 4202560 551 0 0 0 12 0 0 0 15 0 10 0 73381123 421089280 64072 1283457024 134512640 134550932 4287788912 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=1390/tid=1398] ppid=1389 vsize=411220 CPUtime=0 /proc/1390/task/1398/stat : 1398 (java) S 1389 1389 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73381123 421089280 64072 1283457024 134512640 134550932 4287788912 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=1390/tid=1399] ppid=1389 vsize=411220 CPUtime=0 /proc/1390/task/1399/stat : 1399 (java) S 1389 1389 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 15 0 10 0 73381123 421089280 64072 1283457024 134512640 134550932 4287788912 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=1390/tid=1400] ppid=1389 vsize=411220 CPUtime=0 /proc/1390/task/1400/stat : 1400 (java) S 1389 1389 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 73381508 421089280 64072 1283457024 134512640 134550932 4287788912 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 22.37 Current children cumulated vsize (KiB) 413792 [startup+22.8051 s] /proc/loadavg: 1.08 1.03 1.00 2/44 1400 /proc/meminfo: memFree=42256/1048576 swapFree=0/0 [pid=1389] ppid=1388 vsize=2572 CPUtime=0 /proc/1389/stat : 1389 (gj-user-solver-) S 1388 1389 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 25 0 1 0 73381120 2633728 269 1283457024 134512640 135304128 4288176896 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/1389/statm: 643 269 229 194 0 30 0 [pid=1390] ppid=1389 vsize=411220 CPUtime=22.77 /proc/1390/stat : 1390 (java) S 1389 1389 22717 34817 22717 4202496 64927 0 1 0 2260 17 0 0 25 0 10 0 73381120 421089280 64072 1283457024 134512640 134550932 4287788912 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/1390/statm: 102805 64072 2921 10 0 96950 0 [pid=1390/tid=1392] ppid=1389 vsize=411220 CPUtime=20.27 /proc/1390/task/1392/stat : 1392 (java) R 1389 1389 22717 34817 22717 4202560 14554 0 1 0 2023 4 0 0 25 0 10 0 73381121 421089280 64072 1283457024 134512640 134550932 4287788912 18446744073709551615 4115806820 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=1390/tid=1393] ppid=1389 vsize=411220 CPUtime=2.35 /proc/1390/task/1393/stat : 1393 (java) S 1389 1389 22717 34817 22717 4202560 48876 0 0 0 225 10 0 0 15 0 10 0 73381121 421089280 64072 1283457024 134512640 134550932 4287788912 18446744073709551615 4294960130 0 0 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=1390/tid=1394] ppid=1389 vsize=411220 CPUtime=0 /proc/1390/task/1394/stat : 1394 (java) S 1389 1389 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 73381122 421089280 64072 1283457024 134512640 134550932 4287788912 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=1390/tid=1395] ppid=1389 vsize=411220 CPUtime=0 /proc/1390/task/1395/stat : 1395 (java) S 1389 1389 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73381122 421089280 64072 1283457024 134512640 134550932 4287788912 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=1390/tid=1396] ppid=1389 vsize=411220 CPUtime=0 /proc/1390/task/1396/stat : 1396 (java) S 1389 1389 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73381123 421089280 64072 1283457024 134512640 134550932 4287788912 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=1390/tid=1397] ppid=1389 vsize=411220 CPUtime=0.12 /proc/1390/task/1397/stat : 1397 (java) S 1389 1389 22717 34817 22717 4202560 551 0 0 0 12 0 0 0 15 0 10 0 73381123 421089280 64072 1283457024 134512640 134550932 4287788912 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=1390/tid=1398] ppid=1389 vsize=411220 CPUtime=0 /proc/1390/task/1398/stat : 1398 (java) S 1389 1389 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73381123 421089280 64072 1283457024 134512640 134550932 4287788912 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=1390/tid=1399] ppid=1389 vsize=411220 CPUtime=0 /proc/1390/task/1399/stat : 1399 (java) S 1389 1389 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 15 0 10 0 73381123 421089280 64072 1283457024 134512640 134550932 4287788912 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=1390/tid=1400] ppid=1389 vsize=411220 CPUtime=0 /proc/1390/task/1400/stat : 1400 (java) S 1389 1389 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 73381508 421089280 64072 1283457024 134512640 134550932 4287788912 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 22.77 Current children cumulated vsize (KiB) 413792 [startup+23.2053 s] /proc/loadavg: 1.08 1.03 1.00 2/44 1400 /proc/meminfo: memFree=42256/1048576 swapFree=0/0 [pid=1389] ppid=1388 vsize=2572 CPUtime=0 /proc/1389/stat : 1389 (gj-user-solver-) S 1388 1389 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 25 0 1 0 73381120 2633728 269 1283457024 134512640 135304128 4288176896 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/1389/statm: 643 269 229 194 0 30 0 [pid=1390] ppid=1389 vsize=411220 CPUtime=23.17 /proc/1390/stat : 1390 (java) S 1389 1389 22717 34817 22717 4202496 64927 0 1 0 2300 17 0 0 25 0 10 0 73381120 421089280 64072 1283457024 134512640 134550932 4287788912 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/1390/statm: 102805 64072 2921 10 0 96950 0 [pid=1390/tid=1392] ppid=1389 vsize=411220 CPUtime=20.67 /proc/1390/task/1392/stat : 1392 (java) R 1389 1389 22717 34817 22717 4202560 14554 0 1 0 2063 4 0 0 25 0 10 0 73381121 421089280 64072 1283457024 134512640 134550932 4287788912 18446744073709551615 4115792118 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=1390/tid=1393] ppid=1389 vsize=411220 CPUtime=2.35 /proc/1390/task/1393/stat : 1393 (java) S 1389 1389 22717 34817 22717 4202560 48876 0 0 0 225 10 0 0 15 0 10 0 73381121 421089280 64072 1283457024 134512640 134550932 4287788912 18446744073709551615 4294960130 0 0 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=1390/tid=1394] ppid=1389 vsize=411220 CPUtime=0 /proc/1390/task/1394/stat : 1394 (java) S 1389 1389 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 73381122 421089280 64072 1283457024 134512640 134550932 4287788912 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=1390/tid=1395] ppid=1389 vsize=411220 CPUtime=0 /proc/1390/task/1395/stat : 1395 (java) S 1389 1389 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73381122 421089280 64072 1283457024 134512640 134550932 4287788912 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=1390/tid=1396] ppid=1389 vsize=411220 CPUtime=0 /proc/1390/task/1396/stat : 1396 (java) S 1389 1389 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73381123 421089280 64072 1283457024 134512640 134550932 4287788912 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=1390/tid=1397] ppid=1389 vsize=411220 CPUtime=0.12 /proc/1390/task/1397/stat : 1397 (java) S 1389 1389 22717 34817 22717 4202560 551 0 0 0 12 0 0 0 15 0 10 0 73381123 421089280 64072 1283457024 134512640 134550932 4287788912 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=1390/tid=1398] ppid=1389 vsize=411220 CPUtime=0 /proc/1390/task/1398/stat : 1398 (java) S 1389 1389 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73381123 421089280 64072 1283457024 134512640 134550932 4287788912 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=1390/tid=1399] ppid=1389 vsize=411220 CPUtime=0 /proc/1390/task/1399/stat : 1399 (java) S 1389 1389 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 15 0 10 0 73381123 421089280 64072 1283457024 134512640 134550932 4287788912 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=1390/tid=1400] ppid=1389 vsize=411220 CPUtime=0 /proc/1390/task/1400/stat : 1400 (java) S 1389 1389 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 73381508 421089280 64072 1283457024 134512640 134550932 4287788912 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 23.17 Current children cumulated vsize (KiB) 413792 [startup+23.3026 s] /proc/loadavg: 1.08 1.03 1.00 2/44 1400 /proc/meminfo: memFree=42256/1048576 swapFree=0/0 [pid=1389] ppid=1388 vsize=2572 CPUtime=0 /proc/1389/stat : 1389 (gj-user-solver-) S 1388 1389 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 25 0 1 0 73381120 2633728 269 1283457024 134512640 135304128 4288176896 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/1389/statm: 643 269 229 194 0 30 0 [pid=1390] ppid=1389 vsize=411220 CPUtime=23.25 /proc/1390/stat : 1390 (java) S 1389 1389 22717 34817 22717 4202496 64929 0 1 0 2308 17 0 0 25 0 9 0 73381120 421089280 64074 1283457024 134512640 134550932 4287788912 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/1390/statm: 102805 64074 2922 10 0 96950 0 [pid=1390/tid=1392] ppid=1389 vsize=411220 CPUtime=20.75 /proc/1390/task/1392/stat : 1392 (java) S 1389 1389 22717 34817 22717 4202560 14554 0 1 0 2071 4 0 0 25 0 9 0 73381121 421089280 64074 1283457024 134512640 134550932 4287788912 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=1390/tid=1393] ppid=1389 vsize=411220 CPUtime=2.35 /proc/1390/task/1393/stat : 1393 (java) S 1389 1389 22717 34817 22717 4202560 48876 0 0 0 225 10 0 0 16 0 9 0 73381121 421089280 64074 1283457024 134512640 134550932 4287788912 18446744073709551615 4294960130 0 0 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=1390/tid=1394] ppid=1389 vsize=411220 CPUtime=0 /proc/1390/task/1394/stat : 1394 (java) S 1389 1389 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 9 0 73381122 421089280 64074 1283457024 134512640 134550932 4287788912 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=1390/tid=1395] ppid=1389 vsize=411220 CPUtime=0 /proc/1390/task/1395/stat : 1395 (java) S 1389 1389 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 9 0 73381122 421089280 64074 1283457024 134512640 134550932 4287788912 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=1390/tid=1396] ppid=1389 vsize=411220 CPUtime=0 /proc/1390/task/1396/stat : 1396 (java) S 1389 1389 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 73381123 421089280 64074 1283457024 134512640 134550932 4287788912 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=1390/tid=1397] ppid=1389 vsize=411220 CPUtime=0.12 /proc/1390/task/1397/stat : 1397 (java) S 1389 1389 22717 34817 22717 4202560 552 0 0 0 12 0 0 0 15 0 9 0 73381123 421089280 64074 1283457024 134512640 134550932 4287788912 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=1390/tid=1398] ppid=1389 vsize=411220 CPUtime=0 /proc/1390/task/1398/stat : 1398 (java) S 1389 1389 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 73381123 421089280 64074 1283457024 134512640 134550932 4287788912 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=1390/tid=1399] ppid=1389 vsize=411220 CPUtime=0 /proc/1390/task/1399/stat : 1399 (java) S 1389 1389 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 15 0 9 0 73381123 421089280 64074 1283457024 134512640 134550932 4287788912 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 23.25 Current children cumulated vsize (KiB) 413792 Child status: 0 Real time (s): 23.3352 CPU time (s): 23.2695 CPU user time (s): 23.0854 CPU system time (s): 0.184011 CPU usage (%): 99.7181 Max. virtual memory (cumulated for all children) (KiB): 413792 getrusage(RUSAGE_CHILDREN,...) data: user time used= 23.0854 system time used= 0.184011 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 65317 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= 1238 involuntary context switches= 1598 runsolver used 0 second user time and 0 second system time The end