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/rand491.cudf.s-e.log.runsolver ./gj-trendy-solver-1.0 /home/misc2010/data/2011/incremental/s-e/rand491.cudf /home/misc2010/tmp/201108241238/gj-trendy-solver-1.0/rand491.cudf.s-e.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.03 1.03 1.00 5/37 15952 /proc/meminfo: memFree=538480/1048576 swapFree=0/0 [pid=15950] ppid=15949 vsize=2568 CPUtime=0 /proc/15950/stat : 15950 (gj-trendy-solve) S 15949 15950 1511 34817 1511 4202496 370 0 0 0 0 0 0 0 18 0 1 0 3697498 2629632 268 1283457024 134512640 135304128 4290985552 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/15950/statm: 642 268 229 194 0 29 0 [pid=15951] ppid=15950 vsize=11360 CPUtime=0 /proc/15951/stat : 15951 (java) R 15950 15950 1511 34817 1511 4202496 919 0 0 0 0 0 0 0 25 0 2 0 3697498 11632640 652 1283457024 134512640 134550932 4287959712 18446744073709551615 4159471208 0 0 0 0 18446744073709551615 0 0 17 0 0 0 0 /proc/15951/statm: 2840 652 285 10 0 1186 0 [pid=15951/tid=15952] ppid=15950 vsize=11360 CPUtime=0 /proc/15951/task/15952/stat : 15952 (java) R 15950 15950 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 2 0 3697499 11632640 652 1283457024 134512640 134550932 4287959712 18446744073709551615 4159471208 0 0 0 0 0 0 0 -1 0 0 0 0 [startup+0.147247 s] /proc/loadavg: 1.03 1.03 1.00 5/37 15952 /proc/meminfo: memFree=538480/1048576 swapFree=0/0 [pid=15950] ppid=15949 vsize=2568 CPUtime=0 /proc/15950/stat : 15950 (gj-trendy-solve) S 15949 15950 1511 34817 1511 4202496 370 0 0 0 0 0 0 0 18 0 1 0 3697498 2629632 268 1283457024 134512640 135304128 4290985552 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/15950/statm: 642 268 229 194 0 29 0 [pid=15951] ppid=15950 vsize=409800 CPUtime=0.13 /proc/15951/stat : 15951 (java) S 15950 15950 1511 34817 1511 4202496 3794 0 1 0 13 0 0 0 25 0 9 0 3697498 419635200 3225 1283457024 134512640 134550932 4287959712 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/15951/statm: 102450 3225 1787 10 0 96598 0 [pid=15951/tid=15952] ppid=15950 vsize=409800 CPUtime=0.13 /proc/15951/task/15952/stat : 15952 (java) R 15950 15950 1511 34817 1511 4202560 2826 0 1 0 13 0 0 0 25 0 9 0 3697499 419635200 3225 1283457024 134512640 134550932 4287959712 18446744073709551615 4114801520 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.13 Current children cumulated vsize (KiB) 412368 [startup+0.207256 s] /proc/loadavg: 1.03 1.03 1.00 5/37 15952 /proc/meminfo: memFree=538480/1048576 swapFree=0/0 [pid=15950] ppid=15949 vsize=2568 CPUtime=0 /proc/15950/stat : 15950 (gj-trendy-solve) S 15949 15950 1511 34817 1511 4202496 370 0 0 0 0 0 0 0 18 0 1 0 3697498 2629632 268 1283457024 134512640 135304128 4290985552 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/15950/statm: 642 268 229 194 0 29 0 [pid=15951] ppid=15950 vsize=410104 CPUtime=0.19 /proc/15951/stat : 15951 (java) S 15950 15950 1511 34817 1511 4202496 4364 0 1 0 19 0 0 0 25 0 9 0 3697498 419946496 3795 1283457024 134512640 134550932 4287959712 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/15951/statm: 102526 3795 1929 10 0 96674 0 [pid=15951/tid=15952] ppid=15950 vsize=410104 CPUtime=0.18 /proc/15951/task/15952/stat : 15952 (java) R 15950 15950 1511 34817 1511 4202560 3170 0 1 0 18 0 0 0 25 0 9 0 3697499 419946496 3795 1283457024 134512640 134550932 4287959712 18446744073709551615 4114818225 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 412672 [startup+0.307286 s] /proc/loadavg: 1.03 1.03 1.00 5/37 15952 /proc/meminfo: memFree=538480/1048576 swapFree=0/0 [pid=15950] ppid=15949 vsize=2568 CPUtime=0 /proc/15950/stat : 15950 (gj-trendy-solve) S 15949 15950 1511 34817 1511 4202496 370 0 0 0 0 0 0 0 18 0 1 0 3697498 2629632 268 1283457024 134512640 135304128 4290985552 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/15950/statm: 642 268 229 194 0 29 0 [pid=15951] ppid=15950 vsize=410248 CPUtime=0.29 /proc/15951/stat : 15951 (java) S 15950 15950 1511 34817 1511 4202496 5345 0 1 0 29 0 0 0 25 0 9 0 3697498 420093952 4775 1283457024 134512640 134550932 4287959712 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/15951/statm: 102562 4775 1938 10 0 96710 0 [pid=15951/tid=15952] ppid=15950 vsize=410248 CPUtime=0.25 /proc/15951/task/15952/stat : 15952 (java) R 15950 15950 1511 34817 1511 4202560 3503 0 1 0 25 0 0 0 25 0 9 0 3697499 420093952 4775 1283457024 134512640 134550932 4287959712 18446744073709551615 4115221568 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 412816 [startup+0.707392 s] /proc/loadavg: 1.03 1.03 1.00 5/37 15952 /proc/meminfo: memFree=538480/1048576 swapFree=0/0 [pid=15950] ppid=15949 vsize=2568 CPUtime=0 /proc/15950/stat : 15950 (gj-trendy-solve) S 15949 15950 1511 34817 1511 4202496 370 0 0 0 0 0 0 0 18 0 1 0 3697498 2629632 268 1283457024 134512640 135304128 4290985552 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/15950/statm: 642 268 229 194 0 29 0 [pid=15951] ppid=15950 vsize=410684 CPUtime=0.69 /proc/15951/stat : 15951 (java) S 15950 15950 1511 34817 1511 4202496 12864 0 1 0 62 7 0 0 25 0 9 0 3697498 420540416 12110 1283457024 134512640 134550932 4287959712 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/15951/statm: 102671 12110 2895 10 0 96819 0 [pid=15951/tid=15952] ppid=15950 vsize=410684 CPUtime=0.45 /proc/15951/task/15952/stat : 15952 (java) R 15950 15950 1511 34817 1511 4202560 4191 0 1 0 44 1 0 0 25 0 9 0 3697499 420540416 12110 1283457024 134512640 134550932 4287959712 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 413252 [startup+1.50762 s] /proc/loadavg: 1.03 1.03 1.00 2/45 15960 /proc/meminfo: memFree=480684/1048576 swapFree=0/0 [pid=15950] ppid=15949 vsize=2568 CPUtime=0 /proc/15950/stat : 15950 (gj-trendy-solve) S 15949 15950 1511 34817 1511 4202496 370 0 0 0 0 0 0 0 18 0 1 0 3697498 2629632 268 1283457024 134512640 135304128 4290985552 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/15950/statm: 642 268 229 194 0 29 0 [pid=15951] ppid=15950 vsize=410816 CPUtime=1.48 /proc/15951/stat : 15951 (java) S 15950 15950 1511 34817 1511 4202496 27749 0 1 0 140 8 0 0 25 0 9 0 3697498 420675584 26995 1283457024 134512640 134550932 4287959712 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/15951/statm: 102704 26995 2896 10 0 96852 0 [pid=15951/tid=15952] ppid=15950 vsize=410816 CPUtime=0.77 /proc/15951/task/15952/stat : 15952 (java) R 15950 15950 1511 34817 1511 4202560 6735 0 1 0 76 1 0 0 25 0 9 0 3697499 420675584 26995 1283457024 134512640 134550932 4287959712 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=15951/tid=15954] ppid=15950 vsize=410816 CPUtime=0.7 /proc/15951/task/15954/stat : 15954 (java) R 15950 15950 1511 34817 1511 4202560 19644 0 0 0 63 7 0 0 19 0 9 0 3697500 420675584 26995 1283457024 134512640 134550932 4287959712 18446744073709551615 4151455131 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=15951/tid=15955] ppid=15950 vsize=410816 CPUtime=0 /proc/15951/task/15955/stat : 15955 (java) S 15950 15950 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 21 0 9 0 3697500 420675584 26995 1283457024 134512640 134550932 4287959712 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=15951/tid=15956] ppid=15950 vsize=410816 CPUtime=0 /proc/15951/task/15956/stat : 15956 (java) S 15950 15950 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 21 0 9 0 3697500 420675584 26995 1283457024 134512640 134550932 4287959712 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=15951/tid=15957] ppid=15950 vsize=410816 CPUtime=0 /proc/15951/task/15957/stat : 15957 (java) S 15950 15950 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 3697501 420675584 26995 1283457024 134512640 134550932 4287959712 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=15951/tid=15958] ppid=15950 vsize=410816 CPUtime=0.01 /proc/15951/task/15958/stat : 15958 (java) S 15950 15950 1511 34817 1511 4202560 429 0 0 0 1 0 0 0 17 0 9 0 3697501 420675584 26995 1283457024 134512640 134550932 4287959712 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=15951/tid=15959] ppid=15950 vsize=410816 CPUtime=0 /proc/15951/task/15959/stat : 15959 (java) S 15950 15950 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 3697501 420675584 26995 1283457024 134512640 134550932 4287959712 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=15951/tid=15960] ppid=15950 vsize=410816 CPUtime=0 /proc/15951/task/15960/stat : 15960 (java) S 15950 15950 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 9 0 3697501 420675584 26995 1283457024 134512640 134550932 4287959712 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 413384 [startup+3.10803 s] /proc/loadavg: 1.03 1.03 1.00 3/45 15960 /proc/meminfo: memFree=412360/1048576 swapFree=0/0 [pid=15950] ppid=15949 vsize=2568 CPUtime=0 /proc/15950/stat : 15950 (gj-trendy-solve) S 15949 15950 1511 34817 1511 4202496 370 0 0 0 0 0 0 0 18 0 1 0 3697498 2629632 268 1283457024 134512640 135304128 4290985552 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/15950/statm: 642 268 229 194 0 29 0 [pid=15951] ppid=15950 vsize=411152 CPUtime=3.09 /proc/15951/stat : 15951 (java) S 15950 15950 1511 34817 1511 4202496 38925 0 1 0 297 12 0 0 25 0 10 0 3697498 421019648 38089 1283457024 134512640 134550932 4287959712 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/15951/statm: 102788 38089 2921 10 0 96933 0 [pid=15951/tid=15952] ppid=15950 vsize=411152 CPUtime=1.81 /proc/15951/task/15952/stat : 15952 (java) R 15950 15950 1511 34817 1511 4202560 9720 0 1 0 179 2 0 0 25 0 10 0 3697499 421019648 38089 1283457024 134512640 134550932 4287959712 18446744073709551615 4115555610 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=15951/tid=15954] ppid=15950 vsize=411152 CPUtime=1.17 /proc/15951/task/15954/stat : 15954 (java) S 15950 15950 1511 34817 1511 4202560 27740 0 0 0 109 8 0 0 16 0 10 0 3697500 421019648 38089 1283457024 134512640 134550932 4287959712 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=15951/tid=15955] ppid=15950 vsize=411152 CPUtime=0 /proc/15951/task/15955/stat : 15955 (java) S 15950 15950 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 3697500 421019648 38089 1283457024 134512640 134550932 4287959712 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=15951/tid=15956] ppid=15950 vsize=411152 CPUtime=0 /proc/15951/task/15956/stat : 15956 (java) S 15950 15950 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 3697500 421019648 38089 1283457024 134512640 134550932 4287959712 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=15951/tid=15957] ppid=15950 vsize=411152 CPUtime=0 /proc/15951/task/15957/stat : 15957 (java) S 15950 15950 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 3697501 421019648 38089 1283457024 134512640 134550932 4287959712 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=15951/tid=15958] ppid=15950 vsize=411152 CPUtime=0.1 /proc/15951/task/15958/stat : 15958 (java) S 15950 15950 1511 34817 1511 4202560 519 0 0 0 9 1 0 0 15 0 10 0 3697501 421019648 38089 1283457024 134512640 134550932 4287959712 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=15951/tid=15959] ppid=15950 vsize=411152 CPUtime=0 /proc/15951/task/15959/stat : 15959 (java) S 15950 15950 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 3697501 421019648 38089 1283457024 134512640 134550932 4287959712 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=15951/tid=15960] ppid=15950 vsize=411152 CPUtime=0 /proc/15951/task/15960/stat : 15960 (java) S 15950 15950 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 3697501 421019648 38089 1283457024 134512640 134550932 4287959712 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 413720 [startup+6.30898 s] /proc/loadavg: 1.03 1.02 1.00 2/46 15962 /proc/meminfo: memFree=387180/1048576 swapFree=0/0 [pid=15950] ppid=15949 vsize=2568 CPUtime=0 /proc/15950/stat : 15950 (gj-trendy-solve) S 15949 15950 1511 34817 1511 4202496 370 0 0 0 0 0 0 0 18 0 1 0 3697498 2629632 268 1283457024 134512640 135304128 4290985552 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/15950/statm: 642 268 229 194 0 29 0 [pid=15951] ppid=15950 vsize=411152 CPUtime=6.29 /proc/15951/stat : 15951 (java) S 15950 15950 1511 34817 1511 4202496 41757 0 1 0 617 12 0 0 25 0 10 0 3697498 421019648 40921 1283457024 134512640 134550932 4287959712 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/15951/statm: 102788 40921 2921 10 0 96933 0 [pid=15951/tid=15952] ppid=15950 vsize=411152 CPUtime=4.91 /proc/15951/task/15952/stat : 15952 (java) R 15950 15950 1511 34817 1511 4202560 9721 0 1 0 489 2 0 0 25 0 10 0 3697499 421019648 40921 1283457024 134512640 134550932 4287959712 18446744073709551615 4115683220 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=15951/tid=15954] ppid=15950 vsize=411152 CPUtime=1.26 /proc/15951/task/15954/stat : 15954 (java) S 15950 15950 1511 34817 1511 4202560 30562 0 0 0 118 8 0 0 15 0 10 0 3697500 421019648 40921 1283457024 134512640 134550932 4287959712 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=15951/tid=15955] ppid=15950 vsize=411152 CPUtime=0 /proc/15951/task/15955/stat : 15955 (java) S 15950 15950 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 15 0 10 0 3697500 421019648 40921 1283457024 134512640 134550932 4287959712 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=15951/tid=15956] ppid=15950 vsize=411152 CPUtime=0 /proc/15951/task/15956/stat : 15956 (java) S 15950 15950 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 3697500 421019648 40921 1283457024 134512640 134550932 4287959712 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=15951/tid=15957] ppid=15950 vsize=411152 CPUtime=0 /proc/15951/task/15957/stat : 15957 (java) S 15950 15950 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 3697501 421019648 40921 1283457024 134512640 134550932 4287959712 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=15951/tid=15958] ppid=15950 vsize=411152 CPUtime=0.11 /proc/15951/task/15958/stat : 15958 (java) S 15950 15950 1511 34817 1511 4202560 528 0 0 0 10 1 0 0 16 0 10 0 3697501 421019648 40921 1283457024 134512640 134550932 4287959712 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=15951/tid=15959] ppid=15950 vsize=411152 CPUtime=0 /proc/15951/task/15959/stat : 15959 (java) S 15950 15950 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 3697501 421019648 40921 1283457024 134512640 134550932 4287959712 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=15951/tid=15960] ppid=15950 vsize=411152 CPUtime=0 /proc/15951/task/15960/stat : 15960 (java) S 15950 15950 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 3697501 421019648 40921 1283457024 134512640 134550932 4287959712 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=15951/tid=15961] ppid=15950 vsize=411152 CPUtime=0 /proc/15951/task/15961/stat : 15961 (java) S 15950 15950 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 3697751 421019648 40921 1283457024 134512640 134550932 4287959712 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 413720 [startup+12.7103 s] /proc/loadavg: 1.03 1.02 1.00 2/46 15962 /proc/meminfo: memFree=386320/1048576 swapFree=0/0 [pid=15950] ppid=15949 vsize=2568 CPUtime=0 /proc/15950/stat : 15950 (gj-trendy-solve) S 15949 15950 1511 34817 1511 4202496 370 0 0 0 0 0 0 0 18 0 1 0 3697498 2629632 268 1283457024 134512640 135304128 4290985552 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/15950/statm: 642 268 229 194 0 29 0 [pid=15951] ppid=15950 vsize=411392 CPUtime=12.68 /proc/15951/stat : 15951 (java) S 15950 15950 1511 34817 1511 4202496 42125 0 1 0 1255 13 0 0 25 0 10 0 3697498 421265408 41006 1283457024 134512640 134550932 4287959712 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/15951/statm: 102848 41006 2915 10 0 96993 0 [pid=15951/tid=15952] ppid=15950 vsize=411392 CPUtime=10.95 /proc/15951/task/15952/stat : 15952 (java) R 15950 15950 1511 34817 1511 4202560 9721 0 1 0 1093 2 0 0 25 0 10 0 3697499 421265408 41006 1283457024 134512640 134550932 4287959712 18446744073709551615 4115629028 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=15951/tid=15954] ppid=15950 vsize=411392 CPUtime=1.61 /proc/15951/task/15954/stat : 15954 (java) S 15950 15950 1511 34817 1511 4202560 30926 0 0 0 152 9 0 0 15 0 10 0 3697500 421265408 41006 1283457024 134512640 134550932 4287959712 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=15951/tid=15955] ppid=15950 vsize=411392 CPUtime=0 /proc/15951/task/15955/stat : 15955 (java) S 15950 15950 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 15 0 10 0 3697500 421265408 41006 1283457024 134512640 134550932 4287959712 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=15951/tid=15956] ppid=15950 vsize=411392 CPUtime=0 /proc/15951/task/15956/stat : 15956 (java) S 15950 15950 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 3697500 421265408 41006 1283457024 134512640 134550932 4287959712 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=15951/tid=15957] ppid=15950 vsize=411392 CPUtime=0 /proc/15951/task/15957/stat : 15957 (java) S 15950 15950 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 3697501 421265408 41006 1283457024 134512640 134550932 4287959712 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=15951/tid=15958] ppid=15950 vsize=411392 CPUtime=0.11 /proc/15951/task/15958/stat : 15958 (java) S 15950 15950 1511 34817 1511 4202560 532 0 0 0 10 1 0 0 15 0 10 0 3697501 421265408 41006 1283457024 134512640 134550932 4287959712 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=15951/tid=15959] ppid=15950 vsize=411392 CPUtime=0 /proc/15951/task/15959/stat : 15959 (java) S 15950 15950 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 3697501 421265408 41006 1283457024 134512640 134550932 4287959712 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=15951/tid=15960] ppid=15950 vsize=411392 CPUtime=0 /proc/15951/task/15960/stat : 15960 (java) S 15950 15950 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 3697501 421265408 41006 1283457024 134512640 134550932 4287959712 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=15951/tid=15961] ppid=15950 vsize=411392 CPUtime=0 /proc/15951/task/15961/stat : 15961 (java) S 15950 15950 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 3697751 421265408 41006 1283457024 134512640 134550932 4287959712 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 413960 Solver just ended. Dumping a history of the last processes samples [startup+12.8103 s] /proc/loadavg: 1.03 1.02 1.00 2/46 15962 /proc/meminfo: memFree=386320/1048576 swapFree=0/0 [pid=15950] ppid=15949 vsize=2568 CPUtime=0 /proc/15950/stat : 15950 (gj-trendy-solve) S 15949 15950 1511 34817 1511 4202496 370 0 0 0 0 0 0 0 18 0 1 0 3697498 2629632 268 1283457024 134512640 135304128 4290985552 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/15950/statm: 642 268 229 194 0 29 0 [pid=15951] ppid=15950 vsize=411392 CPUtime=12.79 /proc/15951/stat : 15951 (java) S 15950 15950 1511 34817 1511 4202496 42125 0 1 0 1266 13 0 0 25 0 10 0 3697498 421265408 41006 1283457024 134512640 134550932 4287959712 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/15951/statm: 102848 41006 2915 10 0 96993 0 [pid=15951/tid=15952] ppid=15950 vsize=411392 CPUtime=11.05 /proc/15951/task/15952/stat : 15952 (java) R 15950 15950 1511 34817 1511 4202560 9721 0 1 0 1103 2 0 0 25 0 10 0 3697499 421265408 41006 1283457024 134512640 134550932 4287959712 18446744073709551615 4115604449 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=15951/tid=15954] ppid=15950 vsize=411392 CPUtime=1.61 /proc/15951/task/15954/stat : 15954 (java) S 15950 15950 1511 34817 1511 4202560 30926 0 0 0 152 9 0 0 15 0 10 0 3697500 421265408 41006 1283457024 134512640 134550932 4287959712 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=15951/tid=15955] ppid=15950 vsize=411392 CPUtime=0 /proc/15951/task/15955/stat : 15955 (java) S 15950 15950 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 15 0 10 0 3697500 421265408 41006 1283457024 134512640 134550932 4287959712 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=15951/tid=15956] ppid=15950 vsize=411392 CPUtime=0 /proc/15951/task/15956/stat : 15956 (java) S 15950 15950 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 3697500 421265408 41006 1283457024 134512640 134550932 4287959712 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=15951/tid=15957] ppid=15950 vsize=411392 CPUtime=0 /proc/15951/task/15957/stat : 15957 (java) S 15950 15950 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 3697501 421265408 41006 1283457024 134512640 134550932 4287959712 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=15951/tid=15958] ppid=15950 vsize=411392 CPUtime=0.11 /proc/15951/task/15958/stat : 15958 (java) S 15950 15950 1511 34817 1511 4202560 532 0 0 0 10 1 0 0 15 0 10 0 3697501 421265408 41006 1283457024 134512640 134550932 4287959712 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=15951/tid=15959] ppid=15950 vsize=411392 CPUtime=0 /proc/15951/task/15959/stat : 15959 (java) S 15950 15950 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 3697501 421265408 41006 1283457024 134512640 134550932 4287959712 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=15951/tid=15960] ppid=15950 vsize=411392 CPUtime=0 /proc/15951/task/15960/stat : 15960 (java) S 15950 15950 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 3697501 421265408 41006 1283457024 134512640 134550932 4287959712 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=15951/tid=15961] ppid=15950 vsize=411392 CPUtime=0 /proc/15951/task/15961/stat : 15961 (java) S 15950 15950 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 3697751 421265408 41006 1283457024 134512640 134550932 4287959712 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 12.79 Current children cumulated vsize (KiB) 413960 [startup+13.2104 s] /proc/loadavg: 1.02 1.02 1.00 3/46 15962 /proc/meminfo: memFree=386320/1048576 swapFree=0/0 [pid=15950] ppid=15949 vsize=2568 CPUtime=0 /proc/15950/stat : 15950 (gj-trendy-solve) S 15949 15950 1511 34817 1511 4202496 370 0 0 0 0 0 0 0 18 0 1 0 3697498 2629632 268 1283457024 134512640 135304128 4290985552 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/15950/statm: 642 268 229 194 0 29 0 [pid=15951] ppid=15950 vsize=411392 CPUtime=13.19 /proc/15951/stat : 15951 (java) S 15950 15950 1511 34817 1511 4202496 42125 0 1 0 1306 13 0 0 25 0 10 0 3697498 421265408 41006 1283457024 134512640 134550932 4287959712 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/15951/statm: 102848 41006 2915 10 0 96993 0 [pid=15951/tid=15952] ppid=15950 vsize=411392 CPUtime=11.45 /proc/15951/task/15952/stat : 15952 (java) R 15950 15950 1511 34817 1511 4202560 9721 0 1 0 1143 2 0 0 25 0 10 0 3697499 421265408 41006 1283457024 134512640 134550932 4287959712 18446744073709551615 4115207703 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=15951/tid=15954] ppid=15950 vsize=411392 CPUtime=1.61 /proc/15951/task/15954/stat : 15954 (java) S 15950 15950 1511 34817 1511 4202560 30926 0 0 0 152 9 0 0 15 0 10 0 3697500 421265408 41006 1283457024 134512640 134550932 4287959712 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=15951/tid=15955] ppid=15950 vsize=411392 CPUtime=0 /proc/15951/task/15955/stat : 15955 (java) S 15950 15950 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 15 0 10 0 3697500 421265408 41006 1283457024 134512640 134550932 4287959712 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=15951/tid=15956] ppid=15950 vsize=411392 CPUtime=0 /proc/15951/task/15956/stat : 15956 (java) S 15950 15950 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 3697500 421265408 41006 1283457024 134512640 134550932 4287959712 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=15951/tid=15957] ppid=15950 vsize=411392 CPUtime=0 /proc/15951/task/15957/stat : 15957 (java) S 15950 15950 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 3697501 421265408 41006 1283457024 134512640 134550932 4287959712 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=15951/tid=15958] ppid=15950 vsize=411392 CPUtime=0.11 /proc/15951/task/15958/stat : 15958 (java) S 15950 15950 1511 34817 1511 4202560 532 0 0 0 10 1 0 0 15 0 10 0 3697501 421265408 41006 1283457024 134512640 134550932 4287959712 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=15951/tid=15959] ppid=15950 vsize=411392 CPUtime=0 /proc/15951/task/15959/stat : 15959 (java) S 15950 15950 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 3697501 421265408 41006 1283457024 134512640 134550932 4287959712 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=15951/tid=15960] ppid=15950 vsize=411392 CPUtime=0 /proc/15951/task/15960/stat : 15960 (java) R 15950 15950 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 3697501 421265408 41006 1283457024 134512640 134550932 4287959712 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=15951/tid=15961] ppid=15950 vsize=411392 CPUtime=0 /proc/15951/task/15961/stat : 15961 (java) S 15950 15950 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 3697751 421265408 41006 1283457024 134512640 134550932 4287959712 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 13.19 Current children cumulated vsize (KiB) 413960 [startup+13.4104 s] /proc/loadavg: 1.02 1.02 1.00 3/46 15962 /proc/meminfo: memFree=386320/1048576 swapFree=0/0 [pid=15950] ppid=15949 vsize=2568 CPUtime=0 /proc/15950/stat : 15950 (gj-trendy-solve) S 15949 15950 1511 34817 1511 4202496 370 0 0 0 0 0 0 0 18 0 1 0 3697498 2629632 268 1283457024 134512640 135304128 4290985552 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/15950/statm: 642 268 229 194 0 29 0 [pid=15951] ppid=15950 vsize=411392 CPUtime=13.39 /proc/15951/stat : 15951 (java) S 15950 15950 1511 34817 1511 4202496 42125 0 1 0 1326 13 0 0 25 0 10 0 3697498 421265408 41006 1283457024 134512640 134550932 4287959712 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/15951/statm: 102848 41006 2915 10 0 96993 0 [pid=15951/tid=15952] ppid=15950 vsize=411392 CPUtime=11.65 /proc/15951/task/15952/stat : 15952 (java) R 15950 15950 1511 34817 1511 4202560 9721 0 1 0 1163 2 0 0 25 0 10 0 3697499 421265408 41006 1283457024 134512640 134550932 4287959712 18446744073709551615 4115605560 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=15951/tid=15954] ppid=15950 vsize=411392 CPUtime=1.61 /proc/15951/task/15954/stat : 15954 (java) S 15950 15950 1511 34817 1511 4202560 30926 0 0 0 152 9 0 0 15 0 10 0 3697500 421265408 41006 1283457024 134512640 134550932 4287959712 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=15951/tid=15955] ppid=15950 vsize=411392 CPUtime=0 /proc/15951/task/15955/stat : 15955 (java) S 15950 15950 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 15 0 10 0 3697500 421265408 41006 1283457024 134512640 134550932 4287959712 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=15951/tid=15956] ppid=15950 vsize=411392 CPUtime=0 /proc/15951/task/15956/stat : 15956 (java) S 15950 15950 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 3697500 421265408 41006 1283457024 134512640 134550932 4287959712 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=15951/tid=15957] ppid=15950 vsize=411392 CPUtime=0 /proc/15951/task/15957/stat : 15957 (java) S 15950 15950 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 3697501 421265408 41006 1283457024 134512640 134550932 4287959712 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=15951/tid=15958] ppid=15950 vsize=411392 CPUtime=0.11 /proc/15951/task/15958/stat : 15958 (java) S 15950 15950 1511 34817 1511 4202560 532 0 0 0 10 1 0 0 15 0 10 0 3697501 421265408 41006 1283457024 134512640 134550932 4287959712 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=15951/tid=15959] ppid=15950 vsize=411392 CPUtime=0 /proc/15951/task/15959/stat : 15959 (java) S 15950 15950 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 3697501 421265408 41006 1283457024 134512640 134550932 4287959712 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=15951/tid=15960] ppid=15950 vsize=411392 CPUtime=0 /proc/15951/task/15960/stat : 15960 (java) S 15950 15950 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 3697501 421265408 41006 1283457024 134512640 134550932 4287959712 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=15951/tid=15961] ppid=15950 vsize=411392 CPUtime=0 /proc/15951/task/15961/stat : 15961 (java) S 15950 15950 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 3697751 421265408 41006 1283457024 134512640 134550932 4287959712 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 13.39 Current children cumulated vsize (KiB) 413960 [startup+13.5028 s] /proc/loadavg: 1.02 1.02 1.00 3/46 15962 /proc/meminfo: memFree=386320/1048576 swapFree=0/0 [pid=15950] ppid=15949 vsize=2568 CPUtime=0 /proc/15950/stat : 15950 (gj-trendy-solve) S 15949 15950 1511 34817 1511 4202496 370 0 0 0 0 0 0 0 18 0 1 0 3697498 2629632 268 1283457024 134512640 135304128 4290985552 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/15950/statm: 642 268 229 194 0 29 0 [pid=15951] ppid=15950 vsize=411392 CPUtime=13.43 /proc/15951/stat : 15951 (java) S 15950 15950 1511 34817 1511 4202496 42127 0 1 0 1330 13 0 0 25 0 9 0 3697498 421265408 41008 1283457024 134512640 134550932 4287959712 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/15951/statm: 102848 41008 2916 10 0 96993 0 [pid=15951/tid=15952] ppid=15950 vsize=411392 CPUtime=11.69 /proc/15951/task/15952/stat : 15952 (java) S 15950 15950 1511 34817 1511 4202560 9721 0 1 0 1167 2 0 0 25 0 9 0 3697499 421265408 41008 1283457024 134512640 134550932 4287959712 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=15951/tid=15954] ppid=15950 vsize=411392 CPUtime=1.61 /proc/15951/task/15954/stat : 15954 (java) S 15950 15950 1511 34817 1511 4202560 30926 0 0 0 152 9 0 0 15 0 9 0 3697500 421265408 41008 1283457024 134512640 134550932 4287959712 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=15951/tid=15955] ppid=15950 vsize=411392 CPUtime=0 /proc/15951/task/15955/stat : 15955 (java) S 15950 15950 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 15 0 9 0 3697500 421265408 41008 1283457024 134512640 134550932 4287959712 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=15951/tid=15956] ppid=15950 vsize=411392 CPUtime=0 /proc/15951/task/15956/stat : 15956 (java) S 15950 15950 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 9 0 3697500 421265408 41008 1283457024 134512640 134550932 4287959712 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=15951/tid=15957] ppid=15950 vsize=411392 CPUtime=0 /proc/15951/task/15957/stat : 15957 (java) S 15950 15950 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 3697501 421265408 41008 1283457024 134512640 134550932 4287959712 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=15951/tid=15958] ppid=15950 vsize=411392 CPUtime=0.11 /proc/15951/task/15958/stat : 15958 (java) S 15950 15950 1511 34817 1511 4202560 533 0 0 0 10 1 0 0 15 0 9 0 3697501 421265408 41008 1283457024 134512640 134550932 4287959712 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=15951/tid=15959] ppid=15950 vsize=411392 CPUtime=0 /proc/15951/task/15959/stat : 15959 (java) S 15950 15950 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 3697501 421265408 41008 1283457024 134512640 134550932 4287959712 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=15951/tid=15960] ppid=15950 vsize=411392 CPUtime=0 /proc/15951/task/15960/stat : 15960 (java) R 15950 15950 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 9 0 3697501 421265408 41008 1283457024 134512640 134550932 4287959712 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 13.43 Current children cumulated vsize (KiB) 413960 Child status: 0 Real time (s): 13.52 CPU time (s): 13.4408 CPU user time (s): 13.3008 CPU system time (s): 0.140008 CPU usage (%): 99.4142 Max. virtual memory (cumulated for all children) (KiB): 414620 getrusage(RUSAGE_CHILDREN,...) data: user time used= 13.3008 system time used= 0.140008 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 42512 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= 984 involuntary context switches= 1162 runsolver used 0 second user time and 0.012 second system time The end