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/201108291842/gj-user-solver-1.0/e69a0e36-9ef1-11df-9d4a-00163e46d37a.cudf.dudf-real.log.runsolver ./gj-user-solver-1.0 /home/misc2010/data/2011/dudf-real//e69a0e36-9ef1-11df-9d4a-00163e46d37a.cudf /home/misc2010/tmp/201108291842/gj-user-solver-1.0/e69a0e36-9ef1-11df-9d4a-00163e46d37a.cudf.dudf-real.result -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.06 1.17 1.13 3/35 31244 /proc/meminfo: memFree=620192/1048576 swapFree=0/0 [pid=31243] ppid=31242 vsize=2564 CPUtime=0 /proc/31243/stat : 31243 (gj-user-solver-) S 31242 31243 17511 34816 17511 4202496 371 0 0 0 0 0 0 0 25 0 1 0 46656493 2625536 269 1283457024 134512640 135304128 4293863600 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/31243/statm: 641 269 229 194 0 28 0 [pid=31244] ppid=31243 vsize=1664 CPUtime=0 /proc/31244/stat : 31244 (java) R 31243 31243 17511 34816 17511 4194304 117 0 0 0 0 0 0 0 25 0 1 0 46656493 1703936 54 1283457024 134512640 134550932 4288443312 18446744073709551615 4160556224 0 0 0 0 0 0 0 17 0 0 0 0 /proc/31244/statm: 416 54 38 10 0 13 0 [startup+0.202428 s] /proc/loadavg: 1.06 1.17 1.13 3/35 31244 /proc/meminfo: memFree=620192/1048576 swapFree=0/0 [pid=31243] ppid=31242 vsize=2564 CPUtime=0 /proc/31243/stat : 31243 (gj-user-solver-) S 31242 31243 17511 34816 17511 4202496 371 0 0 0 0 0 0 0 25 0 1 0 46656493 2625536 269 1283457024 134512640 135304128 4293863600 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/31243/statm: 641 269 229 194 0 28 0 [pid=31244] ppid=31243 vsize=410332 CPUtime=0.19 /proc/31244/stat : 31244 (java) S 31243 31243 17511 34816 17511 4202496 5350 0 1 0 19 0 0 0 25 0 9 0 46656493 420179968 4776 1283457024 134512640 134550932 4287568400 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/31244/statm: 102583 4776 1951 10 0 96731 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 412896 [startup+0.312463 s] /proc/loadavg: 1.06 1.17 1.13 3/35 31244 /proc/meminfo: memFree=620192/1048576 swapFree=0/0 [pid=31243] ppid=31242 vsize=2564 CPUtime=0 /proc/31243/stat : 31243 (gj-user-solver-) S 31242 31243 17511 34816 17511 4202496 371 0 0 0 0 0 0 0 25 0 1 0 46656493 2625536 269 1283457024 134512640 135304128 4293863600 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/31243/statm: 641 269 229 194 0 28 0 [pid=31244] ppid=31243 vsize=410480 CPUtime=0.3 /proc/31244/stat : 31244 (java) S 31243 31243 17511 34816 17511 4202496 5413 0 1 0 29 1 0 0 25 0 9 0 46656493 420331520 4839 1283457024 134512640 134550932 4287568400 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/31244/statm: 102620 4839 1956 10 0 96768 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 413044 [startup+0.401321 s] /proc/loadavg: 1.06 1.17 1.13 3/35 31244 /proc/meminfo: memFree=620192/1048576 swapFree=0/0 [pid=31243] ppid=31242 vsize=2564 CPUtime=0 /proc/31243/stat : 31243 (gj-user-solver-) S 31242 31243 17511 34816 17511 4202496 371 0 0 0 0 0 0 0 25 0 1 0 46656493 2625536 269 1283457024 134512640 135304128 4293863600 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/31243/statm: 641 269 229 194 0 28 0 [pid=31244] ppid=31243 vsize=410616 CPUtime=0.39 /proc/31244/stat : 31244 (java) S 31243 31243 17511 34816 17511 4202496 7250 0 1 0 37 2 0 0 25 0 9 0 46656493 420470784 6676 1283457024 134512640 134550932 4287568400 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/31244/statm: 102654 6676 1957 10 0 96802 0 Current children cumulated CPU time (s) 0.39 Current children cumulated vsize (KiB) 413180 [startup+0.703 s] /proc/loadavg: 1.06 1.17 1.13 3/35 31244 /proc/meminfo: memFree=620192/1048576 swapFree=0/0 [pid=31243] ppid=31242 vsize=2564 CPUtime=0 /proc/31243/stat : 31243 (gj-user-solver-) S 31242 31243 17511 34816 17511 4202496 371 0 0 0 0 0 0 0 25 0 1 0 46656493 2625536 269 1283457024 134512640 135304128 4293863600 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/31243/statm: 641 269 229 194 0 28 0 [pid=31244] ppid=31243 vsize=410748 CPUtime=0.67 /proc/31244/stat : 31244 (java) S 31243 31243 17511 34816 17511 4202496 12930 0 1 0 64 3 0 0 25 0 9 0 46656493 420605952 12170 1283457024 134512640 134550932 4287568400 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/31244/statm: 102687 12170 2901 10 0 96835 0 Current children cumulated CPU time (s) 0.67 Current children cumulated vsize (KiB) 413312 [startup+1.51421 s] /proc/loadavg: 1.06 1.17 1.13 3/44 31253 /proc/meminfo: memFree=540640/1048576 swapFree=0/0 [pid=31243] ppid=31242 vsize=2564 CPUtime=0 /proc/31243/stat : 31243 (gj-user-solver-) S 31242 31243 17511 34816 17511 4202496 371 0 0 0 0 0 0 0 25 0 1 0 46656493 2625536 269 1283457024 134512640 135304128 4293863600 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/31243/statm: 641 269 229 194 0 28 0 [pid=31244] ppid=31243 vsize=410748 CPUtime=1.41 /proc/31244/stat : 31244 (java) S 31243 31243 17511 34816 17511 4202496 28049 0 1 0 136 5 0 0 25 0 9 0 46656493 420605952 27289 1283457024 134512640 134550932 4287568400 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/31244/statm: 102687 27289 2901 10 0 96835 0 [pid=31244/tid=31246] ppid=31243 vsize=410748 CPUtime=0.67 /proc/31244/task/31246/stat : 31246 (java) R 31243 31243 17511 34816 17511 4202560 6824 0 1 0 67 0 0 0 25 0 9 0 46656494 420605952 27289 1283457024 134512640 134550932 4287568400 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=31244/tid=31247] ppid=31243 vsize=410748 CPUtime=0.7 /proc/31244/task/31247/stat : 31247 (java) R 31243 31243 17511 34816 17511 4202560 19840 0 0 0 66 4 0 0 19 0 9 0 46656495 420605952 27289 1283457024 134512640 134550932 4287568400 18446744073709551615 4151141814 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=31244/tid=31248] ppid=31243 vsize=410748 CPUtime=0 /proc/31244/task/31248/stat : 31248 (java) S 31243 31243 17511 34816 17511 4202560 15 0 0 0 0 0 0 0 21 0 9 0 46656495 420605952 27289 1283457024 134512640 134550932 4287568400 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=31244/tid=31249] ppid=31243 vsize=410748 CPUtime=0 /proc/31244/task/31249/stat : 31249 (java) S 31243 31243 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 21 0 9 0 46656495 420605952 27289 1283457024 134512640 134550932 4287568400 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=31244/tid=31250] ppid=31243 vsize=410748 CPUtime=0 /proc/31244/task/31250/stat : 31250 (java) S 31243 31243 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 46656496 420605952 27289 1283457024 134512640 134550932 4287568400 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=31244/tid=31251] ppid=31243 vsize=410748 CPUtime=0.03 /proc/31244/task/31251/stat : 31251 (java) S 31243 31243 17511 34816 17511 4202560 446 0 0 0 2 1 0 0 17 0 9 0 46656496 420605952 27289 1283457024 134512640 134550932 4287568400 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=31244/tid=31252] ppid=31243 vsize=410748 CPUtime=0 /proc/31244/task/31252/stat : 31252 (java) S 31243 31243 17511 34816 17511 4202560 0 0 0 0 0 0 0 0 25 0 9 0 46656496 420605952 27289 1283457024 134512640 134550932 4287568400 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=31244/tid=31253] ppid=31243 vsize=410748 CPUtime=0 /proc/31244/task/31253/stat : 31253 (java) R 31243 31243 17511 34816 17511 4202560 0 0 0 0 0 0 0 0 15 0 9 0 46656496 420605952 27289 1283457024 134512640 134550932 4287568400 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.41 Current children cumulated vsize (KiB) 413312 [startup+3.11666 s] /proc/loadavg: 1.06 1.17 1.13 3/44 31253 /proc/meminfo: memFree=458360/1048576 swapFree=0/0 [pid=31243] ppid=31242 vsize=2564 CPUtime=0 /proc/31243/stat : 31243 (gj-user-solver-) S 31242 31243 17511 34816 17511 4202496 371 0 0 0 0 0 0 0 25 0 1 0 46656493 2625536 269 1283457024 134512640 135304128 4293863600 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/31243/statm: 641 269 229 194 0 28 0 [pid=31244] ppid=31243 vsize=410880 CPUtime=2.98 /proc/31244/stat : 31244 (java) S 31243 31243 17511 34816 17511 4202496 50401 0 1 0 286 12 0 0 25 0 9 0 46656493 420741120 49641 1283457024 134512640 134550932 4287568400 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/31244/statm: 102720 49641 2901 10 0 96868 0 [pid=31244/tid=31246] ppid=31243 vsize=410880 CPUtime=1.31 /proc/31244/task/31246/stat : 31246 (java) R 31243 31243 17511 34816 17511 4202560 14280 0 1 0 128 3 0 0 25 0 9 0 46656494 420741120 49641 1283457024 134512640 134550932 4287568400 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=31244/tid=31247] ppid=31243 vsize=410880 CPUtime=1.62 /proc/31244/task/31247/stat : 31247 (java) R 31243 31243 17511 34816 17511 4202560 34731 0 0 0 154 8 0 0 15 0 9 0 46656495 420741120 49641 1283457024 134512640 134550932 4287568400 18446744073709551615 4151336251 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=31244/tid=31248] ppid=31243 vsize=410880 CPUtime=0 /proc/31244/task/31248/stat : 31248 (java) S 31243 31243 17511 34816 17511 4202560 15 0 0 0 0 0 0 0 21 0 9 0 46656495 420741120 49641 1283457024 134512640 134550932 4287568400 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=31244/tid=31249] ppid=31243 vsize=410880 CPUtime=0 /proc/31244/task/31249/stat : 31249 (java) S 31243 31243 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 21 0 9 0 46656495 420741120 49641 1283457024 134512640 134550932 4287568400 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=31244/tid=31250] ppid=31243 vsize=410880 CPUtime=0 /proc/31244/task/31250/stat : 31250 (java) S 31243 31243 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 46656496 420741120 49641 1283457024 134512640 134550932 4287568400 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=31244/tid=31251] ppid=31243 vsize=410880 CPUtime=0.03 /proc/31244/task/31251/stat : 31251 (java) S 31243 31243 17511 34816 17511 4202560 451 0 0 0 2 1 0 0 15 0 9 0 46656496 420741120 49641 1283457024 134512640 134550932 4287568400 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=31244/tid=31252] ppid=31243 vsize=410880 CPUtime=0 /proc/31244/task/31252/stat : 31252 (java) S 31243 31243 17511 34816 17511 4202560 0 0 0 0 0 0 0 0 25 0 9 0 46656496 420741120 49641 1283457024 134512640 134550932 4287568400 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=31244/tid=31253] ppid=31243 vsize=410880 CPUtime=0 /proc/31244/task/31253/stat : 31253 (java) S 31243 31243 17511 34816 17511 4202560 0 0 0 0 0 0 0 0 15 0 9 0 46656496 420741120 49641 1283457024 134512640 134550932 4287568400 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 2.98 Current children cumulated vsize (KiB) 413444 [startup+6.30754 s] /proc/loadavg: 1.13 1.19 1.14 2/45 31254 /proc/meminfo: memFree=350412/1048576 swapFree=0/0 [pid=31243] ppid=31242 vsize=2564 CPUtime=0 /proc/31243/stat : 31243 (gj-user-solver-) S 31242 31243 17511 34816 17511 4202496 371 0 0 0 0 0 0 0 25 0 1 0 46656493 2625536 269 1283457024 134512640 135304128 4293863600 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/31243/statm: 641 269 229 194 0 28 0 [pid=31244] ppid=31243 vsize=411348 CPUtime=6.16 /proc/31244/stat : 31244 (java) S 31243 31243 17511 34816 17511 4202496 67363 0 1 0 602 14 0 0 25 0 10 0 46656493 421220352 66509 1283457024 134512640 134550932 4287568400 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/31244/statm: 102837 66509 2917 10 0 96982 0 [pid=31244/tid=31246] ppid=31243 vsize=411348 CPUtime=3.17 /proc/31244/task/31246/stat : 31246 (java) R 31243 31243 17511 34816 17511 4202560 14544 0 1 0 314 3 0 0 25 0 10 0 46656494 421220352 66509 1283457024 134512640 134550932 4287568400 18446744073709551615 4150754824 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=31244/tid=31247] ppid=31243 vsize=411348 CPUtime=2.88 /proc/31244/task/31247/stat : 31247 (java) S 31243 31243 17511 34816 17511 4202560 51353 0 0 0 278 10 0 0 16 0 10 0 46656495 421220352 66509 1283457024 134512640 134550932 4287568400 18446744073709551615 4294960130 0 0 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=31244/tid=31248] ppid=31243 vsize=411348 CPUtime=0 /proc/31244/task/31248/stat : 31248 (java) S 31243 31243 17511 34816 17511 4202560 15 0 0 0 0 0 0 0 15 0 10 0 46656495 421220352 66509 1283457024 134512640 134550932 4287568400 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=31244/tid=31249] ppid=31243 vsize=411348 CPUtime=0 /proc/31244/task/31249/stat : 31249 (java) S 31243 31243 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 46656495 421220352 66509 1283457024 134512640 134550932 4287568400 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=31244/tid=31250] ppid=31243 vsize=411348 CPUtime=0 /proc/31244/task/31250/stat : 31250 (java) S 31243 31243 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46656496 421220352 66509 1283457024 134512640 134550932 4287568400 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=31244/tid=31251] ppid=31243 vsize=411348 CPUtime=0.1 /proc/31244/task/31251/stat : 31251 (java) S 31243 31243 17511 34816 17511 4202560 522 0 0 0 9 1 0 0 15 0 10 0 46656496 421220352 66509 1283457024 134512640 134550932 4287568400 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=31244/tid=31252] ppid=31243 vsize=411348 CPUtime=0 /proc/31244/task/31252/stat : 31252 (java) S 31243 31243 17511 34816 17511 4202560 0 0 0 0 0 0 0 0 25 0 10 0 46656496 421220352 66509 1283457024 134512640 134550932 4287568400 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=31244/tid=31253] ppid=31243 vsize=411348 CPUtime=0 /proc/31244/task/31253/stat : 31253 (java) S 31243 31243 17511 34816 17511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 46656496 421220352 66509 1283457024 134512640 134550932 4287568400 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=31244/tid=31254] ppid=31243 vsize=411348 CPUtime=0 /proc/31244/task/31254/stat : 31254 (java) S 31243 31243 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 46657020 421220352 66509 1283457024 134512640 134550932 4287568400 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 6.16 Current children cumulated vsize (KiB) 413912 [startup+12.7093 s] /proc/loadavg: 1.12 1.18 1.14 3/45 31254 /proc/meminfo: memFree=350172/1048576 swapFree=0/0 [pid=31243] ppid=31242 vsize=2564 CPUtime=0 /proc/31243/stat : 31243 (gj-user-solver-) S 31242 31243 17511 34816 17511 4202496 371 0 0 0 0 0 0 0 25 0 1 0 46656493 2625536 269 1283457024 134512640 135304128 4293863600 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/31243/statm: 641 269 229 194 0 28 0 [pid=31244] ppid=31243 vsize=411348 CPUtime=12.56 /proc/31244/stat : 31244 (java) S 31243 31243 17511 34816 17511 4202496 67409 0 1 0 1242 14 0 0 25 0 10 0 46656493 421220352 66555 1283457024 134512640 134550932 4287568400 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/31244/statm: 102837 66555 2920 10 0 96982 0 [pid=31244/tid=31246] ppid=31243 vsize=411348 CPUtime=9.45 /proc/31244/task/31246/stat : 31246 (java) R 31243 31243 17511 34816 17511 4202560 14552 0 1 0 942 3 0 0 25 0 10 0 46656494 421220352 66555 1283457024 134512640 134550932 4287568400 18446744073709551615 4115945469 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=31244/tid=31247] ppid=31243 vsize=411348 CPUtime=2.96 /proc/31244/task/31247/stat : 31247 (java) S 31243 31243 17511 34816 17511 4202560 51355 0 0 0 286 10 0 0 15 0 10 0 46656495 421220352 66555 1283457024 134512640 134550932 4287568400 18446744073709551615 4294960130 0 0 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=31244/tid=31248] ppid=31243 vsize=411348 CPUtime=0 /proc/31244/task/31248/stat : 31248 (java) S 31243 31243 17511 34816 17511 4202560 15 0 0 0 0 0 0 0 15 0 10 0 46656495 421220352 66555 1283457024 134512640 134550932 4287568400 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=31244/tid=31249] ppid=31243 vsize=411348 CPUtime=0 /proc/31244/task/31249/stat : 31249 (java) S 31243 31243 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 46656495 421220352 66555 1283457024 134512640 134550932 4287568400 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=31244/tid=31250] ppid=31243 vsize=411348 CPUtime=0 /proc/31244/task/31250/stat : 31250 (java) S 31243 31243 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46656496 421220352 66555 1283457024 134512640 134550932 4287568400 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=31244/tid=31251] ppid=31243 vsize=411348 CPUtime=0.14 /proc/31244/task/31251/stat : 31251 (java) S 31243 31243 17511 34816 17511 4202560 558 0 0 0 13 1 0 0 15 0 10 0 46656496 421220352 66555 1283457024 134512640 134550932 4287568400 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=31244/tid=31252] ppid=31243 vsize=411348 CPUtime=0 /proc/31244/task/31252/stat : 31252 (java) S 31243 31243 17511 34816 17511 4202560 0 0 0 0 0 0 0 0 25 0 10 0 46656496 421220352 66555 1283457024 134512640 134550932 4287568400 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=31244/tid=31253] ppid=31243 vsize=411348 CPUtime=0 /proc/31244/task/31253/stat : 31253 (java) S 31243 31243 17511 34816 17511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 46656496 421220352 66555 1283457024 134512640 134550932 4287568400 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=31244/tid=31254] ppid=31243 vsize=411348 CPUtime=0 /proc/31244/task/31254/stat : 31254 (java) S 31243 31243 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 46657020 421220352 66555 1283457024 134512640 134550932 4287568400 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 12.56 Current children cumulated vsize (KiB) 413912 [startup+25.5124 s] /proc/loadavg: 1.09 1.17 1.13 3/45 31254 /proc/meminfo: memFree=344840/1048576 swapFree=0/0 [pid=31243] ppid=31242 vsize=2564 CPUtime=0 /proc/31243/stat : 31243 (gj-user-solver-) S 31242 31243 17511 34816 17511 4202496 371 0 0 0 0 0 0 0 25 0 1 0 46656493 2625536 269 1283457024 134512640 135304128 4293863600 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/31243/statm: 641 269 229 194 0 28 0 [pid=31244] ppid=31243 vsize=411348 CPUtime=25.35 /proc/31244/stat : 31244 (java) S 31243 31243 17511 34816 17511 4202496 68723 0 1 0 2519 16 0 0 25 0 10 0 46656493 421220352 67869 1283457024 134512640 134550932 4287568400 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/31244/statm: 102837 67869 2920 10 0 96982 0 [pid=31244/tid=31246] ppid=31243 vsize=411348 CPUtime=21.83 /proc/31244/task/31246/stat : 31246 (java) R 31243 31243 17511 34816 17511 4202560 14552 0 1 0 2180 3 0 0 25 0 10 0 46656494 421220352 67869 1283457024 134512640 134550932 4287568400 18446744073709551615 4115093724 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=31244/tid=31247] ppid=31243 vsize=411348 CPUtime=3.33 /proc/31244/task/31247/stat : 31247 (java) S 31243 31243 17511 34816 17511 4202560 52664 0 0 0 322 11 0 0 15 0 10 0 46656495 421220352 67869 1283457024 134512640 134550932 4287568400 18446744073709551615 4294960130 0 0 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=31244/tid=31248] ppid=31243 vsize=411348 CPUtime=0 /proc/31244/task/31248/stat : 31248 (java) S 31243 31243 17511 34816 17511 4202560 15 0 0 0 0 0 0 0 15 0 10 0 46656495 421220352 67869 1283457024 134512640 134550932 4287568400 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=31244/tid=31249] ppid=31243 vsize=411348 CPUtime=0 /proc/31244/task/31249/stat : 31249 (java) S 31243 31243 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 46656495 421220352 67869 1283457024 134512640 134550932 4287568400 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=31244/tid=31250] ppid=31243 vsize=411348 CPUtime=0 /proc/31244/task/31250/stat : 31250 (java) S 31243 31243 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46656496 421220352 67869 1283457024 134512640 134550932 4287568400 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=31244/tid=31251] ppid=31243 vsize=411348 CPUtime=0.16 /proc/31244/task/31251/stat : 31251 (java) S 31243 31243 17511 34816 17511 4202560 563 0 0 0 15 1 0 0 15 0 10 0 46656496 421220352 67869 1283457024 134512640 134550932 4287568400 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=31244/tid=31252] ppid=31243 vsize=411348 CPUtime=0 /proc/31244/task/31252/stat : 31252 (java) S 31243 31243 17511 34816 17511 4202560 0 0 0 0 0 0 0 0 25 0 10 0 46656496 421220352 67869 1283457024 134512640 134550932 4287568400 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=31244/tid=31253] ppid=31243 vsize=411348 CPUtime=0 /proc/31244/task/31253/stat : 31253 (java) S 31243 31243 17511 34816 17511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 46656496 421220352 67869 1283457024 134512640 134550932 4287568400 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=31244/tid=31254] ppid=31243 vsize=411348 CPUtime=0 /proc/31244/task/31254/stat : 31254 (java) S 31243 31243 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 46657020 421220352 67869 1283457024 134512640 134550932 4287568400 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 25.35 Current children cumulated vsize (KiB) 413912 Solver just ended. Dumping a history of the last processes samples [startup+25.7124 s] /proc/loadavg: 1.09 1.17 1.13 3/45 31254 /proc/meminfo: memFree=344840/1048576 swapFree=0/0 [pid=31243] ppid=31242 vsize=2564 CPUtime=0 /proc/31243/stat : 31243 (gj-user-solver-) S 31242 31243 17511 34816 17511 4202496 371 0 0 0 0 0 0 0 25 0 1 0 46656493 2625536 269 1283457024 134512640 135304128 4293863600 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/31243/statm: 641 269 229 194 0 28 0 [pid=31244] ppid=31243 vsize=411348 CPUtime=25.55 /proc/31244/stat : 31244 (java) S 31243 31243 17511 34816 17511 4202496 68723 0 1 0 2539 16 0 0 25 0 10 0 46656493 421220352 67869 1283457024 134512640 134550932 4287568400 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/31244/statm: 102837 67869 2920 10 0 96982 0 [pid=31244/tid=31246] ppid=31243 vsize=411348 CPUtime=22.03 /proc/31244/task/31246/stat : 31246 (java) R 31243 31243 17511 34816 17511 4202560 14552 0 1 0 2200 3 0 0 25 0 10 0 46656494 421220352 67869 1283457024 134512640 134550932 4287568400 18446744073709551615 4115980778 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=31244/tid=31247] ppid=31243 vsize=411348 CPUtime=3.33 /proc/31244/task/31247/stat : 31247 (java) S 31243 31243 17511 34816 17511 4202560 52664 0 0 0 322 11 0 0 15 0 10 0 46656495 421220352 67869 1283457024 134512640 134550932 4287568400 18446744073709551615 4294960130 0 0 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=31244/tid=31248] ppid=31243 vsize=411348 CPUtime=0 /proc/31244/task/31248/stat : 31248 (java) S 31243 31243 17511 34816 17511 4202560 15 0 0 0 0 0 0 0 15 0 10 0 46656495 421220352 67869 1283457024 134512640 134550932 4287568400 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=31244/tid=31249] ppid=31243 vsize=411348 CPUtime=0 /proc/31244/task/31249/stat : 31249 (java) S 31243 31243 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 46656495 421220352 67869 1283457024 134512640 134550932 4287568400 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=31244/tid=31250] ppid=31243 vsize=411348 CPUtime=0 /proc/31244/task/31250/stat : 31250 (java) S 31243 31243 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46656496 421220352 67869 1283457024 134512640 134550932 4287568400 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=31244/tid=31251] ppid=31243 vsize=411348 CPUtime=0.16 /proc/31244/task/31251/stat : 31251 (java) S 31243 31243 17511 34816 17511 4202560 563 0 0 0 15 1 0 0 15 0 10 0 46656496 421220352 67869 1283457024 134512640 134550932 4287568400 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=31244/tid=31252] ppid=31243 vsize=411348 CPUtime=0 /proc/31244/task/31252/stat : 31252 (java) S 31243 31243 17511 34816 17511 4202560 0 0 0 0 0 0 0 0 25 0 10 0 46656496 421220352 67869 1283457024 134512640 134550932 4287568400 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=31244/tid=31253] ppid=31243 vsize=411348 CPUtime=0 /proc/31244/task/31253/stat : 31253 (java) R 31243 31243 17511 34816 17511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 46656496 421220352 67869 1283457024 134512640 134550932 4287568400 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=31244/tid=31254] ppid=31243 vsize=411348 CPUtime=0 /proc/31244/task/31254/stat : 31254 (java) S 31243 31243 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 46657020 421220352 67869 1283457024 134512640 134550932 4287568400 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 25.55 Current children cumulated vsize (KiB) 413912 [startup+32.1039 s] /proc/loadavg: 1.09 1.17 1.13 2/45 31254 /proc/meminfo: memFree=344840/1048576 swapFree=0/0 [pid=31243] ppid=31242 vsize=2564 CPUtime=0 /proc/31243/stat : 31243 (gj-user-solver-) S 31242 31243 17511 34816 17511 4202496 371 0 0 0 0 0 0 0 25 0 1 0 46656493 2625536 269 1283457024 134512640 135304128 4293863600 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/31243/statm: 641 269 229 194 0 28 0 [pid=31244] ppid=31243 vsize=411348 CPUtime=31.94 /proc/31244/stat : 31244 (java) S 31243 31243 17511 34816 17511 4202496 68724 0 1 0 3178 16 0 0 25 0 10 0 46656493 421220352 67870 1283457024 134512640 134550932 4287568400 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/31244/statm: 102837 67870 2920 10 0 96982 0 [pid=31244/tid=31246] ppid=31243 vsize=411348 CPUtime=28.41 /proc/31244/task/31246/stat : 31246 (java) R 31243 31243 17511 34816 17511 4202560 14552 0 1 0 2838 3 0 0 25 0 10 0 46656494 421220352 67870 1283457024 134512640 134550932 4287568400 18446744073709551615 4115987125 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=31244/tid=31247] ppid=31243 vsize=411348 CPUtime=3.35 /proc/31244/task/31247/stat : 31247 (java) S 31243 31243 17511 34816 17511 4202560 52664 0 0 0 324 11 0 0 15 0 10 0 46656495 421220352 67870 1283457024 134512640 134550932 4287568400 18446744073709551615 4294960130 0 0 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=31244/tid=31248] ppid=31243 vsize=411348 CPUtime=0 /proc/31244/task/31248/stat : 31248 (java) S 31243 31243 17511 34816 17511 4202560 15 0 0 0 0 0 0 0 15 0 10 0 46656495 421220352 67870 1283457024 134512640 134550932 4287568400 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=31244/tid=31249] ppid=31243 vsize=411348 CPUtime=0 /proc/31244/task/31249/stat : 31249 (java) S 31243 31243 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 46656495 421220352 67870 1283457024 134512640 134550932 4287568400 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=31244/tid=31250] ppid=31243 vsize=411348 CPUtime=0 /proc/31244/task/31250/stat : 31250 (java) S 31243 31243 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46656496 421220352 67870 1283457024 134512640 134550932 4287568400 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=31244/tid=31251] ppid=31243 vsize=411348 CPUtime=0.16 /proc/31244/task/31251/stat : 31251 (java) S 31243 31243 17511 34816 17511 4202560 564 0 0 0 15 1 0 0 15 0 10 0 46656496 421220352 67870 1283457024 134512640 134550932 4287568400 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=31244/tid=31252] ppid=31243 vsize=411348 CPUtime=0 /proc/31244/task/31252/stat : 31252 (java) S 31243 31243 17511 34816 17511 4202560 0 0 0 0 0 0 0 0 25 0 10 0 46656496 421220352 67870 1283457024 134512640 134550932 4287568400 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=31244/tid=31253] ppid=31243 vsize=411348 CPUtime=0 /proc/31244/task/31253/stat : 31253 (java) S 31243 31243 17511 34816 17511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 46656496 421220352 67870 1283457024 134512640 134550932 4287568400 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=31244/tid=31254] ppid=31243 vsize=411348 CPUtime=0 /proc/31244/task/31254/stat : 31254 (java) S 31243 31243 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 46657020 421220352 67870 1283457024 134512640 134550932 4287568400 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 31.94 Current children cumulated vsize (KiB) 413912 [startup+35.3048 s] /proc/loadavg: 1.08 1.17 1.13 2/45 31254 /proc/meminfo: memFree=344840/1048576 swapFree=0/0 [pid=31243] ppid=31242 vsize=2564 CPUtime=0 /proc/31243/stat : 31243 (gj-user-solver-) S 31242 31243 17511 34816 17511 4202496 371 0 0 0 0 0 0 0 25 0 1 0 46656493 2625536 269 1283457024 134512640 135304128 4293863600 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/31243/statm: 641 269 229 194 0 28 0 [pid=31244] ppid=31243 vsize=411348 CPUtime=35.15 /proc/31244/stat : 31244 (java) S 31243 31243 17511 34816 17511 4202496 68724 0 1 0 3499 16 0 0 25 0 10 0 46656493 421220352 67870 1283457024 134512640 134550932 4287568400 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/31244/statm: 102837 67870 2920 10 0 96982 0 [pid=31244/tid=31246] ppid=31243 vsize=411348 CPUtime=31.59 /proc/31244/task/31246/stat : 31246 (java) R 31243 31243 17511 34816 17511 4202560 14552 0 1 0 3156 3 0 0 25 0 10 0 46656494 421220352 67870 1283457024 134512640 134550932 4287568400 18446744073709551615 4116076425 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=31244/tid=31247] ppid=31243 vsize=411348 CPUtime=3.37 /proc/31244/task/31247/stat : 31247 (java) S 31243 31243 17511 34816 17511 4202560 52664 0 0 0 326 11 0 0 15 0 10 0 46656495 421220352 67870 1283457024 134512640 134550932 4287568400 18446744073709551615 4294960130 0 0 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=31244/tid=31248] ppid=31243 vsize=411348 CPUtime=0 /proc/31244/task/31248/stat : 31248 (java) S 31243 31243 17511 34816 17511 4202560 15 0 0 0 0 0 0 0 15 0 10 0 46656495 421220352 67870 1283457024 134512640 134550932 4287568400 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=31244/tid=31249] ppid=31243 vsize=411348 CPUtime=0 /proc/31244/task/31249/stat : 31249 (java) S 31243 31243 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 46656495 421220352 67870 1283457024 134512640 134550932 4287568400 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=31244/tid=31250] ppid=31243 vsize=411348 CPUtime=0 /proc/31244/task/31250/stat : 31250 (java) S 31243 31243 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46656496 421220352 67870 1283457024 134512640 134550932 4287568400 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=31244/tid=31251] ppid=31243 vsize=411348 CPUtime=0.16 /proc/31244/task/31251/stat : 31251 (java) S 31243 31243 17511 34816 17511 4202560 564 0 0 0 15 1 0 0 15 0 10 0 46656496 421220352 67870 1283457024 134512640 134550932 4287568400 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=31244/tid=31252] ppid=31243 vsize=411348 CPUtime=0 /proc/31244/task/31252/stat : 31252 (java) S 31243 31243 17511 34816 17511 4202560 0 0 0 0 0 0 0 0 25 0 10 0 46656496 421220352 67870 1283457024 134512640 134550932 4287568400 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=31244/tid=31253] ppid=31243 vsize=411348 CPUtime=0 /proc/31244/task/31253/stat : 31253 (java) S 31243 31243 17511 34816 17511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 46656496 421220352 67870 1283457024 134512640 134550932 4287568400 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=31244/tid=31254] ppid=31243 vsize=411348 CPUtime=0 /proc/31244/task/31254/stat : 31254 (java) S 31243 31243 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 46657020 421220352 67870 1283457024 134512640 134550932 4287568400 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 35.15 Current children cumulated vsize (KiB) 413912 [startup+36.905 s] /proc/loadavg: 1.08 1.17 1.13 2/45 31254 /proc/meminfo: memFree=344840/1048576 swapFree=0/0 [pid=31243] ppid=31242 vsize=2564 CPUtime=0 /proc/31243/stat : 31243 (gj-user-solver-) S 31242 31243 17511 34816 17511 4202496 371 0 0 0 0 0 0 0 25 0 1 0 46656493 2625536 269 1283457024 134512640 135304128 4293863600 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/31243/statm: 641 269 229 194 0 28 0 [pid=31244] ppid=31243 vsize=411348 CPUtime=36.75 /proc/31244/stat : 31244 (java) S 31243 31243 17511 34816 17511 4202496 68724 0 1 0 3659 16 0 0 25 0 10 0 46656493 421220352 67870 1283457024 134512640 134550932 4287568400 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/31244/statm: 102837 67870 2920 10 0 96982 0 [pid=31244/tid=31246] ppid=31243 vsize=411348 CPUtime=33.18 /proc/31244/task/31246/stat : 31246 (java) R 31243 31243 17511 34816 17511 4202560 14552 0 1 0 3315 3 0 0 25 0 10 0 46656494 421220352 67870 1283457024 134512640 134550932 4287568400 18446744073709551615 4116142980 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=31244/tid=31247] ppid=31243 vsize=411348 CPUtime=3.38 /proc/31244/task/31247/stat : 31247 (java) S 31243 31243 17511 34816 17511 4202560 52664 0 0 0 327 11 0 0 16 0 10 0 46656495 421220352 67870 1283457024 134512640 134550932 4287568400 18446744073709551615 4294960130 0 0 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=31244/tid=31248] ppid=31243 vsize=411348 CPUtime=0 /proc/31244/task/31248/stat : 31248 (java) S 31243 31243 17511 34816 17511 4202560 15 0 0 0 0 0 0 0 15 0 10 0 46656495 421220352 67870 1283457024 134512640 134550932 4287568400 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=31244/tid=31249] ppid=31243 vsize=411348 CPUtime=0 /proc/31244/task/31249/stat : 31249 (java) S 31243 31243 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 46656495 421220352 67870 1283457024 134512640 134550932 4287568400 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=31244/tid=31250] ppid=31243 vsize=411348 CPUtime=0 /proc/31244/task/31250/stat : 31250 (java) S 31243 31243 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46656496 421220352 67870 1283457024 134512640 134550932 4287568400 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=31244/tid=31251] ppid=31243 vsize=411348 CPUtime=0.16 /proc/31244/task/31251/stat : 31251 (java) S 31243 31243 17511 34816 17511 4202560 564 0 0 0 15 1 0 0 15 0 10 0 46656496 421220352 67870 1283457024 134512640 134550932 4287568400 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=31244/tid=31252] ppid=31243 vsize=411348 CPUtime=0 /proc/31244/task/31252/stat : 31252 (java) S 31243 31243 17511 34816 17511 4202560 0 0 0 0 0 0 0 0 25 0 10 0 46656496 421220352 67870 1283457024 134512640 134550932 4287568400 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=31244/tid=31253] ppid=31243 vsize=411348 CPUtime=0 /proc/31244/task/31253/stat : 31253 (java) S 31243 31243 17511 34816 17511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 46656496 421220352 67870 1283457024 134512640 134550932 4287568400 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=31244/tid=31254] ppid=31243 vsize=411348 CPUtime=0 /proc/31244/task/31254/stat : 31254 (java) S 31243 31243 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 46657020 421220352 67870 1283457024 134512640 134550932 4287568400 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 36.75 Current children cumulated vsize (KiB) 413912 [startup+37.7051 s] /proc/loadavg: 1.08 1.17 1.13 2/45 31254 /proc/meminfo: memFree=344840/1048576 swapFree=0/0 [pid=31243] ppid=31242 vsize=2564 CPUtime=0 /proc/31243/stat : 31243 (gj-user-solver-) S 31242 31243 17511 34816 17511 4202496 371 0 0 0 0 0 0 0 25 0 1 0 46656493 2625536 269 1283457024 134512640 135304128 4293863600 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/31243/statm: 641 269 229 194 0 28 0 [pid=31244] ppid=31243 vsize=411348 CPUtime=37.55 /proc/31244/stat : 31244 (java) S 31243 31243 17511 34816 17511 4202496 68724 0 1 0 3739 16 0 0 25 0 10 0 46656493 421220352 67870 1283457024 134512640 134550932 4287568400 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/31244/statm: 102837 67870 2920 10 0 96982 0 [pid=31244/tid=31246] ppid=31243 vsize=411348 CPUtime=33.98 /proc/31244/task/31246/stat : 31246 (java) R 31243 31243 17511 34816 17511 4202560 14552 0 1 0 3395 3 0 0 25 0 10 0 46656494 421220352 67870 1283457024 134512640 134550932 4287568400 18446744073709551615 4116076412 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=31244/tid=31247] ppid=31243 vsize=411348 CPUtime=3.38 /proc/31244/task/31247/stat : 31247 (java) S 31243 31243 17511 34816 17511 4202560 52664 0 0 0 327 11 0 0 16 0 10 0 46656495 421220352 67870 1283457024 134512640 134550932 4287568400 18446744073709551615 4294960130 0 0 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=31244/tid=31248] ppid=31243 vsize=411348 CPUtime=0 /proc/31244/task/31248/stat : 31248 (java) S 31243 31243 17511 34816 17511 4202560 15 0 0 0 0 0 0 0 15 0 10 0 46656495 421220352 67870 1283457024 134512640 134550932 4287568400 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=31244/tid=31249] ppid=31243 vsize=411348 CPUtime=0 /proc/31244/task/31249/stat : 31249 (java) S 31243 31243 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 46656495 421220352 67870 1283457024 134512640 134550932 4287568400 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=31244/tid=31250] ppid=31243 vsize=411348 CPUtime=0 /proc/31244/task/31250/stat : 31250 (java) S 31243 31243 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46656496 421220352 67870 1283457024 134512640 134550932 4287568400 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=31244/tid=31251] ppid=31243 vsize=411348 CPUtime=0.16 /proc/31244/task/31251/stat : 31251 (java) S 31243 31243 17511 34816 17511 4202560 564 0 0 0 15 1 0 0 15 0 10 0 46656496 421220352 67870 1283457024 134512640 134550932 4287568400 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=31244/tid=31252] ppid=31243 vsize=411348 CPUtime=0 /proc/31244/task/31252/stat : 31252 (java) S 31243 31243 17511 34816 17511 4202560 0 0 0 0 0 0 0 0 25 0 10 0 46656496 421220352 67870 1283457024 134512640 134550932 4287568400 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=31244/tid=31253] ppid=31243 vsize=411348 CPUtime=0 /proc/31244/task/31253/stat : 31253 (java) S 31243 31243 17511 34816 17511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 46656496 421220352 67870 1283457024 134512640 134550932 4287568400 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=31244/tid=31254] ppid=31243 vsize=411348 CPUtime=0 /proc/31244/task/31254/stat : 31254 (java) S 31243 31243 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 46657020 421220352 67870 1283457024 134512640 134550932 4287568400 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 37.55 Current children cumulated vsize (KiB) 413912 [startup+38.1052 s] /proc/loadavg: 1.08 1.17 1.13 2/45 31254 /proc/meminfo: memFree=344840/1048576 swapFree=0/0 [pid=31243] ppid=31242 vsize=2564 CPUtime=0 /proc/31243/stat : 31243 (gj-user-solver-) S 31242 31243 17511 34816 17511 4202496 371 0 0 0 0 0 0 0 25 0 1 0 46656493 2625536 269 1283457024 134512640 135304128 4293863600 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/31243/statm: 641 269 229 194 0 28 0 [pid=31244] ppid=31243 vsize=411348 CPUtime=37.95 /proc/31244/stat : 31244 (java) S 31243 31243 17511 34816 17511 4202496 68724 0 1 0 3779 16 0 0 25 0 10 0 46656493 421220352 67870 1283457024 134512640 134550932 4287568400 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/31244/statm: 102837 67870 2920 10 0 96982 0 [pid=31244/tid=31246] ppid=31243 vsize=411348 CPUtime=34.38 /proc/31244/task/31246/stat : 31246 (java) R 31243 31243 17511 34816 17511 4202560 14552 0 1 0 3435 3 0 0 25 0 10 0 46656494 421220352 67870 1283457024 134512640 134550932 4287568400 18446744073709551615 4116091141 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=31244/tid=31247] ppid=31243 vsize=411348 CPUtime=3.38 /proc/31244/task/31247/stat : 31247 (java) S 31243 31243 17511 34816 17511 4202560 52664 0 0 0 327 11 0 0 15 0 10 0 46656495 421220352 67870 1283457024 134512640 134550932 4287568400 18446744073709551615 4294960130 0 0 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=31244/tid=31248] ppid=31243 vsize=411348 CPUtime=0 /proc/31244/task/31248/stat : 31248 (java) S 31243 31243 17511 34816 17511 4202560 15 0 0 0 0 0 0 0 15 0 10 0 46656495 421220352 67870 1283457024 134512640 134550932 4287568400 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=31244/tid=31249] ppid=31243 vsize=411348 CPUtime=0 /proc/31244/task/31249/stat : 31249 (java) S 31243 31243 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 46656495 421220352 67870 1283457024 134512640 134550932 4287568400 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=31244/tid=31250] ppid=31243 vsize=411348 CPUtime=0 /proc/31244/task/31250/stat : 31250 (java) S 31243 31243 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46656496 421220352 67870 1283457024 134512640 134550932 4287568400 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=31244/tid=31251] ppid=31243 vsize=411348 CPUtime=0.16 /proc/31244/task/31251/stat : 31251 (java) S 31243 31243 17511 34816 17511 4202560 564 0 0 0 15 1 0 0 15 0 10 0 46656496 421220352 67870 1283457024 134512640 134550932 4287568400 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=31244/tid=31252] ppid=31243 vsize=411348 CPUtime=0 /proc/31244/task/31252/stat : 31252 (java) S 31243 31243 17511 34816 17511 4202560 0 0 0 0 0 0 0 0 25 0 10 0 46656496 421220352 67870 1283457024 134512640 134550932 4287568400 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=31244/tid=31253] ppid=31243 vsize=411348 CPUtime=0 /proc/31244/task/31253/stat : 31253 (java) S 31243 31243 17511 34816 17511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 46656496 421220352 67870 1283457024 134512640 134550932 4287568400 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=31244/tid=31254] ppid=31243 vsize=411348 CPUtime=0 /proc/31244/task/31254/stat : 31254 (java) S 31243 31243 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 46657020 421220352 67870 1283457024 134512640 134550932 4287568400 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 37.95 Current children cumulated vsize (KiB) 413912 [startup+38.5052 s] /proc/loadavg: 1.08 1.17 1.13 2/45 31254 /proc/meminfo: memFree=344840/1048576 swapFree=0/0 [pid=31243] ppid=31242 vsize=2564 CPUtime=0 /proc/31243/stat : 31243 (gj-user-solver-) S 31242 31243 17511 34816 17511 4202496 371 0 0 0 0 0 0 0 25 0 1 0 46656493 2625536 269 1283457024 134512640 135304128 4293863600 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/31243/statm: 641 269 229 194 0 28 0 [pid=31244] ppid=31243 vsize=411348 CPUtime=38.35 /proc/31244/stat : 31244 (java) S 31243 31243 17511 34816 17511 4202496 68724 0 1 0 3819 16 0 0 25 0 10 0 46656493 421220352 67870 1283457024 134512640 134550932 4287568400 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/31244/statm: 102837 67870 2920 10 0 96982 0 [pid=31244/tid=31246] ppid=31243 vsize=411348 CPUtime=34.78 /proc/31244/task/31246/stat : 31246 (java) R 31243 31243 17511 34816 17511 4202560 14552 0 1 0 3475 3 0 0 25 0 10 0 46656494 421220352 67870 1283457024 134512640 134550932 4287568400 18446744073709551615 4116091141 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=31244/tid=31247] ppid=31243 vsize=411348 CPUtime=3.38 /proc/31244/task/31247/stat : 31247 (java) S 31243 31243 17511 34816 17511 4202560 52664 0 0 0 327 11 0 0 15 0 10 0 46656495 421220352 67870 1283457024 134512640 134550932 4287568400 18446744073709551615 4294960130 0 0 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=31244/tid=31248] ppid=31243 vsize=411348 CPUtime=0 /proc/31244/task/31248/stat : 31248 (java) S 31243 31243 17511 34816 17511 4202560 15 0 0 0 0 0 0 0 15 0 10 0 46656495 421220352 67870 1283457024 134512640 134550932 4287568400 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=31244/tid=31249] ppid=31243 vsize=411348 CPUtime=0 /proc/31244/task/31249/stat : 31249 (java) S 31243 31243 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 46656495 421220352 67870 1283457024 134512640 134550932 4287568400 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=31244/tid=31250] ppid=31243 vsize=411348 CPUtime=0 /proc/31244/task/31250/stat : 31250 (java) S 31243 31243 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46656496 421220352 67870 1283457024 134512640 134550932 4287568400 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=31244/tid=31251] ppid=31243 vsize=411348 CPUtime=0.16 /proc/31244/task/31251/stat : 31251 (java) S 31243 31243 17511 34816 17511 4202560 564 0 0 0 15 1 0 0 15 0 10 0 46656496 421220352 67870 1283457024 134512640 134550932 4287568400 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=31244/tid=31252] ppid=31243 vsize=411348 CPUtime=0 /proc/31244/task/31252/stat : 31252 (java) S 31243 31243 17511 34816 17511 4202560 0 0 0 0 0 0 0 0 25 0 10 0 46656496 421220352 67870 1283457024 134512640 134550932 4287568400 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=31244/tid=31253] ppid=31243 vsize=411348 CPUtime=0 /proc/31244/task/31253/stat : 31253 (java) S 31243 31243 17511 34816 17511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 46656496 421220352 67870 1283457024 134512640 134550932 4287568400 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=31244/tid=31254] ppid=31243 vsize=411348 CPUtime=0 /proc/31244/task/31254/stat : 31254 (java) S 31243 31243 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 46657020 421220352 67870 1283457024 134512640 134550932 4287568400 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 38.35 Current children cumulated vsize (KiB) 413912 Child status: 0 Real time (s): 38.5779 CPU time (s): 38.4064 CPU user time (s): 38.2304 CPU system time (s): 0.176011 CPU usage (%): 99.5554 Max. virtual memory (cumulated for all children) (KiB): 413912 getrusage(RUSAGE_CHILDREN,...) data: user time used= 38.2304 system time used= 0.176011 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 69120 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= 1540 involuntary context switches= 1971 runsolver used 0 second user time and 0 second system time The end