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/dd08e73e-d489-11df-b9cf-00163e3d3b7c.cudf.dudf-real.log.runsolver ./gj-user-solver-1.0 /home/misc2010/data/2011/dudf-real//dd08e73e-d489-11df-b9cf-00163e3d3b7c.cudf /home/misc2010/tmp/201108291842/gj-user-solver-1.0/dd08e73e-d489-11df-b9cf-00163e3d3b7c.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.22 1.17 1.12 3/37 30370 /proc/meminfo: memFree=684668/1048576 swapFree=0/0 [pid=30368] ppid=30367 vsize=2568 CPUtime=0 /proc/30368/stat : 30368 (gj-user-solver-) S 30367 30368 17511 34816 17511 4202496 372 0 0 0 0 0 0 0 25 0 1 0 46627553 2629632 270 1283457024 134512640 135304128 4293044208 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30368/statm: 642 270 229 194 0 29 0 [pid=30369] ppid=30368 vsize=11356 CPUtime=0.01 /proc/30369/stat : 30369 (java) S 30368 30368 17511 34816 17511 4202496 918 0 0 0 0 1 0 0 25 0 2 0 46627553 11628544 651 1283457024 134512640 134550932 4292093536 18446744073709551615 4294960130 0 0 0 0 18446744073709551615 0 0 17 0 0 0 0 /proc/30369/statm: 2839 651 285 10 0 1185 0 [pid=30369/tid=30370] ppid=30368 vsize=11356 CPUtime=0 /proc/30369/task/30370/stat : 30370 (java) R 30368 30368 17511 34816 17511 4202560 0 0 0 0 0 0 0 0 25 0 2 0 46627553 11628544 651 1283457024 134512640 134550932 4292093536 18446744073709551615 4159250024 0 0 0 0 0 0 0 -1 0 0 0 0 [startup+0.155349 s] /proc/loadavg: 1.22 1.17 1.12 3/37 30370 /proc/meminfo: memFree=684668/1048576 swapFree=0/0 [pid=30368] ppid=30367 vsize=2568 CPUtime=0 /proc/30368/stat : 30368 (gj-user-solver-) S 30367 30368 17511 34816 17511 4202496 372 0 0 0 0 0 0 0 25 0 1 0 46627553 2629632 270 1283457024 134512640 135304128 4293044208 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30368/statm: 642 270 229 194 0 29 0 [pid=30369] ppid=30368 vsize=410332 CPUtime=0.16 /proc/30369/stat : 30369 (java) S 30368 30368 17511 34816 17511 4202496 4080 0 1 0 14 2 0 0 25 0 9 0 46627553 420179968 3507 1283457024 134512640 134550932 4292093536 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/30369/statm: 102583 3507 1941 10 0 96731 0 [pid=30369/tid=30370] ppid=30368 vsize=410332 CPUtime=0.13 /proc/30369/task/30370/stat : 30370 (java) R 30368 30368 17511 34816 17511 4202560 2836 0 1 0 13 0 0 0 25 0 9 0 46627553 420179968 3507 1283457024 134512640 134550932 4292093536 18446744073709551615 4114607395 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.16 Current children cumulated vsize (KiB) 412900 [startup+0.205348 s] /proc/loadavg: 1.22 1.17 1.12 3/37 30370 /proc/meminfo: memFree=684668/1048576 swapFree=0/0 [pid=30368] ppid=30367 vsize=2568 CPUtime=0 /proc/30368/stat : 30368 (gj-user-solver-) S 30367 30368 17511 34816 17511 4202496 372 0 0 0 0 0 0 0 25 0 1 0 46627553 2629632 270 1283457024 134512640 135304128 4293044208 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30368/statm: 642 270 229 194 0 29 0 [pid=30369] ppid=30368 vsize=410332 CPUtime=0.21 /proc/30369/stat : 30369 (java) S 30368 30368 17511 34816 17511 4202496 4355 0 1 0 19 2 0 0 25 0 9 0 46627553 420179968 3782 1283457024 134512640 134550932 4292093536 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/30369/statm: 102583 3782 1944 10 0 96731 0 [pid=30369/tid=30370] ppid=30368 vsize=410332 CPUtime=0.18 /proc/30369/task/30370/stat : 30370 (java) R 30368 30368 17511 34816 17511 4202560 3111 0 1 0 18 0 0 0 25 0 9 0 46627553 420179968 3782 1283457024 134512640 134550932 4292093536 18446744073709551615 4151350832 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.21 Current children cumulated vsize (KiB) 412900 [startup+0.305378 s] /proc/loadavg: 1.22 1.17 1.12 3/37 30370 /proc/meminfo: memFree=684668/1048576 swapFree=0/0 [pid=30368] ppid=30367 vsize=2568 CPUtime=0 /proc/30368/stat : 30368 (gj-user-solver-) S 30367 30368 17511 34816 17511 4202496 372 0 0 0 0 0 0 0 25 0 1 0 46627553 2629632 270 1283457024 134512640 135304128 4293044208 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30368/statm: 642 270 229 194 0 29 0 [pid=30369] ppid=30368 vsize=410480 CPUtime=0.31 /proc/30369/stat : 30369 (java) S 30368 30368 17511 34816 17511 4202496 5399 0 1 0 29 2 0 0 25 0 9 0 46627553 420331520 4826 1283457024 134512640 134550932 4292093536 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/30369/statm: 102620 4826 1951 10 0 96768 0 [pid=30369/tid=30370] ppid=30368 vsize=410480 CPUtime=0.25 /proc/30369/task/30370/stat : 30370 (java) R 30368 30368 17511 34816 17511 4202560 3523 0 1 0 25 0 0 0 25 0 9 0 46627553 420331520 4826 1283457024 134512640 134550932 4292093536 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.31 Current children cumulated vsize (KiB) 413048 [startup+0.705517 s] /proc/loadavg: 1.22 1.17 1.12 3/37 30370 /proc/meminfo: memFree=684668/1048576 swapFree=0/0 [pid=30368] ppid=30367 vsize=2568 CPUtime=0 /proc/30368/stat : 30368 (gj-user-solver-) S 30367 30368 17511 34816 17511 4202496 372 0 0 0 0 0 0 0 25 0 1 0 46627553 2629632 270 1283457024 134512640 135304128 4293044208 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30368/statm: 642 270 229 194 0 29 0 [pid=30369] ppid=30368 vsize=410752 CPUtime=0.7 /proc/30369/stat : 30369 (java) S 30368 30368 17511 34816 17511 4202496 12902 0 1 0 66 4 0 0 25 0 9 0 46627553 420610048 12142 1283457024 134512640 134550932 4292093536 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/30369/statm: 102688 12142 2901 10 0 96836 0 [pid=30369/tid=30370] ppid=30368 vsize=410752 CPUtime=0.47 /proc/30369/task/30370/stat : 30370 (java) R 30368 30368 17511 34816 17511 4202560 4213 0 1 0 47 0 0 0 25 0 9 0 46627553 420610048 12142 1283457024 134512640 134550932 4292093536 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 413320 [startup+1.50574 s] /proc/loadavg: 1.22 1.17 1.12 3/45 30378 /proc/meminfo: memFree=626312/1048576 swapFree=0/0 [pid=30368] ppid=30367 vsize=2568 CPUtime=0 /proc/30368/stat : 30368 (gj-user-solver-) S 30367 30368 17511 34816 17511 4202496 372 0 0 0 0 0 0 0 25 0 1 0 46627553 2629632 270 1283457024 134512640 135304128 4293044208 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30368/statm: 642 270 229 194 0 29 0 [pid=30369] ppid=30368 vsize=410752 CPUtime=1.51 /proc/30369/stat : 30369 (java) S 30368 30368 17511 34816 17511 4202496 27814 0 1 0 140 11 0 0 25 0 9 0 46627553 420610048 27054 1283457024 134512640 134550932 4292093536 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/30369/statm: 102688 27054 2901 10 0 96836 0 [pid=30369/tid=30370] ppid=30368 vsize=410752 CPUtime=0.78 /proc/30369/task/30370/stat : 30370 (java) R 30368 30368 17511 34816 17511 4202560 6853 0 1 0 74 4 0 0 25 0 9 0 46627553 420610048 27054 1283457024 134512640 134550932 4292093536 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=30369/tid=30372] ppid=30368 vsize=410752 CPUtime=0.66 /proc/30369/task/30372/stat : 30372 (java) R 30368 30368 17511 34816 17511 4202560 19572 0 0 0 61 5 0 0 18 0 9 0 46627554 420610048 27054 1283457024 134512640 134550932 4292093536 18446744073709551615 4151153568 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=30369/tid=30373] ppid=30368 vsize=410752 CPUtime=0 /proc/30369/task/30373/stat : 30373 (java) S 30368 30368 17511 34816 17511 4202560 15 0 0 0 0 0 0 0 20 0 9 0 46627554 420610048 27054 1283457024 134512640 134550932 4292093536 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=30369/tid=30374] ppid=30368 vsize=410752 CPUtime=0 /proc/30369/task/30374/stat : 30374 (java) S 30368 30368 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 20 0 9 0 46627554 420610048 27054 1283457024 134512640 134550932 4292093536 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=30369/tid=30375] ppid=30368 vsize=410752 CPUtime=0 /proc/30369/task/30375/stat : 30375 (java) S 30368 30368 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 46627555 420610048 27054 1283457024 134512640 134550932 4292093536 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=30369/tid=30376] ppid=30368 vsize=410752 CPUtime=0.04 /proc/30369/task/30376/stat : 30376 (java) S 30368 30368 17511 34816 17511 4202560 448 0 0 0 4 0 0 0 18 0 9 0 46627555 420610048 27054 1283457024 134512640 134550932 4292093536 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=30369/tid=30377] ppid=30368 vsize=410752 CPUtime=0 /proc/30369/task/30377/stat : 30377 (java) S 30368 30368 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 46627556 420610048 27054 1283457024 134512640 134550932 4292093536 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=30369/tid=30378] ppid=30368 vsize=410752 CPUtime=0 /proc/30369/task/30378/stat : 30378 (java) S 30368 30368 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 15 0 9 0 46627556 420610048 27054 1283457024 134512640 134550932 4292093536 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.51 Current children cumulated vsize (KiB) 413320 [startup+3.10616 s] /proc/loadavg: 1.22 1.17 1.12 2/45 30378 /proc/meminfo: memFree=550920/1048576 swapFree=0/0 [pid=30368] ppid=30367 vsize=2568 CPUtime=0 /proc/30368/stat : 30368 (gj-user-solver-) S 30367 30368 17511 34816 17511 4202496 372 0 0 0 0 0 0 0 25 0 1 0 46627553 2629632 270 1283457024 134512640 135304128 4293044208 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30368/statm: 642 270 229 194 0 29 0 [pid=30369] ppid=30368 vsize=410884 CPUtime=3.1 /proc/30369/stat : 30369 (java) S 30368 30368 17511 34816 17511 4202496 48840 0 1 0 288 22 0 0 25 0 9 0 46627553 420745216 48074 1283457024 134512640 134550932 4292093536 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/30369/statm: 102721 48074 2903 10 0 96869 0 [pid=30369/tid=30370] ppid=30368 vsize=410884 CPUtime=1.46 /proc/30369/task/30370/stat : 30370 (java) R 30368 30368 17511 34816 17511 4202560 13861 0 1 0 136 10 0 0 25 0 9 0 46627553 420745216 48074 1283457024 134512640 134550932 4292093536 18446744073709551615 4115004805 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=30369/tid=30372] ppid=30368 vsize=410884 CPUtime=1.56 /proc/30369/task/30372/stat : 30372 (java) S 30368 30368 17511 34816 17511 4202560 33567 0 0 0 146 10 0 0 16 0 9 0 46627554 420745216 48074 1283457024 134512640 134550932 4292093536 18446744073709551615 4294960130 0 0 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=30369/tid=30373] ppid=30368 vsize=410884 CPUtime=0 /proc/30369/task/30373/stat : 30373 (java) S 30368 30368 17511 34816 17511 4202560 15 0 0 0 0 0 0 0 20 0 9 0 46627554 420745216 48074 1283457024 134512640 134550932 4292093536 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=30369/tid=30374] ppid=30368 vsize=410884 CPUtime=0 /proc/30369/task/30374/stat : 30374 (java) S 30368 30368 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 20 0 9 0 46627554 420745216 48074 1283457024 134512640 134550932 4292093536 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=30369/tid=30375] ppid=30368 vsize=410884 CPUtime=0 /proc/30369/task/30375/stat : 30375 (java) S 30368 30368 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 46627555 420745216 48074 1283457024 134512640 134550932 4292093536 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=30369/tid=30376] ppid=30368 vsize=410884 CPUtime=0.06 /proc/30369/task/30376/stat : 30376 (java) S 30368 30368 17511 34816 17511 4202560 471 0 0 0 6 0 0 0 15 0 9 0 46627555 420745216 48074 1283457024 134512640 134550932 4292093536 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=30369/tid=30377] ppid=30368 vsize=410884 CPUtime=0 /proc/30369/task/30377/stat : 30377 (java) S 30368 30368 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 46627556 420745216 48074 1283457024 134512640 134550932 4292093536 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=30369/tid=30378] ppid=30368 vsize=410884 CPUtime=0 /proc/30369/task/30378/stat : 30378 (java) S 30368 30368 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 15 0 9 0 46627556 420745216 48074 1283457024 134512640 134550932 4292093536 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 413452 [startup+6.30703 s] /proc/loadavg: 1.20 1.17 1.12 2/46 30380 /proc/meminfo: memFree=438940/1048576 swapFree=0/0 [pid=30368] ppid=30367 vsize=2568 CPUtime=0 /proc/30368/stat : 30368 (gj-user-solver-) S 30367 30368 17511 34816 17511 4202496 372 0 0 0 0 0 0 0 25 0 1 0 46627553 2629632 270 1283457024 134512640 135304128 4293044208 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30368/statm: 642 270 229 194 0 29 0 [pid=30369] ppid=30368 vsize=411220 CPUtime=6.3 /proc/30369/stat : 30369 (java) S 30368 30368 17511 34816 17511 4202496 65340 0 1 0 606 24 0 0 25 0 10 0 46627553 421089280 64495 1283457024 134512640 134550932 4292093536 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/30369/statm: 102805 64495 2926 10 0 96950 0 [pid=30369/tid=30370] ppid=30368 vsize=411220 CPUtime=4.14 /proc/30369/task/30370/stat : 30370 (java) R 30368 30368 17511 34816 17511 4202560 14549 0 1 0 404 10 0 0 25 0 10 0 46627553 421089280 64495 1283457024 134512640 134550932 4292093536 18446744073709551615 4115434468 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=30369/tid=30372] ppid=30368 vsize=411220 CPUtime=2.01 /proc/30369/task/30372/stat : 30372 (java) S 30368 30368 17511 34816 17511 4202560 49298 0 0 0 188 13 0 0 16 0 10 0 46627554 421089280 64495 1283457024 134512640 134550932 4292093536 18446744073709551615 4294960130 0 0 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=30369/tid=30373] ppid=30368 vsize=411220 CPUtime=0 /proc/30369/task/30373/stat : 30373 (java) S 30368 30368 17511 34816 17511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 46627554 421089280 64495 1283457024 134512640 134550932 4292093536 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=30369/tid=30374] ppid=30368 vsize=411220 CPUtime=0 /proc/30369/task/30374/stat : 30374 (java) S 30368 30368 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 46627554 421089280 64495 1283457024 134512640 134550932 4292093536 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=30369/tid=30375] ppid=30368 vsize=411220 CPUtime=0 /proc/30369/task/30375/stat : 30375 (java) S 30368 30368 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46627555 421089280 64495 1283457024 134512640 134550932 4292093536 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=30369/tid=30376] ppid=30368 vsize=411220 CPUtime=0.13 /proc/30369/task/30376/stat : 30376 (java) S 30368 30368 17511 34816 17511 4202560 547 0 0 0 13 0 0 0 16 0 10 0 46627555 421089280 64495 1283457024 134512640 134550932 4292093536 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=30369/tid=30377] ppid=30368 vsize=411220 CPUtime=0 /proc/30369/task/30377/stat : 30377 (java) S 30368 30368 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46627556 421089280 64495 1283457024 134512640 134550932 4292093536 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=30369/tid=30378] ppid=30368 vsize=411220 CPUtime=0 /proc/30369/task/30378/stat : 30378 (java) S 30368 30368 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 46627556 421089280 64495 1283457024 134512640 134550932 4292093536 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=30369/tid=30380] ppid=30368 vsize=411220 CPUtime=0 /proc/30369/task/30380/stat : 30380 (java) S 30368 30368 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 46627972 421089280 64495 1283457024 134512640 134550932 4292093536 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 6.3 Current children cumulated vsize (KiB) 413788 [startup+12.7098 s] /proc/loadavg: 1.19 1.17 1.12 2/46 30380 /proc/meminfo: memFree=434112/1048576 swapFree=0/0 [pid=30368] ppid=30367 vsize=2568 CPUtime=0 /proc/30368/stat : 30368 (gj-user-solver-) S 30367 30368 17511 34816 17511 4202496 372 0 0 0 0 0 0 0 25 0 1 0 46627553 2629632 270 1283457024 134512640 135304128 4293044208 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30368/statm: 642 270 229 194 0 29 0 [pid=30369] ppid=30368 vsize=411220 CPUtime=12.7 /proc/30369/stat : 30369 (java) S 30368 30368 17511 34816 17511 4202496 66514 0 1 0 1244 26 0 0 25 0 10 0 46627553 421089280 65660 1283457024 134512640 134550932 4292093536 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/30369/statm: 102805 65660 2920 10 0 96950 0 [pid=30369/tid=30370] ppid=30368 vsize=411220 CPUtime=10.12 /proc/30369/task/30370/stat : 30370 (java) R 30368 30368 17511 34816 17511 4202560 14549 0 1 0 1002 10 0 0 25 0 10 0 46627553 421089280 65660 1283457024 134512640 134550932 4292093536 18446744073709551615 4115572297 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=30369/tid=30372] ppid=30368 vsize=411220 CPUtime=2.41 /proc/30369/task/30372/stat : 30372 (java) S 30368 30368 17511 34816 17511 4202560 50464 0 0 0 227 14 0 0 16 0 10 0 46627554 421089280 65660 1283457024 134512640 134550932 4292093536 18446744073709551615 4294960130 0 0 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=30369/tid=30373] ppid=30368 vsize=411220 CPUtime=0 /proc/30369/task/30373/stat : 30373 (java) S 30368 30368 17511 34816 17511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 46627554 421089280 65660 1283457024 134512640 134550932 4292093536 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=30369/tid=30374] ppid=30368 vsize=411220 CPUtime=0 /proc/30369/task/30374/stat : 30374 (java) S 30368 30368 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 46627554 421089280 65660 1283457024 134512640 134550932 4292093536 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=30369/tid=30375] ppid=30368 vsize=411220 CPUtime=0 /proc/30369/task/30375/stat : 30375 (java) S 30368 30368 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46627555 421089280 65660 1283457024 134512640 134550932 4292093536 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=30369/tid=30376] ppid=30368 vsize=411220 CPUtime=0.15 /proc/30369/task/30376/stat : 30376 (java) S 30368 30368 17511 34816 17511 4202560 555 0 0 0 15 0 0 0 15 0 10 0 46627555 421089280 65660 1283457024 134512640 134550932 4292093536 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=30369/tid=30377] ppid=30368 vsize=411220 CPUtime=0 /proc/30369/task/30377/stat : 30377 (java) S 30368 30368 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46627556 421089280 65660 1283457024 134512640 134550932 4292093536 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=30369/tid=30378] ppid=30368 vsize=411220 CPUtime=0 /proc/30369/task/30378/stat : 30378 (java) S 30368 30368 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 46627556 421089280 65660 1283457024 134512640 134550932 4292093536 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=30369/tid=30380] ppid=30368 vsize=411220 CPUtime=0 /proc/30369/task/30380/stat : 30380 (java) S 30368 30368 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 46627972 421089280 65660 1283457024 134512640 134550932 4292093536 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 12.7 Current children cumulated vsize (KiB) 413788 Solver just ended. Dumping a history of the last processes samples [startup+12.8098 s] /proc/loadavg: 1.19 1.17 1.12 2/46 30380 /proc/meminfo: memFree=434112/1048576 swapFree=0/0 [pid=30368] ppid=30367 vsize=2568 CPUtime=0 /proc/30368/stat : 30368 (gj-user-solver-) S 30367 30368 17511 34816 17511 4202496 372 0 0 0 0 0 0 0 25 0 1 0 46627553 2629632 270 1283457024 134512640 135304128 4293044208 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30368/statm: 642 270 229 194 0 29 0 [pid=30369] ppid=30368 vsize=411220 CPUtime=12.8 /proc/30369/stat : 30369 (java) S 30368 30368 17511 34816 17511 4202496 66514 0 1 0 1254 26 0 0 25 0 10 0 46627553 421089280 65660 1283457024 134512640 134550932 4292093536 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/30369/statm: 102805 65660 2920 10 0 96950 0 [pid=30369/tid=30370] ppid=30368 vsize=411220 CPUtime=10.22 /proc/30369/task/30370/stat : 30370 (java) R 30368 30368 17511 34816 17511 4202560 14549 0 1 0 1012 10 0 0 25 0 10 0 46627553 421089280 65660 1283457024 134512640 134550932 4292093536 18446744073709551615 4114725382 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=30369/tid=30372] ppid=30368 vsize=411220 CPUtime=2.41 /proc/30369/task/30372/stat : 30372 (java) S 30368 30368 17511 34816 17511 4202560 50464 0 0 0 227 14 0 0 15 0 10 0 46627554 421089280 65660 1283457024 134512640 134550932 4292093536 18446744073709551615 4294960130 0 0 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=30369/tid=30373] ppid=30368 vsize=411220 CPUtime=0 /proc/30369/task/30373/stat : 30373 (java) S 30368 30368 17511 34816 17511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 46627554 421089280 65660 1283457024 134512640 134550932 4292093536 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=30369/tid=30374] ppid=30368 vsize=411220 CPUtime=0 /proc/30369/task/30374/stat : 30374 (java) S 30368 30368 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 46627554 421089280 65660 1283457024 134512640 134550932 4292093536 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=30369/tid=30375] ppid=30368 vsize=411220 CPUtime=0 /proc/30369/task/30375/stat : 30375 (java) S 30368 30368 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46627555 421089280 65660 1283457024 134512640 134550932 4292093536 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=30369/tid=30376] ppid=30368 vsize=411220 CPUtime=0.15 /proc/30369/task/30376/stat : 30376 (java) S 30368 30368 17511 34816 17511 4202560 555 0 0 0 15 0 0 0 15 0 10 0 46627555 421089280 65660 1283457024 134512640 134550932 4292093536 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=30369/tid=30377] ppid=30368 vsize=411220 CPUtime=0 /proc/30369/task/30377/stat : 30377 (java) S 30368 30368 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46627556 421089280 65660 1283457024 134512640 134550932 4292093536 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=30369/tid=30378] ppid=30368 vsize=411220 CPUtime=0 /proc/30369/task/30378/stat : 30378 (java) S 30368 30368 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 46627556 421089280 65660 1283457024 134512640 134550932 4292093536 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=30369/tid=30380] ppid=30368 vsize=411220 CPUtime=0 /proc/30369/task/30380/stat : 30380 (java) S 30368 30368 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 46627972 421089280 65660 1283457024 134512640 134550932 4292093536 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 12.8 Current children cumulated vsize (KiB) 413788 [startup+16.0105 s] /proc/loadavg: 1.17 1.16 1.12 3/46 30381 /proc/meminfo: memFree=434112/1048576 swapFree=0/0 [pid=30368] ppid=30367 vsize=2568 CPUtime=0 /proc/30368/stat : 30368 (gj-user-solver-) S 30367 30368 17511 34816 17511 4202496 372 0 0 0 0 0 0 0 25 0 1 0 46627553 2629632 270 1283457024 134512640 135304128 4293044208 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30368/statm: 642 270 229 194 0 29 0 [pid=30369] ppid=30368 vsize=411220 CPUtime=16 /proc/30369/stat : 30369 (java) S 30368 30368 17511 34816 17511 4202496 66515 0 1 0 1574 26 0 0 25 0 10 0 46627553 421089280 65661 1283457024 134512640 134550932 4292093536 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/30369/statm: 102805 65661 2920 10 0 96950 0 [pid=30369/tid=30370] ppid=30368 vsize=411220 CPUtime=13.4 /proc/30369/task/30370/stat : 30370 (java) R 30368 30368 17511 34816 17511 4202560 14549 0 1 0 1330 10 0 0 25 0 10 0 46627553 421089280 65661 1283457024 134512640 134550932 4292093536 18446744073709551615 4115572297 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=30369/tid=30372] ppid=30368 vsize=411220 CPUtime=2.43 /proc/30369/task/30372/stat : 30372 (java) S 30368 30368 17511 34816 17511 4202560 50464 0 0 0 229 14 0 0 15 0 10 0 46627554 421089280 65661 1283457024 134512640 134550932 4292093536 18446744073709551615 4294960130 0 0 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=30369/tid=30373] ppid=30368 vsize=411220 CPUtime=0 /proc/30369/task/30373/stat : 30373 (java) S 30368 30368 17511 34816 17511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 46627554 421089280 65661 1283457024 134512640 134550932 4292093536 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=30369/tid=30374] ppid=30368 vsize=411220 CPUtime=0 /proc/30369/task/30374/stat : 30374 (java) S 30368 30368 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 46627554 421089280 65661 1283457024 134512640 134550932 4292093536 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=30369/tid=30375] ppid=30368 vsize=411220 CPUtime=0 /proc/30369/task/30375/stat : 30375 (java) S 30368 30368 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46627555 421089280 65661 1283457024 134512640 134550932 4292093536 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=30369/tid=30376] ppid=30368 vsize=411220 CPUtime=0.15 /proc/30369/task/30376/stat : 30376 (java) S 30368 30368 17511 34816 17511 4202560 556 0 0 0 15 0 0 0 15 0 10 0 46627555 421089280 65661 1283457024 134512640 134550932 4292093536 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=30369/tid=30377] ppid=30368 vsize=411220 CPUtime=0 /proc/30369/task/30377/stat : 30377 (java) S 30368 30368 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46627556 421089280 65661 1283457024 134512640 134550932 4292093536 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=30369/tid=30378] ppid=30368 vsize=411220 CPUtime=0 /proc/30369/task/30378/stat : 30378 (java) R 30368 30368 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 46627556 421089280 65661 1283457024 134512640 134550932 4292093536 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=30369/tid=30380] ppid=30368 vsize=411220 CPUtime=0 /proc/30369/task/30380/stat : 30380 (java) S 30368 30368 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 46627972 421089280 65661 1283457024 134512640 134550932 4292093536 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 16 Current children cumulated vsize (KiB) 413788 [startup+16.8106 s] /proc/loadavg: 1.17 1.16 1.12 2/46 30381 /proc/meminfo: memFree=434112/1048576 swapFree=0/0 [pid=30368] ppid=30367 vsize=2568 CPUtime=0 /proc/30368/stat : 30368 (gj-user-solver-) S 30367 30368 17511 34816 17511 4202496 372 0 0 0 0 0 0 0 25 0 1 0 46627553 2629632 270 1283457024 134512640 135304128 4293044208 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30368/statm: 642 270 229 194 0 29 0 [pid=30369] ppid=30368 vsize=411220 CPUtime=16.8 /proc/30369/stat : 30369 (java) S 30368 30368 17511 34816 17511 4202496 66515 0 1 0 1654 26 0 0 25 0 10 0 46627553 421089280 65661 1283457024 134512640 134550932 4292093536 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/30369/statm: 102805 65661 2920 10 0 96950 0 [pid=30369/tid=30370] ppid=30368 vsize=411220 CPUtime=14.2 /proc/30369/task/30370/stat : 30370 (java) R 30368 30368 17511 34816 17511 4202560 14549 0 1 0 1410 10 0 0 25 0 10 0 46627553 421089280 65661 1283457024 134512640 134550932 4292093536 18446744073709551615 4115579013 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=30369/tid=30372] ppid=30368 vsize=411220 CPUtime=2.43 /proc/30369/task/30372/stat : 30372 (java) S 30368 30368 17511 34816 17511 4202560 50464 0 0 0 229 14 0 0 15 0 10 0 46627554 421089280 65661 1283457024 134512640 134550932 4292093536 18446744073709551615 4294960130 0 0 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=30369/tid=30373] ppid=30368 vsize=411220 CPUtime=0 /proc/30369/task/30373/stat : 30373 (java) S 30368 30368 17511 34816 17511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 46627554 421089280 65661 1283457024 134512640 134550932 4292093536 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=30369/tid=30374] ppid=30368 vsize=411220 CPUtime=0 /proc/30369/task/30374/stat : 30374 (java) S 30368 30368 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 46627554 421089280 65661 1283457024 134512640 134550932 4292093536 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=30369/tid=30375] ppid=30368 vsize=411220 CPUtime=0 /proc/30369/task/30375/stat : 30375 (java) S 30368 30368 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46627555 421089280 65661 1283457024 134512640 134550932 4292093536 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=30369/tid=30376] ppid=30368 vsize=411220 CPUtime=0.15 /proc/30369/task/30376/stat : 30376 (java) S 30368 30368 17511 34816 17511 4202560 556 0 0 0 15 0 0 0 15 0 10 0 46627555 421089280 65661 1283457024 134512640 134550932 4292093536 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=30369/tid=30377] ppid=30368 vsize=411220 CPUtime=0 /proc/30369/task/30377/stat : 30377 (java) S 30368 30368 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46627556 421089280 65661 1283457024 134512640 134550932 4292093536 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=30369/tid=30378] ppid=30368 vsize=411220 CPUtime=0 /proc/30369/task/30378/stat : 30378 (java) S 30368 30368 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 46627556 421089280 65661 1283457024 134512640 134550932 4292093536 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=30369/tid=30380] ppid=30368 vsize=411220 CPUtime=0 /proc/30369/task/30380/stat : 30380 (java) S 30368 30368 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 46627972 421089280 65661 1283457024 134512640 134550932 4292093536 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 16.8 Current children cumulated vsize (KiB) 413788 [startup+17.6107 s] /proc/loadavg: 1.17 1.16 1.12 2/46 30381 /proc/meminfo: memFree=434112/1048576 swapFree=0/0 [pid=30368] ppid=30367 vsize=2568 CPUtime=0 /proc/30368/stat : 30368 (gj-user-solver-) S 30367 30368 17511 34816 17511 4202496 372 0 0 0 0 0 0 0 25 0 1 0 46627553 2629632 270 1283457024 134512640 135304128 4293044208 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30368/statm: 642 270 229 194 0 29 0 [pid=30369] ppid=30368 vsize=411220 CPUtime=17.6 /proc/30369/stat : 30369 (java) S 30368 30368 17511 34816 17511 4202496 66515 0 1 0 1734 26 0 0 25 0 10 0 46627553 421089280 65661 1283457024 134512640 134550932 4292093536 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/30369/statm: 102805 65661 2920 10 0 96950 0 [pid=30369/tid=30370] ppid=30368 vsize=411220 CPUtime=14.98 /proc/30369/task/30370/stat : 30370 (java) R 30368 30368 17511 34816 17511 4202560 14549 0 1 0 1488 10 0 0 25 0 10 0 46627553 421089280 65661 1283457024 134512640 134550932 4292093536 18446744073709551615 4115602166 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=30369/tid=30372] ppid=30368 vsize=411220 CPUtime=2.45 /proc/30369/task/30372/stat : 30372 (java) S 30368 30368 17511 34816 17511 4202560 50464 0 0 0 231 14 0 0 16 0 10 0 46627554 421089280 65661 1283457024 134512640 134550932 4292093536 18446744073709551615 4294960130 0 0 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=30369/tid=30373] ppid=30368 vsize=411220 CPUtime=0 /proc/30369/task/30373/stat : 30373 (java) S 30368 30368 17511 34816 17511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 46627554 421089280 65661 1283457024 134512640 134550932 4292093536 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=30369/tid=30374] ppid=30368 vsize=411220 CPUtime=0 /proc/30369/task/30374/stat : 30374 (java) S 30368 30368 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 46627554 421089280 65661 1283457024 134512640 134550932 4292093536 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=30369/tid=30375] ppid=30368 vsize=411220 CPUtime=0 /proc/30369/task/30375/stat : 30375 (java) S 30368 30368 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46627555 421089280 65661 1283457024 134512640 134550932 4292093536 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=30369/tid=30376] ppid=30368 vsize=411220 CPUtime=0.15 /proc/30369/task/30376/stat : 30376 (java) S 30368 30368 17511 34816 17511 4202560 556 0 0 0 15 0 0 0 15 0 10 0 46627555 421089280 65661 1283457024 134512640 134550932 4292093536 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=30369/tid=30377] ppid=30368 vsize=411220 CPUtime=0 /proc/30369/task/30377/stat : 30377 (java) S 30368 30368 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46627556 421089280 65661 1283457024 134512640 134550932 4292093536 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=30369/tid=30378] ppid=30368 vsize=411220 CPUtime=0 /proc/30369/task/30378/stat : 30378 (java) S 30368 30368 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 46627556 421089280 65661 1283457024 134512640 134550932 4292093536 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=30369/tid=30380] ppid=30368 vsize=411220 CPUtime=0 /proc/30369/task/30380/stat : 30380 (java) S 30368 30368 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 46627972 421089280 65661 1283457024 134512640 134550932 4292093536 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 17.6 Current children cumulated vsize (KiB) 413788 [startup+18.0108 s] /proc/loadavg: 1.17 1.16 1.12 2/46 30381 /proc/meminfo: memFree=434112/1048576 swapFree=0/0 [pid=30368] ppid=30367 vsize=2568 CPUtime=0 /proc/30368/stat : 30368 (gj-user-solver-) S 30367 30368 17511 34816 17511 4202496 372 0 0 0 0 0 0 0 25 0 1 0 46627553 2629632 270 1283457024 134512640 135304128 4293044208 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30368/statm: 642 270 229 194 0 29 0 [pid=30369] ppid=30368 vsize=411220 CPUtime=18 /proc/30369/stat : 30369 (java) S 30368 30368 17511 34816 17511 4202496 66515 0 1 0 1774 26 0 0 25 0 10 0 46627553 421089280 65661 1283457024 134512640 134550932 4292093536 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/30369/statm: 102805 65661 2920 10 0 96950 0 [pid=30369/tid=30370] ppid=30368 vsize=411220 CPUtime=15.38 /proc/30369/task/30370/stat : 30370 (java) R 30368 30368 17511 34816 17511 4202560 14549 0 1 0 1528 10 0 0 25 0 10 0 46627553 421089280 65661 1283457024 134512640 134550932 4292093536 18446744073709551615 4115572301 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=30369/tid=30372] ppid=30368 vsize=411220 CPUtime=2.45 /proc/30369/task/30372/stat : 30372 (java) S 30368 30368 17511 34816 17511 4202560 50464 0 0 0 231 14 0 0 16 0 10 0 46627554 421089280 65661 1283457024 134512640 134550932 4292093536 18446744073709551615 4294960130 0 0 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=30369/tid=30373] ppid=30368 vsize=411220 CPUtime=0 /proc/30369/task/30373/stat : 30373 (java) S 30368 30368 17511 34816 17511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 46627554 421089280 65661 1283457024 134512640 134550932 4292093536 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=30369/tid=30374] ppid=30368 vsize=411220 CPUtime=0 /proc/30369/task/30374/stat : 30374 (java) S 30368 30368 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 46627554 421089280 65661 1283457024 134512640 134550932 4292093536 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=30369/tid=30375] ppid=30368 vsize=411220 CPUtime=0 /proc/30369/task/30375/stat : 30375 (java) S 30368 30368 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46627555 421089280 65661 1283457024 134512640 134550932 4292093536 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=30369/tid=30376] ppid=30368 vsize=411220 CPUtime=0.15 /proc/30369/task/30376/stat : 30376 (java) S 30368 30368 17511 34816 17511 4202560 556 0 0 0 15 0 0 0 15 0 10 0 46627555 421089280 65661 1283457024 134512640 134550932 4292093536 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=30369/tid=30377] ppid=30368 vsize=411220 CPUtime=0 /proc/30369/task/30377/stat : 30377 (java) S 30368 30368 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46627556 421089280 65661 1283457024 134512640 134550932 4292093536 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=30369/tid=30378] ppid=30368 vsize=411220 CPUtime=0 /proc/30369/task/30378/stat : 30378 (java) S 30368 30368 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 46627556 421089280 65661 1283457024 134512640 134550932 4292093536 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=30369/tid=30380] ppid=30368 vsize=411220 CPUtime=0 /proc/30369/task/30380/stat : 30380 (java) S 30368 30368 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 46627972 421089280 65661 1283457024 134512640 134550932 4292093536 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 18 Current children cumulated vsize (KiB) 413788 [startup+18.1094 s] /proc/loadavg: 1.17 1.16 1.12 2/46 30381 /proc/meminfo: memFree=434112/1048576 swapFree=0/0 [pid=30368] ppid=30367 vsize=2568 CPUtime=0 /proc/30368/stat : 30368 (gj-user-solver-) S 30367 30368 17511 34816 17511 4202496 372 0 0 0 0 0 0 0 25 0 1 0 46627553 2629632 270 1283457024 134512640 135304128 4293044208 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30368/statm: 642 270 229 194 0 29 0 [pid=30369] ppid=30368 vsize=411220 CPUtime=18.09 /proc/30369/stat : 30369 (java) S 30368 30368 17511 34816 17511 4202496 66525 0 1 0 1783 26 0 0 25 0 9 0 46627553 421089280 65671 1283457024 134512640 134550932 4292093536 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/30369/statm: 102805 65671 2921 10 0 96950 0 [pid=30369/tid=30370] ppid=30368 vsize=411220 CPUtime=15.47 /proc/30369/task/30370/stat : 30370 (java) S 30368 30368 17511 34816 17511 4202560 14550 0 1 0 1537 10 0 0 25 0 9 0 46627553 421089280 65671 1283457024 134512640 134550932 4292093536 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=30369/tid=30372] ppid=30368 vsize=411220 CPUtime=2.45 /proc/30369/task/30372/stat : 30372 (java) S 30368 30368 17511 34816 17511 4202560 50464 0 0 0 231 14 0 0 16 0 9 0 46627554 421089280 65671 1283457024 134512640 134550932 4292093536 18446744073709551615 4294960130 0 0 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=30369/tid=30373] ppid=30368 vsize=411220 CPUtime=0 /proc/30369/task/30373/stat : 30373 (java) S 30368 30368 17511 34816 17511 4202560 15 0 0 0 0 0 0 0 18 0 9 0 46627554 421089280 65671 1283457024 134512640 134550932 4292093536 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=30369/tid=30374] ppid=30368 vsize=411220 CPUtime=0 /proc/30369/task/30374/stat : 30374 (java) S 30368 30368 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 18 0 9 0 46627554 421089280 65671 1283457024 134512640 134550932 4292093536 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=30369/tid=30375] ppid=30368 vsize=411220 CPUtime=0 /proc/30369/task/30375/stat : 30375 (java) S 30368 30368 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 46627555 421089280 65671 1283457024 134512640 134550932 4292093536 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=30369/tid=30376] ppid=30368 vsize=411220 CPUtime=0.15 /proc/30369/task/30376/stat : 30376 (java) S 30368 30368 17511 34816 17511 4202560 564 0 0 0 15 0 0 0 16 0 9 0 46627555 421089280 65671 1283457024 134512640 134550932 4292093536 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=30369/tid=30377] ppid=30368 vsize=411220 CPUtime=0 /proc/30369/task/30377/stat : 30377 (java) S 30368 30368 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 46627556 421089280 65671 1283457024 134512640 134550932 4292093536 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0 [pid=30369/tid=30378] ppid=30368 vsize=411220 CPUtime=0 /proc/30369/task/30378/stat : 30378 (java) R 30368 30368 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 15 0 9 0 46627556 421089280 65671 1283457024 134512640 134550932 4292093536 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 18.09 Current children cumulated vsize (KiB) 413788 Child status: 0 Real time (s): 18.1252 CPU time (s): 18.1131 CPU user time (s): 17.8371 CPU system time (s): 0.276017 CPU usage (%): 99.9332 Max. virtual memory (cumulated for all children) (KiB): 413788 getrusage(RUSAGE_CHILDREN,...) data: user time used= 17.8371 system time used= 0.276017 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 66914 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= 1070 involuntary context switches= 1267 runsolver used 0 second user time and 0 second system time The end