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/201108241238/gj-trendy-solver-1.0/rand408.cudf.user-upgrades.log.runsolver ./gj-trendy-solver-1.0 /home/misc2010/data/2011/user-upgrades/rand408.cudf /home/misc2010/tmp/201108241238/gj-trendy-solver-1.0/rand408.cudf.user-upgrades.result 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.01 1.01 1.00 5/35 16408 /proc/meminfo: memFree=502088/1048576 swapFree=0/0 [pid=16406] ppid=16405 vsize=2568 CPUtime=0.01 /proc/16406/stat : 16406 (gj-trendy-solve) S 16405 16406 1511 34817 1511 4202496 370 0 0 0 1 0 0 0 18 0 1 0 3793697 2629632 268 1283457024 134512640 135304128 4290211216 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/16406/statm: 642 268 229 194 0 29 0 [pid=16407] ppid=16406 vsize=11360 CPUtime=0 /proc/16407/stat : 16407 (java) R 16406 16406 1511 34817 1511 4202496 919 0 0 0 0 0 0 0 25 0 2 0 3793697 11632640 652 1283457024 134512640 134550932 4287398416 18446744073709551615 4159938152 0 0 0 0 18446744073709551615 0 0 17 0 0 0 0 /proc/16407/statm: 2840 652 285 10 0 1186 0 [pid=16407/tid=16408] ppid=16406 vsize=11360 CPUtime=0 /proc/16407/task/16408/stat : 16408 (java) R 16406 16406 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 2 0 3793698 11632640 652 1283457024 134512640 134550932 4287398416 18446744073709551615 4159938152 0 0 0 0 0 0 0 -1 0 0 0 0 [startup+0.201429 s] /proc/loadavg: 1.01 1.01 1.00 5/35 16408 /proc/meminfo: memFree=502088/1048576 swapFree=0/0 [pid=16406] ppid=16405 vsize=2568 CPUtime=0.01 /proc/16406/stat : 16406 (gj-trendy-solve) S 16405 16406 1511 34817 1511 4202496 370 0 0 0 1 0 0 0 18 0 1 0 3793697 2629632 268 1283457024 134512640 135304128 4290211216 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/16406/statm: 642 268 229 194 0 29 0 [pid=16407] ppid=16406 vsize=410100 CPUtime=0.19 /proc/16407/stat : 16407 (java) S 16406 16406 1511 34817 1511 4202496 4632 0 1 0 18 1 0 0 25 0 9 0 3793697 419942400 4059 1283457024 134512640 134550932 4287398416 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/16407/statm: 102525 4059 1944 10 0 96673 0 [pid=16407/tid=16408] ppid=16406 vsize=410100 CPUtime=0.19 /proc/16407/task/16408/stat : 16408 (java) R 16406 16406 1511 34817 1511 4202560 3439 0 1 0 18 1 0 0 25 0 9 0 3793698 419942400 4059 1283457024 134512640 134550932 4287398416 18446744073709551615 4115283617 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.2 Current children cumulated vsize (KiB) 412668 [startup+0.311442 s] /proc/loadavg: 1.01 1.01 1.00 5/35 16408 /proc/meminfo: memFree=502088/1048576 swapFree=0/0 [pid=16406] ppid=16405 vsize=2568 CPUtime=0.01 /proc/16406/stat : 16406 (gj-trendy-solve) S 16405 16406 1511 34817 1511 4202496 370 0 0 0 1 0 0 0 18 0 1 0 3793697 2629632 268 1283457024 134512640 135304128 4290211216 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/16406/statm: 642 268 229 194 0 29 0 [pid=16407] ppid=16406 vsize=410100 CPUtime=0.3 /proc/16407/stat : 16407 (java) S 16406 16406 1511 34817 1511 4202496 5292 0 1 0 29 1 0 0 25 0 9 0 3793697 419942400 4718 1283457024 134512640 134550932 4287398416 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/16407/statm: 102525 4718 1950 10 0 96673 0 [pid=16407/tid=16408] ppid=16406 vsize=410100 CPUtime=0.28 /proc/16407/task/16408/stat : 16408 (java) R 16406 16406 1511 34817 1511 4202560 3529 0 1 0 27 1 0 0 25 0 9 0 3793698 419942400 4718 1283457024 134512640 134550932 4287398416 18446744073709551615 4115242629 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) 412668 [startup+0.411465 s] /proc/loadavg: 1.01 1.01 1.00 5/35 16408 /proc/meminfo: memFree=502088/1048576 swapFree=0/0 [pid=16406] ppid=16405 vsize=2568 CPUtime=0.01 /proc/16406/stat : 16406 (gj-trendy-solve) S 16405 16406 1511 34817 1511 4202496 370 0 0 0 1 0 0 0 18 0 1 0 3793697 2629632 268 1283457024 134512640 135304128 4290211216 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/16406/statm: 642 268 229 194 0 29 0 [pid=16407] ppid=16406 vsize=410684 CPUtime=0.4 /proc/16407/stat : 16407 (java) S 16406 16406 1511 34817 1511 4202496 6225 0 1 0 38 2 0 0 25 0 9 0 3793697 420540416 5651 1283457024 134512640 134550932 4287398416 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/16407/statm: 102671 5651 1957 10 0 96819 0 [pid=16407/tid=16408] ppid=16406 vsize=410684 CPUtime=0.35 /proc/16407/task/16408/stat : 16408 (java) R 16406 16406 1511 34817 1511 4202560 3530 0 1 0 34 1 0 0 25 0 9 0 3793698 420540416 5651 1283457024 134512640 134550932 4287398416 18446744073709551615 4115693020 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.41 Current children cumulated vsize (KiB) 413252 [startup+0.711538 s] /proc/loadavg: 1.01 1.01 1.00 5/35 16408 /proc/meminfo: memFree=502088/1048576 swapFree=0/0 [pid=16406] ppid=16405 vsize=2568 CPUtime=0.01 /proc/16406/stat : 16406 (gj-trendy-solve) S 16405 16406 1511 34817 1511 4202496 370 0 0 0 1 0 0 0 18 0 1 0 3793697 2629632 268 1283457024 134512640 135304128 4290211216 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/16406/statm: 642 268 229 194 0 29 0 [pid=16407] ppid=16406 vsize=410684 CPUtime=0.7 /proc/16407/stat : 16407 (java) S 16406 16406 1511 34817 1511 4202496 12756 0 1 0 65 5 0 0 25 0 9 0 3793697 420540416 11996 1283457024 134512640 134550932 4287398416 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/16407/statm: 102671 11996 2901 10 0 96819 0 [pid=16407/tid=16408] ppid=16406 vsize=410684 CPUtime=0.46 /proc/16407/task/16408/stat : 16408 (java) R 16406 16406 1511 34817 1511 4202560 4186 0 1 0 43 3 0 0 25 0 9 0 3793698 420540416 11996 1283457024 134512640 134550932 4287398416 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.71 Current children cumulated vsize (KiB) 413252 [startup+1.51172 s] /proc/loadavg: 1.09 1.03 1.00 3/43 16416 /proc/meminfo: memFree=438836/1048576 swapFree=0/0 [pid=16406] ppid=16405 vsize=2568 CPUtime=0.01 /proc/16406/stat : 16406 (gj-trendy-solve) S 16405 16406 1511 34817 1511 4202496 370 0 0 0 1 0 0 0 18 0 1 0 3793697 2629632 268 1283457024 134512640 135304128 4290211216 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/16406/statm: 642 268 229 194 0 29 0 [pid=16407] ppid=16406 vsize=410684 CPUtime=1.5 /proc/16407/stat : 16407 (java) S 16406 16406 1511 34817 1511 4202496 27416 0 1 0 142 8 0 0 25 0 9 0 3793697 420540416 26656 1283457024 134512640 134550932 4287398416 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/16407/statm: 102671 26656 2901 10 0 96819 0 [pid=16407/tid=16408] ppid=16406 vsize=410684 CPUtime=0.78 /proc/16407/task/16408/stat : 16408 (java) S 16406 16406 1511 34817 1511 4202560 6714 0 1 0 75 3 0 0 25 0 9 0 3793698 420540416 26656 1283457024 134512640 134550932 4287398416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=16407/tid=16410] ppid=16406 vsize=410684 CPUtime=0.66 /proc/16407/task/16410/stat : 16410 (java) R 16406 16406 1511 34817 1511 4202560 19322 0 0 0 62 4 0 0 19 0 9 0 3793698 420540416 26656 1283457024 134512640 134550932 4287398416 18446744073709551615 4151922088 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=16407/tid=16411] ppid=16406 vsize=410684 CPUtime=0 /proc/16407/task/16411/stat : 16411 (java) S 16406 16406 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 20 0 9 0 3793699 420540416 26656 1283457024 134512640 134550932 4287398416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=16407/tid=16412] ppid=16406 vsize=410684 CPUtime=0 /proc/16407/task/16412/stat : 16412 (java) S 16406 16406 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 20 0 9 0 3793699 420540416 26656 1283457024 134512640 134550932 4287398416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=16407/tid=16413] ppid=16406 vsize=410684 CPUtime=0 /proc/16407/task/16413/stat : 16413 (java) S 16406 16406 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 3793700 420540416 26656 1283457024 134512640 134550932 4287398416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=16407/tid=16414] ppid=16406 vsize=410684 CPUtime=0.05 /proc/16407/task/16414/stat : 16414 (java) S 16406 16406 1511 34817 1511 4202560 439 0 0 0 5 0 0 0 17 0 9 0 3793700 420540416 26656 1283457024 134512640 134550932 4287398416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=16407/tid=16415] ppid=16406 vsize=410684 CPUtime=0 /proc/16407/task/16415/stat : 16415 (java) S 16406 16406 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 3793700 420540416 26656 1283457024 134512640 134550932 4287398416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=16407/tid=16416] ppid=16406 vsize=410684 CPUtime=0 /proc/16407/task/16416/stat : 16416 (java) R 16406 16406 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 9 0 3793700 420540416 26656 1283457024 134512640 134550932 4287398416 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.51 Current children cumulated vsize (KiB) 413252 [startup+3.10214 s] /proc/loadavg: 1.09 1.03 1.00 3/43 16416 /proc/meminfo: memFree=358112/1048576 swapFree=0/0 [pid=16406] ppid=16405 vsize=2568 CPUtime=0.01 /proc/16406/stat : 16406 (gj-trendy-solve) S 16405 16406 1511 34817 1511 4202496 370 0 0 0 1 0 0 0 18 0 1 0 3793697 2629632 268 1283457024 134512640 135304128 4290211216 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/16406/statm: 642 268 229 194 0 29 0 [pid=16407] ppid=16406 vsize=410816 CPUtime=3.08 /proc/16407/stat : 16407 (java) S 16406 16406 1511 34817 1511 4202496 50511 0 1 0 294 14 0 0 25 0 9 0 3793697 420675584 49751 1283457024 134512640 134550932 4287398416 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/16407/statm: 102704 49751 2901 10 0 96852 0 [pid=16407/tid=16408] ppid=16406 vsize=410816 CPUtime=1.39 /proc/16407/task/16408/stat : 16408 (java) R 16406 16406 1511 34817 1511 4202560 13867 0 1 0 134 5 0 0 25 0 9 0 3793698 420675584 49751 1283457024 134512640 134550932 4287398416 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=16407/tid=16410] ppid=16406 vsize=410816 CPUtime=1.63 /proc/16407/task/16410/stat : 16410 (java) R 16406 16406 1511 34817 1511 4202560 35261 0 0 0 154 9 0 0 16 0 9 0 3793698 420675584 49751 1283457024 134512640 134550932 4287398416 18446744073709551615 4151543736 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=16407/tid=16411] ppid=16406 vsize=410816 CPUtime=0 /proc/16407/task/16411/stat : 16411 (java) S 16406 16406 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 20 0 9 0 3793699 420675584 49751 1283457024 134512640 134550932 4287398416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=16407/tid=16412] ppid=16406 vsize=410816 CPUtime=0 /proc/16407/task/16412/stat : 16412 (java) S 16406 16406 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 20 0 9 0 3793699 420675584 49751 1283457024 134512640 134550932 4287398416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=16407/tid=16413] ppid=16406 vsize=410816 CPUtime=0 /proc/16407/task/16413/stat : 16413 (java) S 16406 16406 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 3793700 420675584 49751 1283457024 134512640 134550932 4287398416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=16407/tid=16414] ppid=16406 vsize=410816 CPUtime=0.05 /proc/16407/task/16414/stat : 16414 (java) S 16406 16406 1511 34817 1511 4202560 442 0 0 0 5 0 0 0 15 0 9 0 3793700 420675584 49751 1283457024 134512640 134550932 4287398416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=16407/tid=16415] ppid=16406 vsize=410816 CPUtime=0 /proc/16407/task/16415/stat : 16415 (java) S 16406 16406 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 3793700 420675584 49751 1283457024 134512640 134550932 4287398416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=16407/tid=16416] ppid=16406 vsize=410816 CPUtime=0 /proc/16407/task/16416/stat : 16416 (java) S 16406 16406 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 9 0 3793700 420675584 49751 1283457024 134512640 134550932 4287398416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 413384 [startup+6.31295 s] /proc/loadavg: 1.16 1.05 1.01 2/43 16416 /proc/meminfo: memFree=236352/1048576 swapFree=0/0 [pid=16406] ppid=16405 vsize=2568 CPUtime=0.01 /proc/16406/stat : 16406 (gj-trendy-solve) S 16405 16406 1511 34817 1511 4202496 370 0 0 0 1 0 0 0 18 0 1 0 3793697 2629632 268 1283457024 134512640 135304128 4290211216 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/16406/statm: 642 268 229 194 0 29 0 [pid=16407] ppid=16406 vsize=439988 CPUtime=6.29 /proc/16407/stat : 16407 (java) S 16406 16406 1511 34817 1511 4202496 78233 0 1 0 608 21 0 0 25 0 9 0 3793697 450547712 77467 1283457024 134512640 134550932 4287398416 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/16407/statm: 109997 77467 2902 10 0 104145 0 [pid=16407/tid=16408] ppid=16406 vsize=439988 CPUtime=2.26 /proc/16407/task/16408/stat : 16408 (java) R 16406 16406 1511 34817 1511 4202560 13883 0 1 0 221 5 0 0 25 0 9 0 3793698 450547712 77467 1283457024 134512640 134550932 4287398416 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=16407/tid=16410] ppid=16406 vsize=439988 CPUtime=3.96 /proc/16407/task/16410/stat : 16410 (java) R 16406 16406 1511 34817 1511 4202560 62948 0 0 0 380 16 0 0 16 0 9 0 3793698 450547712 77467 1283457024 134512640 134550932 4287398416 18446744073709551615 4153035291 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=16407/tid=16411] ppid=16406 vsize=439988 CPUtime=0 /proc/16407/task/16411/stat : 16411 (java) S 16406 16406 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 20 0 9 0 3793699 450547712 77467 1283457024 134512640 134550932 4287398416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=16407/tid=16412] ppid=16406 vsize=439988 CPUtime=0 /proc/16407/task/16412/stat : 16412 (java) S 16406 16406 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 20 0 9 0 3793699 450547712 77467 1283457024 134512640 134550932 4287398416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=16407/tid=16413] ppid=16406 vsize=439988 CPUtime=0 /proc/16407/task/16413/stat : 16413 (java) S 16406 16406 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 3793700 450547712 77467 1283457024 134512640 134550932 4287398416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=16407/tid=16414] ppid=16406 vsize=439988 CPUtime=0.06 /proc/16407/task/16414/stat : 16414 (java) S 16406 16406 1511 34817 1511 4202560 461 0 0 0 6 0 0 0 15 0 9 0 3793700 450547712 77467 1283457024 134512640 134550932 4287398416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=16407/tid=16415] ppid=16406 vsize=439988 CPUtime=0 /proc/16407/task/16415/stat : 16415 (java) S 16406 16406 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 3793700 450547712 77467 1283457024 134512640 134550932 4287398416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=16407/tid=16416] ppid=16406 vsize=439988 CPUtime=0 /proc/16407/task/16416/stat : 16416 (java) S 16406 16406 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 9 0 3793700 450547712 77467 1283457024 134512640 134550932 4287398416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 6.3 Current children cumulated vsize (KiB) 442556 [startup+12.7151 s] /proc/loadavg: 1.23 1.06 1.01 3/44 16417 /proc/meminfo: memFree=231384/1048576 swapFree=0/0 [pid=16406] ppid=16405 vsize=2568 CPUtime=0.01 /proc/16406/stat : 16406 (gj-trendy-solve) S 16405 16406 1511 34817 1511 4202496 370 0 0 0 1 0 0 0 18 0 1 0 3793697 2629632 268 1283457024 134512640 135304128 4290211216 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/16406/statm: 642 268 229 194 0 29 0 [pid=16407] ppid=16406 vsize=411960 CPUtime=12.69 /proc/16407/stat : 16407 (java) S 16406 16406 1511 34817 1511 4202496 100071 0 1 0 1239 30 0 0 25 0 10 0 3793697 421847040 70671 1283457024 134512640 134550932 4287398416 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/16407/statm: 102990 70671 2918 10 0 97135 0 [pid=16407/tid=16408] ppid=16406 vsize=411960 CPUtime=4.45 /proc/16407/task/16408/stat : 16408 (java) R 16406 16406 1511 34817 1511 4202560 14137 0 1 0 439 6 0 0 25 0 10 0 3793698 421847040 70671 1283457024 134512640 134550932 4287398416 18446744073709551615 4116141486 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=16407/tid=16410] ppid=16406 vsize=411960 CPUtime=8.11 /proc/16407/task/16410/stat : 16410 (java) S 16406 16406 1511 34817 1511 4202560 84448 0 0 0 789 22 0 0 15 0 10 0 3793698 421847040 70671 1283457024 134512640 134550932 4287398416 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=16407/tid=16411] ppid=16406 vsize=411960 CPUtime=0 /proc/16407/task/16411/stat : 16411 (java) S 16406 16406 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 3793699 421847040 70671 1283457024 134512640 134550932 4287398416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=16407/tid=16412] ppid=16406 vsize=411960 CPUtime=0 /proc/16407/task/16412/stat : 16412 (java) S 16406 16406 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 3793699 421847040 70671 1283457024 134512640 134550932 4287398416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=16407/tid=16413] ppid=16406 vsize=411960 CPUtime=0 /proc/16407/task/16413/stat : 16413 (java) S 16406 16406 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 3793700 421847040 70671 1283457024 134512640 134550932 4287398416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=16407/tid=16414] ppid=16406 vsize=411960 CPUtime=0.1 /proc/16407/task/16414/stat : 16414 (java) S 16406 16406 1511 34817 1511 4202560 540 0 0 0 10 0 0 0 15 0 10 0 3793700 421847040 70671 1283457024 134512640 134550932 4287398416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=16407/tid=16415] ppid=16406 vsize=411960 CPUtime=0 /proc/16407/task/16415/stat : 16415 (java) S 16406 16406 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 3793700 421847040 70671 1283457024 134512640 134550932 4287398416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=16407/tid=16416] ppid=16406 vsize=411960 CPUtime=0 /proc/16407/task/16416/stat : 16416 (java) S 16406 16406 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 3793700 421847040 70671 1283457024 134512640 134550932 4287398416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=16407/tid=16417] ppid=16406 vsize=411960 CPUtime=0 /proc/16407/task/16417/stat : 16417 (java) S 16406 16406 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 3794817 421847040 70671 1283457024 134512640 134550932 4287398416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 12.7 Current children cumulated vsize (KiB) 414528 Solver just ended. Dumping a history of the last processes samples [startup+12.9151 s] /proc/loadavg: 1.23 1.06 1.01 3/44 16417 /proc/meminfo: memFree=231384/1048576 swapFree=0/0 [pid=16406] ppid=16405 vsize=2568 CPUtime=0.01 /proc/16406/stat : 16406 (gj-trendy-solve) S 16405 16406 1511 34817 1511 4202496 370 0 0 0 1 0 0 0 18 0 1 0 3793697 2629632 268 1283457024 134512640 135304128 4290211216 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/16406/statm: 642 268 229 194 0 29 0 [pid=16407] ppid=16406 vsize=411960 CPUtime=12.89 /proc/16407/stat : 16407 (java) S 16406 16406 1511 34817 1511 4202496 100071 0 1 0 1259 30 0 0 25 0 10 0 3793697 421847040 70671 1283457024 134512640 134550932 4287398416 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/16407/statm: 102990 70671 2918 10 0 97135 0 [pid=16407/tid=16408] ppid=16406 vsize=411960 CPUtime=4.65 /proc/16407/task/16408/stat : 16408 (java) R 16406 16406 1511 34817 1511 4202560 14137 0 1 0 459 6 0 0 25 0 10 0 3793698 421847040 70671 1283457024 134512640 134550932 4287398416 18446744073709551615 4116162282 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=16407/tid=16410] ppid=16406 vsize=411960 CPUtime=8.11 /proc/16407/task/16410/stat : 16410 (java) S 16406 16406 1511 34817 1511 4202560 84448 0 0 0 789 22 0 0 15 0 10 0 3793698 421847040 70671 1283457024 134512640 134550932 4287398416 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=16407/tid=16411] ppid=16406 vsize=411960 CPUtime=0 /proc/16407/task/16411/stat : 16411 (java) S 16406 16406 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 3793699 421847040 70671 1283457024 134512640 134550932 4287398416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=16407/tid=16412] ppid=16406 vsize=411960 CPUtime=0 /proc/16407/task/16412/stat : 16412 (java) S 16406 16406 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 3793699 421847040 70671 1283457024 134512640 134550932 4287398416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=16407/tid=16413] ppid=16406 vsize=411960 CPUtime=0 /proc/16407/task/16413/stat : 16413 (java) S 16406 16406 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 3793700 421847040 70671 1283457024 134512640 134550932 4287398416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=16407/tid=16414] ppid=16406 vsize=411960 CPUtime=0.1 /proc/16407/task/16414/stat : 16414 (java) S 16406 16406 1511 34817 1511 4202560 540 0 0 0 10 0 0 0 15 0 10 0 3793700 421847040 70671 1283457024 134512640 134550932 4287398416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=16407/tid=16415] ppid=16406 vsize=411960 CPUtime=0 /proc/16407/task/16415/stat : 16415 (java) S 16406 16406 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 3793700 421847040 70671 1283457024 134512640 134550932 4287398416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=16407/tid=16416] ppid=16406 vsize=411960 CPUtime=0 /proc/16407/task/16416/stat : 16416 (java) S 16406 16406 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 3793700 421847040 70671 1283457024 134512640 134550932 4287398416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=16407/tid=16417] ppid=16406 vsize=411960 CPUtime=0 /proc/16407/task/16417/stat : 16417 (java) S 16406 16406 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 3794817 421847040 70671 1283457024 134512640 134550932 4287398416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 12.9 Current children cumulated vsize (KiB) 414528 [startup+14.5155 s] /proc/loadavg: 1.23 1.06 1.01 2/44 16417 /proc/meminfo: memFree=231384/1048576 swapFree=0/0 [pid=16406] ppid=16405 vsize=2568 CPUtime=0.01 /proc/16406/stat : 16406 (gj-trendy-solve) S 16405 16406 1511 34817 1511 4202496 370 0 0 0 1 0 0 0 18 0 1 0 3793697 2629632 268 1283457024 134512640 135304128 4290211216 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/16406/statm: 642 268 229 194 0 29 0 [pid=16407] ppid=16406 vsize=411960 CPUtime=14.48 /proc/16407/stat : 16407 (java) S 16406 16406 1511 34817 1511 4202496 100077 0 1 0 1418 30 0 0 25 0 10 0 3793697 421847040 70677 1283457024 134512640 134550932 4287398416 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/16407/statm: 102990 70677 2920 10 0 97135 0 [pid=16407/tid=16408] ppid=16406 vsize=411960 CPUtime=6.21 /proc/16407/task/16408/stat : 16408 (java) R 16406 16406 1511 34817 1511 4202560 14137 0 1 0 615 6 0 0 25 0 10 0 3793698 421847040 70677 1283457024 134512640 134550932 4287398416 18446744073709551615 4116204365 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=16407/tid=16410] ppid=16406 vsize=411960 CPUtime=8.14 /proc/16407/task/16410/stat : 16410 (java) S 16406 16406 1511 34817 1511 4202560 84450 0 0 0 792 22 0 0 16 0 10 0 3793698 421847040 70677 1283457024 134512640 134550932 4287398416 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=16407/tid=16411] ppid=16406 vsize=411960 CPUtime=0 /proc/16407/task/16411/stat : 16411 (java) S 16406 16406 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 3793699 421847040 70677 1283457024 134512640 134550932 4287398416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=16407/tid=16412] ppid=16406 vsize=411960 CPUtime=0 /proc/16407/task/16412/stat : 16412 (java) S 16406 16406 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 3793699 421847040 70677 1283457024 134512640 134550932 4287398416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=16407/tid=16413] ppid=16406 vsize=411960 CPUtime=0 /proc/16407/task/16413/stat : 16413 (java) S 16406 16406 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 3793700 421847040 70677 1283457024 134512640 134550932 4287398416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=16407/tid=16414] ppid=16406 vsize=411960 CPUtime=0.1 /proc/16407/task/16414/stat : 16414 (java) S 16406 16406 1511 34817 1511 4202560 544 0 0 0 10 0 0 0 15 0 10 0 3793700 421847040 70677 1283457024 134512640 134550932 4287398416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=16407/tid=16415] ppid=16406 vsize=411960 CPUtime=0 /proc/16407/task/16415/stat : 16415 (java) S 16406 16406 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 3793700 421847040 70677 1283457024 134512640 134550932 4287398416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=16407/tid=16416] ppid=16406 vsize=411960 CPUtime=0 /proc/16407/task/16416/stat : 16416 (java) S 16406 16406 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 3793700 421847040 70677 1283457024 134512640 134550932 4287398416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=16407/tid=16417] ppid=16406 vsize=411960 CPUtime=0 /proc/16407/task/16417/stat : 16417 (java) S 16406 16406 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 3794817 421847040 70677 1283457024 134512640 134550932 4287398416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 14.49 Current children cumulated vsize (KiB) 414528 [startup+16.1158 s] /proc/loadavg: 1.21 1.06 1.01 3/44 16417 /proc/meminfo: memFree=231384/1048576 swapFree=0/0 [pid=16406] ppid=16405 vsize=2568 CPUtime=0.01 /proc/16406/stat : 16406 (gj-trendy-solve) S 16405 16406 1511 34817 1511 4202496 370 0 0 0 1 0 0 0 18 0 1 0 3793697 2629632 268 1283457024 134512640 135304128 4290211216 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/16406/statm: 642 268 229 194 0 29 0 [pid=16407] ppid=16406 vsize=411960 CPUtime=16.08 /proc/16407/stat : 16407 (java) S 16406 16406 1511 34817 1511 4202496 100080 0 1 0 1578 30 0 0 25 0 10 0 3793697 421847040 70680 1283457024 134512640 134550932 4287398416 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/16407/statm: 102990 70680 2921 10 0 97135 0 [pid=16407/tid=16408] ppid=16406 vsize=411960 CPUtime=7.81 /proc/16407/task/16408/stat : 16408 (java) R 16406 16406 1511 34817 1511 4202560 14138 0 1 0 775 6 0 0 25 0 10 0 3793698 421847040 70680 1283457024 134512640 134550932 4287398416 18446744073709551615 4116141768 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=16407/tid=16410] ppid=16406 vsize=411960 CPUtime=8.14 /proc/16407/task/16410/stat : 16410 (java) S 16406 16406 1511 34817 1511 4202560 84450 0 0 0 792 22 0 0 16 0 10 0 3793698 421847040 70680 1283457024 134512640 134550932 4287398416 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=16407/tid=16411] ppid=16406 vsize=411960 CPUtime=0 /proc/16407/task/16411/stat : 16411 (java) S 16406 16406 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 3793699 421847040 70680 1283457024 134512640 134550932 4287398416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=16407/tid=16412] ppid=16406 vsize=411960 CPUtime=0 /proc/16407/task/16412/stat : 16412 (java) S 16406 16406 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 3793699 421847040 70680 1283457024 134512640 134550932 4287398416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=16407/tid=16413] ppid=16406 vsize=411960 CPUtime=0 /proc/16407/task/16413/stat : 16413 (java) S 16406 16406 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 3793700 421847040 70680 1283457024 134512640 134550932 4287398416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=16407/tid=16414] ppid=16406 vsize=411960 CPUtime=0.1 /proc/16407/task/16414/stat : 16414 (java) S 16406 16406 1511 34817 1511 4202560 546 0 0 0 10 0 0 0 16 0 10 0 3793700 421847040 70680 1283457024 134512640 134550932 4287398416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=16407/tid=16415] ppid=16406 vsize=411960 CPUtime=0 /proc/16407/task/16415/stat : 16415 (java) S 16406 16406 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 3793700 421847040 70680 1283457024 134512640 134550932 4287398416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=16407/tid=16416] ppid=16406 vsize=411960 CPUtime=0 /proc/16407/task/16416/stat : 16416 (java) R 16406 16406 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 3793700 421847040 70680 1283457024 134512640 134550932 4287398416 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=16407/tid=16417] ppid=16406 vsize=411960 CPUtime=0 /proc/16407/task/16417/stat : 16417 (java) S 16406 16406 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 3794817 421847040 70680 1283457024 134512640 134550932 4287398416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 16.09 Current children cumulated vsize (KiB) 414528 [startup+16.5059 s] /proc/loadavg: 1.21 1.06 1.01 3/44 16417 /proc/meminfo: memFree=231384/1048576 swapFree=0/0 [pid=16406] ppid=16405 vsize=2568 CPUtime=0.01 /proc/16406/stat : 16406 (gj-trendy-solve) S 16405 16406 1511 34817 1511 4202496 370 0 0 0 1 0 0 0 18 0 1 0 3793697 2629632 268 1283457024 134512640 135304128 4290211216 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/16406/statm: 642 268 229 194 0 29 0 [pid=16407] ppid=16406 vsize=411960 CPUtime=16.47 /proc/16407/stat : 16407 (java) S 16406 16406 1511 34817 1511 4202496 100080 0 1 0 1617 30 0 0 25 0 10 0 3793697 421847040 70680 1283457024 134512640 134550932 4287398416 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/16407/statm: 102990 70680 2921 10 0 97135 0 [pid=16407/tid=16408] ppid=16406 vsize=411960 CPUtime=8.16 /proc/16407/task/16408/stat : 16408 (java) R 16406 16406 1511 34817 1511 4202560 14138 0 1 0 810 6 0 0 25 0 10 0 3793698 421847040 70680 1283457024 134512640 134550932 4287398416 18446744073709551615 4116265861 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=16407/tid=16410] ppid=16406 vsize=411960 CPUtime=8.18 /proc/16407/task/16410/stat : 16410 (java) S 16406 16406 1511 34817 1511 4202560 84450 0 0 0 796 22 0 0 16 0 10 0 3793698 421847040 70680 1283457024 134512640 134550932 4287398416 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=16407/tid=16411] ppid=16406 vsize=411960 CPUtime=0 /proc/16407/task/16411/stat : 16411 (java) S 16406 16406 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 3793699 421847040 70680 1283457024 134512640 134550932 4287398416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=16407/tid=16412] ppid=16406 vsize=411960 CPUtime=0 /proc/16407/task/16412/stat : 16412 (java) S 16406 16406 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 3793699 421847040 70680 1283457024 134512640 134550932 4287398416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=16407/tid=16413] ppid=16406 vsize=411960 CPUtime=0 /proc/16407/task/16413/stat : 16413 (java) S 16406 16406 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 3793700 421847040 70680 1283457024 134512640 134550932 4287398416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=16407/tid=16414] ppid=16406 vsize=411960 CPUtime=0.1 /proc/16407/task/16414/stat : 16414 (java) S 16406 16406 1511 34817 1511 4202560 546 0 0 0 10 0 0 0 16 0 10 0 3793700 421847040 70680 1283457024 134512640 134550932 4287398416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=16407/tid=16415] ppid=16406 vsize=411960 CPUtime=0 /proc/16407/task/16415/stat : 16415 (java) S 16406 16406 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 3793700 421847040 70680 1283457024 134512640 134550932 4287398416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=16407/tid=16416] ppid=16406 vsize=411960 CPUtime=0 /proc/16407/task/16416/stat : 16416 (java) S 16406 16406 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 3793700 421847040 70680 1283457024 134512640 134550932 4287398416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=16407/tid=16417] ppid=16406 vsize=411960 CPUtime=0 /proc/16407/task/16417/stat : 16417 (java) S 16406 16406 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 3794817 421847040 70680 1283457024 134512640 134550932 4287398416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 16.48 Current children cumulated vsize (KiB) 414528 [startup+16.9061 s] /proc/loadavg: 1.21 1.06 1.01 2/44 16417 /proc/meminfo: memFree=231384/1048576 swapFree=0/0 [pid=16406] ppid=16405 vsize=2568 CPUtime=0.01 /proc/16406/stat : 16406 (gj-trendy-solve) S 16405 16406 1511 34817 1511 4202496 370 0 0 0 1 0 0 0 18 0 1 0 3793697 2629632 268 1283457024 134512640 135304128 4290211216 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/16406/statm: 642 268 229 194 0 29 0 [pid=16407] ppid=16406 vsize=411960 CPUtime=16.86 /proc/16407/stat : 16407 (java) S 16406 16406 1511 34817 1511 4202496 100080 0 1 0 1656 30 0 0 25 0 10 0 3793697 421847040 70680 1283457024 134512640 134550932 4287398416 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/16407/statm: 102990 70680 2921 10 0 97135 0 [pid=16407/tid=16408] ppid=16406 vsize=411960 CPUtime=8.55 /proc/16407/task/16408/stat : 16408 (java) R 16406 16406 1511 34817 1511 4202560 14138 0 1 0 849 6 0 0 25 0 10 0 3793698 421847040 70680 1283457024 134512640 134550932 4287398416 18446744073709551615 4115269922 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=16407/tid=16410] ppid=16406 vsize=411960 CPUtime=8.18 /proc/16407/task/16410/stat : 16410 (java) S 16406 16406 1511 34817 1511 4202560 84450 0 0 0 796 22 0 0 16 0 10 0 3793698 421847040 70680 1283457024 134512640 134550932 4287398416 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=16407/tid=16411] ppid=16406 vsize=411960 CPUtime=0 /proc/16407/task/16411/stat : 16411 (java) S 16406 16406 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 3793699 421847040 70680 1283457024 134512640 134550932 4287398416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=16407/tid=16412] ppid=16406 vsize=411960 CPUtime=0 /proc/16407/task/16412/stat : 16412 (java) S 16406 16406 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 3793699 421847040 70680 1283457024 134512640 134550932 4287398416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=16407/tid=16413] ppid=16406 vsize=411960 CPUtime=0 /proc/16407/task/16413/stat : 16413 (java) S 16406 16406 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 3793700 421847040 70680 1283457024 134512640 134550932 4287398416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=16407/tid=16414] ppid=16406 vsize=411960 CPUtime=0.1 /proc/16407/task/16414/stat : 16414 (java) S 16406 16406 1511 34817 1511 4202560 546 0 0 0 10 0 0 0 16 0 10 0 3793700 421847040 70680 1283457024 134512640 134550932 4287398416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=16407/tid=16415] ppid=16406 vsize=411960 CPUtime=0 /proc/16407/task/16415/stat : 16415 (java) S 16406 16406 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 3793700 421847040 70680 1283457024 134512640 134550932 4287398416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=16407/tid=16416] ppid=16406 vsize=411960 CPUtime=0 /proc/16407/task/16416/stat : 16416 (java) S 16406 16406 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 3793700 421847040 70680 1283457024 134512640 134550932 4287398416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=16407/tid=16417] ppid=16406 vsize=411960 CPUtime=0 /proc/16407/task/16417/stat : 16417 (java) S 16406 16406 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 3794817 421847040 70680 1283457024 134512640 134550932 4287398416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 16.87 Current children cumulated vsize (KiB) 414528 [startup+17.0061 s] /proc/loadavg: 1.21 1.06 1.01 2/44 16417 /proc/meminfo: memFree=231384/1048576 swapFree=0/0 [pid=16406] ppid=16405 vsize=2568 CPUtime=0.01 /proc/16406/stat : 16406 (gj-trendy-solve) S 16405 16406 1511 34817 1511 4202496 370 0 0 0 1 0 0 0 18 0 1 0 3793697 2629632 268 1283457024 134512640 135304128 4290211216 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/16406/statm: 642 268 229 194 0 29 0 [pid=16407] ppid=16406 vsize=411960 CPUtime=16.96 /proc/16407/stat : 16407 (java) S 16406 16406 1511 34817 1511 4202496 100080 0 1 0 1666 30 0 0 25 0 10 0 3793697 421847040 70680 1283457024 134512640 134550932 4287398416 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/16407/statm: 102990 70680 2921 10 0 97135 0 [pid=16407/tid=16408] ppid=16406 vsize=411960 CPUtime=8.65 /proc/16407/task/16408/stat : 16408 (java) R 16406 16406 1511 34817 1511 4202560 14138 0 1 0 859 6 0 0 25 0 10 0 3793698 421847040 70680 1283457024 134512640 134550932 4287398416 18446744073709551615 4116265861 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=16407/tid=16410] ppid=16406 vsize=411960 CPUtime=8.18 /proc/16407/task/16410/stat : 16410 (java) S 16406 16406 1511 34817 1511 4202560 84450 0 0 0 796 22 0 0 16 0 10 0 3793698 421847040 70680 1283457024 134512640 134550932 4287398416 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=16407/tid=16411] ppid=16406 vsize=411960 CPUtime=0 /proc/16407/task/16411/stat : 16411 (java) S 16406 16406 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 3793699 421847040 70680 1283457024 134512640 134550932 4287398416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=16407/tid=16412] ppid=16406 vsize=411960 CPUtime=0 /proc/16407/task/16412/stat : 16412 (java) S 16406 16406 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 3793699 421847040 70680 1283457024 134512640 134550932 4287398416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=16407/tid=16413] ppid=16406 vsize=411960 CPUtime=0 /proc/16407/task/16413/stat : 16413 (java) S 16406 16406 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 3793700 421847040 70680 1283457024 134512640 134550932 4287398416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=16407/tid=16414] ppid=16406 vsize=411960 CPUtime=0.1 /proc/16407/task/16414/stat : 16414 (java) S 16406 16406 1511 34817 1511 4202560 546 0 0 0 10 0 0 0 16 0 10 0 3793700 421847040 70680 1283457024 134512640 134550932 4287398416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=16407/tid=16415] ppid=16406 vsize=411960 CPUtime=0 /proc/16407/task/16415/stat : 16415 (java) S 16406 16406 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 3793700 421847040 70680 1283457024 134512640 134550932 4287398416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=16407/tid=16416] ppid=16406 vsize=411960 CPUtime=0 /proc/16407/task/16416/stat : 16416 (java) S 16406 16406 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 3793700 421847040 70680 1283457024 134512640 134550932 4287398416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=16407/tid=16417] ppid=16406 vsize=411960 CPUtime=0 /proc/16407/task/16417/stat : 16417 (java) S 16406 16406 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 3794817 421847040 70680 1283457024 134512640 134550932 4287398416 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 16.97 Current children cumulated vsize (KiB) 414528 Child status: 0 Real time (s): 17.0992 CPU time (s): 17.0211 CPU user time (s): 16.697 CPU system time (s): 0.32402 CPU usage (%): 99.543 Max. virtual memory (cumulated for all children) (KiB): 442556 getrusage(RUSAGE_CHILDREN,...) data: user time used= 16.697 system time used= 0.32402 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 100466 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= 1134 involuntary context switches= 1349 runsolver used 0 second user time and 0 second system time The end