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/e2f6303a-4fe9-11e0-aa4f-00163e1e087d.cudf.dudf-real.log.runsolver ./gj-user-solver-1.0 /home/misc2010/data/2011/dudf-real//e2f6303a-4fe9-11e0-aa4f-00163e1e087d.cudf /home/misc2010/tmp/201109011757/gj-user-solver-1.0/e2f6303a-4fe9-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: 0.85 1.01 1.00 4/36 3760 /proc/meminfo: memFree=227868/1048576 swapFree=0/0 [pid=3759] ppid=3758 vsize=2568 CPUtime=0 /proc/3759/stat : 3759 (gj-user-solver-) S 3758 3759 22717 34817 22717 4202496 370 0 0 0 0 0 0 0 18 0 1 0 73631151 2629632 268 1283457024 134512640 135304128 4290370848 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3759/statm: 642 268 229 194 0 29 0 [pid=3760] ppid=3759 vsize=11044 CPUtime=0.01 /proc/3760/stat : 3760 (java) R 3759 3759 22717 34817 22717 4202496 585 0 0 0 0 1 0 0 25 0 1 0 73631151 11309056 321 1283457024 134512640 134550932 4292460160 18446744073709551615 4159784674 0 0 0 0 0 0 0 17 0 0 0 0 /proc/3760/statm: 2761 321 170 10 0 1103 0 [startup+0.165069 s] /proc/loadavg: 0.85 1.01 1.00 4/36 3760 /proc/meminfo: memFree=227868/1048576 swapFree=0/0 [pid=3759] ppid=3758 vsize=2568 CPUtime=0 /proc/3759/stat : 3759 (gj-user-solver-) S 3758 3759 22717 34817 22717 4202496 370 0 0 0 0 0 0 0 18 0 1 0 73631151 2629632 268 1283457024 134512640 135304128 4290370848 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3759/statm: 642 268 229 194 0 29 0 [pid=3760] ppid=3759 vsize=409924 CPUtime=0.17 /proc/3760/stat : 3760 (java) S 3759 3759 22717 34817 22717 4202496 3980 0 1 0 15 2 0 0 25 0 9 0 73631151 419762176 3407 1283457024 134512640 134550932 4292460160 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/3760/statm: 102481 3407 1918 10 0 96629 0 Current children cumulated CPU time (s) 0.17 Current children cumulated vsize (KiB) 412492 [startup+0.205085 s] /proc/loadavg: 0.85 1.01 1.00 4/36 3760 /proc/meminfo: memFree=227868/1048576 swapFree=0/0 [pid=3759] ppid=3758 vsize=2568 CPUtime=0 /proc/3759/stat : 3759 (gj-user-solver-) S 3758 3759 22717 34817 22717 4202496 370 0 0 0 0 0 0 0 18 0 1 0 73631151 2629632 268 1283457024 134512640 135304128 4290370848 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3759/statm: 642 268 229 194 0 29 0 [pid=3760] ppid=3759 vsize=409924 CPUtime=0.21 /proc/3760/stat : 3760 (java) S 3759 3759 22717 34817 22717 4202496 4066 0 1 0 19 2 0 0 25 0 9 0 73631151 419762176 3493 1283457024 134512640 134550932 4292460160 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/3760/statm: 102481 3493 1918 10 0 96629 0 Current children cumulated CPU time (s) 0.21 Current children cumulated vsize (KiB) 412492 [startup+0.305103 s] /proc/loadavg: 0.85 1.01 1.00 4/36 3760 /proc/meminfo: memFree=227868/1048576 swapFree=0/0 [pid=3759] ppid=3758 vsize=2568 CPUtime=0 /proc/3759/stat : 3759 (gj-user-solver-) S 3758 3759 22717 34817 22717 4202496 370 0 0 0 0 0 0 0 18 0 1 0 73631151 2629632 268 1283457024 134512640 135304128 4290370848 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3759/statm: 642 268 229 194 0 29 0 [pid=3760] ppid=3759 vsize=410340 CPUtime=0.31 /proc/3760/stat : 3760 (java) S 3759 3759 22717 34817 22717 4202496 4400 0 1 0 29 2 0 0 25 0 9 0 73631151 420188160 3827 1283457024 134512640 134550932 4292460160 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/3760/statm: 102585 3827 1945 10 0 96733 0 Current children cumulated CPU time (s) 0.31 Current children cumulated vsize (KiB) 412908 [startup+0.705251 s] /proc/loadavg: 0.85 1.01 1.00 4/36 3760 /proc/meminfo: memFree=227868/1048576 swapFree=0/0 [pid=3759] ppid=3758 vsize=2568 CPUtime=0 /proc/3759/stat : 3759 (gj-user-solver-) S 3758 3759 22717 34817 22717 4202496 370 0 0 0 0 0 0 0 18 0 1 0 73631151 2629632 268 1283457024 134512640 135304128 4290370848 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3759/statm: 642 268 229 194 0 29 0 [pid=3760] ppid=3759 vsize=410620 CPUtime=0.71 /proc/3760/stat : 3760 (java) S 3759 3759 22717 34817 22717 4202496 12070 0 1 0 64 7 0 0 25 0 9 0 73631151 420474880 11310 1283457024 134512640 134550932 4292460160 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/3760/statm: 102655 11310 2901 10 0 96803 0 Current children cumulated CPU time (s) 0.71 Current children cumulated vsize (KiB) 413188 [startup+1.50546 s] /proc/loadavg: 0.85 1.01 1.00 3/45 3769 /proc/meminfo: memFree=169008/1048576 swapFree=0/0 [pid=3759] ppid=3758 vsize=2568 CPUtime=0 /proc/3759/stat : 3759 (gj-user-solver-) S 3758 3759 22717 34817 22717 4202496 370 0 0 0 0 0 0 0 18 0 1 0 73631151 2629632 268 1283457024 134512640 135304128 4290370848 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3759/statm: 642 268 229 194 0 29 0 [pid=3760] ppid=3759 vsize=410752 CPUtime=1.5 /proc/3760/stat : 3760 (java) S 3759 3759 22717 34817 22717 4202496 25216 0 1 0 139 11 0 0 25 0 9 0 73631151 420610048 24456 1283457024 134512640 134550932 4292460160 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/3760/statm: 102688 24456 2901 10 0 96836 0 [pid=3760/tid=3762] ppid=3759 vsize=410752 CPUtime=0.82 /proc/3760/task/3762/stat : 3762 (java) R 3759 3759 22717 34817 22717 4202560 6824 0 1 0 80 2 0 0 25 0 9 0 73631152 420610048 24456 1283457024 134512640 134550932 4292460160 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=3760/tid=3763] ppid=3759 vsize=410752 CPUtime=0.62 /proc/3760/task/3763/stat : 3763 (java) R 3759 3759 22717 34817 22717 4202560 17004 0 0 0 55 7 0 0 18 0 9 0 73631152 420610048 24456 1283457024 134512640 134550932 4292460160 18446744073709551615 4150663096 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=3760/tid=3764] ppid=3759 vsize=410752 CPUtime=0 /proc/3760/task/3764/stat : 3764 (java) S 3759 3759 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 20 0 9 0 73631152 420610048 24456 1283457024 134512640 134550932 4292460160 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=3760/tid=3765] ppid=3759 vsize=410752 CPUtime=0 /proc/3760/task/3765/stat : 3765 (java) S 3759 3759 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 20 0 9 0 73631152 420610048 24456 1283457024 134512640 134550932 4292460160 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=3760/tid=3766] ppid=3759 vsize=410752 CPUtime=0 /proc/3760/task/3766/stat : 3766 (java) S 3759 3759 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 73631154 420610048 24456 1283457024 134512640 134550932 4292460160 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=3760/tid=3767] ppid=3759 vsize=410752 CPUtime=0.04 /proc/3760/task/3767/stat : 3767 (java) S 3759 3759 22717 34817 22717 4202560 446 0 0 0 4 0 0 0 17 0 9 0 73631154 420610048 24456 1283457024 134512640 134550932 4292460160 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=3760/tid=3768] ppid=3759 vsize=410752 CPUtime=0 /proc/3760/task/3768/stat : 3768 (java) S 3759 3759 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 73631154 420610048 24456 1283457024 134512640 134550932 4292460160 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=3760/tid=3769] ppid=3759 vsize=410752 CPUtime=0 /proc/3760/task/3769/stat : 3769 (java) S 3759 3759 22717 34817 22717 4202560 2 0 0 0 0 0 0 0 15 0 9 0 73631154 420610048 24456 1283457024 134512640 134550932 4292460160 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 413320 [startup+3.1059 s] /proc/loadavg: 0.85 1.01 1.00 2/45 3769 /proc/meminfo: memFree=94112/1048576 swapFree=0/0 [pid=3759] ppid=3758 vsize=2568 CPUtime=0 /proc/3759/stat : 3759 (gj-user-solver-) S 3758 3759 22717 34817 22717 4202496 370 0 0 0 0 0 0 0 18 0 1 0 73631151 2629632 268 1283457024 134512640 135304128 4290370848 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3759/statm: 642 268 229 194 0 29 0 [pid=3760] ppid=3759 vsize=410884 CPUtime=3.1 /proc/3760/stat : 3760 (java) S 3759 3759 22717 34817 22717 4202496 48320 0 1 0 291 19 0 0 25 0 9 0 73631151 420745216 47554 1283457024 134512640 134550932 4292460160 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/3760/statm: 102721 47554 2903 10 0 96869 0 [pid=3760/tid=3762] ppid=3759 vsize=410884 CPUtime=1.44 /proc/3760/task/3762/stat : 3762 (java) R 3759 3759 22717 34817 22717 4202560 13483 0 1 0 139 5 0 0 25 0 9 0 73631152 420745216 47554 1283457024 134512640 134550932 4292460160 18446744073709551615 4114935647 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=3760/tid=3763] ppid=3759 vsize=410884 CPUtime=1.57 /proc/3760/task/3763/stat : 3763 (java) S 3759 3759 22717 34817 22717 4202560 33427 0 0 0 146 11 0 0 16 0 9 0 73631152 420745216 47554 1283457024 134512640 134550932 4292460160 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=3760/tid=3764] ppid=3759 vsize=410884 CPUtime=0 /proc/3760/task/3764/stat : 3764 (java) S 3759 3759 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 20 0 9 0 73631152 420745216 47554 1283457024 134512640 134550932 4292460160 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=3760/tid=3765] ppid=3759 vsize=410884 CPUtime=0 /proc/3760/task/3765/stat : 3765 (java) S 3759 3759 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 20 0 9 0 73631152 420745216 47554 1283457024 134512640 134550932 4292460160 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=3760/tid=3766] ppid=3759 vsize=410884 CPUtime=0 /proc/3760/task/3766/stat : 3766 (java) S 3759 3759 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 73631154 420745216 47554 1283457024 134512640 134550932 4292460160 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=3760/tid=3767] ppid=3759 vsize=410884 CPUtime=0.05 /proc/3760/task/3767/stat : 3767 (java) S 3759 3759 22717 34817 22717 4202560 468 0 0 0 5 0 0 0 15 0 9 0 73631154 420745216 47554 1283457024 134512640 134550932 4292460160 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=3760/tid=3768] ppid=3759 vsize=410884 CPUtime=0 /proc/3760/task/3768/stat : 3768 (java) S 3759 3759 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 73631154 420745216 47554 1283457024 134512640 134550932 4292460160 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=3760/tid=3769] ppid=3759 vsize=410884 CPUtime=0 /proc/3760/task/3769/stat : 3769 (java) S 3759 3759 22717 34817 22717 4202560 2 0 0 0 0 0 0 0 15 0 9 0 73631154 420745216 47554 1283457024 134512640 134550932 4292460160 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 413452 [startup+6.30688 s] /proc/loadavg: 0.86 1.01 1.00 2/46 3770 /proc/meminfo: memFree=6156/1048576 swapFree=0/0 [pid=3759] ppid=3758 vsize=2568 CPUtime=0 /proc/3759/stat : 3759 (gj-user-solver-) S 3758 3759 22717 34817 22717 4202496 370 0 0 0 0 0 0 0 18 0 1 0 73631151 2629632 268 1283457024 134512640 135304128 4290370848 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3759/statm: 642 268 229 194 0 29 0 [pid=3760] ppid=3759 vsize=411220 CPUtime=6.3 /proc/3760/stat : 3760 (java) S 3759 3759 22717 34817 22717 4202496 63143 0 1 0 608 22 0 0 25 0 10 0 73631151 421089280 62298 1283457024 134512640 134550932 4292460160 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/3760/statm: 102805 62298 2927 10 0 96950 0 [pid=3760/tid=3762] ppid=3759 vsize=411220 CPUtime=4.23 /proc/3760/task/3762/stat : 3762 (java) R 3759 3759 22717 34817 22717 4202560 14553 0 1 0 418 5 0 0 25 0 10 0 73631152 421089280 62298 1283457024 134512640 134550932 4292460160 18446744073709551615 4115202586 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=3760/tid=3763] ppid=3759 vsize=411220 CPUtime=1.94 /proc/3760/task/3763/stat : 3763 (java) S 3759 3759 22717 34817 22717 4202560 47098 0 0 0 180 14 0 0 16 0 10 0 73631152 421089280 62298 1283457024 134512640 134550932 4292460160 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=3760/tid=3764] ppid=3759 vsize=411220 CPUtime=0 /proc/3760/task/3764/stat : 3764 (java) S 3759 3759 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 73631152 421089280 62298 1283457024 134512640 134550932 4292460160 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=3760/tid=3765] ppid=3759 vsize=411220 CPUtime=0 /proc/3760/task/3765/stat : 3765 (java) S 3759 3759 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73631152 421089280 62298 1283457024 134512640 134550932 4292460160 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=3760/tid=3766] ppid=3759 vsize=411220 CPUtime=0 /proc/3760/task/3766/stat : 3766 (java) S 3759 3759 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73631154 421089280 62298 1283457024 134512640 134550932 4292460160 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=3760/tid=3767] ppid=3759 vsize=411220 CPUtime=0.1 /proc/3760/task/3767/stat : 3767 (java) S 3759 3759 22717 34817 22717 4202560 546 0 0 0 10 0 0 0 15 0 10 0 73631154 421089280 62298 1283457024 134512640 134550932 4292460160 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=3760/tid=3768] ppid=3759 vsize=411220 CPUtime=0 /proc/3760/task/3768/stat : 3768 (java) S 3759 3759 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73631154 421089280 62298 1283457024 134512640 134550932 4292460160 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=3760/tid=3769] ppid=3759 vsize=411220 CPUtime=0 /proc/3760/task/3769/stat : 3769 (java) S 3759 3759 22717 34817 22717 4202560 2 0 0 0 0 0 0 0 15 0 10 0 73631154 421089280 62298 1283457024 134512640 134550932 4292460160 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=3760/tid=3770] ppid=3759 vsize=411220 CPUtime=0 /proc/3760/task/3770/stat : 3770 (java) S 3759 3759 22717 34817 22717 4202560 4 0 0 0 0 0 0 0 25 0 10 0 73631526 421089280 62298 1283457024 134512640 134550932 4292460160 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 6.3 Current children cumulated vsize (KiB) 413788 [startup+12.7084 s] /proc/loadavg: 0.87 1.01 1.00 2/46 3771 /proc/meminfo: memFree=5976/1048576 swapFree=0/0 [pid=3759] ppid=3758 vsize=2568 CPUtime=0 /proc/3759/stat : 3759 (gj-user-solver-) S 3758 3759 22717 34817 22717 4202496 370 0 0 0 0 0 0 0 18 0 1 0 73631151 2629632 268 1283457024 134512640 135304128 4290370848 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3759/statm: 642 268 229 194 0 29 0 [pid=3760] ppid=3759 vsize=411220 CPUtime=12.67 /proc/3760/stat : 3760 (java) S 3759 3759 22717 34817 22717 4202496 67292 0 1 0 1244 23 0 0 25 0 10 0 73631151 421089280 66438 1283457024 134512640 134550932 4292460160 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/3760/statm: 102805 66438 2921 10 0 96950 0 [pid=3760/tid=3762] ppid=3759 vsize=411220 CPUtime=10.21 /proc/3760/task/3762/stat : 3762 (java) R 3759 3759 22717 34817 22717 4202560 14554 0 1 0 1016 5 0 0 25 0 10 0 73631152 421089280 66438 1283457024 134512640 134550932 4292460160 18446744073709551615 4115347401 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=3760/tid=3763] ppid=3759 vsize=411220 CPUtime=2.33 /proc/3760/task/3763/stat : 3763 (java) S 3759 3759 22717 34817 22717 4202560 51242 0 0 0 217 16 0 0 15 0 10 0 73631152 421089280 66438 1283457024 134512640 134550932 4292460160 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=3760/tid=3764] ppid=3759 vsize=411220 CPUtime=0 /proc/3760/task/3764/stat : 3764 (java) S 3759 3759 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 73631152 421089280 66438 1283457024 134512640 134550932 4292460160 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=3760/tid=3765] ppid=3759 vsize=411220 CPUtime=0 /proc/3760/task/3765/stat : 3765 (java) S 3759 3759 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73631152 421089280 66438 1283457024 134512640 134550932 4292460160 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=3760/tid=3766] ppid=3759 vsize=411220 CPUtime=0 /proc/3760/task/3766/stat : 3766 (java) S 3759 3759 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73631154 421089280 66438 1283457024 134512640 134550932 4292460160 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=3760/tid=3767] ppid=3759 vsize=411220 CPUtime=0.1 /proc/3760/task/3767/stat : 3767 (java) S 3759 3759 22717 34817 22717 4202560 550 0 0 0 10 0 0 0 15 0 10 0 73631154 421089280 66438 1283457024 134512640 134550932 4292460160 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=3760/tid=3768] ppid=3759 vsize=411220 CPUtime=0 /proc/3760/task/3768/stat : 3768 (java) S 3759 3759 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73631154 421089280 66438 1283457024 134512640 134550932 4292460160 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=3760/tid=3769] ppid=3759 vsize=411220 CPUtime=0 /proc/3760/task/3769/stat : 3769 (java) S 3759 3759 22717 34817 22717 4202560 2 0 0 0 0 0 0 0 15 0 10 0 73631154 421089280 66438 1283457024 134512640 134550932 4292460160 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=3760/tid=3770] ppid=3759 vsize=411220 CPUtime=0 /proc/3760/task/3770/stat : 3770 (java) S 3759 3759 22717 34817 22717 4202560 4 0 0 0 0 0 0 0 25 0 10 0 73631526 421089280 66438 1283457024 134512640 134550932 4292460160 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 12.67 Current children cumulated vsize (KiB) 413788 [startup+25.5116 s] /proc/loadavg: 0.90 1.01 1.00 2/46 3772 /proc/meminfo: memFree=5976/1048576 swapFree=0/0 [pid=3759] ppid=3758 vsize=2568 CPUtime=0 /proc/3759/stat : 3759 (gj-user-solver-) S 3758 3759 22717 34817 22717 4202496 370 0 0 0 0 0 0 0 18 0 1 0 73631151 2629632 268 1283457024 134512640 135304128 4290370848 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3759/statm: 642 268 229 194 0 29 0 [pid=3760] ppid=3759 vsize=411220 CPUtime=25.45 /proc/3760/stat : 3760 (java) S 3759 3759 22717 34817 22717 4202496 67293 0 1 0 2522 23 0 0 25 0 10 0 73631151 421089280 66439 1283457024 134512640 134550932 4292460160 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/3760/statm: 102805 66439 2921 10 0 96950 0 [pid=3760/tid=3762] ppid=3759 vsize=411220 CPUtime=22.93 /proc/3760/task/3762/stat : 3762 (java) R 3759 3759 22717 34817 22717 4202560 14554 0 1 0 2288 5 0 0 25 0 10 0 73631152 421089280 66439 1283457024 134512640 134550932 4292460160 18446744073709551615 4115363397 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=3760/tid=3763] ppid=3759 vsize=411220 CPUtime=2.39 /proc/3760/task/3763/stat : 3763 (java) S 3759 3759 22717 34817 22717 4202560 51242 0 0 0 223 16 0 0 16 0 10 0 73631152 421089280 66439 1283457024 134512640 134550932 4292460160 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=3760/tid=3764] ppid=3759 vsize=411220 CPUtime=0 /proc/3760/task/3764/stat : 3764 (java) S 3759 3759 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 73631152 421089280 66439 1283457024 134512640 134550932 4292460160 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=3760/tid=3765] ppid=3759 vsize=411220 CPUtime=0 /proc/3760/task/3765/stat : 3765 (java) S 3759 3759 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73631152 421089280 66439 1283457024 134512640 134550932 4292460160 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=3760/tid=3766] ppid=3759 vsize=411220 CPUtime=0 /proc/3760/task/3766/stat : 3766 (java) S 3759 3759 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73631154 421089280 66439 1283457024 134512640 134550932 4292460160 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=3760/tid=3767] ppid=3759 vsize=411220 CPUtime=0.1 /proc/3760/task/3767/stat : 3767 (java) S 3759 3759 22717 34817 22717 4202560 551 0 0 0 10 0 0 0 16 0 10 0 73631154 421089280 66439 1283457024 134512640 134550932 4292460160 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=3760/tid=3768] ppid=3759 vsize=411220 CPUtime=0 /proc/3760/task/3768/stat : 3768 (java) S 3759 3759 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73631154 421089280 66439 1283457024 134512640 134550932 4292460160 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=3760/tid=3769] ppid=3759 vsize=411220 CPUtime=0 /proc/3760/task/3769/stat : 3769 (java) S 3759 3759 22717 34817 22717 4202560 2 0 0 0 0 0 0 0 15 0 10 0 73631154 421089280 66439 1283457024 134512640 134550932 4292460160 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=3760/tid=3770] ppid=3759 vsize=411220 CPUtime=0 /proc/3760/task/3770/stat : 3770 (java) S 3759 3759 22717 34817 22717 4202560 4 0 0 0 0 0 0 0 25 0 10 0 73631526 421089280 66439 1283457024 134512640 134550932 4292460160 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 25.45 Current children cumulated vsize (KiB) 413788 [startup+51.1089 s] /proc/loadavg: 0.93 1.01 1.00 3/45 3773 /proc/meminfo: memFree=5992/1048576 swapFree=0/0 [pid=3759] ppid=3758 vsize=2568 CPUtime=0 /proc/3759/stat : 3759 (gj-user-solver-) S 3758 3759 22717 34817 22717 4202496 370 0 0 0 0 0 0 0 18 0 1 0 73631151 2629632 268 1283457024 134512640 135304128 4290370848 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3759/statm: 642 268 229 194 0 29 0 [pid=3760] ppid=3759 vsize=411220 CPUtime=51.02 /proc/3760/stat : 3760 (java) S 3759 3759 22717 34817 22717 4202496 67293 0 1 0 5079 23 0 0 25 0 10 0 73631151 421089280 66439 1283457024 134512640 134550932 4292460160 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/3760/statm: 102805 66439 2921 10 0 96950 0 [pid=3760/tid=3762] ppid=3759 vsize=411220 CPUtime=48.34 /proc/3760/task/3762/stat : 3762 (java) R 3759 3759 22717 34817 22717 4202560 14554 0 1 0 4829 5 0 0 25 0 10 0 73631152 421089280 66439 1283457024 134512640 134550932 4292460160 18446744073709551615 4115347401 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=3760/tid=3763] ppid=3759 vsize=411220 CPUtime=2.56 /proc/3760/task/3763/stat : 3763 (java) S 3759 3759 22717 34817 22717 4202560 51242 0 0 0 240 16 0 0 16 0 10 0 73631152 421089280 66439 1283457024 134512640 134550932 4292460160 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=3760/tid=3764] ppid=3759 vsize=411220 CPUtime=0 /proc/3760/task/3764/stat : 3764 (java) S 3759 3759 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 73631152 421089280 66439 1283457024 134512640 134550932 4292460160 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=3760/tid=3765] ppid=3759 vsize=411220 CPUtime=0 /proc/3760/task/3765/stat : 3765 (java) S 3759 3759 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73631152 421089280 66439 1283457024 134512640 134550932 4292460160 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=3760/tid=3766] ppid=3759 vsize=411220 CPUtime=0 /proc/3760/task/3766/stat : 3766 (java) S 3759 3759 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73631154 421089280 66439 1283457024 134512640 134550932 4292460160 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=3760/tid=3767] ppid=3759 vsize=411220 CPUtime=0.1 /proc/3760/task/3767/stat : 3767 (java) S 3759 3759 22717 34817 22717 4202560 551 0 0 0 10 0 0 0 16 0 10 0 73631154 421089280 66439 1283457024 134512640 134550932 4292460160 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=3760/tid=3768] ppid=3759 vsize=411220 CPUtime=0 /proc/3760/task/3768/stat : 3768 (java) S 3759 3759 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73631154 421089280 66439 1283457024 134512640 134550932 4292460160 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=3760/tid=3769] ppid=3759 vsize=411220 CPUtime=0 /proc/3760/task/3769/stat : 3769 (java) R 3759 3759 22717 34817 22717 4202560 2 0 0 0 0 0 0 0 15 0 10 0 73631154 421089280 66439 1283457024 134512640 134550932 4292460160 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=3760/tid=3770] ppid=3759 vsize=411220 CPUtime=0 /proc/3760/task/3770/stat : 3770 (java) S 3759 3759 22717 34817 22717 4202560 4 0 0 0 0 0 0 0 25 0 10 0 73631526 421089280 66439 1283457024 134512640 134550932 4292460160 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 51.02 Current children cumulated vsize (KiB) 413788 [startup+102.313 s] /proc/loadavg: 0.97 1.00 1.00 2/44 3773 /proc/meminfo: memFree=5876/1048576 swapFree=0/0 [pid=3759] ppid=3758 vsize=2568 CPUtime=0 /proc/3759/stat : 3759 (gj-user-solver-) S 3758 3759 22717 34817 22717 4202496 370 0 0 0 0 0 0 0 18 0 1 0 73631151 2629632 268 1283457024 134512640 135304128 4290370848 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3759/statm: 642 268 229 194 0 29 0 [pid=3760] ppid=3759 vsize=411220 CPUtime=102.18 /proc/3760/stat : 3760 (java) S 3759 3759 22717 34817 22717 4202496 67299 0 1 0 10192 26 0 0 25 0 10 0 73631151 421089280 66445 1283457024 134512640 134550932 4292460160 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/3760/statm: 102805 66445 2921 10 0 96950 0 [pid=3760/tid=3762] ppid=3759 vsize=411220 CPUtime=99.28 /proc/3760/task/3762/stat : 3762 (java) R 3759 3759 22717 34817 22717 4202560 14554 0 1 0 9921 7 0 0 25 0 10 0 73631152 421089280 66445 1283457024 134512640 134550932 4292460160 18446744073709551615 4115347401 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=3760/tid=3763] ppid=3759 vsize=411220 CPUtime=2.77 /proc/3760/task/3763/stat : 3763 (java) S 3759 3759 22717 34817 22717 4202560 51242 0 0 0 260 17 0 0 16 0 10 0 73631152 421089280 66445 1283457024 134512640 134550932 4292460160 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=3760/tid=3764] ppid=3759 vsize=411220 CPUtime=0 /proc/3760/task/3764/stat : 3764 (java) S 3759 3759 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 73631152 421089280 66445 1283457024 134512640 134550932 4292460160 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=3760/tid=3765] ppid=3759 vsize=411220 CPUtime=0 /proc/3760/task/3765/stat : 3765 (java) S 3759 3759 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73631152 421089280 66445 1283457024 134512640 134550932 4292460160 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=3760/tid=3766] ppid=3759 vsize=411220 CPUtime=0 /proc/3760/task/3766/stat : 3766 (java) S 3759 3759 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73631154 421089280 66445 1283457024 134512640 134550932 4292460160 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=3760/tid=3767] ppid=3759 vsize=411220 CPUtime=0.1 /proc/3760/task/3767/stat : 3767 (java) S 3759 3759 22717 34817 22717 4202560 557 0 0 0 10 0 0 0 15 0 10 0 73631154 421089280 66445 1283457024 134512640 134550932 4292460160 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=3760/tid=3768] ppid=3759 vsize=411220 CPUtime=0 /proc/3760/task/3768/stat : 3768 (java) S 3759 3759 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73631154 421089280 66445 1283457024 134512640 134550932 4292460160 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=3760/tid=3769] ppid=3759 vsize=411220 CPUtime=0 /proc/3760/task/3769/stat : 3769 (java) S 3759 3759 22717 34817 22717 4202560 2 0 0 0 0 0 0 0 15 0 10 0 73631154 421089280 66445 1283457024 134512640 134550932 4292460160 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=3760/tid=3770] ppid=3759 vsize=411220 CPUtime=0 /proc/3760/task/3770/stat : 3770 (java) S 3759 3759 22717 34817 22717 4202560 4 0 0 0 0 0 0 0 25 0 10 0 73631526 421089280 66445 1283457024 134512640 134550932 4292460160 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 102.18 Current children cumulated vsize (KiB) 413788 [startup+162.308 s] /proc/loadavg: 0.99 1.00 1.00 3/44 3773 /proc/meminfo: memFree=5876/1048576 swapFree=0/0 [pid=3759] ppid=3758 vsize=2568 CPUtime=0 /proc/3759/stat : 3759 (gj-user-solver-) S 3758 3759 22717 34817 22717 4202496 370 0 0 0 0 0 0 0 18 0 1 0 73631151 2629632 268 1283457024 134512640 135304128 4290370848 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3759/statm: 642 268 229 194 0 29 0 [pid=3760] ppid=3759 vsize=411220 CPUtime=162.09 /proc/3760/stat : 3760 (java) S 3759 3759 22717 34817 22717 4202496 67299 0 1 0 16180 29 0 0 25 0 10 0 73631151 421089280 66445 1283457024 134512640 134550932 4292460160 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/3760/statm: 102805 66445 2921 10 0 96950 0 [pid=3760/tid=3762] ppid=3759 vsize=411220 CPUtime=158.87 /proc/3760/task/3762/stat : 3762 (java) R 3759 3759 22717 34817 22717 4202560 14554 0 1 0 15877 10 0 0 25 0 10 0 73631152 421089280 66445 1283457024 134512640 134550932 4292460160 18446744073709551615 4115347401 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=3760/tid=3763] ppid=3759 vsize=411220 CPUtime=3.09 /proc/3760/task/3763/stat : 3763 (java) S 3759 3759 22717 34817 22717 4202560 51242 0 0 0 292 17 0 0 16 0 10 0 73631152 421089280 66445 1283457024 134512640 134550932 4292460160 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=3760/tid=3764] ppid=3759 vsize=411220 CPUtime=0 /proc/3760/task/3764/stat : 3764 (java) S 3759 3759 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 15 0 10 0 73631152 421089280 66445 1283457024 134512640 134550932 4292460160 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=3760/tid=3765] ppid=3759 vsize=411220 CPUtime=0 /proc/3760/task/3765/stat : 3765 (java) S 3759 3759 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73631152 421089280 66445 1283457024 134512640 134550932 4292460160 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=3760/tid=3766] ppid=3759 vsize=411220 CPUtime=0 /proc/3760/task/3766/stat : 3766 (java) S 3759 3759 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73631154 421089280 66445 1283457024 134512640 134550932 4292460160 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=3760/tid=3767] ppid=3759 vsize=411220 CPUtime=0.1 /proc/3760/task/3767/stat : 3767 (java) S 3759 3759 22717 34817 22717 4202560 557 0 0 0 10 0 0 0 15 0 10 0 73631154 421089280 66445 1283457024 134512640 134550932 4292460160 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=3760/tid=3768] ppid=3759 vsize=411220 CPUtime=0 /proc/3760/task/3768/stat : 3768 (java) S 3759 3759 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73631154 421089280 66445 1283457024 134512640 134550932 4292460160 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=3760/tid=3769] ppid=3759 vsize=411220 CPUtime=0 /proc/3760/task/3769/stat : 3769 (java) S 3759 3759 22717 34817 22717 4202560 2 0 0 0 0 0 0 0 15 0 10 0 73631154 421089280 66445 1283457024 134512640 134550932 4292460160 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=3760/tid=3770] ppid=3759 vsize=411220 CPUtime=0 /proc/3760/task/3770/stat : 3770 (java) S 3759 3759 22717 34817 22717 4202560 4 0 0 0 0 0 0 0 25 0 10 0 73631526 421089280 66445 1283457024 134512640 134550932 4292460160 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 162.09 Current children cumulated vsize (KiB) 413788 [startup+222.305 s] /proc/loadavg: 0.99 1.00 1.00 2/44 3773 /proc/meminfo: memFree=5876/1048576 swapFree=0/0 [pid=3759] ppid=3758 vsize=2568 CPUtime=0 /proc/3759/stat : 3759 (gj-user-solver-) S 3758 3759 22717 34817 22717 4202496 370 0 0 0 0 0 0 0 18 0 1 0 73631151 2629632 268 1283457024 134512640 135304128 4290370848 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3759/statm: 642 268 229 194 0 29 0 [pid=3760] ppid=3759 vsize=411220 CPUtime=222 /proc/3760/stat : 3760 (java) S 3759 3759 22717 34817 22717 4202496 67299 0 1 0 22170 30 0 0 25 0 10 0 73631151 421089280 66445 1283457024 134512640 134550932 4292460160 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/3760/statm: 102805 66445 2921 10 0 96950 0 [pid=3760/tid=3762] ppid=3759 vsize=411220 CPUtime=218.57 /proc/3760/task/3762/stat : 3762 (java) R 3759 3759 22717 34817 22717 4202560 14554 0 1 0 21846 11 0 0 25 0 10 0 73631152 421089280 66445 1283457024 134512640 134550932 4292460160 18446744073709551615 4115363384 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=3760/tid=3763] ppid=3759 vsize=411220 CPUtime=3.3 /proc/3760/task/3763/stat : 3763 (java) S 3759 3759 22717 34817 22717 4202560 51242 0 0 0 313 17 0 0 16 0 10 0 73631152 421089280 66445 1283457024 134512640 134550932 4292460160 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=3760/tid=3764] ppid=3759 vsize=411220 CPUtime=0 /proc/3760/task/3764/stat : 3764 (java) S 3759 3759 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 15 0 10 0 73631152 421089280 66445 1283457024 134512640 134550932 4292460160 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=3760/tid=3765] ppid=3759 vsize=411220 CPUtime=0 /proc/3760/task/3765/stat : 3765 (java) S 3759 3759 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73631152 421089280 66445 1283457024 134512640 134550932 4292460160 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=3760/tid=3766] ppid=3759 vsize=411220 CPUtime=0 /proc/3760/task/3766/stat : 3766 (java) S 3759 3759 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73631154 421089280 66445 1283457024 134512640 134550932 4292460160 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=3760/tid=3767] ppid=3759 vsize=411220 CPUtime=0.1 /proc/3760/task/3767/stat : 3767 (java) S 3759 3759 22717 34817 22717 4202560 557 0 0 0 10 0 0 0 15 0 10 0 73631154 421089280 66445 1283457024 134512640 134550932 4292460160 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=3760/tid=3768] ppid=3759 vsize=411220 CPUtime=0 /proc/3760/task/3768/stat : 3768 (java) S 3759 3759 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73631154 421089280 66445 1283457024 134512640 134550932 4292460160 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=3760/tid=3769] ppid=3759 vsize=411220 CPUtime=0 /proc/3760/task/3769/stat : 3769 (java) S 3759 3759 22717 34817 22717 4202560 2 0 0 0 0 0 0 0 15 0 10 0 73631154 421089280 66445 1283457024 134512640 134550932 4292460160 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=3760/tid=3770] ppid=3759 vsize=411220 CPUtime=0 /proc/3760/task/3770/stat : 3770 (java) S 3759 3759 22717 34817 22717 4202560 4 0 0 0 0 0 0 0 25 0 10 0 73631526 421089280 66445 1283457024 134512640 134550932 4292460160 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 222 Current children cumulated vsize (KiB) 413788 [startup+282.311 s] /proc/loadavg: 1.04 1.01 1.00 2/44 3773 /proc/meminfo: memFree=5876/1048576 swapFree=0/0 [pid=3759] ppid=3758 vsize=2568 CPUtime=0 /proc/3759/stat : 3759 (gj-user-solver-) S 3758 3759 22717 34817 22717 4202496 370 0 0 0 0 0 0 0 18 0 1 0 73631151 2629632 268 1283457024 134512640 135304128 4290370848 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3759/statm: 642 268 229 194 0 29 0 [pid=3760] ppid=3759 vsize=411220 CPUtime=281.94 /proc/3760/stat : 3760 (java) S 3759 3759 22717 34817 22717 4202496 67299 0 1 0 28162 32 0 0 25 0 10 0 73631151 421089280 66445 1283457024 134512640 134550932 4292460160 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/3760/statm: 102805 66445 2921 10 0 96950 0 [pid=3760/tid=3762] ppid=3759 vsize=411220 CPUtime=278.3 /proc/3760/task/3762/stat : 3762 (java) R 3759 3759 22717 34817 22717 4202560 14554 0 1 0 27818 12 0 0 25 0 10 0 73631152 421089280 66445 1283457024 134512640 134550932 4292460160 18446744073709551615 4115347401 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=3760/tid=3763] ppid=3759 vsize=411220 CPUtime=3.51 /proc/3760/task/3763/stat : 3763 (java) S 3759 3759 22717 34817 22717 4202560 51242 0 0 0 333 18 0 0 15 0 10 0 73631152 421089280 66445 1283457024 134512640 134550932 4292460160 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=3760/tid=3764] ppid=3759 vsize=411220 CPUtime=0 /proc/3760/task/3764/stat : 3764 (java) S 3759 3759 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 15 0 10 0 73631152 421089280 66445 1283457024 134512640 134550932 4292460160 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=3760/tid=3765] ppid=3759 vsize=411220 CPUtime=0 /proc/3760/task/3765/stat : 3765 (java) S 3759 3759 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73631152 421089280 66445 1283457024 134512640 134550932 4292460160 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=3760/tid=3766] ppid=3759 vsize=411220 CPUtime=0 /proc/3760/task/3766/stat : 3766 (java) S 3759 3759 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73631154 421089280 66445 1283457024 134512640 134550932 4292460160 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=3760/tid=3767] ppid=3759 vsize=411220 CPUtime=0.1 /proc/3760/task/3767/stat : 3767 (java) S 3759 3759 22717 34817 22717 4202560 557 0 0 0 10 0 0 0 15 0 10 0 73631154 421089280 66445 1283457024 134512640 134550932 4292460160 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=3760/tid=3768] ppid=3759 vsize=411220 CPUtime=0 /proc/3760/task/3768/stat : 3768 (java) S 3759 3759 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73631154 421089280 66445 1283457024 134512640 134550932 4292460160 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=3760/tid=3769] ppid=3759 vsize=411220 CPUtime=0 /proc/3760/task/3769/stat : 3769 (java) S 3759 3759 22717 34817 22717 4202560 2 0 0 0 0 0 0 0 15 0 10 0 73631154 421089280 66445 1283457024 134512640 134550932 4292460160 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=3760/tid=3770] ppid=3759 vsize=411220 CPUtime=0 /proc/3760/task/3770/stat : 3770 (java) S 3759 3759 22717 34817 22717 4202560 4 0 0 0 0 0 0 0 25 0 10 0 73631526 421089280 66445 1283457024 134512640 134550932 4292460160 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 281.94 Current children cumulated vsize (KiB) 413788 Solver just ended. Dumping a history of the last processes samples [startup+283.011 s] /proc/loadavg: 1.04 1.01 1.00 2/44 3773 /proc/meminfo: memFree=5876/1048576 swapFree=0/0 [pid=3759] ppid=3758 vsize=2568 CPUtime=0 /proc/3759/stat : 3759 (gj-user-solver-) S 3758 3759 22717 34817 22717 4202496 370 0 0 0 0 0 0 0 18 0 1 0 73631151 2629632 268 1283457024 134512640 135304128 4290370848 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3759/statm: 642 268 229 194 0 29 0 [pid=3760] ppid=3759 vsize=411220 CPUtime=282.64 /proc/3760/stat : 3760 (java) S 3759 3759 22717 34817 22717 4202496 67299 0 1 0 28232 32 0 0 25 0 10 0 73631151 421089280 66445 1283457024 134512640 134550932 4292460160 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/3760/statm: 102805 66445 2921 10 0 96950 0 [pid=3760/tid=3762] ppid=3759 vsize=411220 CPUtime=278.99 /proc/3760/task/3762/stat : 3762 (java) R 3759 3759 22717 34817 22717 4202560 14554 0 1 0 27887 12 0 0 25 0 10 0 73631152 421089280 66445 1283457024 134512640 134550932 4292460160 18446744073709551615 4115363397 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=3760/tid=3763] ppid=3759 vsize=411220 CPUtime=3.52 /proc/3760/task/3763/stat : 3763 (java) S 3759 3759 22717 34817 22717 4202560 51242 0 0 0 334 18 0 0 16 0 10 0 73631152 421089280 66445 1283457024 134512640 134550932 4292460160 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=3760/tid=3764] ppid=3759 vsize=411220 CPUtime=0 /proc/3760/task/3764/stat : 3764 (java) S 3759 3759 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 15 0 10 0 73631152 421089280 66445 1283457024 134512640 134550932 4292460160 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=3760/tid=3765] ppid=3759 vsize=411220 CPUtime=0 /proc/3760/task/3765/stat : 3765 (java) S 3759 3759 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73631152 421089280 66445 1283457024 134512640 134550932 4292460160 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=3760/tid=3766] ppid=3759 vsize=411220 CPUtime=0 /proc/3760/task/3766/stat : 3766 (java) S 3759 3759 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73631154 421089280 66445 1283457024 134512640 134550932 4292460160 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=3760/tid=3767] ppid=3759 vsize=411220 CPUtime=0.1 /proc/3760/task/3767/stat : 3767 (java) S 3759 3759 22717 34817 22717 4202560 557 0 0 0 10 0 0 0 15 0 10 0 73631154 421089280 66445 1283457024 134512640 134550932 4292460160 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=3760/tid=3768] ppid=3759 vsize=411220 CPUtime=0 /proc/3760/task/3768/stat : 3768 (java) S 3759 3759 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73631154 421089280 66445 1283457024 134512640 134550932 4292460160 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=3760/tid=3769] ppid=3759 vsize=411220 CPUtime=0 /proc/3760/task/3769/stat : 3769 (java) S 3759 3759 22717 34817 22717 4202560 2 0 0 0 0 0 0 0 15 0 10 0 73631154 421089280 66445 1283457024 134512640 134550932 4292460160 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=3760/tid=3770] ppid=3759 vsize=411220 CPUtime=0 /proc/3760/task/3770/stat : 3770 (java) S 3759 3759 22717 34817 22717 4202560 4 0 0 0 0 0 0 0 25 0 10 0 73631526 421089280 66445 1283457024 134512640 134550932 4292460160 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 282.64 Current children cumulated vsize (KiB) 413788 [startup+284.611 s] /proc/loadavg: 1.04 1.01 1.00 2/44 3773 /proc/meminfo: memFree=5876/1048576 swapFree=0/0 [pid=3759] ppid=3758 vsize=2568 CPUtime=0 /proc/3759/stat : 3759 (gj-user-solver-) S 3758 3759 22717 34817 22717 4202496 370 0 0 0 0 0 0 0 18 0 1 0 73631151 2629632 268 1283457024 134512640 135304128 4290370848 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3759/statm: 642 268 229 194 0 29 0 [pid=3760] ppid=3759 vsize=411220 CPUtime=284.24 /proc/3760/stat : 3760 (java) S 3759 3759 22717 34817 22717 4202496 67299 0 1 0 28392 32 0 0 25 0 10 0 73631151 421089280 66445 1283457024 134512640 134550932 4292460160 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/3760/statm: 102805 66445 2921 10 0 96950 0 [pid=3760/tid=3762] ppid=3759 vsize=411220 CPUtime=280.58 /proc/3760/task/3762/stat : 3762 (java) R 3759 3759 22717 34817 22717 4202560 14554 0 1 0 28046 12 0 0 25 0 10 0 73631152 421089280 66445 1283457024 134512640 134550932 4292460160 18446744073709551615 4115363397 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=3760/tid=3763] ppid=3759 vsize=411220 CPUtime=3.53 /proc/3760/task/3763/stat : 3763 (java) S 3759 3759 22717 34817 22717 4202560 51242 0 0 0 335 18 0 0 16 0 10 0 73631152 421089280 66445 1283457024 134512640 134550932 4292460160 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=3760/tid=3764] ppid=3759 vsize=411220 CPUtime=0 /proc/3760/task/3764/stat : 3764 (java) S 3759 3759 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 15 0 10 0 73631152 421089280 66445 1283457024 134512640 134550932 4292460160 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=3760/tid=3765] ppid=3759 vsize=411220 CPUtime=0 /proc/3760/task/3765/stat : 3765 (java) S 3759 3759 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73631152 421089280 66445 1283457024 134512640 134550932 4292460160 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=3760/tid=3766] ppid=3759 vsize=411220 CPUtime=0 /proc/3760/task/3766/stat : 3766 (java) S 3759 3759 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73631154 421089280 66445 1283457024 134512640 134550932 4292460160 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=3760/tid=3767] ppid=3759 vsize=411220 CPUtime=0.1 /proc/3760/task/3767/stat : 3767 (java) S 3759 3759 22717 34817 22717 4202560 557 0 0 0 10 0 0 0 15 0 10 0 73631154 421089280 66445 1283457024 134512640 134550932 4292460160 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=3760/tid=3768] ppid=3759 vsize=411220 CPUtime=0 /proc/3760/task/3768/stat : 3768 (java) S 3759 3759 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73631154 421089280 66445 1283457024 134512640 134550932 4292460160 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=3760/tid=3769] ppid=3759 vsize=411220 CPUtime=0 /proc/3760/task/3769/stat : 3769 (java) S 3759 3759 22717 34817 22717 4202560 2 0 0 0 0 0 0 0 15 0 10 0 73631154 421089280 66445 1283457024 134512640 134550932 4292460160 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=3760/tid=3770] ppid=3759 vsize=411220 CPUtime=0 /proc/3760/task/3770/stat : 3770 (java) S 3759 3759 22717 34817 22717 4202560 4 0 0 0 0 0 0 0 25 0 10 0 73631526 421089280 66445 1283457024 134512640 134550932 4292460160 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 284.24 Current children cumulated vsize (KiB) 413788 [startup+285.011 s] /proc/loadavg: 1.04 1.01 1.00 2/44 3773 /proc/meminfo: memFree=5876/1048576 swapFree=0/0 [pid=3759] ppid=3758 vsize=2568 CPUtime=0 /proc/3759/stat : 3759 (gj-user-solver-) S 3758 3759 22717 34817 22717 4202496 370 0 0 0 0 0 0 0 18 0 1 0 73631151 2629632 268 1283457024 134512640 135304128 4290370848 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3759/statm: 642 268 229 194 0 29 0 [pid=3760] ppid=3759 vsize=411220 CPUtime=284.64 /proc/3760/stat : 3760 (java) S 3759 3759 22717 34817 22717 4202496 67299 0 1 0 28432 32 0 0 25 0 10 0 73631151 421089280 66445 1283457024 134512640 134550932 4292460160 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/3760/statm: 102805 66445 2921 10 0 96950 0 [pid=3760/tid=3762] ppid=3759 vsize=411220 CPUtime=280.98 /proc/3760/task/3762/stat : 3762 (java) R 3759 3759 22717 34817 22717 4202560 14554 0 1 0 28086 12 0 0 25 0 10 0 73631152 421089280 66445 1283457024 134512640 134550932 4292460160 18446744073709551615 4115347388 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=3760/tid=3763] ppid=3759 vsize=411220 CPUtime=3.53 /proc/3760/task/3763/stat : 3763 (java) S 3759 3759 22717 34817 22717 4202560 51242 0 0 0 335 18 0 0 16 0 10 0 73631152 421089280 66445 1283457024 134512640 134550932 4292460160 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=3760/tid=3764] ppid=3759 vsize=411220 CPUtime=0 /proc/3760/task/3764/stat : 3764 (java) S 3759 3759 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 15 0 10 0 73631152 421089280 66445 1283457024 134512640 134550932 4292460160 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=3760/tid=3765] ppid=3759 vsize=411220 CPUtime=0 /proc/3760/task/3765/stat : 3765 (java) S 3759 3759 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73631152 421089280 66445 1283457024 134512640 134550932 4292460160 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=3760/tid=3766] ppid=3759 vsize=411220 CPUtime=0 /proc/3760/task/3766/stat : 3766 (java) S 3759 3759 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73631154 421089280 66445 1283457024 134512640 134550932 4292460160 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=3760/tid=3767] ppid=3759 vsize=411220 CPUtime=0.1 /proc/3760/task/3767/stat : 3767 (java) S 3759 3759 22717 34817 22717 4202560 557 0 0 0 10 0 0 0 15 0 10 0 73631154 421089280 66445 1283457024 134512640 134550932 4292460160 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=3760/tid=3768] ppid=3759 vsize=411220 CPUtime=0 /proc/3760/task/3768/stat : 3768 (java) S 3759 3759 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73631154 421089280 66445 1283457024 134512640 134550932 4292460160 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=3760/tid=3769] ppid=3759 vsize=411220 CPUtime=0 /proc/3760/task/3769/stat : 3769 (java) S 3759 3759 22717 34817 22717 4202560 2 0 0 0 0 0 0 0 15 0 10 0 73631154 421089280 66445 1283457024 134512640 134550932 4292460160 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=3760/tid=3770] ppid=3759 vsize=411220 CPUtime=0 /proc/3760/task/3770/stat : 3770 (java) S 3759 3759 22717 34817 22717 4202560 4 0 0 0 0 0 0 0 25 0 10 0 73631526 421089280 66445 1283457024 134512640 134550932 4292460160 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 284.64 Current children cumulated vsize (KiB) 413788 [startup+285.412 s] /proc/loadavg: 1.04 1.01 1.00 2/44 3773 /proc/meminfo: memFree=5876/1048576 swapFree=0/0 [pid=3759] ppid=3758 vsize=2568 CPUtime=0 /proc/3759/stat : 3759 (gj-user-solver-) S 3758 3759 22717 34817 22717 4202496 370 0 0 0 0 0 0 0 18 0 1 0 73631151 2629632 268 1283457024 134512640 135304128 4290370848 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3759/statm: 642 268 229 194 0 29 0 [pid=3760] ppid=3759 vsize=411220 CPUtime=285.04 /proc/3760/stat : 3760 (java) S 3759 3759 22717 34817 22717 4202496 67300 0 1 0 28472 32 0 0 25 0 9 0 73631151 421089280 66446 1283457024 134512640 134550932 4292460160 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/3760/statm: 102805 66446 2922 10 0 96950 0 [pid=3760/tid=3762] ppid=3759 vsize=411220 CPUtime=281.38 /proc/3760/task/3762/stat : 3762 (java) R 3759 3759 22717 34817 22717 4202560 14554 0 1 0 28126 12 0 0 25 0 9 0 73631152 421089280 66446 1283457024 134512640 134550932 4292460160 18446744073709551615 4115363397 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=3760/tid=3763] ppid=3759 vsize=411220 CPUtime=3.53 /proc/3760/task/3763/stat : 3763 (java) S 3759 3759 22717 34817 22717 4202560 51242 0 0 0 335 18 0 0 15 0 9 0 73631152 421089280 66446 1283457024 134512640 134550932 4292460160 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=3760/tid=3764] ppid=3759 vsize=411220 CPUtime=0 /proc/3760/task/3764/stat : 3764 (java) S 3759 3759 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 15 0 9 0 73631152 421089280 66446 1283457024 134512640 134550932 4292460160 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=3760/tid=3765] ppid=3759 vsize=411220 CPUtime=0 /proc/3760/task/3765/stat : 3765 (java) S 3759 3759 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 9 0 73631152 421089280 66446 1283457024 134512640 134550932 4292460160 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=3760/tid=3766] ppid=3759 vsize=411220 CPUtime=0 /proc/3760/task/3766/stat : 3766 (java) S 3759 3759 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 73631154 421089280 66446 1283457024 134512640 134550932 4292460160 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=3760/tid=3767] ppid=3759 vsize=411220 CPUtime=0.1 /proc/3760/task/3767/stat : 3767 (java) S 3759 3759 22717 34817 22717 4202560 557 0 0 0 10 0 0 0 15 0 9 0 73631154 421089280 66446 1283457024 134512640 134550932 4292460160 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=3760/tid=3768] ppid=3759 vsize=411220 CPUtime=0 /proc/3760/task/3768/stat : 3768 (java) S 3759 3759 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 73631154 421089280 66446 1283457024 134512640 134550932 4292460160 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=3760/tid=3769] ppid=3759 vsize=411220 CPUtime=0 /proc/3760/task/3769/stat : 3769 (java) S 3759 3759 22717 34817 22717 4202560 2 0 0 0 0 0 0 0 15 0 9 0 73631154 421089280 66446 1283457024 134512640 134550932 4292460160 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 285.04 Current children cumulated vsize (KiB) 413788 [startup+285.512 s] /proc/loadavg: 1.04 1.01 1.00 2/44 3773 /proc/meminfo: memFree=5876/1048576 swapFree=0/0 [pid=3759] ppid=3758 vsize=2568 CPUtime=0 /proc/3759/stat : 3759 (gj-user-solver-) S 3758 3759 22717 34817 22717 4202496 370 0 0 0 0 0 0 0 18 0 1 0 73631151 2629632 268 1283457024 134512640 135304128 4290370848 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3759/statm: 642 268 229 194 0 29 0 [pid=3760] ppid=3759 vsize=411220 CPUtime=285.14 /proc/3760/stat : 3760 (java) S 3759 3759 22717 34817 22717 4202496 67300 0 1 0 28482 32 0 0 25 0 9 0 73631151 421089280 66446 1283457024 134512640 134550932 4292460160 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/3760/statm: 102805 66446 2922 10 0 96950 0 [pid=3760/tid=3762] ppid=3759 vsize=411220 CPUtime=281.48 /proc/3760/task/3762/stat : 3762 (java) R 3759 3759 22717 34817 22717 4202560 14554 0 1 0 28136 12 0 0 25 0 9 0 73631152 421089280 66446 1283457024 134512640 134550932 4292460160 18446744073709551615 4115326742 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=3760/tid=3763] ppid=3759 vsize=411220 CPUtime=3.53 /proc/3760/task/3763/stat : 3763 (java) S 3759 3759 22717 34817 22717 4202560 51242 0 0 0 335 18 0 0 15 0 9 0 73631152 421089280 66446 1283457024 134512640 134550932 4292460160 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=3760/tid=3764] ppid=3759 vsize=411220 CPUtime=0 /proc/3760/task/3764/stat : 3764 (java) S 3759 3759 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 15 0 9 0 73631152 421089280 66446 1283457024 134512640 134550932 4292460160 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=3760/tid=3765] ppid=3759 vsize=411220 CPUtime=0 /proc/3760/task/3765/stat : 3765 (java) S 3759 3759 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 9 0 73631152 421089280 66446 1283457024 134512640 134550932 4292460160 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=3760/tid=3766] ppid=3759 vsize=411220 CPUtime=0 /proc/3760/task/3766/stat : 3766 (java) S 3759 3759 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 73631154 421089280 66446 1283457024 134512640 134550932 4292460160 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=3760/tid=3767] ppid=3759 vsize=411220 CPUtime=0.1 /proc/3760/task/3767/stat : 3767 (java) S 3759 3759 22717 34817 22717 4202560 557 0 0 0 10 0 0 0 15 0 9 0 73631154 421089280 66446 1283457024 134512640 134550932 4292460160 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=3760/tid=3768] ppid=3759 vsize=411220 CPUtime=0 /proc/3760/task/3768/stat : 3768 (java) S 3759 3759 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 73631154 421089280 66446 1283457024 134512640 134550932 4292460160 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=3760/tid=3769] ppid=3759 vsize=411220 CPUtime=0 /proc/3760/task/3769/stat : 3769 (java) S 3759 3759 22717 34817 22717 4202560 2 0 0 0 0 0 0 0 15 0 9 0 73631154 421089280 66446 1283457024 134512640 134550932 4292460160 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 285.14 Current children cumulated vsize (KiB) 413788 Child status: 0 Real time (s): 285.553 CPU time (s): 285.166 CPU user time (s): 284.83 CPU system time (s): 0.336021 CPU usage (%): 99.8644 Max. virtual memory (cumulated for all children) (KiB): 413788 getrusage(RUSAGE_CHILDREN,...) data: user time used= 284.83 system time used= 0.336021 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 67685 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= 6893 involuntary context switches= 10081 runsolver used 0 second user time and 0 second system time The end