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/rand519.cudf.user-upgrades.log.runsolver ./gj-trendy-solver-1.0 /home/misc2010/data/2011/user-upgrades/rand519.cudf /home/misc2010/tmp/201108241238/gj-trendy-solver-1.0/rand519.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.35 1.25 1.09 5/35 21435 /proc/meminfo: memFree=353440/1048576 swapFree=0/0 [pid=21433] ppid=21432 vsize=2568 CPUtime=0 /proc/21433/stat : 21433 (gj-trendy-solve) S 21432 21433 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 18 0 1 0 4614972 2629632 269 1283457024 134512640 135304128 4288990304 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/21433/statm: 642 269 229 194 0 29 0 [pid=21434] ppid=21433 vsize=11356 CPUtime=0.01 /proc/21434/stat : 21434 (java) R 21433 21433 1511 34817 1511 4202496 918 0 0 0 0 1 0 0 25 0 2 0 4614972 11628544 651 1283457024 134512640 134550932 4292560624 18446744073709551615 4159159912 0 0 0 0 18446744073709551615 0 0 17 0 0 0 0 /proc/21434/statm: 2839 651 285 10 0 1185 0 [pid=21434/tid=21435] ppid=21433 vsize=11356 CPUtime=0 /proc/21434/task/21435/stat : 21435 (java) R 21433 21433 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 2 0 4614973 11628544 651 1283457024 134512640 134550932 4292560624 18446744073709551615 4159159912 0 0 0 0 0 0 0 -1 0 0 0 0 [startup+0.163839 s] /proc/loadavg: 1.35 1.25 1.09 5/35 21435 /proc/meminfo: memFree=353440/1048576 swapFree=0/0 [pid=21433] ppid=21432 vsize=2568 CPUtime=0 /proc/21433/stat : 21433 (gj-trendy-solve) S 21432 21433 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 18 0 1 0 4614972 2629632 269 1283457024 134512640 135304128 4288990304 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/21433/statm: 642 269 229 194 0 29 0 [pid=21434] ppid=21433 vsize=410096 CPUtime=0.17 /proc/21434/stat : 21434 (java) S 21433 21433 1511 34817 1511 4202496 4408 0 1 0 14 3 0 0 25 0 9 0 4614972 419938304 3835 1283457024 134512640 134550932 4292560624 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/21434/statm: 102524 3835 1944 10 0 96672 0 [pid=21434/tid=21435] ppid=21433 vsize=410096 CPUtime=0.15 /proc/21434/task/21435/stat : 21435 (java) R 21433 21433 1511 34817 1511 4202560 3214 0 1 0 13 2 0 0 25 0 9 0 4614973 419938304 3835 1283457024 134512640 134550932 4292560624 18446744073709551615 4151242304 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.17 Current children cumulated vsize (KiB) 412664 [startup+0.219639 s] /proc/loadavg: 1.35 1.25 1.09 5/35 21435 /proc/meminfo: memFree=353440/1048576 swapFree=0/0 [pid=21433] ppid=21432 vsize=2568 CPUtime=0 /proc/21433/stat : 21433 (gj-trendy-solve) S 21432 21433 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 18 0 1 0 4614972 2629632 269 1283457024 134512640 135304128 4288990304 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/21433/statm: 642 269 229 194 0 29 0 [pid=21434] ppid=21433 vsize=410096 CPUtime=0.21 /proc/21434/stat : 21434 (java) S 21433 21433 1511 34817 1511 4202496 5289 0 1 0 18 3 0 0 25 0 9 0 4614972 419938304 4716 1283457024 134512640 134550932 4292560624 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/21434/statm: 102524 4716 1948 10 0 96672 0 [pid=21434/tid=21435] ppid=21433 vsize=410096 CPUtime=0.19 /proc/21434/task/21435/stat : 21435 (java) R 21433 21433 1511 34817 1511 4202560 3530 0 1 0 17 2 0 0 25 0 9 0 4614973 419938304 4716 1283457024 134512640 134550932 4292560624 18446744073709551615 4294960130 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) 412664 [startup+0.303867 s] /proc/loadavg: 1.35 1.25 1.09 5/35 21435 /proc/meminfo: memFree=353440/1048576 swapFree=0/0 [pid=21433] ppid=21432 vsize=2568 CPUtime=0 /proc/21433/stat : 21433 (gj-trendy-solve) S 21432 21433 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 18 0 1 0 4614972 2629632 269 1283457024 134512640 135304128 4288990304 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/21433/statm: 642 269 229 194 0 29 0 [pid=21434] ppid=21433 vsize=410096 CPUtime=0.31 /proc/21434/stat : 21434 (java) S 21433 21433 1511 34817 1511 4202496 5293 0 1 0 28 3 0 0 25 0 9 0 4614972 419938304 4719 1283457024 134512640 134550932 4292560624 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/21434/statm: 102524 4719 1950 10 0 96672 0 [pid=21434/tid=21435] ppid=21433 vsize=410096 CPUtime=0.28 /proc/21434/task/21435/stat : 21435 (java) R 21433 21433 1511 34817 1511 4202560 3530 0 1 0 26 2 0 0 25 0 9 0 4614973 419938304 4719 1283457024 134512640 134550932 4292560624 18446744073709551615 4114505377 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) 412664 [startup+0.704007 s] /proc/loadavg: 1.35 1.25 1.09 5/35 21435 /proc/meminfo: memFree=353440/1048576 swapFree=0/0 [pid=21433] ppid=21432 vsize=2568 CPUtime=0 /proc/21433/stat : 21433 (gj-trendy-solve) S 21432 21433 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 18 0 1 0 4614972 2629632 269 1283457024 134512640 135304128 4288990304 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/21433/statm: 642 269 229 194 0 29 0 [pid=21434] ppid=21433 vsize=410680 CPUtime=0.71 /proc/21434/stat : 21434 (java) S 21433 21433 1511 34817 1511 4202496 12753 0 1 0 65 6 0 0 25 0 9 0 4614972 420536320 11993 1283457024 134512640 134550932 4292560624 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/21434/statm: 102670 11993 2901 10 0 96818 0 [pid=21434/tid=21435] ppid=21433 vsize=410680 CPUtime=0.48 /proc/21434/task/21435/stat : 21435 (java) R 21433 21433 1511 34817 1511 4202560 4187 0 1 0 46 2 0 0 25 0 9 0 4614973 420536320 11993 1283457024 134512640 134550932 4292560624 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) 413248 [startup+1.50421 s] /proc/loadavg: 1.35 1.25 1.09 2/43 21443 /proc/meminfo: memFree=296264/1048576 swapFree=0/0 [pid=21433] ppid=21432 vsize=2568 CPUtime=0 /proc/21433/stat : 21433 (gj-trendy-solve) S 21432 21433 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 18 0 1 0 4614972 2629632 269 1283457024 134512640 135304128 4288990304 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/21433/statm: 642 269 229 194 0 29 0 [pid=21434] ppid=21433 vsize=410812 CPUtime=1.5 /proc/21434/stat : 21434 (java) S 21433 21433 1511 34817 1511 4202496 27425 0 1 0 142 8 0 0 25 0 9 0 4614972 420671488 26665 1283457024 134512640 134550932 4292560624 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/21434/statm: 102703 26665 2901 10 0 96851 0 [pid=21434/tid=21435] ppid=21433 vsize=410812 CPUtime=0.79 /proc/21434/task/21435/stat : 21435 (java) S 21433 21433 1511 34817 1511 4202560 6715 0 1 0 75 4 0 0 25 0 9 0 4614973 420671488 26665 1283457024 134512640 134550932 4292560624 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0 [pid=21434/tid=21437] ppid=21433 vsize=410812 CPUtime=0.66 /proc/21434/task/21437/stat : 21437 (java) R 21433 21433 1511 34817 1511 4202560 19330 0 0 0 64 2 0 0 19 0 9 0 4614974 420671488 26665 1283457024 134512640 134550932 4292560624 18446744073709551615 4151143848 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=21434/tid=21438] ppid=21433 vsize=410812 CPUtime=0 /proc/21434/task/21438/stat : 21438 (java) S 21433 21433 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 20 0 9 0 4614974 420671488 26665 1283457024 134512640 134550932 4292560624 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0 [pid=21434/tid=21439] ppid=21433 vsize=410812 CPUtime=0 /proc/21434/task/21439/stat : 21439 (java) S 21433 21433 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 20 0 9 0 4614974 420671488 26665 1283457024 134512640 134550932 4292560624 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0 [pid=21434/tid=21440] ppid=21433 vsize=410812 CPUtime=0 /proc/21434/task/21440/stat : 21440 (java) S 21433 21433 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 4614975 420671488 26665 1283457024 134512640 134550932 4292560624 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0 [pid=21434/tid=21441] ppid=21433 vsize=410812 CPUtime=0.02 /proc/21434/task/21441/stat : 21441 (java) S 21433 21433 1511 34817 1511 4202560 439 0 0 0 2 0 0 0 20 0 9 0 4614975 420671488 26665 1283457024 134512640 134550932 4292560624 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0 [pid=21434/tid=21442] ppid=21433 vsize=410812 CPUtime=0 /proc/21434/task/21442/stat : 21442 (java) S 21433 21433 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 4614975 420671488 26665 1283457024 134512640 134550932 4292560624 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0 [pid=21434/tid=21443] ppid=21433 vsize=410812 CPUtime=0 /proc/21434/task/21443/stat : 21443 (java) S 21433 21433 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 9 0 4614975 420671488 26665 1283457024 134512640 134550932 4292560624 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 413380 [startup+3.10467 s] /proc/loadavg: 1.35 1.25 1.09 3/43 21443 /proc/meminfo: memFree=223104/1048576 swapFree=0/0 [pid=21433] ppid=21432 vsize=2568 CPUtime=0 /proc/21433/stat : 21433 (gj-trendy-solve) S 21432 21433 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 18 0 1 0 4614972 2629632 269 1283457024 134512640 135304128 4288990304 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/21433/statm: 642 269 229 194 0 29 0 [pid=21434] ppid=21433 vsize=410812 CPUtime=3.1 /proc/21434/stat : 21434 (java) S 21433 21433 1511 34817 1511 4202496 52228 0 1 0 294 16 0 0 25 0 9 0 4614972 420671488 51468 1283457024 134512640 134550932 4292560624 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/21434/statm: 102703 51468 2901 10 0 96851 0 [pid=21434/tid=21435] ppid=21433 vsize=410812 CPUtime=1.4 /proc/21434/task/21435/stat : 21435 (java) R 21433 21433 1511 34817 1511 4202560 13868 0 1 0 132 8 0 0 25 0 9 0 4614973 420671488 51468 1283457024 134512640 134550932 4292560624 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=21434/tid=21437] ppid=21433 vsize=410812 CPUtime=1.65 /proc/21434/task/21437/stat : 21437 (java) R 21433 21433 1511 34817 1511 4202560 36977 0 0 0 159 6 0 0 16 0 9 0 4614974 420671488 51468 1283457024 134512640 134550932 4292560624 18446744073709551615 4150762800 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=21434/tid=21438] ppid=21433 vsize=410812 CPUtime=0 /proc/21434/task/21438/stat : 21438 (java) S 21433 21433 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 20 0 9 0 4614974 420671488 51468 1283457024 134512640 134550932 4292560624 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0 [pid=21434/tid=21439] ppid=21433 vsize=410812 CPUtime=0 /proc/21434/task/21439/stat : 21439 (java) S 21433 21433 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 20 0 9 0 4614974 420671488 51468 1283457024 134512640 134550932 4292560624 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0 [pid=21434/tid=21440] ppid=21433 vsize=410812 CPUtime=0 /proc/21434/task/21440/stat : 21440 (java) S 21433 21433 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 4614975 420671488 51468 1283457024 134512640 134550932 4292560624 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0 [pid=21434/tid=21441] ppid=21433 vsize=410812 CPUtime=0.02 /proc/21434/task/21441/stat : 21441 (java) S 21433 21433 1511 34817 1511 4202560 442 0 0 0 2 0 0 0 15 0 9 0 4614975 420671488 51468 1283457024 134512640 134550932 4292560624 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0 [pid=21434/tid=21442] ppid=21433 vsize=410812 CPUtime=0 /proc/21434/task/21442/stat : 21442 (java) S 21433 21433 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 4614975 420671488 51468 1283457024 134512640 134550932 4292560624 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0 [pid=21434/tid=21443] ppid=21433 vsize=410812 CPUtime=0 /proc/21434/task/21443/stat : 21443 (java) S 21433 21433 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 9 0 4614975 420671488 51468 1283457024 134512640 134550932 4292560624 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 413380 [startup+6.30635 s] /proc/loadavg: 1.40 1.26 1.10 2/43 21443 /proc/meminfo: memFree=87696/1048576 swapFree=0/0 [pid=21433] ppid=21432 vsize=2568 CPUtime=0 /proc/21433/stat : 21433 (gj-trendy-solve) S 21432 21433 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 18 0 1 0 4614972 2629632 269 1283457024 134512640 135304128 4288990304 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/21433/statm: 642 269 229 194 0 29 0 [pid=21434] ppid=21433 vsize=439984 CPUtime=6.29 /proc/21434/stat : 21434 (java) S 21433 21433 1511 34817 1511 4202496 78232 0 1 0 605 24 0 0 25 0 9 0 4614972 450543616 77466 1283457024 134512640 134550932 4292560624 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/21434/statm: 109996 77466 2902 10 0 104144 0 [pid=21434/tid=21435] ppid=21433 vsize=439984 CPUtime=2.27 /proc/21434/task/21435/stat : 21435 (java) R 21433 21433 1511 34817 1511 4202560 13884 0 1 0 218 9 0 0 25 0 9 0 4614973 450543616 77466 1283457024 134512640 134550932 4292560624 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=21434/tid=21437] ppid=21433 vsize=439984 CPUtime=3.95 /proc/21434/task/21437/stat : 21437 (java) R 21433 21433 1511 34817 1511 4202560 62946 0 0 0 381 14 0 0 16 0 9 0 4614974 450543616 77466 1283457024 134512640 134550932 4292560624 18446744073709551615 4152256949 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=21434/tid=21438] ppid=21433 vsize=439984 CPUtime=0 /proc/21434/task/21438/stat : 21438 (java) S 21433 21433 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 20 0 9 0 4614974 450543616 77466 1283457024 134512640 134550932 4292560624 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0 [pid=21434/tid=21439] ppid=21433 vsize=439984 CPUtime=0 /proc/21434/task/21439/stat : 21439 (java) S 21433 21433 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 20 0 9 0 4614974 450543616 77466 1283457024 134512640 134550932 4292560624 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0 [pid=21434/tid=21440] ppid=21433 vsize=439984 CPUtime=0 /proc/21434/task/21440/stat : 21440 (java) S 21433 21433 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 4614975 450543616 77466 1283457024 134512640 134550932 4292560624 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0 [pid=21434/tid=21441] ppid=21433 vsize=439984 CPUtime=0.04 /proc/21434/task/21441/stat : 21441 (java) S 21433 21433 1511 34817 1511 4202560 461 0 0 0 4 0 0 0 15 0 9 0 4614975 450543616 77466 1283457024 134512640 134550932 4292560624 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0 [pid=21434/tid=21442] ppid=21433 vsize=439984 CPUtime=0 /proc/21434/task/21442/stat : 21442 (java) S 21433 21433 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 4614975 450543616 77466 1283457024 134512640 134550932 4292560624 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0 [pid=21434/tid=21443] ppid=21433 vsize=439984 CPUtime=0 /proc/21434/task/21443/stat : 21443 (java) S 21433 21433 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 9 0 4614975 450543616 77466 1283457024 134512640 134550932 4292560624 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 442552 [startup+12.7085 s] /proc/loadavg: 1.45 1.28 1.10 2/44 21444 /proc/meminfo: memFree=82612/1048576 swapFree=0/0 [pid=21433] ppid=21432 vsize=2568 CPUtime=0 /proc/21433/stat : 21433 (gj-trendy-solve) S 21432 21433 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 18 0 1 0 4614972 2629632 269 1283457024 134512640 135304128 4288990304 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/21433/statm: 642 269 229 194 0 29 0 [pid=21434] ppid=21433 vsize=411952 CPUtime=12.69 /proc/21434/stat : 21434 (java) S 21433 21433 1511 34817 1511 4202496 100068 0 1 0 1234 35 0 0 25 0 10 0 4614972 421838848 70669 1283457024 134512640 134550932 4292560624 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/21434/statm: 102988 70669 2918 10 0 97133 0 [pid=21434/tid=21435] ppid=21433 vsize=411952 CPUtime=4.29 /proc/21434/task/21435/stat : 21435 (java) R 21433 21433 1511 34817 1511 4202560 14138 0 1 0 420 9 0 0 25 0 10 0 4614973 421838848 70669 1283457024 134512640 134550932 4292560624 18446744073709551615 4115487049 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=21434/tid=21437] ppid=21433 vsize=411952 CPUtime=8.24 /proc/21434/task/21437/stat : 21437 (java) S 21433 21433 1511 34817 1511 4202560 84444 0 0 0 800 24 0 0 16 0 10 0 4614974 421838848 70669 1283457024 134512640 134550932 4292560624 18446744073709551615 4294960130 0 0 0 16800975 18446612132653978944 0 0 -1 0 0 0 0 [pid=21434/tid=21438] ppid=21433 vsize=411952 CPUtime=0 /proc/21434/task/21438/stat : 21438 (java) S 21433 21433 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 4614974 421838848 70669 1283457024 134512640 134550932 4292560624 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0 [pid=21434/tid=21439] ppid=21433 vsize=411952 CPUtime=0 /proc/21434/task/21439/stat : 21439 (java) S 21433 21433 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 4614974 421838848 70669 1283457024 134512640 134550932 4292560624 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0 [pid=21434/tid=21440] ppid=21433 vsize=411952 CPUtime=0 /proc/21434/task/21440/stat : 21440 (java) S 21433 21433 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4614975 421838848 70669 1283457024 134512640 134550932 4292560624 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0 [pid=21434/tid=21441] ppid=21433 vsize=411952 CPUtime=0.13 /proc/21434/task/21441/stat : 21441 (java) S 21433 21433 1511 34817 1511 4202560 540 0 0 0 13 0 0 0 15 0 10 0 4614975 421838848 70669 1283457024 134512640 134550932 4292560624 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0 [pid=21434/tid=21442] ppid=21433 vsize=411952 CPUtime=0 /proc/21434/task/21442/stat : 21442 (java) S 21433 21433 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4614975 421838848 70669 1283457024 134512640 134550932 4292560624 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0 [pid=21434/tid=21443] ppid=21433 vsize=411952 CPUtime=0 /proc/21434/task/21443/stat : 21443 (java) S 21433 21433 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 4614975 421838848 70669 1283457024 134512640 134550932 4292560624 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0 [pid=21434/tid=21444] ppid=21433 vsize=411952 CPUtime=0 /proc/21434/task/21444/stat : 21444 (java) S 21433 21433 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 4616106 421838848 70669 1283457024 134512640 134550932 4292560624 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 414520 Solver just ended. Dumping a history of the last processes samples [startup+12.8085 s] /proc/loadavg: 1.45 1.28 1.10 2/44 21444 /proc/meminfo: memFree=82612/1048576 swapFree=0/0 [pid=21433] ppid=21432 vsize=2568 CPUtime=0 /proc/21433/stat : 21433 (gj-trendy-solve) S 21432 21433 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 18 0 1 0 4614972 2629632 269 1283457024 134512640 135304128 4288990304 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/21433/statm: 642 269 229 194 0 29 0 [pid=21434] ppid=21433 vsize=411952 CPUtime=12.79 /proc/21434/stat : 21434 (java) S 21433 21433 1511 34817 1511 4202496 100068 0 1 0 1244 35 0 0 25 0 10 0 4614972 421838848 70669 1283457024 134512640 134550932 4292560624 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/21434/statm: 102988 70669 2918 10 0 97133 0 [pid=21434/tid=21435] ppid=21433 vsize=411952 CPUtime=4.39 /proc/21434/task/21435/stat : 21435 (java) R 21433 21433 1511 34817 1511 4202560 14138 0 1 0 430 9 0 0 25 0 10 0 4614973 421838848 70669 1283457024 134512640 134550932 4292560624 18446744073709551615 4115383552 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=21434/tid=21437] ppid=21433 vsize=411952 CPUtime=8.24 /proc/21434/task/21437/stat : 21437 (java) S 21433 21433 1511 34817 1511 4202560 84444 0 0 0 800 24 0 0 16 0 10 0 4614974 421838848 70669 1283457024 134512640 134550932 4292560624 18446744073709551615 4294960130 0 0 0 16800975 18446612132653978944 0 0 -1 0 0 0 0 [pid=21434/tid=21438] ppid=21433 vsize=411952 CPUtime=0 /proc/21434/task/21438/stat : 21438 (java) S 21433 21433 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 4614974 421838848 70669 1283457024 134512640 134550932 4292560624 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0 [pid=21434/tid=21439] ppid=21433 vsize=411952 CPUtime=0 /proc/21434/task/21439/stat : 21439 (java) S 21433 21433 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 4614974 421838848 70669 1283457024 134512640 134550932 4292560624 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0 [pid=21434/tid=21440] ppid=21433 vsize=411952 CPUtime=0 /proc/21434/task/21440/stat : 21440 (java) S 21433 21433 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4614975 421838848 70669 1283457024 134512640 134550932 4292560624 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0 [pid=21434/tid=21441] ppid=21433 vsize=411952 CPUtime=0.13 /proc/21434/task/21441/stat : 21441 (java) S 21433 21433 1511 34817 1511 4202560 540 0 0 0 13 0 0 0 15 0 10 0 4614975 421838848 70669 1283457024 134512640 134550932 4292560624 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0 [pid=21434/tid=21442] ppid=21433 vsize=411952 CPUtime=0 /proc/21434/task/21442/stat : 21442 (java) S 21433 21433 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4614975 421838848 70669 1283457024 134512640 134550932 4292560624 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0 [pid=21434/tid=21443] ppid=21433 vsize=411952 CPUtime=0 /proc/21434/task/21443/stat : 21443 (java) S 21433 21433 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 4614975 421838848 70669 1283457024 134512640 134550932 4292560624 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0 [pid=21434/tid=21444] ppid=21433 vsize=411952 CPUtime=0 /proc/21434/task/21444/stat : 21444 (java) S 21433 21433 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 4616106 421838848 70669 1283457024 134512640 134550932 4292560624 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 12.79 Current children cumulated vsize (KiB) 414520 [startup+16.009 s] /proc/loadavg: 1.42 1.27 1.10 2/44 21444 /proc/meminfo: memFree=82612/1048576 swapFree=0/0 [pid=21433] ppid=21432 vsize=2568 CPUtime=0 /proc/21433/stat : 21433 (gj-trendy-solve) S 21432 21433 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 18 0 1 0 4614972 2629632 269 1283457024 134512640 135304128 4288990304 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/21433/statm: 642 269 229 194 0 29 0 [pid=21434] ppid=21433 vsize=411952 CPUtime=15.99 /proc/21434/stat : 21434 (java) S 21433 21433 1511 34817 1511 4202496 100075 0 1 0 1564 35 0 0 25 0 10 0 4614972 421838848 70676 1283457024 134512640 134550932 4292560624 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/21434/statm: 102988 70676 2920 10 0 97133 0 [pid=21434/tid=21435] ppid=21433 vsize=411952 CPUtime=7.55 /proc/21434/task/21435/stat : 21435 (java) R 21433 21433 1511 34817 1511 4202560 14138 0 1 0 746 9 0 0 25 0 10 0 4614973 421838848 70676 1283457024 134512640 134550932 4292560624 18446744073709551615 4115390151 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=21434/tid=21437] ppid=21433 vsize=411952 CPUtime=8.27 /proc/21434/task/21437/stat : 21437 (java) S 21433 21433 1511 34817 1511 4202560 84446 0 0 0 803 24 0 0 15 0 10 0 4614974 421838848 70676 1283457024 134512640 134550932 4292560624 18446744073709551615 4294960130 0 0 0 16800975 18446612132653978944 0 0 -1 0 0 0 0 [pid=21434/tid=21438] ppid=21433 vsize=411952 CPUtime=0 /proc/21434/task/21438/stat : 21438 (java) S 21433 21433 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 4614974 421838848 70676 1283457024 134512640 134550932 4292560624 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0 [pid=21434/tid=21439] ppid=21433 vsize=411952 CPUtime=0 /proc/21434/task/21439/stat : 21439 (java) S 21433 21433 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 4614974 421838848 70676 1283457024 134512640 134550932 4292560624 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0 [pid=21434/tid=21440] ppid=21433 vsize=411952 CPUtime=0 /proc/21434/task/21440/stat : 21440 (java) S 21433 21433 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4614975 421838848 70676 1283457024 134512640 134550932 4292560624 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0 [pid=21434/tid=21441] ppid=21433 vsize=411952 CPUtime=0.14 /proc/21434/task/21441/stat : 21441 (java) S 21433 21433 1511 34817 1511 4202560 545 0 0 0 14 0 0 0 15 0 10 0 4614975 421838848 70676 1283457024 134512640 134550932 4292560624 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0 [pid=21434/tid=21442] ppid=21433 vsize=411952 CPUtime=0 /proc/21434/task/21442/stat : 21442 (java) S 21433 21433 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4614975 421838848 70676 1283457024 134512640 134550932 4292560624 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0 [pid=21434/tid=21443] ppid=21433 vsize=411952 CPUtime=0 /proc/21434/task/21443/stat : 21443 (java) S 21433 21433 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 4614975 421838848 70676 1283457024 134512640 134550932 4292560624 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0 [pid=21434/tid=21444] ppid=21433 vsize=411952 CPUtime=0 /proc/21434/task/21444/stat : 21444 (java) S 21433 21433 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 4616106 421838848 70676 1283457024 134512640 134550932 4292560624 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 15.99 Current children cumulated vsize (KiB) 414520 [startup+16.8091 s] /proc/loadavg: 1.42 1.27 1.10 2/44 21444 /proc/meminfo: memFree=82612/1048576 swapFree=0/0 [pid=21433] ppid=21432 vsize=2568 CPUtime=0 /proc/21433/stat : 21433 (gj-trendy-solve) S 21432 21433 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 18 0 1 0 4614972 2629632 269 1283457024 134512640 135304128 4288990304 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/21433/statm: 642 269 229 194 0 29 0 [pid=21434] ppid=21433 vsize=411952 CPUtime=16.79 /proc/21434/stat : 21434 (java) S 21433 21433 1511 34817 1511 4202496 100076 0 1 0 1644 35 0 0 25 0 10 0 4614972 421838848 70677 1283457024 134512640 134550932 4292560624 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/21434/statm: 102988 70677 2920 10 0 97133 0 [pid=21434/tid=21435] ppid=21433 vsize=411952 CPUtime=8.31 /proc/21434/task/21435/stat : 21435 (java) R 21433 21433 1511 34817 1511 4202560 14138 0 1 0 822 9 0 0 25 0 10 0 4614973 421838848 70677 1283457024 134512640 134550932 4292560624 18446744073709551615 4115482300 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=21434/tid=21437] ppid=21433 vsize=411952 CPUtime=8.3 /proc/21434/task/21437/stat : 21437 (java) S 21433 21433 1511 34817 1511 4202560 84446 0 0 0 806 24 0 0 16 0 10 0 4614974 421838848 70677 1283457024 134512640 134550932 4292560624 18446744073709551615 4294960130 0 0 0 16800975 18446612132653978944 0 0 -1 0 0 0 0 [pid=21434/tid=21438] ppid=21433 vsize=411952 CPUtime=0 /proc/21434/task/21438/stat : 21438 (java) S 21433 21433 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 4614974 421838848 70677 1283457024 134512640 134550932 4292560624 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0 [pid=21434/tid=21439] ppid=21433 vsize=411952 CPUtime=0 /proc/21434/task/21439/stat : 21439 (java) S 21433 21433 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 4614974 421838848 70677 1283457024 134512640 134550932 4292560624 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0 [pid=21434/tid=21440] ppid=21433 vsize=411952 CPUtime=0 /proc/21434/task/21440/stat : 21440 (java) S 21433 21433 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4614975 421838848 70677 1283457024 134512640 134550932 4292560624 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0 [pid=21434/tid=21441] ppid=21433 vsize=411952 CPUtime=0.14 /proc/21434/task/21441/stat : 21441 (java) S 21433 21433 1511 34817 1511 4202560 546 0 0 0 14 0 0 0 16 0 10 0 4614975 421838848 70677 1283457024 134512640 134550932 4292560624 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0 [pid=21434/tid=21442] ppid=21433 vsize=411952 CPUtime=0 /proc/21434/task/21442/stat : 21442 (java) S 21433 21433 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4614975 421838848 70677 1283457024 134512640 134550932 4292560624 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0 [pid=21434/tid=21443] ppid=21433 vsize=411952 CPUtime=0 /proc/21434/task/21443/stat : 21443 (java) S 21433 21433 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 4614975 421838848 70677 1283457024 134512640 134550932 4292560624 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0 [pid=21434/tid=21444] ppid=21433 vsize=411952 CPUtime=0 /proc/21434/task/21444/stat : 21444 (java) S 21433 21433 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 4616106 421838848 70677 1283457024 134512640 134550932 4292560624 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 16.79 Current children cumulated vsize (KiB) 414520 [startup+17.2092 s] /proc/loadavg: 1.42 1.27 1.10 2/44 21444 /proc/meminfo: memFree=82612/1048576 swapFree=0/0 [pid=21433] ppid=21432 vsize=2568 CPUtime=0 /proc/21433/stat : 21433 (gj-trendy-solve) S 21432 21433 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 18 0 1 0 4614972 2629632 269 1283457024 134512640 135304128 4288990304 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/21433/statm: 642 269 229 194 0 29 0 [pid=21434] ppid=21433 vsize=411952 CPUtime=17.19 /proc/21434/stat : 21434 (java) S 21433 21433 1511 34817 1511 4202496 100076 0 1 0 1684 35 0 0 25 0 10 0 4614972 421838848 70677 1283457024 134512640 134550932 4292560624 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/21434/statm: 102988 70677 2920 10 0 97133 0 [pid=21434/tid=21435] ppid=21433 vsize=411952 CPUtime=8.71 /proc/21434/task/21435/stat : 21435 (java) R 21433 21433 1511 34817 1511 4202560 14138 0 1 0 862 9 0 0 25 0 10 0 4614973 421838848 70677 1283457024 134512640 134550932 4292560624 18446744073709551615 4115382528 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=21434/tid=21437] ppid=21433 vsize=411952 CPUtime=8.3 /proc/21434/task/21437/stat : 21437 (java) S 21433 21433 1511 34817 1511 4202560 84446 0 0 0 806 24 0 0 15 0 10 0 4614974 421838848 70677 1283457024 134512640 134550932 4292560624 18446744073709551615 4294960130 0 0 0 16800975 18446612132653978944 0 0 -1 0 0 0 0 [pid=21434/tid=21438] ppid=21433 vsize=411952 CPUtime=0 /proc/21434/task/21438/stat : 21438 (java) S 21433 21433 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 4614974 421838848 70677 1283457024 134512640 134550932 4292560624 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0 [pid=21434/tid=21439] ppid=21433 vsize=411952 CPUtime=0 /proc/21434/task/21439/stat : 21439 (java) S 21433 21433 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 4614974 421838848 70677 1283457024 134512640 134550932 4292560624 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0 [pid=21434/tid=21440] ppid=21433 vsize=411952 CPUtime=0 /proc/21434/task/21440/stat : 21440 (java) S 21433 21433 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4614975 421838848 70677 1283457024 134512640 134550932 4292560624 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0 [pid=21434/tid=21441] ppid=21433 vsize=411952 CPUtime=0.14 /proc/21434/task/21441/stat : 21441 (java) S 21433 21433 1511 34817 1511 4202560 546 0 0 0 14 0 0 0 16 0 10 0 4614975 421838848 70677 1283457024 134512640 134550932 4292560624 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0 [pid=21434/tid=21442] ppid=21433 vsize=411952 CPUtime=0 /proc/21434/task/21442/stat : 21442 (java) S 21433 21433 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4614975 421838848 70677 1283457024 134512640 134550932 4292560624 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0 [pid=21434/tid=21443] ppid=21433 vsize=411952 CPUtime=0 /proc/21434/task/21443/stat : 21443 (java) S 21433 21433 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 4614975 421838848 70677 1283457024 134512640 134550932 4292560624 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0 [pid=21434/tid=21444] ppid=21433 vsize=411952 CPUtime=0 /proc/21434/task/21444/stat : 21444 (java) S 21433 21433 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 4616106 421838848 70677 1283457024 134512640 134550932 4292560624 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 17.19 Current children cumulated vsize (KiB) 414520 [startup+17.4192 s] /proc/loadavg: 1.42 1.27 1.10 2/44 21444 /proc/meminfo: memFree=82612/1048576 swapFree=0/0 [pid=21433] ppid=21432 vsize=2568 CPUtime=0 /proc/21433/stat : 21433 (gj-trendy-solve) S 21432 21433 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 18 0 1 0 4614972 2629632 269 1283457024 134512640 135304128 4288990304 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/21433/statm: 642 269 229 194 0 29 0 [pid=21434] ppid=21433 vsize=411952 CPUtime=17.4 /proc/21434/stat : 21434 (java) S 21433 21433 1511 34817 1511 4202496 100078 0 1 0 1705 35 0 0 25 0 9 0 4614972 421838848 70679 1283457024 134512640 134550932 4292560624 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/21434/statm: 102988 70679 2921 10 0 97133 0 [pid=21434/tid=21435] ppid=21433 vsize=411952 CPUtime=8.89 /proc/21434/task/21435/stat : 21435 (java) R 21433 21433 1511 34817 1511 4202560 14138 0 1 0 880 9 0 0 25 0 9 0 4614973 421838848 70679 1283457024 134512640 134550932 4292560624 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=21434/tid=21437] ppid=21433 vsize=411952 CPUtime=8.34 /proc/21434/task/21437/stat : 21437 (java) R 21433 21433 1511 34817 1511 4202560 84446 0 0 0 810 24 0 0 15 0 9 0 4614974 421838848 70679 1283457024 134512640 134550932 4292560624 18446744073709551615 4150762416 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=21434/tid=21438] ppid=21433 vsize=411952 CPUtime=0 /proc/21434/task/21438/stat : 21438 (java) S 21433 21433 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 9 0 4614974 421838848 70679 1283457024 134512640 134550932 4292560624 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0 [pid=21434/tid=21439] ppid=21433 vsize=411952 CPUtime=0 /proc/21434/task/21439/stat : 21439 (java) S 21433 21433 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 9 0 4614974 421838848 70679 1283457024 134512640 134550932 4292560624 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0 [pid=21434/tid=21440] ppid=21433 vsize=411952 CPUtime=0 /proc/21434/task/21440/stat : 21440 (java) S 21433 21433 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 4614975 421838848 70679 1283457024 134512640 134550932 4292560624 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0 [pid=21434/tid=21441] ppid=21433 vsize=411952 CPUtime=0.14 /proc/21434/task/21441/stat : 21441 (java) S 21433 21433 1511 34817 1511 4202560 547 0 0 0 14 0 0 0 15 0 9 0 4614975 421838848 70679 1283457024 134512640 134550932 4292560624 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0 [pid=21434/tid=21442] ppid=21433 vsize=411952 CPUtime=0 /proc/21434/task/21442/stat : 21442 (java) S 21433 21433 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 4614975 421838848 70679 1283457024 134512640 134550932 4292560624 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0 [pid=21434/tid=21443] ppid=21433 vsize=411952 CPUtime=0 /proc/21434/task/21443/stat : 21443 (java) S 21433 21433 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 9 0 4614975 421838848 70679 1283457024 134512640 134550932 4292560624 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 17.4 Current children cumulated vsize (KiB) 414520 Child status: 0 Real time (s): 17.4427 CPU time (s): 17.4211 CPU user time (s): 17.0571 CPU system time (s): 0.364022 CPU usage (%): 99.8761 Max. virtual memory (cumulated for all children) (KiB): 442552 getrusage(RUSAGE_CHILDREN,...) data: user time used= 17.0571 system time used= 0.364022 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= 1120 involuntary context switches= 1348 runsolver used 0 second user time and 0 second system time The end