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/rand796.cudf.user-upgrades.log.runsolver ./gj-user-solver-1.0 /home/misc2010/data/2011/user-upgrades/rand796.cudf /home/misc2010/tmp/201109011757/gj-user-solver-1.0/rand796.cudf.user-upgrades.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.15 1.03 1.01 4/36 30827 /proc/meminfo: memFree=455084/1048576 swapFree=0/0 [pid=30826] ppid=30825 vsize=2568 CPUtime=0 /proc/30826/stat : 30826 (gj-user-solver-) S 30825 30826 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 72826793 2629632 269 1283457024 134512640 135304128 4294166768 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30826/statm: 642 269 229 194 0 29 0 [pid=30827] ppid=30826 vsize=184 CPUtime=0 /proc/30827/stat : 30827 (java) R 30826 30826 22717 34817 22717 4194304 285 0 0 0 0 0 0 0 25 0 1 0 72826793 188416 34 1283457024 134512640 134550932 4294514848 18446744073709551615 4160441054 0 0 0 0 0 0 0 17 0 0 0 0 /proc/30827/statm: 46 34 26 10 0 6 0 [startup+0.163419 s] /proc/loadavg: 1.15 1.03 1.01 4/36 30827 /proc/meminfo: memFree=455084/1048576 swapFree=0/0 [pid=30826] ppid=30825 vsize=2568 CPUtime=0 /proc/30826/stat : 30826 (gj-user-solver-) S 30825 30826 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 72826793 2629632 269 1283457024 134512640 135304128 4294166768 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30826/statm: 642 269 229 194 0 29 0 [pid=30827] ppid=30826 vsize=409920 CPUtime=0.16 /proc/30827/stat : 30827 (java) S 30826 30826 22717 34817 22717 4202496 3990 0 1 0 13 3 0 0 25 0 9 0 72826793 419758080 3418 1283457024 134512640 134550932 4294514848 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/30827/statm: 102480 3418 1918 10 0 96628 0 Current children cumulated CPU time (s) 0.16 Current children cumulated vsize (KiB) 412488 [startup+0.21343 s] /proc/loadavg: 1.15 1.03 1.01 4/36 30827 /proc/meminfo: memFree=455084/1048576 swapFree=0/0 [pid=30826] ppid=30825 vsize=2568 CPUtime=0 /proc/30826/stat : 30826 (gj-user-solver-) S 30825 30826 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 72826793 2629632 269 1283457024 134512640 135304128 4294166768 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30826/statm: 642 269 229 194 0 29 0 [pid=30827] ppid=30826 vsize=409920 CPUtime=0.21 /proc/30827/stat : 30827 (java) S 30826 30826 22717 34817 22717 4202496 4100 0 1 0 18 3 0 0 25 0 9 0 72826793 419758080 3528 1283457024 134512640 134550932 4294514848 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/30827/statm: 102480 3528 1918 10 0 96628 0 Current children cumulated CPU time (s) 0.21 Current children cumulated vsize (KiB) 412488 [startup+0.303462 s] /proc/loadavg: 1.15 1.03 1.01 4/36 30827 /proc/meminfo: memFree=455084/1048576 swapFree=0/0 [pid=30826] ppid=30825 vsize=2568 CPUtime=0 /proc/30826/stat : 30826 (gj-user-solver-) S 30825 30826 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 72826793 2629632 269 1283457024 134512640 135304128 4294166768 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30826/statm: 642 269 229 194 0 29 0 [pid=30827] ppid=30826 vsize=410476 CPUtime=0.3 /proc/30827/stat : 30827 (java) S 30826 30826 22717 34817 22717 4202496 4443 0 1 0 27 3 0 0 25 0 9 0 72826793 420327424 3871 1283457024 134512640 134550932 4294514848 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/30827/statm: 102619 3871 1945 10 0 96767 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 413044 [startup+0.703568 s] /proc/loadavg: 1.15 1.03 1.01 4/36 30827 /proc/meminfo: memFree=455084/1048576 swapFree=0/0 [pid=30826] ppid=30825 vsize=2568 CPUtime=0 /proc/30826/stat : 30826 (gj-user-solver-) S 30825 30826 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 72826793 2629632 269 1283457024 134512640 135304128 4294166768 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30826/statm: 642 269 229 194 0 29 0 [pid=30827] ppid=30826 vsize=410752 CPUtime=0.7 /proc/30827/stat : 30827 (java) S 30826 30826 22717 34817 22717 4202496 12286 0 1 0 64 6 0 0 25 0 9 0 72826793 420610048 11527 1283457024 134512640 134550932 4294514848 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/30827/statm: 102688 11527 2901 10 0 96836 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 413320 [startup+1.5038 s] /proc/loadavg: 1.15 1.03 1.01 2/45 30836 /proc/meminfo: memFree=396660/1048576 swapFree=0/0 [pid=30826] ppid=30825 vsize=2568 CPUtime=0 /proc/30826/stat : 30826 (gj-user-solver-) S 30825 30826 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 72826793 2629632 269 1283457024 134512640 135304128 4294166768 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30826/statm: 642 269 229 194 0 29 0 [pid=30827] ppid=30826 vsize=410752 CPUtime=1.5 /proc/30827/stat : 30827 (java) S 30826 30826 22717 34817 22717 4202496 26272 0 1 0 137 13 0 0 25 0 9 0 72826793 420610048 25513 1283457024 134512640 134550932 4294514848 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/30827/statm: 102688 25513 2901 10 0 96836 0 [pid=30827/tid=30829] ppid=30826 vsize=410752 CPUtime=0.81 /proc/30827/task/30829/stat : 30829 (java) R 30826 30826 22717 34817 22717 4202560 6712 0 1 0 76 5 0 0 25 0 9 0 72826794 420610048 25513 1283457024 134512640 134550932 4294514848 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=30827/tid=30830] ppid=30826 vsize=410752 CPUtime=0.64 /proc/30827/task/30830/stat : 30830 (java) R 30826 30826 22717 34817 22717 4202560 18172 0 0 0 57 7 0 0 18 0 9 0 72826795 420610048 25513 1283457024 134512640 134550932 4294514848 18446744073709551615 4151273400 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=30827/tid=30831] ppid=30826 vsize=410752 CPUtime=0 /proc/30827/task/30831/stat : 30831 (java) S 30826 30826 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 20 0 9 0 72826795 420610048 25513 1283457024 134512640 134550932 4294514848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=30827/tid=30832] ppid=30826 vsize=410752 CPUtime=0 /proc/30827/task/30832/stat : 30832 (java) S 30826 30826 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 20 0 9 0 72826795 420610048 25513 1283457024 134512640 134550932 4294514848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=30827/tid=30833] ppid=30826 vsize=410752 CPUtime=0 /proc/30827/task/30833/stat : 30833 (java) S 30826 30826 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 72826796 420610048 25513 1283457024 134512640 134550932 4294514848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=30827/tid=30834] ppid=30826 vsize=410752 CPUtime=0.03 /proc/30827/task/30834/stat : 30834 (java) S 30826 30826 22717 34817 22717 4202560 448 0 0 0 3 0 0 0 16 0 9 0 72826796 420610048 25513 1283457024 134512640 134550932 4294514848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=30827/tid=30835] ppid=30826 vsize=410752 CPUtime=0 /proc/30827/task/30835/stat : 30835 (java) S 30826 30826 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 72826796 420610048 25513 1283457024 134512640 134550932 4294514848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=30827/tid=30836] ppid=30826 vsize=410752 CPUtime=0 /proc/30827/task/30836/stat : 30836 (java) S 30826 30826 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 9 0 72826796 420610048 25513 1283457024 134512640 134550932 4294514848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 413320 [startup+3.10423 s] /proc/loadavg: 1.15 1.03 1.01 2/45 30836 /proc/meminfo: memFree=324864/1048576 swapFree=0/0 [pid=30826] ppid=30825 vsize=2568 CPUtime=0 /proc/30826/stat : 30826 (gj-user-solver-) S 30825 30826 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 72826793 2629632 269 1283457024 134512640 135304128 4294166768 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30826/statm: 642 269 229 194 0 29 0 [pid=30827] ppid=30826 vsize=410752 CPUtime=3.1 /proc/30827/stat : 30827 (java) S 30826 30826 22717 34817 22717 4202496 48418 0 1 0 289 21 0 0 25 0 9 0 72826793 420610048 47659 1283457024 134512640 134550932 4294514848 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/30827/statm: 102688 47659 2901 10 0 96836 0 [pid=30827/tid=30829] ppid=30826 vsize=410752 CPUtime=1.45 /proc/30827/task/30829/stat : 30829 (java) R 30826 30826 22717 34817 22717 4202560 13865 0 1 0 136 9 0 0 25 0 9 0 72826794 420610048 47659 1283457024 134512640 134550932 4294514848 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=30827/tid=30830] ppid=30826 vsize=410752 CPUtime=1.6 /proc/30827/task/30830/stat : 30830 (java) R 30826 30826 22717 34817 22717 4202560 33162 0 0 0 149 11 0 0 16 0 9 0 72826795 420610048 47659 1283457024 134512640 134550932 4294514848 18446744073709551615 4151273400 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=30827/tid=30831] ppid=30826 vsize=410752 CPUtime=0 /proc/30827/task/30831/stat : 30831 (java) S 30826 30826 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 20 0 9 0 72826795 420610048 47659 1283457024 134512640 134550932 4294514848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=30827/tid=30832] ppid=30826 vsize=410752 CPUtime=0 /proc/30827/task/30832/stat : 30832 (java) S 30826 30826 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 20 0 9 0 72826795 420610048 47659 1283457024 134512640 134550932 4294514848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=30827/tid=30833] ppid=30826 vsize=410752 CPUtime=0 /proc/30827/task/30833/stat : 30833 (java) S 30826 30826 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 72826796 420610048 47659 1283457024 134512640 134550932 4294514848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=30827/tid=30834] ppid=30826 vsize=410752 CPUtime=0.03 /proc/30827/task/30834/stat : 30834 (java) S 30826 30826 22717 34817 22717 4202560 451 0 0 0 3 0 0 0 15 0 9 0 72826796 420610048 47659 1283457024 134512640 134550932 4294514848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=30827/tid=30835] ppid=30826 vsize=410752 CPUtime=0 /proc/30827/task/30835/stat : 30835 (java) S 30826 30826 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 72826796 420610048 47659 1283457024 134512640 134550932 4294514848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=30827/tid=30836] ppid=30826 vsize=410752 CPUtime=0 /proc/30827/task/30836/stat : 30836 (java) S 30826 30826 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 9 0 72826796 420610048 47659 1283457024 134512640 134550932 4294514848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 413320 [startup+6.30512 s] /proc/loadavg: 1.22 1.05 1.02 3/45 30836 /proc/meminfo: memFree=190828/1048576 swapFree=0/0 [pid=30826] ppid=30825 vsize=2568 CPUtime=0 /proc/30826/stat : 30826 (gj-user-solver-) S 30825 30826 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 72826793 2629632 269 1283457024 134512640 135304128 4294166768 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30826/statm: 642 269 229 194 0 29 0 [pid=30827] ppid=30826 vsize=439924 CPUtime=6.3 /proc/30827/stat : 30827 (java) S 30826 30826 22717 34817 22717 4202496 78235 0 1 0 600 30 0 0 25 0 9 0 72826793 450482176 77470 1283457024 134512640 134550932 4294514848 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/30827/statm: 109981 77470 2902 10 0 104129 0 [pid=30827/tid=30829] ppid=30826 vsize=439924 CPUtime=2.33 /proc/30827/task/30829/stat : 30829 (java) R 30826 30826 22717 34817 22717 4202560 13882 0 1 0 222 11 0 0 25 0 9 0 72826794 450482176 77470 1283457024 134512640 134550932 4294514848 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=30827/tid=30830] ppid=30826 vsize=439924 CPUtime=3.9 /proc/30827/task/30830/stat : 30830 (java) R 30826 30826 22717 34817 22717 4202560 62944 0 0 0 372 18 0 0 16 0 9 0 72826795 450482176 77470 1283457024 134512640 134550932 4294514848 18446744073709551615 4153383285 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=30827/tid=30831] ppid=30826 vsize=439924 CPUtime=0 /proc/30827/task/30831/stat : 30831 (java) S 30826 30826 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 20 0 9 0 72826795 450482176 77470 1283457024 134512640 134550932 4294514848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=30827/tid=30832] ppid=30826 vsize=439924 CPUtime=0 /proc/30827/task/30832/stat : 30832 (java) S 30826 30826 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 20 0 9 0 72826795 450482176 77470 1283457024 134512640 134550932 4294514848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=30827/tid=30833] ppid=30826 vsize=439924 CPUtime=0 /proc/30827/task/30833/stat : 30833 (java) S 30826 30826 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 72826796 450482176 77470 1283457024 134512640 134550932 4294514848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=30827/tid=30834] ppid=30826 vsize=439924 CPUtime=0.04 /proc/30827/task/30834/stat : 30834 (java) S 30826 30826 22717 34817 22717 4202560 469 0 0 0 4 0 0 0 15 0 9 0 72826796 450482176 77470 1283457024 134512640 134550932 4294514848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=30827/tid=30835] ppid=30826 vsize=439924 CPUtime=0 /proc/30827/task/30835/stat : 30835 (java) S 30826 30826 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 72826796 450482176 77470 1283457024 134512640 134550932 4294514848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=30827/tid=30836] ppid=30826 vsize=439924 CPUtime=0 /proc/30827/task/30836/stat : 30836 (java) S 30826 30826 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 9 0 72826796 450482176 77470 1283457024 134512640 134550932 4294514848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 6.3 Current children cumulated vsize (KiB) 442492 [startup+12.7072 s] /proc/loadavg: 1.28 1.06 1.02 2/46 30838 /proc/meminfo: memFree=182884/1048576 swapFree=0/0 [pid=30826] ppid=30825 vsize=2568 CPUtime=0 /proc/30826/stat : 30826 (gj-user-solver-) S 30825 30826 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 72826793 2629632 269 1283457024 134512640 135304128 4294166768 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30826/statm: 642 269 229 194 0 29 0 [pid=30827] ppid=30826 vsize=411892 CPUtime=12.67 /proc/30827/stat : 30827 (java) S 30826 30826 22717 34817 22717 4202496 99930 0 1 0 1230 37 0 0 25 0 10 0 72826793 421777408 70658 1283457024 134512640 134550932 4294514848 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/30827/statm: 102973 70658 2919 10 0 97118 0 [pid=30827/tid=30829] ppid=30826 vsize=411892 CPUtime=4.32 /proc/30827/task/30829/stat : 30829 (java) R 30826 30826 22717 34817 22717 4202560 14134 0 1 0 420 12 0 0 25 0 10 0 72826794 421777408 70658 1283457024 134512640 134550932 4294514848 18446744073709551615 4115143159 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=30827/tid=30830] ppid=30826 vsize=411892 CPUtime=8.23 /proc/30827/task/30830/stat : 30830 (java) S 30826 30826 22717 34817 22717 4202560 84302 0 0 0 800 23 0 0 16 0 10 0 72826795 421777408 70658 1283457024 134512640 134550932 4294514848 18446744073709551615 4294960130 0 0 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=30827/tid=30831] ppid=30826 vsize=411892 CPUtime=0 /proc/30827/task/30831/stat : 30831 (java) S 30826 30826 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 72826795 421777408 70658 1283457024 134512640 134550932 4294514848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=30827/tid=30832] ppid=30826 vsize=411892 CPUtime=0 /proc/30827/task/30832/stat : 30832 (java) S 30826 30826 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72826795 421777408 70658 1283457024 134512640 134550932 4294514848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=30827/tid=30833] ppid=30826 vsize=411892 CPUtime=0 /proc/30827/task/30833/stat : 30833 (java) S 30826 30826 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72826796 421777408 70658 1283457024 134512640 134550932 4294514848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=30827/tid=30834] ppid=30826 vsize=411892 CPUtime=0.09 /proc/30827/task/30834/stat : 30834 (java) S 30826 30826 22717 34817 22717 4202560 549 0 0 0 9 0 0 0 16 0 10 0 72826796 421777408 70658 1283457024 134512640 134550932 4294514848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=30827/tid=30835] ppid=30826 vsize=411892 CPUtime=0 /proc/30827/task/30835/stat : 30835 (java) S 30826 30826 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72826796 421777408 70658 1283457024 134512640 134550932 4294514848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=30827/tid=30836] ppid=30826 vsize=411892 CPUtime=0 /proc/30827/task/30836/stat : 30836 (java) S 30826 30826 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 72826796 421777408 70658 1283457024 134512640 134550932 4294514848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=30827/tid=30838] ppid=30826 vsize=411892 CPUtime=0 /proc/30827/task/30838/stat : 30838 (java) S 30826 30826 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 72827935 421777408 70658 1283457024 134512640 134550932 4294514848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 12.67 Current children cumulated vsize (KiB) 414460 Solver just ended. Dumping a history of the last processes samples [startup+12.8072 s] /proc/loadavg: 1.28 1.06 1.02 2/46 30838 /proc/meminfo: memFree=182884/1048576 swapFree=0/0 [pid=30826] ppid=30825 vsize=2568 CPUtime=0 /proc/30826/stat : 30826 (gj-user-solver-) S 30825 30826 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 72826793 2629632 269 1283457024 134512640 135304128 4294166768 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30826/statm: 642 269 229 194 0 29 0 [pid=30827] ppid=30826 vsize=411892 CPUtime=12.77 /proc/30827/stat : 30827 (java) S 30826 30826 22717 34817 22717 4202496 99930 0 1 0 1240 37 0 0 25 0 10 0 72826793 421777408 70658 1283457024 134512640 134550932 4294514848 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/30827/statm: 102973 70658 2919 10 0 97118 0 [pid=30827/tid=30829] ppid=30826 vsize=411892 CPUtime=4.42 /proc/30827/task/30829/stat : 30829 (java) R 30826 30826 22717 34817 22717 4202560 14134 0 1 0 430 12 0 0 25 0 10 0 72826794 421777408 70658 1283457024 134512640 134550932 4294514848 18446744073709551615 4114999654 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=30827/tid=30830] ppid=30826 vsize=411892 CPUtime=8.23 /proc/30827/task/30830/stat : 30830 (java) S 30826 30826 22717 34817 22717 4202560 84302 0 0 0 800 23 0 0 16 0 10 0 72826795 421777408 70658 1283457024 134512640 134550932 4294514848 18446744073709551615 4294960130 0 0 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=30827/tid=30831] ppid=30826 vsize=411892 CPUtime=0 /proc/30827/task/30831/stat : 30831 (java) S 30826 30826 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 72826795 421777408 70658 1283457024 134512640 134550932 4294514848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=30827/tid=30832] ppid=30826 vsize=411892 CPUtime=0 /proc/30827/task/30832/stat : 30832 (java) S 30826 30826 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72826795 421777408 70658 1283457024 134512640 134550932 4294514848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=30827/tid=30833] ppid=30826 vsize=411892 CPUtime=0 /proc/30827/task/30833/stat : 30833 (java) S 30826 30826 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72826796 421777408 70658 1283457024 134512640 134550932 4294514848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=30827/tid=30834] ppid=30826 vsize=411892 CPUtime=0.09 /proc/30827/task/30834/stat : 30834 (java) S 30826 30826 22717 34817 22717 4202560 549 0 0 0 9 0 0 0 16 0 10 0 72826796 421777408 70658 1283457024 134512640 134550932 4294514848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=30827/tid=30835] ppid=30826 vsize=411892 CPUtime=0 /proc/30827/task/30835/stat : 30835 (java) S 30826 30826 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72826796 421777408 70658 1283457024 134512640 134550932 4294514848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=30827/tid=30836] ppid=30826 vsize=411892 CPUtime=0 /proc/30827/task/30836/stat : 30836 (java) S 30826 30826 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 72826796 421777408 70658 1283457024 134512640 134550932 4294514848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=30827/tid=30838] ppid=30826 vsize=411892 CPUtime=0 /proc/30827/task/30838/stat : 30838 (java) S 30826 30826 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 72827935 421777408 70658 1283457024 134512640 134550932 4294514848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 12.77 Current children cumulated vsize (KiB) 414460 [startup+16.0079 s] /proc/loadavg: 1.26 1.06 1.02 2/46 30838 /proc/meminfo: memFree=182884/1048576 swapFree=0/0 [pid=30826] ppid=30825 vsize=2568 CPUtime=0 /proc/30826/stat : 30826 (gj-user-solver-) S 30825 30826 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 72826793 2629632 269 1283457024 134512640 135304128 4294166768 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30826/statm: 642 269 229 194 0 29 0 [pid=30827] ppid=30826 vsize=411892 CPUtime=15.97 /proc/30827/stat : 30827 (java) S 30826 30826 22717 34817 22717 4202496 99940 0 1 0 1560 37 0 0 25 0 10 0 72826793 421777408 70668 1283457024 134512640 134550932 4294514848 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/30827/statm: 102973 70668 2921 10 0 97118 0 [pid=30827/tid=30829] ppid=30826 vsize=411892 CPUtime=7.59 /proc/30827/task/30829/stat : 30829 (java) R 30826 30826 22717 34817 22717 4202560 14135 0 1 0 747 12 0 0 25 0 10 0 72826794 421777408 70668 1283457024 134512640 134550932 4294514848 18446744073709551615 4115842010 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=30827/tid=30830] ppid=30826 vsize=411892 CPUtime=8.26 /proc/30827/task/30830/stat : 30830 (java) S 30826 30826 22717 34817 22717 4202560 84304 0 0 0 803 23 0 0 16 0 10 0 72826795 421777408 70668 1283457024 134512640 134550932 4294514848 18446744073709551615 4294960130 0 0 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=30827/tid=30831] ppid=30826 vsize=411892 CPUtime=0 /proc/30827/task/30831/stat : 30831 (java) S 30826 30826 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 72826795 421777408 70668 1283457024 134512640 134550932 4294514848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=30827/tid=30832] ppid=30826 vsize=411892 CPUtime=0 /proc/30827/task/30832/stat : 30832 (java) S 30826 30826 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72826795 421777408 70668 1283457024 134512640 134550932 4294514848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=30827/tid=30833] ppid=30826 vsize=411892 CPUtime=0 /proc/30827/task/30833/stat : 30833 (java) S 30826 30826 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72826796 421777408 70668 1283457024 134512640 134550932 4294514848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=30827/tid=30834] ppid=30826 vsize=411892 CPUtime=0.09 /proc/30827/task/30834/stat : 30834 (java) S 30826 30826 22717 34817 22717 4202560 556 0 0 0 9 0 0 0 15 0 10 0 72826796 421777408 70668 1283457024 134512640 134550932 4294514848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=30827/tid=30835] ppid=30826 vsize=411892 CPUtime=0 /proc/30827/task/30835/stat : 30835 (java) S 30826 30826 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72826796 421777408 70668 1283457024 134512640 134550932 4294514848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=30827/tid=30836] ppid=30826 vsize=411892 CPUtime=0 /proc/30827/task/30836/stat : 30836 (java) S 30826 30826 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 72826796 421777408 70668 1283457024 134512640 134550932 4294514848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=30827/tid=30838] ppid=30826 vsize=411892 CPUtime=0 /proc/30827/task/30838/stat : 30838 (java) S 30826 30826 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 72827935 421777408 70668 1283457024 134512640 134550932 4294514848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 15.97 Current children cumulated vsize (KiB) 414460 [startup+17.5082 s] /proc/loadavg: 1.26 1.06 1.02 2/46 30839 /proc/meminfo: memFree=182884/1048576 swapFree=0/0 [pid=30826] ppid=30825 vsize=2568 CPUtime=0 /proc/30826/stat : 30826 (gj-user-solver-) S 30825 30826 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 72826793 2629632 269 1283457024 134512640 135304128 4294166768 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30826/statm: 642 269 229 194 0 29 0 [pid=30827] ppid=30826 vsize=411892 CPUtime=17.47 /proc/30827/stat : 30827 (java) S 30826 30826 22717 34817 22717 4202496 99943 0 1 0 1710 37 0 0 25 0 10 0 72826793 421777408 70671 1283457024 134512640 134550932 4294514848 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/30827/statm: 102973 70671 2921 10 0 97118 0 [pid=30827/tid=30829] ppid=30826 vsize=411892 CPUtime=9.02 /proc/30827/task/30829/stat : 30829 (java) R 30826 30826 22717 34817 22717 4202560 14135 0 1 0 890 12 0 0 25 0 10 0 72826794 421777408 70671 1283457024 134512640 134550932 4294514848 18446744073709551615 4115992529 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=30827/tid=30830] ppid=30826 vsize=411892 CPUtime=8.33 /proc/30827/task/30830/stat : 30830 (java) S 30826 30826 22717 34817 22717 4202560 84304 0 0 0 810 23 0 0 16 0 10 0 72826795 421777408 70671 1283457024 134512640 134550932 4294514848 18446744073709551615 4294960130 0 0 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=30827/tid=30831] ppid=30826 vsize=411892 CPUtime=0 /proc/30827/task/30831/stat : 30831 (java) S 30826 30826 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 72826795 421777408 70671 1283457024 134512640 134550932 4294514848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=30827/tid=30832] ppid=30826 vsize=411892 CPUtime=0 /proc/30827/task/30832/stat : 30832 (java) S 30826 30826 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72826795 421777408 70671 1283457024 134512640 134550932 4294514848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=30827/tid=30833] ppid=30826 vsize=411892 CPUtime=0 /proc/30827/task/30833/stat : 30833 (java) S 30826 30826 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72826796 421777408 70671 1283457024 134512640 134550932 4294514848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=30827/tid=30834] ppid=30826 vsize=411892 CPUtime=0.09 /proc/30827/task/30834/stat : 30834 (java) S 30826 30826 22717 34817 22717 4202560 559 0 0 0 9 0 0 0 15 0 10 0 72826796 421777408 70671 1283457024 134512640 134550932 4294514848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=30827/tid=30835] ppid=30826 vsize=411892 CPUtime=0 /proc/30827/task/30835/stat : 30835 (java) S 30826 30826 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72826796 421777408 70671 1283457024 134512640 134550932 4294514848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=30827/tid=30836] ppid=30826 vsize=411892 CPUtime=0 /proc/30827/task/30836/stat : 30836 (java) S 30826 30826 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 72826796 421777408 70671 1283457024 134512640 134550932 4294514848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=30827/tid=30838] ppid=30826 vsize=411892 CPUtime=0 /proc/30827/task/30838/stat : 30838 (java) S 30826 30826 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 72827935 421777408 70671 1283457024 134512640 134550932 4294514848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 17.47 Current children cumulated vsize (KiB) 414460 [startup+18.3084 s] /proc/loadavg: 1.26 1.06 1.02 2/46 30839 /proc/meminfo: memFree=182884/1048576 swapFree=0/0 [pid=30826] ppid=30825 vsize=2568 CPUtime=0 /proc/30826/stat : 30826 (gj-user-solver-) S 30825 30826 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 72826793 2629632 269 1283457024 134512640 135304128 4294166768 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30826/statm: 642 269 229 194 0 29 0 [pid=30827] ppid=30826 vsize=411892 CPUtime=18.26 /proc/30827/stat : 30827 (java) S 30826 30826 22717 34817 22717 4202496 99944 0 1 0 1789 37 0 0 25 0 10 0 72826793 421777408 70672 1283457024 134512640 134550932 4294514848 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/30827/statm: 102973 70672 2921 10 0 97118 0 [pid=30827/tid=30829] ppid=30826 vsize=411892 CPUtime=9.8 /proc/30827/task/30829/stat : 30829 (java) R 30826 30826 22717 34817 22717 4202560 14135 0 1 0 968 12 0 0 25 0 10 0 72826794 421777408 70672 1283457024 134512640 134550932 4294514848 18446744073709551615 4116015749 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=30827/tid=30830] ppid=30826 vsize=411892 CPUtime=8.33 /proc/30827/task/30830/stat : 30830 (java) S 30826 30826 22717 34817 22717 4202560 84304 0 0 0 810 23 0 0 16 0 10 0 72826795 421777408 70672 1283457024 134512640 134550932 4294514848 18446744073709551615 4294960130 0 0 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=30827/tid=30831] ppid=30826 vsize=411892 CPUtime=0 /proc/30827/task/30831/stat : 30831 (java) S 30826 30826 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 72826795 421777408 70672 1283457024 134512640 134550932 4294514848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=30827/tid=30832] ppid=30826 vsize=411892 CPUtime=0 /proc/30827/task/30832/stat : 30832 (java) S 30826 30826 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72826795 421777408 70672 1283457024 134512640 134550932 4294514848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=30827/tid=30833] ppid=30826 vsize=411892 CPUtime=0 /proc/30827/task/30833/stat : 30833 (java) S 30826 30826 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72826796 421777408 70672 1283457024 134512640 134550932 4294514848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=30827/tid=30834] ppid=30826 vsize=411892 CPUtime=0.1 /proc/30827/task/30834/stat : 30834 (java) S 30826 30826 22717 34817 22717 4202560 560 0 0 0 10 0 0 0 15 0 10 0 72826796 421777408 70672 1283457024 134512640 134550932 4294514848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=30827/tid=30835] ppid=30826 vsize=411892 CPUtime=0 /proc/30827/task/30835/stat : 30835 (java) S 30826 30826 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72826796 421777408 70672 1283457024 134512640 134550932 4294514848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=30827/tid=30836] ppid=30826 vsize=411892 CPUtime=0 /proc/30827/task/30836/stat : 30836 (java) S 30826 30826 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 72826796 421777408 70672 1283457024 134512640 134550932 4294514848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=30827/tid=30838] ppid=30826 vsize=411892 CPUtime=0 /proc/30827/task/30838/stat : 30838 (java) S 30826 30826 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 72827935 421777408 70672 1283457024 134512640 134550932 4294514848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 18.26 Current children cumulated vsize (KiB) 414460 [startup+19.1087 s] /proc/loadavg: 1.24 1.06 1.02 3/46 30839 /proc/meminfo: memFree=182884/1048576 swapFree=0/0 [pid=30826] ppid=30825 vsize=2568 CPUtime=0 /proc/30826/stat : 30826 (gj-user-solver-) S 30825 30826 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 72826793 2629632 269 1283457024 134512640 135304128 4294166768 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30826/statm: 642 269 229 194 0 29 0 [pid=30827] ppid=30826 vsize=411892 CPUtime=19.06 /proc/30827/stat : 30827 (java) S 30826 30826 22717 34817 22717 4202496 99945 0 1 0 1869 37 0 0 25 0 10 0 72826793 421777408 70673 1283457024 134512640 134550932 4294514848 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/30827/statm: 102973 70673 2921 10 0 97118 0 [pid=30827/tid=30829] ppid=30826 vsize=411892 CPUtime=10.58 /proc/30827/task/30829/stat : 30829 (java) R 30826 30826 22717 34817 22717 4202560 14135 0 1 0 1046 12 0 0 25 0 10 0 72826794 421777408 70673 1283457024 134512640 134550932 4294514848 18446744073709551615 4116011004 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=30827/tid=30830] ppid=30826 vsize=411892 CPUtime=8.35 /proc/30827/task/30830/stat : 30830 (java) S 30826 30826 22717 34817 22717 4202560 84304 0 0 0 812 23 0 0 16 0 10 0 72826795 421777408 70673 1283457024 134512640 134550932 4294514848 18446744073709551615 4294960130 0 0 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=30827/tid=30831] ppid=30826 vsize=411892 CPUtime=0 /proc/30827/task/30831/stat : 30831 (java) S 30826 30826 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 72826795 421777408 70673 1283457024 134512640 134550932 4294514848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=30827/tid=30832] ppid=30826 vsize=411892 CPUtime=0 /proc/30827/task/30832/stat : 30832 (java) S 30826 30826 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72826795 421777408 70673 1283457024 134512640 134550932 4294514848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=30827/tid=30833] ppid=30826 vsize=411892 CPUtime=0 /proc/30827/task/30833/stat : 30833 (java) S 30826 30826 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72826796 421777408 70673 1283457024 134512640 134550932 4294514848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=30827/tid=30834] ppid=30826 vsize=411892 CPUtime=0.1 /proc/30827/task/30834/stat : 30834 (java) S 30826 30826 22717 34817 22717 4202560 561 0 0 0 10 0 0 0 15 0 10 0 72826796 421777408 70673 1283457024 134512640 134550932 4294514848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=30827/tid=30835] ppid=30826 vsize=411892 CPUtime=0 /proc/30827/task/30835/stat : 30835 (java) S 30826 30826 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72826796 421777408 70673 1283457024 134512640 134550932 4294514848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=30827/tid=30836] ppid=30826 vsize=411892 CPUtime=0 /proc/30827/task/30836/stat : 30836 (java) R 30826 30826 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 72826796 421777408 70673 1283457024 134512640 134550932 4294514848 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=30827/tid=30838] ppid=30826 vsize=411892 CPUtime=0 /proc/30827/task/30838/stat : 30838 (java) S 30826 30826 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 72827935 421777408 70673 1283457024 134512640 134550932 4294514848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 19.06 Current children cumulated vsize (KiB) 414460 [startup+19.5087 s] /proc/loadavg: 1.24 1.06 1.02 3/46 30839 /proc/meminfo: memFree=182884/1048576 swapFree=0/0 [pid=30826] ppid=30825 vsize=2568 CPUtime=0 /proc/30826/stat : 30826 (gj-user-solver-) S 30825 30826 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 72826793 2629632 269 1283457024 134512640 135304128 4294166768 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30826/statm: 642 269 229 194 0 29 0 [pid=30827] ppid=30826 vsize=411892 CPUtime=19.46 /proc/30827/stat : 30827 (java) S 30826 30826 22717 34817 22717 4202496 99945 0 1 0 1909 37 0 0 25 0 10 0 72826793 421777408 70673 1283457024 134512640 134550932 4294514848 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/30827/statm: 102973 70673 2921 10 0 97118 0 [pid=30827/tid=30829] ppid=30826 vsize=411892 CPUtime=10.98 /proc/30827/task/30829/stat : 30829 (java) R 30826 30826 22717 34817 22717 4202560 14135 0 1 0 1086 12 0 0 25 0 10 0 72826794 421777408 70673 1283457024 134512640 134550932 4294514848 18446744073709551615 4116015749 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=30827/tid=30830] ppid=30826 vsize=411892 CPUtime=8.35 /proc/30827/task/30830/stat : 30830 (java) S 30826 30826 22717 34817 22717 4202560 84304 0 0 0 812 23 0 0 16 0 10 0 72826795 421777408 70673 1283457024 134512640 134550932 4294514848 18446744073709551615 4294960130 0 0 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=30827/tid=30831] ppid=30826 vsize=411892 CPUtime=0 /proc/30827/task/30831/stat : 30831 (java) S 30826 30826 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 72826795 421777408 70673 1283457024 134512640 134550932 4294514848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=30827/tid=30832] ppid=30826 vsize=411892 CPUtime=0 /proc/30827/task/30832/stat : 30832 (java) S 30826 30826 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72826795 421777408 70673 1283457024 134512640 134550932 4294514848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=30827/tid=30833] ppid=30826 vsize=411892 CPUtime=0 /proc/30827/task/30833/stat : 30833 (java) S 30826 30826 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72826796 421777408 70673 1283457024 134512640 134550932 4294514848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=30827/tid=30834] ppid=30826 vsize=411892 CPUtime=0.1 /proc/30827/task/30834/stat : 30834 (java) S 30826 30826 22717 34817 22717 4202560 561 0 0 0 10 0 0 0 15 0 10 0 72826796 421777408 70673 1283457024 134512640 134550932 4294514848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=30827/tid=30835] ppid=30826 vsize=411892 CPUtime=0 /proc/30827/task/30835/stat : 30835 (java) S 30826 30826 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72826796 421777408 70673 1283457024 134512640 134550932 4294514848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=30827/tid=30836] ppid=30826 vsize=411892 CPUtime=0 /proc/30827/task/30836/stat : 30836 (java) S 30826 30826 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 72826796 421777408 70673 1283457024 134512640 134550932 4294514848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 [pid=30827/tid=30838] ppid=30826 vsize=411892 CPUtime=0 /proc/30827/task/30838/stat : 30838 (java) S 30826 30826 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 72827935 421777408 70673 1283457024 134512640 134550932 4294514848 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 19.46 Current children cumulated vsize (KiB) 414460 Child status: 0 Real time (s): 19.603 CPU time (s): 19.5172 CPU user time (s): 19.1332 CPU system time (s): 0.384024 CPU usage (%): 99.5625 Max. virtual memory (cumulated for all children) (KiB): 442516 getrusage(RUSAGE_CHILDREN,...) data: user time used= 19.1332 system time used= 0.384024 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 100334 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= 1213 involuntary context switches= 1575 runsolver used 0 second user time and 0 second system time The end