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/rand461.cudf.dudf-random.log.runsolver ./gj-trendy-solver-1.0 /home/misc2010/data/2011/dudf-random//rand461.cudf /home/misc2010/tmp/201108241238/gj-trendy-solver-1.0/rand461.cudf.dudf-random.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.27 1.14 1.04 5/36 18484 /proc/meminfo: memFree=608992/1048576 swapFree=0/0 [pid=18483] ppid=18482 vsize=2568 CPUtime=0 /proc/18483/stat : 18483 (gj-trendy-solve) R 18482 18483 1511 34817 1511 4202496 354 0 0 0 0 0 0 0 25 0 1 0 4104058 2629632 267 1283457024 134512640 135304128 4291604192 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0 /proc/18483/statm: 642 267 228 194 0 29 0 [pid=18484] ppid=18483 vsize=2568 CPUtime=0 /proc/18484/stat : 18484 (gj-trendy-solve) R 18483 18483 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 1 0 4104058 2629632 39 1283457024 134512640 135304128 4291604192 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0 /proc/18484/statm: 642 39 0 194 0 29 0 [startup+0.145278 s] /proc/loadavg: 1.27 1.14 1.04 5/36 18484 /proc/meminfo: memFree=608992/1048576 swapFree=0/0 [pid=18483] ppid=18482 vsize=2568 CPUtime=0 /proc/18483/stat : 18483 (gj-trendy-solve) S 18482 18483 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 25 0 1 0 4104058 2629632 268 1283457024 134512640 135304128 4291604192 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/18483/statm: 642 268 229 194 0 29 0 [pid=18484] ppid=18483 vsize=409796 CPUtime=0.14 /proc/18484/stat : 18484 (java) S 18483 18483 1511 34817 1511 4202496 3925 0 1 0 10 4 0 0 25 0 9 0 4104058 419631104 3354 1283457024 134512640 134550932 4294619376 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/18484/statm: 102449 3354 1910 10 0 96597 0 Current children cumulated CPU time (s) 0.14 Current children cumulated vsize (KiB) 412364 [startup+0.205279 s] /proc/loadavg: 1.27 1.14 1.04 5/36 18484 /proc/meminfo: memFree=608992/1048576 swapFree=0/0 [pid=18483] ppid=18482 vsize=2568 CPUtime=0 /proc/18483/stat : 18483 (gj-trendy-solve) S 18482 18483 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 25 0 1 0 4104058 2629632 268 1283457024 134512640 135304128 4291604192 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/18483/statm: 642 268 229 194 0 29 0 [pid=18484] ppid=18483 vsize=409796 CPUtime=0.2 /proc/18484/stat : 18484 (java) S 18483 18483 1511 34817 1511 4202496 4058 0 1 0 16 4 0 0 25 0 9 0 4104058 419631104 3487 1283457024 134512640 134550932 4294619376 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/18484/statm: 102449 3487 1910 10 0 96597 0 Current children cumulated CPU time (s) 0.2 Current children cumulated vsize (KiB) 412364 [startup+0.3053 s] /proc/loadavg: 1.27 1.14 1.04 5/36 18484 /proc/meminfo: memFree=608992/1048576 swapFree=0/0 [pid=18483] ppid=18482 vsize=2568 CPUtime=0 /proc/18483/stat : 18483 (gj-trendy-solve) S 18482 18483 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 25 0 1 0 4104058 2629632 268 1283457024 134512640 135304128 4291604192 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/18483/statm: 642 268 229 194 0 29 0 [pid=18484] ppid=18483 vsize=410376 CPUtime=0.3 /proc/18484/stat : 18484 (java) S 18483 18483 1511 34817 1511 4202496 4426 0 1 0 26 4 0 0 25 0 9 0 4104058 420225024 3855 1283457024 134512640 134550932 4294619376 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/18484/statm: 102594 3855 1933 10 0 96742 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 412944 [startup+0.705384 s] /proc/loadavg: 1.27 1.14 1.04 5/36 18484 /proc/meminfo: memFree=608992/1048576 swapFree=0/0 [pid=18483] ppid=18482 vsize=2568 CPUtime=0 /proc/18483/stat : 18483 (gj-trendy-solve) S 18482 18483 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 25 0 1 0 4104058 2629632 268 1283457024 134512640 135304128 4291604192 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/18483/statm: 642 268 229 194 0 29 0 [pid=18484] ppid=18483 vsize=410644 CPUtime=0.7 /proc/18484/stat : 18484 (java) S 18483 18483 1511 34817 1511 4202496 12040 0 1 0 65 5 0 0 25 0 9 0 4104058 420499456 11281 1283457024 134512640 134550932 4294619376 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/18484/statm: 102661 11281 2901 10 0 96809 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 413212 [startup+1.50556 s] /proc/loadavg: 1.27 1.14 1.04 2/45 18493 /proc/meminfo: memFree=550320/1048576 swapFree=0/0 [pid=18483] ppid=18482 vsize=2568 CPUtime=0 /proc/18483/stat : 18483 (gj-trendy-solve) S 18482 18483 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 25 0 1 0 4104058 2629632 268 1283457024 134512640 135304128 4291604192 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/18483/statm: 642 268 229 194 0 29 0 [pid=18484] ppid=18483 vsize=410776 CPUtime=1.5 /proc/18484/stat : 18484 (java) S 18483 18483 1511 34817 1511 4202496 27042 0 1 0 139 11 0 0 25 0 9 0 4104058 420634624 26283 1283457024 134512640 134550932 4294619376 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/18484/statm: 102694 26283 2901 10 0 96842 0 [pid=18484/tid=18486] ppid=18483 vsize=410776 CPUtime=0.82 /proc/18484/task/18486/stat : 18486 (java) R 18483 18483 1511 34817 1511 4202560 6753 0 1 0 78 4 0 0 25 0 9 0 4104059 420634624 26283 1283457024 134512640 134550932 4294619376 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=18484/tid=18487] ppid=18483 vsize=410776 CPUtime=0.61 /proc/18484/task/18487/stat : 18487 (java) R 18483 18483 1511 34817 1511 4202560 18903 0 0 0 56 5 0 0 18 0 9 0 4104060 420634624 26283 1283457024 134512640 134550932 4294619376 18446744073709551615 4151120800 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=18484/tid=18488] ppid=18483 vsize=410776 CPUtime=0 /proc/18484/task/18488/stat : 18488 (java) S 18483 18483 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 20 0 9 0 4104060 420634624 26283 1283457024 134512640 134550932 4294619376 18446744073709551615 4294960130 0 4 0 16800975 18446612132653980736 0 0 -1 0 0 0 0 [pid=18484/tid=18489] ppid=18483 vsize=410776 CPUtime=0 /proc/18484/task/18489/stat : 18489 (java) S 18483 18483 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 20 0 9 0 4104060 420634624 26283 1283457024 134512640 134550932 4294619376 18446744073709551615 4294960130 0 4 0 16800975 18446612132653980736 0 0 -1 0 0 0 0 [pid=18484/tid=18490] ppid=18483 vsize=410776 CPUtime=0 /proc/18484/task/18490/stat : 18490 (java) S 18483 18483 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 4104061 420634624 26283 1283457024 134512640 134550932 4294619376 18446744073709551615 4294960130 0 4 0 16800975 18446612132653980736 0 0 -1 0 0 0 0 [pid=18484/tid=18491] ppid=18483 vsize=410776 CPUtime=0.04 /proc/18484/task/18491/stat : 18491 (java) S 18483 18483 1511 34817 1511 4202560 448 0 0 0 4 0 0 0 17 0 9 0 4104061 420634624 26283 1283457024 134512640 134550932 4294619376 18446744073709551615 4294960130 0 4 0 16800975 18446612132653980736 0 0 -1 0 0 0 0 [pid=18484/tid=18492] ppid=18483 vsize=410776 CPUtime=0 /proc/18484/task/18492/stat : 18492 (java) S 18483 18483 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 9 0 4104061 420634624 26283 1283457024 134512640 134550932 4294619376 18446744073709551615 4294960130 0 4 0 16800975 18446612132653980736 0 0 -1 0 0 0 0 [pid=18484/tid=18493] ppid=18483 vsize=410776 CPUtime=0 /proc/18484/task/18493/stat : 18493 (java) S 18483 18483 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 9 0 4104061 420634624 26283 1283457024 134512640 134550932 4294619376 18446744073709551615 4294960130 0 4 0 16800975 18446612132653980736 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 413344 [startup+3.10584 s] /proc/loadavg: 1.33 1.15 1.04 2/45 18494 /proc/meminfo: memFree=477656/1048576 swapFree=0/0 [pid=18483] ppid=18482 vsize=2568 CPUtime=0 /proc/18483/stat : 18483 (gj-trendy-solve) S 18482 18483 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 25 0 1 0 4104058 2629632 268 1283457024 134512640 135304128 4291604192 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/18483/statm: 642 268 229 194 0 29 0 [pid=18484] ppid=18483 vsize=410776 CPUtime=3.1 /proc/18484/stat : 18484 (java) S 18483 18483 1511 34817 1511 4202496 49126 0 1 0 289 21 0 0 25 0 9 0 4104058 420634624 48367 1283457024 134512640 134550932 4294619376 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/18484/statm: 102694 48367 2901 10 0 96842 0 [pid=18484/tid=18486] ppid=18483 vsize=410776 CPUtime=1.45 /proc/18484/task/18486/stat : 18486 (java) R 18483 18483 1511 34817 1511 4202560 13937 0 1 0 135 10 0 0 25 0 9 0 4104059 420634624 48367 1283457024 134512640 134550932 4294619376 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=18484/tid=18487] ppid=18483 vsize=410776 CPUtime=1.58 /proc/18484/task/18487/stat : 18487 (java) R 18483 18483 1511 34817 1511 4202560 33798 0 0 0 149 9 0 0 16 0 9 0 4104060 420634624 48367 1283457024 134512640 134550932 4294619376 18446744073709551615 4150819882 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=18484/tid=18488] ppid=18483 vsize=410776 CPUtime=0 /proc/18484/task/18488/stat : 18488 (java) S 18483 18483 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 20 0 9 0 4104060 420634624 48367 1283457024 134512640 134550932 4294619376 18446744073709551615 4294960130 0 4 0 16800975 18446612132653980736 0 0 -1 0 0 0 0 [pid=18484/tid=18489] ppid=18483 vsize=410776 CPUtime=0 /proc/18484/task/18489/stat : 18489 (java) S 18483 18483 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 20 0 9 0 4104060 420634624 48367 1283457024 134512640 134550932 4294619376 18446744073709551615 4294960130 0 4 0 16800975 18446612132653980736 0 0 -1 0 0 0 0 [pid=18484/tid=18490] ppid=18483 vsize=410776 CPUtime=0 /proc/18484/task/18490/stat : 18490 (java) S 18483 18483 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 4104061 420634624 48367 1283457024 134512640 134550932 4294619376 18446744073709551615 4294960130 0 4 0 16800975 18446612132653980736 0 0 -1 0 0 0 0 [pid=18484/tid=18491] ppid=18483 vsize=410776 CPUtime=0.04 /proc/18484/task/18491/stat : 18491 (java) S 18483 18483 1511 34817 1511 4202560 453 0 0 0 4 0 0 0 16 0 9 0 4104061 420634624 48367 1283457024 134512640 134550932 4294619376 18446744073709551615 4294960130 0 4 0 16800975 18446612132653980736 0 0 -1 0 0 0 0 [pid=18484/tid=18492] ppid=18483 vsize=410776 CPUtime=0 /proc/18484/task/18492/stat : 18492 (java) S 18483 18483 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 9 0 4104061 420634624 48367 1283457024 134512640 134550932 4294619376 18446744073709551615 4294960130 0 4 0 16800975 18446612132653980736 0 0 -1 0 0 0 0 [pid=18484/tid=18493] ppid=18483 vsize=410776 CPUtime=0 /proc/18484/task/18493/stat : 18493 (java) S 18483 18483 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 9 0 4104061 420634624 48367 1283457024 134512640 134550932 4294619376 18446744073709551615 4294960130 0 4 0 16800975 18446612132653980736 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 413344 [startup+6.30649 s] /proc/loadavg: 1.33 1.15 1.04 3/45 18494 /proc/meminfo: memFree=341008/1048576 swapFree=0/0 [pid=18483] ppid=18482 vsize=2568 CPUtime=0 /proc/18483/stat : 18483 (gj-trendy-solve) S 18482 18483 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 25 0 1 0 4104058 2629632 268 1283457024 134512640 135304128 4291604192 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/18483/statm: 642 268 229 194 0 29 0 [pid=18484] ppid=18483 vsize=438892 CPUtime=6.3 /proc/18484/stat : 18484 (java) S 18483 18483 1511 34817 1511 4202496 77983 0 1 0 597 33 0 0 25 0 9 0 4104058 449425408 77218 1283457024 134512640 134550932 4294619376 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/18484/statm: 109723 77218 2903 10 0 103871 0 [pid=18484/tid=18486] ppid=18483 vsize=438892 CPUtime=2.34 /proc/18484/task/18486/stat : 18486 (java) R 18483 18483 1511 34817 1511 4202560 13954 0 1 0 222 12 0 0 25 0 9 0 4104059 449425408 77218 1283457024 134512640 134550932 4294619376 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=18484/tid=18487] ppid=18483 vsize=438892 CPUtime=3.87 /proc/18484/task/18487/stat : 18487 (java) R 18483 18483 1511 34817 1511 4202560 62617 0 0 0 368 19 0 0 16 0 9 0 4104060 449425408 77218 1283457024 134512640 134550932 4294619376 18446744073709551615 4152314293 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=18484/tid=18488] ppid=18483 vsize=438892 CPUtime=0 /proc/18484/task/18488/stat : 18488 (java) S 18483 18483 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 9 0 4104060 449425408 77218 1283457024 134512640 134550932 4294619376 18446744073709551615 4294960130 0 4 0 16800975 18446612132653980736 0 0 -1 0 0 0 0 [pid=18484/tid=18489] ppid=18483 vsize=438892 CPUtime=0 /proc/18484/task/18489/stat : 18489 (java) S 18483 18483 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 9 0 4104060 449425408 77218 1283457024 134512640 134550932 4294619376 18446744073709551615 4294960130 0 4 0 16800975 18446612132653980736 0 0 -1 0 0 0 0 [pid=18484/tid=18490] ppid=18483 vsize=438892 CPUtime=0 /proc/18484/task/18490/stat : 18490 (java) S 18483 18483 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 4104061 449425408 77218 1283457024 134512640 134550932 4294619376 18446744073709551615 4294960130 0 4 0 16800975 18446612132653980736 0 0 -1 0 0 0 0 [pid=18484/tid=18491] ppid=18483 vsize=438892 CPUtime=0.06 /proc/18484/task/18491/stat : 18491 (java) S 18483 18483 1511 34817 1511 4202560 474 0 0 0 6 0 0 0 16 0 9 0 4104061 449425408 77218 1283457024 134512640 134550932 4294619376 18446744073709551615 4294960130 0 4 0 16800975 18446612132653980736 0 0 -1 0 0 0 0 [pid=18484/tid=18492] ppid=18483 vsize=438892 CPUtime=0 /proc/18484/task/18492/stat : 18492 (java) S 18483 18483 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 9 0 4104061 449425408 77218 1283457024 134512640 134550932 4294619376 18446744073709551615 4294960130 0 4 0 16800975 18446612132653980736 0 0 -1 0 0 0 0 [pid=18484/tid=18493] ppid=18483 vsize=438892 CPUtime=0 /proc/18484/task/18493/stat : 18493 (java) S 18483 18483 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 9 0 4104061 449425408 77218 1283457024 134512640 134550932 4294619376 18446744073709551615 4294960130 0 4 0 16800975 18446612132653980736 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 6.3 Current children cumulated vsize (KiB) 441460 [startup+12.7082 s] /proc/loadavg: 1.36 1.16 1.05 2/45 18495 /proc/meminfo: memFree=334444/1048576 swapFree=0/0 [pid=18483] ppid=18482 vsize=2568 CPUtime=0 /proc/18483/stat : 18483 (gj-trendy-solve) S 18482 18483 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 25 0 1 0 4104058 2629632 268 1283457024 134512640 135304128 4291604192 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/18483/statm: 642 268 229 194 0 29 0 [pid=18484] ppid=18483 vsize=414024 CPUtime=12.7 /proc/18484/stat : 18484 (java) S 18483 18483 1511 34817 1511 4202496 104131 0 1 0 1222 48 0 0 25 0 9 0 4104058 423960576 71201 1283457024 134512640 134550932 4294619376 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/18484/statm: 103506 71201 2917 10 0 97651 0 [pid=18484/tid=18486] ppid=18483 vsize=414024 CPUtime=3.24 /proc/18484/task/18486/stat : 18486 (java) R 18483 18483 1511 34817 1511 4202560 14187 0 1 0 312 12 0 0 25 0 9 0 4104059 423960576 71201 1283457024 134512640 134550932 4294619376 18446744073709551615 4115367595 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=18484/tid=18487] ppid=18483 vsize=414024 CPUtime=9.35 /proc/18484/task/18487/stat : 18487 (java) S 18483 18483 1511 34817 1511 4202560 88501 0 0 0 901 34 0 0 16 0 9 0 4104060 423960576 71201 1283457024 134512640 134550932 4294619376 18446744073709551615 4294960130 0 0 0 16800975 18446612132653980736 0 0 -1 0 0 0 0 [pid=18484/tid=18488] ppid=18483 vsize=414024 CPUtime=0 /proc/18484/task/18488/stat : 18488 (java) S 18483 18483 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 9 0 4104060 423960576 71201 1283457024 134512640 134550932 4294619376 18446744073709551615 4294960130 0 4 0 16800975 18446612132653980736 0 0 -1 0 0 0 0 [pid=18484/tid=18489] ppid=18483 vsize=414024 CPUtime=0 /proc/18484/task/18489/stat : 18489 (java) S 18483 18483 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 9 0 4104060 423960576 71201 1283457024 134512640 134550932 4294619376 18446744073709551615 4294960130 0 4 0 16800975 18446612132653980736 0 0 -1 0 0 0 0 [pid=18484/tid=18490] ppid=18483 vsize=414024 CPUtime=0 /proc/18484/task/18490/stat : 18490 (java) S 18483 18483 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 4104061 423960576 71201 1283457024 134512640 134550932 4294619376 18446744073709551615 4294960130 0 4 0 16800975 18446612132653980736 0 0 -1 0 0 0 0 [pid=18484/tid=18491] ppid=18483 vsize=414024 CPUtime=0.09 /proc/18484/task/18491/stat : 18491 (java) S 18483 18483 1511 34817 1511 4202560 505 0 0 0 9 0 0 0 15 0 9 0 4104061 423960576 71201 1283457024 134512640 134550932 4294619376 18446744073709551615 4294960130 0 4 0 16800975 18446612132653980736 0 0 -1 0 0 0 0 [pid=18484/tid=18492] ppid=18483 vsize=414024 CPUtime=0 /proc/18484/task/18492/stat : 18492 (java) S 18483 18483 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 9 0 4104061 423960576 71201 1283457024 134512640 134550932 4294619376 18446744073709551615 4294960130 0 4 0 16800975 18446612132653980736 0 0 -1 0 0 0 0 [pid=18484/tid=18493] ppid=18483 vsize=414024 CPUtime=0 /proc/18484/task/18493/stat : 18493 (java) R 18483 18483 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 9 0 4104061 423960576 71201 1283457024 134512640 134550932 4294619376 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 12.7 Current children cumulated vsize (KiB) 416592 Solver just ended. Dumping a history of the last processes samples [startup+12.8082 s] /proc/loadavg: 1.36 1.16 1.05 2/45 18495 /proc/meminfo: memFree=334444/1048576 swapFree=0/0 [pid=18483] ppid=18482 vsize=2568 CPUtime=0 /proc/18483/stat : 18483 (gj-trendy-solve) S 18482 18483 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 25 0 1 0 4104058 2629632 268 1283457024 134512640 135304128 4291604192 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/18483/statm: 642 268 229 194 0 29 0 [pid=18484] ppid=18483 vsize=414348 CPUtime=12.8 /proc/18484/stat : 18484 (java) S 18483 18483 1511 34817 1511 4202496 104159 0 1 0 1232 48 0 0 25 0 10 0 4104058 424292352 71225 1283457024 134512640 134550932 4294619376 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/18484/statm: 103587 71225 2917 10 0 97732 0 [pid=18484/tid=18486] ppid=18483 vsize=414348 CPUtime=3.32 /proc/18484/task/18486/stat : 18486 (java) R 18483 18483 1511 34817 1511 4202560 14203 0 1 0 320 12 0 0 25 0 10 0 4104059 424292352 71225 1283457024 134512640 134550932 4294619376 18446744073709551615 4115422884 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=18484/tid=18487] ppid=18483 vsize=414348 CPUtime=9.35 /proc/18484/task/18487/stat : 18487 (java) S 18483 18483 1511 34817 1511 4202560 88501 0 0 0 901 34 0 0 16 0 10 0 4104060 424292352 71225 1283457024 134512640 134550932 4294619376 18446744073709551615 4294960130 0 0 0 16800975 18446612132653980736 0 0 -1 0 0 0 0 [pid=18484/tid=18488] ppid=18483 vsize=414348 CPUtime=0 /proc/18484/task/18488/stat : 18488 (java) S 18483 18483 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 4104060 424292352 71225 1283457024 134512640 134550932 4294619376 18446744073709551615 4294960130 0 4 0 16800975 18446612132653980736 0 0 -1 0 0 0 0 [pid=18484/tid=18489] ppid=18483 vsize=414348 CPUtime=0 /proc/18484/task/18489/stat : 18489 (java) S 18483 18483 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 4104060 424292352 71225 1283457024 134512640 134550932 4294619376 18446744073709551615 4294960130 0 4 0 16800975 18446612132653980736 0 0 -1 0 0 0 0 [pid=18484/tid=18490] ppid=18483 vsize=414348 CPUtime=0 /proc/18484/task/18490/stat : 18490 (java) S 18483 18483 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4104061 424292352 71225 1283457024 134512640 134550932 4294619376 18446744073709551615 4294960130 0 4 0 16800975 18446612132653980736 0 0 -1 0 0 0 0 [pid=18484/tid=18491] ppid=18483 vsize=414348 CPUtime=0.1 /proc/18484/task/18491/stat : 18491 (java) S 18483 18483 1511 34817 1511 4202560 515 0 0 0 10 0 0 0 15 0 10 0 4104061 424292352 71225 1283457024 134512640 134550932 4294619376 18446744073709551615 4294960130 0 4 0 16800975 18446612132653980736 0 0 -1 0 0 0 0 [pid=18484/tid=18492] ppid=18483 vsize=414348 CPUtime=0 /proc/18484/task/18492/stat : 18492 (java) S 18483 18483 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 10 0 4104061 424292352 71225 1283457024 134512640 134550932 4294619376 18446744073709551615 4294960130 0 4 0 16800975 18446612132653980736 0 0 -1 0 0 0 0 [pid=18484/tid=18493] ppid=18483 vsize=414348 CPUtime=0 /proc/18484/task/18493/stat : 18493 (java) S 18483 18483 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 4104061 424292352 71225 1283457024 134512640 134550932 4294619376 18446744073709551615 4294960130 0 4 0 16800975 18446612132653980736 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 12.8 Current children cumulated vsize (KiB) 416916 [startup+16.0092 s] /proc/loadavg: 1.36 1.16 1.05 3/46 18496 /proc/meminfo: memFree=334436/1048576 swapFree=0/0 [pid=18483] ppid=18482 vsize=2568 CPUtime=0 /proc/18483/stat : 18483 (gj-trendy-solve) S 18482 18483 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 25 0 1 0 4104058 2629632 268 1283457024 134512640 135304128 4291604192 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/18483/statm: 642 268 229 194 0 29 0 [pid=18484] ppid=18483 vsize=414348 CPUtime=16 /proc/18484/stat : 18484 (java) S 18483 18483 1511 34817 1511 4202496 104206 0 1 0 1552 48 0 0 25 0 10 0 4104058 424292352 71272 1283457024 134512640 134550932 4294619376 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/18484/statm: 103587 71272 2918 10 0 97732 0 [pid=18484/tid=18486] ppid=18483 vsize=414348 CPUtime=6.44 /proc/18484/task/18486/stat : 18486 (java) R 18483 18483 1511 34817 1511 4202560 14206 0 1 0 632 12 0 0 25 0 10 0 4104059 424292352 71272 1283457024 134512640 134550932 4294619376 18446744073709551615 4115458135 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=18484/tid=18487] ppid=18483 vsize=414348 CPUtime=9.35 /proc/18484/task/18487/stat : 18487 (java) S 18483 18483 1511 34817 1511 4202560 88501 0 0 0 901 34 0 0 16 0 10 0 4104060 424292352 71272 1283457024 134512640 134550932 4294619376 18446744073709551615 4294960130 0 0 0 16800975 18446612132653980736 0 0 -1 0 0 0 0 [pid=18484/tid=18488] ppid=18483 vsize=414348 CPUtime=0 /proc/18484/task/18488/stat : 18488 (java) S 18483 18483 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 4104060 424292352 71272 1283457024 134512640 134550932 4294619376 18446744073709551615 4294960130 0 4 0 16800975 18446612132653980736 0 0 -1 0 0 0 0 [pid=18484/tid=18489] ppid=18483 vsize=414348 CPUtime=0 /proc/18484/task/18489/stat : 18489 (java) S 18483 18483 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 4104060 424292352 71272 1283457024 134512640 134550932 4294619376 18446744073709551615 4294960130 0 4 0 16800975 18446612132653980736 0 0 -1 0 0 0 0 [pid=18484/tid=18490] ppid=18483 vsize=414348 CPUtime=0 /proc/18484/task/18490/stat : 18490 (java) S 18483 18483 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4104061 424292352 71272 1283457024 134512640 134550932 4294619376 18446744073709551615 4294960130 0 4 0 16800975 18446612132653980736 0 0 -1 0 0 0 0 [pid=18484/tid=18491] ppid=18483 vsize=414348 CPUtime=0.18 /proc/18484/task/18491/stat : 18491 (java) S 18483 18483 1511 34817 1511 4202560 556 0 0 0 18 0 0 0 15 0 10 0 4104061 424292352 71272 1283457024 134512640 134550932 4294619376 18446744073709551615 4294960130 0 4 0 16800975 18446612132653980736 0 0 -1 0 0 0 0 [pid=18484/tid=18492] ppid=18483 vsize=414348 CPUtime=0 /proc/18484/task/18492/stat : 18492 (java) S 18483 18483 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 10 0 4104061 424292352 71272 1283457024 134512640 134550932 4294619376 18446744073709551615 4294960130 0 4 0 16800975 18446612132653980736 0 0 -1 0 0 0 0 [pid=18484/tid=18493] ppid=18483 vsize=414348 CPUtime=0 /proc/18484/task/18493/stat : 18493 (java) R 18483 18483 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 4104061 424292352 71272 1283457024 134512640 134550932 4294619376 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=18484/tid=18496] ppid=18483 vsize=414348 CPUtime=0 /proc/18484/task/18496/stat : 18496 (java) S 18483 18483 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 4105337 424292352 71272 1283457024 134512640 134550932 4294619376 18446744073709551615 4294960130 0 4 0 16800975 18446612132653980736 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 16 Current children cumulated vsize (KiB) 416916 [startup+19.1102 s] /proc/loadavg: 1.33 1.16 1.05 2/46 18496 /proc/meminfo: memFree=334436/1048576 swapFree=0/0 [pid=18483] ppid=18482 vsize=2568 CPUtime=0 /proc/18483/stat : 18483 (gj-trendy-solve) S 18482 18483 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 25 0 1 0 4104058 2629632 268 1283457024 134512640 135304128 4291604192 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/18483/statm: 642 268 229 194 0 29 0 [pid=18484] ppid=18483 vsize=414348 CPUtime=19.1 /proc/18484/stat : 18484 (java) S 18483 18483 1511 34817 1511 4202496 104214 0 1 0 1862 48 0 0 25 0 10 0 4104058 424292352 71280 1283457024 134512640 134550932 4294619376 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/18484/statm: 103587 71280 2921 10 0 97732 0 [pid=18484/tid=18486] ppid=18483 vsize=414348 CPUtime=9.48 /proc/18484/task/18486/stat : 18486 (java) R 18483 18483 1511 34817 1511 4202560 14208 0 1 0 936 12 0 0 25 0 10 0 4104059 424292352 71280 1283457024 134512640 134550932 4294619376 18446744073709551615 4115458422 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=18484/tid=18487] ppid=18483 vsize=414348 CPUtime=9.41 /proc/18484/task/18487/stat : 18487 (java) S 18483 18483 1511 34817 1511 4202560 88503 0 0 0 907 34 0 0 15 0 10 0 4104060 424292352 71280 1283457024 134512640 134550932 4294619376 18446744073709551615 4294960130 0 0 0 16800975 18446612132653980736 0 0 -1 0 0 0 0 [pid=18484/tid=18488] ppid=18483 vsize=414348 CPUtime=0 /proc/18484/task/18488/stat : 18488 (java) S 18483 18483 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 4104060 424292352 71280 1283457024 134512640 134550932 4294619376 18446744073709551615 4294960130 0 4 0 16800975 18446612132653980736 0 0 -1 0 0 0 0 [pid=18484/tid=18489] ppid=18483 vsize=414348 CPUtime=0 /proc/18484/task/18489/stat : 18489 (java) S 18483 18483 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 4104060 424292352 71280 1283457024 134512640 134550932 4294619376 18446744073709551615 4294960130 0 4 0 16800975 18446612132653980736 0 0 -1 0 0 0 0 [pid=18484/tid=18490] ppid=18483 vsize=414348 CPUtime=0 /proc/18484/task/18490/stat : 18490 (java) S 18483 18483 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4104061 424292352 71280 1283457024 134512640 134550932 4294619376 18446744073709551615 4294960130 0 4 0 16800975 18446612132653980736 0 0 -1 0 0 0 0 [pid=18484/tid=18491] ppid=18483 vsize=414348 CPUtime=0.18 /proc/18484/task/18491/stat : 18491 (java) S 18483 18483 1511 34817 1511 4202560 560 0 0 0 18 0 0 0 15 0 10 0 4104061 424292352 71280 1283457024 134512640 134550932 4294619376 18446744073709551615 4294960130 0 4 0 16800975 18446612132653980736 0 0 -1 0 0 0 0 [pid=18484/tid=18492] ppid=18483 vsize=414348 CPUtime=0 /proc/18484/task/18492/stat : 18492 (java) S 18483 18483 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 10 0 4104061 424292352 71280 1283457024 134512640 134550932 4294619376 18446744073709551615 4294960130 0 4 0 16800975 18446612132653980736 0 0 -1 0 0 0 0 [pid=18484/tid=18493] ppid=18483 vsize=414348 CPUtime=0 /proc/18484/task/18493/stat : 18493 (java) S 18483 18483 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 4104061 424292352 71280 1283457024 134512640 134550932 4294619376 18446744073709551615 4294960130 0 4 0 16800975 18446612132653980736 0 0 -1 0 0 0 0 [pid=18484/tid=18496] ppid=18483 vsize=414348 CPUtime=0 /proc/18484/task/18496/stat : 18496 (java) S 18483 18483 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 4105337 424292352 71280 1283457024 134512640 134550932 4294619376 18446744073709551615 4294960130 0 4 0 16800975 18446612132653980736 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 19.1 Current children cumulated vsize (KiB) 416916 [startup+20.711 s] /proc/loadavg: 1.33 1.16 1.05 2/46 18496 /proc/meminfo: memFree=334436/1048576 swapFree=0/0 [pid=18483] ppid=18482 vsize=2568 CPUtime=0 /proc/18483/stat : 18483 (gj-trendy-solve) S 18482 18483 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 25 0 1 0 4104058 2629632 268 1283457024 134512640 135304128 4291604192 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/18483/statm: 642 268 229 194 0 29 0 [pid=18484] ppid=18483 vsize=414348 CPUtime=20.7 /proc/18484/stat : 18484 (java) S 18483 18483 1511 34817 1511 4202496 104215 0 1 0 2022 48 0 0 25 0 10 0 4104058 424292352 71281 1283457024 134512640 134550932 4294619376 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/18484/statm: 103587 71281 2921 10 0 97732 0 [pid=18484/tid=18486] ppid=18483 vsize=414348 CPUtime=11 /proc/18484/task/18486/stat : 18486 (java) R 18483 18483 1511 34817 1511 4202560 14208 0 1 0 1088 12 0 0 25 0 10 0 4104059 424292352 71281 1283457024 134512640 134550932 4294619376 18446744073709551615 4115452934 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=18484/tid=18487] ppid=18483 vsize=414348 CPUtime=9.48 /proc/18484/task/18487/stat : 18487 (java) S 18483 18483 1511 34817 1511 4202560 88503 0 0 0 914 34 0 0 16 0 10 0 4104060 424292352 71281 1283457024 134512640 134550932 4294619376 18446744073709551615 4294960130 0 0 0 16800975 18446612132653980736 0 0 -1 0 0 0 0 [pid=18484/tid=18488] ppid=18483 vsize=414348 CPUtime=0 /proc/18484/task/18488/stat : 18488 (java) S 18483 18483 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 4104060 424292352 71281 1283457024 134512640 134550932 4294619376 18446744073709551615 4294960130 0 4 0 16800975 18446612132653980736 0 0 -1 0 0 0 0 [pid=18484/tid=18489] ppid=18483 vsize=414348 CPUtime=0 /proc/18484/task/18489/stat : 18489 (java) S 18483 18483 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 4104060 424292352 71281 1283457024 134512640 134550932 4294619376 18446744073709551615 4294960130 0 4 0 16800975 18446612132653980736 0 0 -1 0 0 0 0 [pid=18484/tid=18490] ppid=18483 vsize=414348 CPUtime=0 /proc/18484/task/18490/stat : 18490 (java) S 18483 18483 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4104061 424292352 71281 1283457024 134512640 134550932 4294619376 18446744073709551615 4294960130 0 4 0 16800975 18446612132653980736 0 0 -1 0 0 0 0 [pid=18484/tid=18491] ppid=18483 vsize=414348 CPUtime=0.18 /proc/18484/task/18491/stat : 18491 (java) S 18483 18483 1511 34817 1511 4202560 561 0 0 0 18 0 0 0 15 0 10 0 4104061 424292352 71281 1283457024 134512640 134550932 4294619376 18446744073709551615 4294960130 0 4 0 16800975 18446612132653980736 0 0 -1 0 0 0 0 [pid=18484/tid=18492] ppid=18483 vsize=414348 CPUtime=0 /proc/18484/task/18492/stat : 18492 (java) S 18483 18483 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 10 0 4104061 424292352 71281 1283457024 134512640 134550932 4294619376 18446744073709551615 4294960130 0 4 0 16800975 18446612132653980736 0 0 -1 0 0 0 0 [pid=18484/tid=18493] ppid=18483 vsize=414348 CPUtime=0 /proc/18484/task/18493/stat : 18493 (java) S 18483 18483 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 4104061 424292352 71281 1283457024 134512640 134550932 4294619376 18446744073709551615 4294960130 0 4 0 16800975 18446612132653980736 0 0 -1 0 0 0 0 [pid=18484/tid=18496] ppid=18483 vsize=414348 CPUtime=0 /proc/18484/task/18496/stat : 18496 (java) S 18483 18483 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 4105337 424292352 71281 1283457024 134512640 134550932 4294619376 18446744073709551615 4294960130 0 4 0 16800975 18446612132653980736 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 20.7 Current children cumulated vsize (KiB) 416916 [startup+21.1111 s] /proc/loadavg: 1.33 1.16 1.05 2/46 18496 /proc/meminfo: memFree=334436/1048576 swapFree=0/0 [pid=18483] ppid=18482 vsize=2568 CPUtime=0 /proc/18483/stat : 18483 (gj-trendy-solve) S 18482 18483 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 25 0 1 0 4104058 2629632 268 1283457024 134512640 135304128 4291604192 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/18483/statm: 642 268 229 194 0 29 0 [pid=18484] ppid=18483 vsize=414348 CPUtime=21.1 /proc/18484/stat : 18484 (java) S 18483 18483 1511 34817 1511 4202496 104215 0 1 0 2062 48 0 0 25 0 10 0 4104058 424292352 71281 1283457024 134512640 134550932 4294619376 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/18484/statm: 103587 71281 2921 10 0 97732 0 [pid=18484/tid=18486] ppid=18483 vsize=414348 CPUtime=11.4 /proc/18484/task/18486/stat : 18486 (java) R 18483 18483 1511 34817 1511 4202560 14208 0 1 0 1128 12 0 0 25 0 10 0 4104059 424292352 71281 1283457024 134512640 134550932 4294619376 18446744073709551615 4115482812 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=18484/tid=18487] ppid=18483 vsize=414348 CPUtime=9.48 /proc/18484/task/18487/stat : 18487 (java) S 18483 18483 1511 34817 1511 4202560 88503 0 0 0 914 34 0 0 16 0 10 0 4104060 424292352 71281 1283457024 134512640 134550932 4294619376 18446744073709551615 4294960130 0 0 0 16800975 18446612132653980736 0 0 -1 0 0 0 0 [pid=18484/tid=18488] ppid=18483 vsize=414348 CPUtime=0 /proc/18484/task/18488/stat : 18488 (java) S 18483 18483 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 4104060 424292352 71281 1283457024 134512640 134550932 4294619376 18446744073709551615 4294960130 0 4 0 16800975 18446612132653980736 0 0 -1 0 0 0 0 [pid=18484/tid=18489] ppid=18483 vsize=414348 CPUtime=0 /proc/18484/task/18489/stat : 18489 (java) S 18483 18483 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 4104060 424292352 71281 1283457024 134512640 134550932 4294619376 18446744073709551615 4294960130 0 4 0 16800975 18446612132653980736 0 0 -1 0 0 0 0 [pid=18484/tid=18490] ppid=18483 vsize=414348 CPUtime=0 /proc/18484/task/18490/stat : 18490 (java) S 18483 18483 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4104061 424292352 71281 1283457024 134512640 134550932 4294619376 18446744073709551615 4294960130 0 4 0 16800975 18446612132653980736 0 0 -1 0 0 0 0 [pid=18484/tid=18491] ppid=18483 vsize=414348 CPUtime=0.18 /proc/18484/task/18491/stat : 18491 (java) S 18483 18483 1511 34817 1511 4202560 561 0 0 0 18 0 0 0 15 0 10 0 4104061 424292352 71281 1283457024 134512640 134550932 4294619376 18446744073709551615 4294960130 0 4 0 16800975 18446612132653980736 0 0 -1 0 0 0 0 [pid=18484/tid=18492] ppid=18483 vsize=414348 CPUtime=0 /proc/18484/task/18492/stat : 18492 (java) S 18483 18483 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 10 0 4104061 424292352 71281 1283457024 134512640 134550932 4294619376 18446744073709551615 4294960130 0 4 0 16800975 18446612132653980736 0 0 -1 0 0 0 0 [pid=18484/tid=18493] ppid=18483 vsize=414348 CPUtime=0 /proc/18484/task/18493/stat : 18493 (java) S 18483 18483 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 4104061 424292352 71281 1283457024 134512640 134550932 4294619376 18446744073709551615 4294960130 0 4 0 16800975 18446612132653980736 0 0 -1 0 0 0 0 [pid=18484/tid=18496] ppid=18483 vsize=414348 CPUtime=0 /proc/18484/task/18496/stat : 18496 (java) S 18483 18483 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 4105337 424292352 71281 1283457024 134512640 134550932 4294619376 18446744073709551615 4294960130 0 4 0 16800975 18446612132653980736 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 21.1 Current children cumulated vsize (KiB) 416916 [startup+21.5113 s] /proc/loadavg: 1.33 1.16 1.05 2/46 18496 /proc/meminfo: memFree=334436/1048576 swapFree=0/0 [pid=18483] ppid=18482 vsize=2568 CPUtime=0 /proc/18483/stat : 18483 (gj-trendy-solve) S 18482 18483 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 25 0 1 0 4104058 2629632 268 1283457024 134512640 135304128 4291604192 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/18483/statm: 642 268 229 194 0 29 0 [pid=18484] ppid=18483 vsize=414348 CPUtime=21.5 /proc/18484/stat : 18484 (java) S 18483 18483 1511 34817 1511 4202496 104215 0 1 0 2102 48 0 0 25 0 10 0 4104058 424292352 71281 1283457024 134512640 134550932 4294619376 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/18484/statm: 103587 71281 2921 10 0 97732 0 [pid=18484/tid=18486] ppid=18483 vsize=414348 CPUtime=11.8 /proc/18484/task/18486/stat : 18486 (java) R 18483 18483 1511 34817 1511 4202560 14208 0 1 0 1168 12 0 0 25 0 10 0 4104059 424292352 71281 1283457024 134512640 134550932 4294619376 18446744073709551615 4115563845 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=18484/tid=18487] ppid=18483 vsize=414348 CPUtime=9.48 /proc/18484/task/18487/stat : 18487 (java) S 18483 18483 1511 34817 1511 4202560 88503 0 0 0 914 34 0 0 15 0 10 0 4104060 424292352 71281 1283457024 134512640 134550932 4294619376 18446744073709551615 4294960130 0 0 0 16800975 18446612132653980736 0 0 -1 0 0 0 0 [pid=18484/tid=18488] ppid=18483 vsize=414348 CPUtime=0 /proc/18484/task/18488/stat : 18488 (java) S 18483 18483 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 4104060 424292352 71281 1283457024 134512640 134550932 4294619376 18446744073709551615 4294960130 0 4 0 16800975 18446612132653980736 0 0 -1 0 0 0 0 [pid=18484/tid=18489] ppid=18483 vsize=414348 CPUtime=0 /proc/18484/task/18489/stat : 18489 (java) S 18483 18483 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 4104060 424292352 71281 1283457024 134512640 134550932 4294619376 18446744073709551615 4294960130 0 4 0 16800975 18446612132653980736 0 0 -1 0 0 0 0 [pid=18484/tid=18490] ppid=18483 vsize=414348 CPUtime=0 /proc/18484/task/18490/stat : 18490 (java) S 18483 18483 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4104061 424292352 71281 1283457024 134512640 134550932 4294619376 18446744073709551615 4294960130 0 4 0 16800975 18446612132653980736 0 0 -1 0 0 0 0 [pid=18484/tid=18491] ppid=18483 vsize=414348 CPUtime=0.18 /proc/18484/task/18491/stat : 18491 (java) S 18483 18483 1511 34817 1511 4202560 561 0 0 0 18 0 0 0 15 0 10 0 4104061 424292352 71281 1283457024 134512640 134550932 4294619376 18446744073709551615 4294960130 0 4 0 16800975 18446612132653980736 0 0 -1 0 0 0 0 [pid=18484/tid=18492] ppid=18483 vsize=414348 CPUtime=0 /proc/18484/task/18492/stat : 18492 (java) S 18483 18483 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 10 0 4104061 424292352 71281 1283457024 134512640 134550932 4294619376 18446744073709551615 4294960130 0 4 0 16800975 18446612132653980736 0 0 -1 0 0 0 0 [pid=18484/tid=18493] ppid=18483 vsize=414348 CPUtime=0 /proc/18484/task/18493/stat : 18493 (java) S 18483 18483 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 4104061 424292352 71281 1283457024 134512640 134550932 4294619376 18446744073709551615 4294960130 0 4 0 16800975 18446612132653980736 0 0 -1 0 0 0 0 [pid=18484/tid=18496] ppid=18483 vsize=414348 CPUtime=0 /proc/18484/task/18496/stat : 18496 (java) S 18483 18483 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 4105337 424292352 71281 1283457024 134512640 134550932 4294619376 18446744073709551615 4294960130 0 4 0 16800975 18446612132653980736 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 21.5 Current children cumulated vsize (KiB) 416916 Child status: 0 Real time (s): 21.5764 CPU time (s): 21.5493 CPU user time (s): 21.0493 CPU system time (s): 0.500031 CPU usage (%): 99.8748 Max. virtual memory (cumulated for all children) (KiB): 441672 getrusage(RUSAGE_CHILDREN,...) data: user time used= 21.0493 system time used= 0.500031 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 104611 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= 1269 involuntary context switches= 1534 runsolver used 0 second user time and 0 second system time The end