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/201108251442/gj-paranoid-solver-1.0/ab9005be-bacc-11e0-b0f6-00163e1e087d.cudf.dudf-real.log.runsolver ./gj-paranoid-solver-1.0 /home/misc2010/data/2011/dudf-real//ab9005be-bacc-11e0-b0f6-00163e1e087d.cudf /home/misc2010/tmp/201108251442/gj-paranoid-solver-1.0/ab9005be-bacc-11e0-b0f6-00163e1e087d.cudf.dudf-real.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.54 1.45 1.32 5/34 26880 /proc/meminfo: memFree=339684/1048576 swapFree=0/0 [pid=26879] ppid=26878 vsize=2564 CPUtime=0 /proc/26879/stat : 26879 (gj-paranoid-sol) R 26878 26879 4778 34817 4778 4202496 354 0 0 0 0 0 0 0 25 0 1 0 11222227 2625536 268 1283457024 134512640 135304128 4293630112 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0 /proc/26879/statm: 641 268 228 194 0 28 0 [pid=26880] ppid=26879 vsize=2564 CPUtime=0 /proc/26880/stat : 26880 (gj-paranoid-sol) R 26879 26879 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 25 0 1 0 11222227 2625536 40 1283457024 134512640 135304128 4293630112 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0 /proc/26880/statm: 641 40 0 194 0 28 0 [startup+0.165384 s] /proc/loadavg: 1.54 1.45 1.32 5/34 26880 /proc/meminfo: memFree=339684/1048576 swapFree=0/0 [pid=26879] ppid=26878 vsize=2564 CPUtime=0 /proc/26879/stat : 26879 (gj-paranoid-sol) S 26878 26879 4778 34817 4778 4202496 371 0 0 0 0 0 0 0 25 0 1 0 11222227 2625536 269 1283457024 134512640 135304128 4293630112 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26879/statm: 641 269 229 194 0 28 0 [pid=26880] ppid=26879 vsize=409796 CPUtime=0.16 /proc/26880/stat : 26880 (java) S 26879 26879 4778 34817 4778 4202496 3957 0 1 0 12 4 0 0 25 0 9 0 11222227 419631104 3386 1283457024 134512640 134550932 4291653120 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/26880/statm: 102449 3386 1910 10 0 96597 0 Current children cumulated CPU time (s) 0.16 Current children cumulated vsize (KiB) 412360 [startup+0.205386 s] /proc/loadavg: 1.54 1.45 1.32 5/34 26880 /proc/meminfo: memFree=339684/1048576 swapFree=0/0 [pid=26879] ppid=26878 vsize=2564 CPUtime=0 /proc/26879/stat : 26879 (gj-paranoid-sol) S 26878 26879 4778 34817 4778 4202496 371 0 0 0 0 0 0 0 25 0 1 0 11222227 2625536 269 1283457024 134512640 135304128 4293630112 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26879/statm: 641 269 229 194 0 28 0 [pid=26880] ppid=26879 vsize=409796 CPUtime=0.2 /proc/26880/stat : 26880 (java) S 26879 26879 4778 34817 4778 4202496 4043 0 1 0 16 4 0 0 25 0 9 0 11222227 419631104 3472 1283457024 134512640 134550932 4291653120 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/26880/statm: 102449 3472 1910 10 0 96597 0 Current children cumulated CPU time (s) 0.2 Current children cumulated vsize (KiB) 412360 [startup+0.305415 s] /proc/loadavg: 1.54 1.45 1.32 5/34 26880 /proc/meminfo: memFree=339684/1048576 swapFree=0/0 [pid=26879] ppid=26878 vsize=2564 CPUtime=0 /proc/26879/stat : 26879 (gj-paranoid-sol) S 26878 26879 4778 34817 4778 4202496 371 0 0 0 0 0 0 0 25 0 1 0 11222227 2625536 269 1283457024 134512640 135304128 4293630112 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26879/statm: 641 269 229 194 0 28 0 [pid=26880] ppid=26879 vsize=410244 CPUtime=0.3 /proc/26880/stat : 26880 (java) S 26879 26879 4778 34817 4778 4202496 4377 0 1 0 26 4 0 0 25 0 9 0 11222227 420089856 3806 1283457024 134512640 134550932 4291653120 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/26880/statm: 102561 3806 1933 10 0 96709 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 412808 [startup+0.705556 s] /proc/loadavg: 1.54 1.45 1.32 5/34 26880 /proc/meminfo: memFree=339684/1048576 swapFree=0/0 [pid=26879] ppid=26878 vsize=2564 CPUtime=0 /proc/26879/stat : 26879 (gj-paranoid-sol) S 26878 26879 4778 34817 4778 4202496 371 0 0 0 0 0 0 0 25 0 1 0 11222227 2625536 269 1283457024 134512640 135304128 4293630112 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26879/statm: 641 269 229 194 0 28 0 [pid=26880] ppid=26879 vsize=410652 CPUtime=0.71 /proc/26880/stat : 26880 (java) S 26879 26879 4778 34817 4778 4202496 12161 0 1 0 64 7 0 0 25 0 9 0 11222227 420507648 11402 1283457024 134512640 134550932 4291653120 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/26880/statm: 102663 11402 2901 10 0 96811 0 Current children cumulated CPU time (s) 0.71 Current children cumulated vsize (KiB) 413216 [startup+1.50583 s] /proc/loadavg: 1.54 1.45 1.32 2/43 26889 /proc/meminfo: memFree=280080/1048576 swapFree=0/0 [pid=26879] ppid=26878 vsize=2564 CPUtime=0 /proc/26879/stat : 26879 (gj-paranoid-sol) S 26878 26879 4778 34817 4778 4202496 371 0 0 0 0 0 0 0 25 0 1 0 11222227 2625536 269 1283457024 134512640 135304128 4293630112 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26879/statm: 641 269 229 194 0 28 0 [pid=26880] ppid=26879 vsize=410784 CPUtime=1.51 /proc/26880/stat : 26880 (java) S 26879 26879 4778 34817 4778 4202496 25303 0 1 0 132 19 0 0 25 0 9 0 11222227 420642816 24544 1283457024 134512640 134550932 4291653120 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/26880/statm: 102696 24544 2901 10 0 96844 0 [pid=26880/tid=26882] ppid=26879 vsize=410784 CPUtime=0.84 /proc/26880/task/26882/stat : 26882 (java) R 26879 26879 4778 34817 4778 4202560 6831 0 1 0 78 6 0 0 25 0 9 0 11222228 420642816 24544 1283457024 134512640 134550932 4291653120 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=26880/tid=26883] ppid=26879 vsize=410784 CPUtime=0.6 /proc/26880/task/26883/stat : 26883 (java) R 26879 26879 4778 34817 4778 4202560 17084 0 0 0 48 12 0 0 18 0 9 0 11222228 420642816 24544 1283457024 134512640 134550932 4291653120 18446744073709551615 4153119250 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=26880/tid=26884] ppid=26879 vsize=410784 CPUtime=0 /proc/26880/task/26884/stat : 26884 (java) S 26879 26879 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 20 0 9 0 11222228 420642816 24544 1283457024 134512640 134550932 4291653120 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=26880/tid=26885] ppid=26879 vsize=410784 CPUtime=0 /proc/26880/task/26885/stat : 26885 (java) S 26879 26879 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 20 0 9 0 11222228 420642816 24544 1283457024 134512640 134550932 4291653120 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=26880/tid=26886] ppid=26879 vsize=410784 CPUtime=0 /proc/26880/task/26886/stat : 26886 (java) S 26879 26879 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 11222230 420642816 24544 1283457024 134512640 134550932 4291653120 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=26880/tid=26887] ppid=26879 vsize=410784 CPUtime=0.04 /proc/26880/task/26887/stat : 26887 (java) S 26879 26879 4778 34817 4778 4202560 448 0 0 0 4 0 0 0 18 0 9 0 11222230 420642816 24544 1283457024 134512640 134550932 4291653120 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=26880/tid=26888] ppid=26879 vsize=410784 CPUtime=0 /proc/26880/task/26888/stat : 26888 (java) S 26879 26879 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 11222230 420642816 24544 1283457024 134512640 134550932 4291653120 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=26880/tid=26889] ppid=26879 vsize=410784 CPUtime=0 /proc/26880/task/26889/stat : 26889 (java) S 26879 26879 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 9 0 11222230 420642816 24544 1283457024 134512640 134550932 4291653120 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.51 Current children cumulated vsize (KiB) 413348 [startup+3.1062 s] /proc/loadavg: 1.54 1.45 1.32 2/43 26889 /proc/meminfo: memFree=205308/1048576 swapFree=0/0 [pid=26879] ppid=26878 vsize=2564 CPUtime=0 /proc/26879/stat : 26879 (gj-paranoid-sol) S 26878 26879 4778 34817 4778 4202496 371 0 0 0 0 0 0 0 25 0 1 0 11222227 2625536 269 1283457024 134512640 135304128 4293630112 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26879/statm: 641 269 229 194 0 28 0 [pid=26880] ppid=26879 vsize=410916 CPUtime=3.1 /proc/26880/stat : 26880 (java) S 26879 26879 4778 34817 4778 4202496 46605 0 1 0 284 26 0 0 25 0 9 0 11222227 420777984 45846 1283457024 134512640 134550932 4291653120 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/26880/statm: 102729 45846 2901 10 0 96877 0 [pid=26880/tid=26882] ppid=26879 vsize=410916 CPUtime=1.46 /proc/26880/task/26882/stat : 26882 (java) R 26879 26879 4778 34817 4778 4202560 11791 0 1 0 138 8 0 0 25 0 9 0 11222228 420777984 45846 1283457024 134512640 134550932 4291653120 18446744073709551615 4115205664 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=26880/tid=26883] ppid=26879 vsize=410916 CPUtime=1.57 /proc/26880/task/26883/stat : 26883 (java) S 26879 26879 4778 34817 4778 4202560 33422 0 0 0 141 16 0 0 16 0 9 0 11222228 420777984 45846 1283457024 134512640 134550932 4291653120 18446744073709551615 4294960130 0 0 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=26880/tid=26884] ppid=26879 vsize=410916 CPUtime=0 /proc/26880/task/26884/stat : 26884 (java) S 26879 26879 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 20 0 9 0 11222228 420777984 45846 1283457024 134512640 134550932 4291653120 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=26880/tid=26885] ppid=26879 vsize=410916 CPUtime=0 /proc/26880/task/26885/stat : 26885 (java) S 26879 26879 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 20 0 9 0 11222228 420777984 45846 1283457024 134512640 134550932 4291653120 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=26880/tid=26886] ppid=26879 vsize=410916 CPUtime=0 /proc/26880/task/26886/stat : 26886 (java) S 26879 26879 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 11222230 420777984 45846 1283457024 134512640 134550932 4291653120 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=26880/tid=26887] ppid=26879 vsize=410916 CPUtime=0.04 /proc/26880/task/26887/stat : 26887 (java) S 26879 26879 4778 34817 4778 4202560 452 0 0 0 4 0 0 0 15 0 9 0 11222230 420777984 45846 1283457024 134512640 134550932 4291653120 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=26880/tid=26888] ppid=26879 vsize=410916 CPUtime=0 /proc/26880/task/26888/stat : 26888 (java) S 26879 26879 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 11222230 420777984 45846 1283457024 134512640 134550932 4291653120 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=26880/tid=26889] ppid=26879 vsize=410916 CPUtime=0 /proc/26880/task/26889/stat : 26889 (java) S 26879 26879 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 9 0 11222230 420777984 45846 1283457024 134512640 134550932 4291653120 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 413480 [startup+6.3073 s] /proc/loadavg: 1.58 1.46 1.33 3/44 26890 /proc/meminfo: memFree=70016/1048576 swapFree=0/0 [pid=26879] ppid=26878 vsize=2564 CPUtime=0 /proc/26879/stat : 26879 (gj-paranoid-sol) S 26878 26879 4778 34817 4778 4202496 371 0 0 0 0 0 0 0 25 0 1 0 11222227 2625536 269 1283457024 134512640 135304128 4293630112 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26879/statm: 641 269 229 194 0 28 0 [pid=26880] ppid=26879 vsize=411384 CPUtime=6.29 /proc/26880/stat : 26880 (java) S 26879 26879 4778 34817 4778 4202496 71024 0 1 0 587 42 0 0 25 0 10 0 11222227 421257216 70172 1283457024 134512640 134550932 4291653120 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/26880/statm: 102846 70172 2918 10 0 96991 0 [pid=26880/tid=26882] ppid=26879 vsize=411384 CPUtime=3.15 /proc/26880/task/26882/stat : 26882 (java) R 26879 26879 4778 34817 4778 4202560 14539 0 1 0 303 12 0 0 25 0 10 0 11222228 421257216 70172 1283457024 134512640 134550932 4291653120 18446744073709551615 4115580745 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=26880/tid=26883] ppid=26879 vsize=411384 CPUtime=2.98 /proc/26880/task/26883/stat : 26883 (java) S 26879 26879 4778 34817 4778 4202560 55005 0 0 0 271 27 0 0 16 0 10 0 11222228 421257216 70172 1283457024 134512640 134550932 4291653120 18446744073709551615 4294960130 0 0 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=26880/tid=26884] ppid=26879 vsize=411384 CPUtime=0 /proc/26880/task/26884/stat : 26884 (java) S 26879 26879 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 15 0 10 0 11222228 421257216 70172 1283457024 134512640 134550932 4291653120 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=26880/tid=26885] ppid=26879 vsize=411384 CPUtime=0 /proc/26880/task/26885/stat : 26885 (java) S 26879 26879 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 11222228 421257216 70172 1283457024 134512640 134550932 4291653120 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=26880/tid=26886] ppid=26879 vsize=411384 CPUtime=0 /proc/26880/task/26886/stat : 26886 (java) S 26879 26879 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 11222230 421257216 70172 1283457024 134512640 134550932 4291653120 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=26880/tid=26887] ppid=26879 vsize=411384 CPUtime=0.13 /proc/26880/task/26887/stat : 26887 (java) S 26879 26879 4778 34817 4778 4202560 535 0 0 0 12 1 0 0 15 0 10 0 11222230 421257216 70172 1283457024 134512640 134550932 4291653120 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=26880/tid=26888] ppid=26879 vsize=411384 CPUtime=0 /proc/26880/task/26888/stat : 26888 (java) S 26879 26879 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 11222230 421257216 70172 1283457024 134512640 134550932 4291653120 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=26880/tid=26889] ppid=26879 vsize=411384 CPUtime=0 /proc/26880/task/26889/stat : 26889 (java) S 26879 26879 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 10 0 11222230 421257216 70172 1283457024 134512640 134550932 4291653120 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=26880/tid=26890] ppid=26879 vsize=411384 CPUtime=0 /proc/26880/task/26890/stat : 26890 (java) S 26879 26879 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 25 0 10 0 11222769 421257216 70172 1283457024 134512640 134550932 4291653120 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 413948 Solver just ended. Dumping a history of the last processes samples [startup+6.40732 s] /proc/loadavg: 1.58 1.46 1.33 3/44 26890 /proc/meminfo: memFree=70016/1048576 swapFree=0/0 [pid=26879] ppid=26878 vsize=2564 CPUtime=0 /proc/26879/stat : 26879 (gj-paranoid-sol) S 26878 26879 4778 34817 4778 4202496 371 0 0 0 0 0 0 0 25 0 1 0 11222227 2625536 269 1283457024 134512640 135304128 4293630112 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26879/statm: 641 269 229 194 0 28 0 [pid=26880] ppid=26879 vsize=411384 CPUtime=6.39 /proc/26880/stat : 26880 (java) S 26879 26879 4778 34817 4778 4202496 71025 0 1 0 597 42 0 0 25 0 10 0 11222227 421257216 70173 1283457024 134512640 134550932 4291653120 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/26880/statm: 102846 70173 2918 10 0 96991 0 [pid=26880/tid=26882] ppid=26879 vsize=411384 CPUtime=3.25 /proc/26880/task/26882/stat : 26882 (java) R 26879 26879 4778 34817 4778 4202560 14539 0 1 0 313 12 0 0 25 0 10 0 11222228 421257216 70173 1283457024 134512640 134550932 4291653120 18446744073709551615 4115562205 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=26880/tid=26883] ppid=26879 vsize=411384 CPUtime=2.98 /proc/26880/task/26883/stat : 26883 (java) S 26879 26879 4778 34817 4778 4202560 55005 0 0 0 271 27 0 0 16 0 10 0 11222228 421257216 70173 1283457024 134512640 134550932 4291653120 18446744073709551615 4294960130 0 0 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=26880/tid=26884] ppid=26879 vsize=411384 CPUtime=0 /proc/26880/task/26884/stat : 26884 (java) S 26879 26879 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 15 0 10 0 11222228 421257216 70173 1283457024 134512640 134550932 4291653120 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=26880/tid=26885] ppid=26879 vsize=411384 CPUtime=0 /proc/26880/task/26885/stat : 26885 (java) S 26879 26879 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 11222228 421257216 70173 1283457024 134512640 134550932 4291653120 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=26880/tid=26886] ppid=26879 vsize=411384 CPUtime=0 /proc/26880/task/26886/stat : 26886 (java) S 26879 26879 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 11222230 421257216 70173 1283457024 134512640 134550932 4291653120 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=26880/tid=26887] ppid=26879 vsize=411384 CPUtime=0.13 /proc/26880/task/26887/stat : 26887 (java) S 26879 26879 4778 34817 4778 4202560 536 0 0 0 12 1 0 0 15 0 10 0 11222230 421257216 70173 1283457024 134512640 134550932 4291653120 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=26880/tid=26888] ppid=26879 vsize=411384 CPUtime=0 /proc/26880/task/26888/stat : 26888 (java) S 26879 26879 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 11222230 421257216 70173 1283457024 134512640 134550932 4291653120 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=26880/tid=26889] ppid=26879 vsize=411384 CPUtime=0 /proc/26880/task/26889/stat : 26889 (java) S 26879 26879 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 10 0 11222230 421257216 70173 1283457024 134512640 134550932 4291653120 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=26880/tid=26890] ppid=26879 vsize=411384 CPUtime=0 /proc/26880/task/26890/stat : 26890 (java) S 26879 26879 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 25 0 10 0 11222769 421257216 70173 1283457024 134512640 134550932 4291653120 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 6.39 Current children cumulated vsize (KiB) 413948 [startup+8.00781 s] /proc/loadavg: 1.58 1.46 1.33 2/44 26890 /proc/meminfo: memFree=69776/1048576 swapFree=0/0 [pid=26879] ppid=26878 vsize=2564 CPUtime=0 /proc/26879/stat : 26879 (gj-paranoid-sol) S 26878 26879 4778 34817 4778 4202496 371 0 0 0 0 0 0 0 25 0 1 0 11222227 2625536 269 1283457024 134512640 135304128 4293630112 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26879/statm: 641 269 229 194 0 28 0 [pid=26880] ppid=26879 vsize=411384 CPUtime=7.99 /proc/26880/stat : 26880 (java) S 26879 26879 4778 34817 4778 4202496 71029 0 1 0 757 42 0 0 25 0 10 0 11222227 421257216 70177 1283457024 134512640 134550932 4291653120 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/26880/statm: 102846 70177 2918 10 0 96991 0 [pid=26880/tid=26882] ppid=26879 vsize=411384 CPUtime=4.85 /proc/26880/task/26882/stat : 26882 (java) R 26879 26879 4778 34817 4778 4202560 14539 0 1 0 473 12 0 0 25 0 10 0 11222228 421257216 70177 1283457024 134512640 134550932 4291653120 18446744073709551615 4115552062 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=26880/tid=26883] ppid=26879 vsize=411384 CPUtime=2.98 /proc/26880/task/26883/stat : 26883 (java) S 26879 26879 4778 34817 4778 4202560 55005 0 0 0 271 27 0 0 15 0 10 0 11222228 421257216 70177 1283457024 134512640 134550932 4291653120 18446744073709551615 4294960130 0 0 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=26880/tid=26884] ppid=26879 vsize=411384 CPUtime=0 /proc/26880/task/26884/stat : 26884 (java) S 26879 26879 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 15 0 10 0 11222228 421257216 70177 1283457024 134512640 134550932 4291653120 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=26880/tid=26885] ppid=26879 vsize=411384 CPUtime=0 /proc/26880/task/26885/stat : 26885 (java) S 26879 26879 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 11222228 421257216 70177 1283457024 134512640 134550932 4291653120 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=26880/tid=26886] ppid=26879 vsize=411384 CPUtime=0 /proc/26880/task/26886/stat : 26886 (java) S 26879 26879 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 11222230 421257216 70177 1283457024 134512640 134550932 4291653120 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=26880/tid=26887] ppid=26879 vsize=411384 CPUtime=0.13 /proc/26880/task/26887/stat : 26887 (java) S 26879 26879 4778 34817 4778 4202560 540 0 0 0 12 1 0 0 15 0 10 0 11222230 421257216 70177 1283457024 134512640 134550932 4291653120 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=26880/tid=26888] ppid=26879 vsize=411384 CPUtime=0 /proc/26880/task/26888/stat : 26888 (java) S 26879 26879 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 11222230 421257216 70177 1283457024 134512640 134550932 4291653120 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=26880/tid=26889] ppid=26879 vsize=411384 CPUtime=0 /proc/26880/task/26889/stat : 26889 (java) S 26879 26879 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 10 0 11222230 421257216 70177 1283457024 134512640 134550932 4291653120 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=26880/tid=26890] ppid=26879 vsize=411384 CPUtime=0 /proc/26880/task/26890/stat : 26890 (java) S 26879 26879 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 25 0 10 0 11222769 421257216 70177 1283457024 134512640 134550932 4291653120 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 7.99 Current children cumulated vsize (KiB) 413948 [startup+9.60824 s] /proc/loadavg: 1.58 1.46 1.33 2/44 26890 /proc/meminfo: memFree=69776/1048576 swapFree=0/0 [pid=26879] ppid=26878 vsize=2564 CPUtime=0 /proc/26879/stat : 26879 (gj-paranoid-sol) S 26878 26879 4778 34817 4778 4202496 371 0 0 0 0 0 0 0 25 0 1 0 11222227 2625536 269 1283457024 134512640 135304128 4293630112 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26879/statm: 641 269 229 194 0 28 0 [pid=26880] ppid=26879 vsize=411384 CPUtime=9.59 /proc/26880/stat : 26880 (java) S 26879 26879 4778 34817 4778 4202496 71031 0 1 0 917 42 0 0 25 0 10 0 11222227 421257216 70179 1283457024 134512640 134550932 4291653120 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/26880/statm: 102846 70179 2919 10 0 96991 0 [pid=26880/tid=26882] ppid=26879 vsize=411384 CPUtime=6.45 /proc/26880/task/26882/stat : 26882 (java) R 26879 26879 4778 34817 4778 4202560 14540 0 1 0 633 12 0 0 25 0 10 0 11222228 421257216 70179 1283457024 134512640 134550932 4291653120 18446744073709551615 4115398188 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=26880/tid=26883] ppid=26879 vsize=411384 CPUtime=2.98 /proc/26880/task/26883/stat : 26883 (java) S 26879 26879 4778 34817 4778 4202560 55005 0 0 0 271 27 0 0 16 0 10 0 11222228 421257216 70179 1283457024 134512640 134550932 4291653120 18446744073709551615 4294960130 0 0 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=26880/tid=26884] ppid=26879 vsize=411384 CPUtime=0 /proc/26880/task/26884/stat : 26884 (java) S 26879 26879 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 15 0 10 0 11222228 421257216 70179 1283457024 134512640 134550932 4291653120 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=26880/tid=26885] ppid=26879 vsize=411384 CPUtime=0 /proc/26880/task/26885/stat : 26885 (java) S 26879 26879 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 11222228 421257216 70179 1283457024 134512640 134550932 4291653120 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=26880/tid=26886] ppid=26879 vsize=411384 CPUtime=0 /proc/26880/task/26886/stat : 26886 (java) S 26879 26879 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 11222230 421257216 70179 1283457024 134512640 134550932 4291653120 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=26880/tid=26887] ppid=26879 vsize=411384 CPUtime=0.13 /proc/26880/task/26887/stat : 26887 (java) S 26879 26879 4778 34817 4778 4202560 541 0 0 0 12 1 0 0 16 0 10 0 11222230 421257216 70179 1283457024 134512640 134550932 4291653120 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=26880/tid=26888] ppid=26879 vsize=411384 CPUtime=0 /proc/26880/task/26888/stat : 26888 (java) S 26879 26879 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 11222230 421257216 70179 1283457024 134512640 134550932 4291653120 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=26880/tid=26889] ppid=26879 vsize=411384 CPUtime=0 /proc/26880/task/26889/stat : 26889 (java) S 26879 26879 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 10 0 11222230 421257216 70179 1283457024 134512640 134550932 4291653120 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=26880/tid=26890] ppid=26879 vsize=411384 CPUtime=0 /proc/26880/task/26890/stat : 26890 (java) S 26879 26879 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 25 0 10 0 11222769 421257216 70179 1283457024 134512640 134550932 4291653120 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 9.59 Current children cumulated vsize (KiB) 413948 [startup+10.0084 s] /proc/loadavg: 1.53 1.45 1.33 2/44 26890 /proc/meminfo: memFree=69776/1048576 swapFree=0/0 [pid=26879] ppid=26878 vsize=2564 CPUtime=0 /proc/26879/stat : 26879 (gj-paranoid-sol) S 26878 26879 4778 34817 4778 4202496 371 0 0 0 0 0 0 0 25 0 1 0 11222227 2625536 269 1283457024 134512640 135304128 4293630112 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26879/statm: 641 269 229 194 0 28 0 [pid=26880] ppid=26879 vsize=411384 CPUtime=9.99 /proc/26880/stat : 26880 (java) S 26879 26879 4778 34817 4778 4202496 71031 0 1 0 957 42 0 0 25 0 10 0 11222227 421257216 70179 1283457024 134512640 134550932 4291653120 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/26880/statm: 102846 70179 2919 10 0 96991 0 [pid=26880/tid=26882] ppid=26879 vsize=411384 CPUtime=6.85 /proc/26880/task/26882/stat : 26882 (java) R 26879 26879 4778 34817 4778 4202560 14540 0 1 0 673 12 0 0 25 0 10 0 11222228 421257216 70179 1283457024 134512640 134550932 4291653120 18446744073709551615 4115567388 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=26880/tid=26883] ppid=26879 vsize=411384 CPUtime=2.98 /proc/26880/task/26883/stat : 26883 (java) S 26879 26879 4778 34817 4778 4202560 55005 0 0 0 271 27 0 0 16 0 10 0 11222228 421257216 70179 1283457024 134512640 134550932 4291653120 18446744073709551615 4294960130 0 0 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=26880/tid=26884] ppid=26879 vsize=411384 CPUtime=0 /proc/26880/task/26884/stat : 26884 (java) S 26879 26879 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 15 0 10 0 11222228 421257216 70179 1283457024 134512640 134550932 4291653120 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=26880/tid=26885] ppid=26879 vsize=411384 CPUtime=0 /proc/26880/task/26885/stat : 26885 (java) S 26879 26879 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 11222228 421257216 70179 1283457024 134512640 134550932 4291653120 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=26880/tid=26886] ppid=26879 vsize=411384 CPUtime=0 /proc/26880/task/26886/stat : 26886 (java) S 26879 26879 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 11222230 421257216 70179 1283457024 134512640 134550932 4291653120 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=26880/tid=26887] ppid=26879 vsize=411384 CPUtime=0.13 /proc/26880/task/26887/stat : 26887 (java) S 26879 26879 4778 34817 4778 4202560 541 0 0 0 12 1 0 0 16 0 10 0 11222230 421257216 70179 1283457024 134512640 134550932 4291653120 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=26880/tid=26888] ppid=26879 vsize=411384 CPUtime=0 /proc/26880/task/26888/stat : 26888 (java) S 26879 26879 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 11222230 421257216 70179 1283457024 134512640 134550932 4291653120 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=26880/tid=26889] ppid=26879 vsize=411384 CPUtime=0 /proc/26880/task/26889/stat : 26889 (java) S 26879 26879 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 10 0 11222230 421257216 70179 1283457024 134512640 134550932 4291653120 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=26880/tid=26890] ppid=26879 vsize=411384 CPUtime=0 /proc/26880/task/26890/stat : 26890 (java) S 26879 26879 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 25 0 10 0 11222769 421257216 70179 1283457024 134512640 134550932 4291653120 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (KiB) 413948 [startup+10.4085 s] /proc/loadavg: 1.53 1.45 1.33 2/44 26890 /proc/meminfo: memFree=69776/1048576 swapFree=0/0 [pid=26879] ppid=26878 vsize=2564 CPUtime=0 /proc/26879/stat : 26879 (gj-paranoid-sol) S 26878 26879 4778 34817 4778 4202496 371 0 0 0 0 0 0 0 25 0 1 0 11222227 2625536 269 1283457024 134512640 135304128 4293630112 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26879/statm: 641 269 229 194 0 28 0 [pid=26880] ppid=26879 vsize=411384 CPUtime=10.39 /proc/26880/stat : 26880 (java) S 26879 26879 4778 34817 4778 4202496 71036 0 1 0 997 42 0 0 25 0 10 0 11222227 421257216 70184 1283457024 134512640 134550932 4291653120 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/26880/statm: 102846 70184 2919 10 0 96991 0 [pid=26880/tid=26882] ppid=26879 vsize=411384 CPUtime=7.25 /proc/26880/task/26882/stat : 26882 (java) R 26879 26879 4778 34817 4778 4202560 14540 0 1 0 713 12 0 0 25 0 10 0 11222228 421257216 70184 1283457024 134512640 134550932 4291653120 18446744073709551615 4115722445 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=26880/tid=26883] ppid=26879 vsize=411384 CPUtime=2.98 /proc/26880/task/26883/stat : 26883 (java) S 26879 26879 4778 34817 4778 4202560 55005 0 0 0 271 27 0 0 15 0 10 0 11222228 421257216 70184 1283457024 134512640 134550932 4291653120 18446744073709551615 4294960130 0 0 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=26880/tid=26884] ppid=26879 vsize=411384 CPUtime=0 /proc/26880/task/26884/stat : 26884 (java) S 26879 26879 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 15 0 10 0 11222228 421257216 70184 1283457024 134512640 134550932 4291653120 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=26880/tid=26885] ppid=26879 vsize=411384 CPUtime=0 /proc/26880/task/26885/stat : 26885 (java) S 26879 26879 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 11222228 421257216 70184 1283457024 134512640 134550932 4291653120 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=26880/tid=26886] ppid=26879 vsize=411384 CPUtime=0 /proc/26880/task/26886/stat : 26886 (java) S 26879 26879 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 11222230 421257216 70184 1283457024 134512640 134550932 4291653120 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=26880/tid=26887] ppid=26879 vsize=411384 CPUtime=0.13 /proc/26880/task/26887/stat : 26887 (java) S 26879 26879 4778 34817 4778 4202560 546 0 0 0 12 1 0 0 15 0 10 0 11222230 421257216 70184 1283457024 134512640 134550932 4291653120 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=26880/tid=26888] ppid=26879 vsize=411384 CPUtime=0 /proc/26880/task/26888/stat : 26888 (java) S 26879 26879 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 11222230 421257216 70184 1283457024 134512640 134550932 4291653120 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=26880/tid=26889] ppid=26879 vsize=411384 CPUtime=0 /proc/26880/task/26889/stat : 26889 (java) R 26879 26879 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 10 0 11222230 421257216 70184 1283457024 134512640 134550932 4291653120 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=26880/tid=26890] ppid=26879 vsize=411384 CPUtime=0 /proc/26880/task/26890/stat : 26890 (java) S 26879 26879 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 25 0 10 0 11222769 421257216 70184 1283457024 134512640 134550932 4291653120 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 10.39 Current children cumulated vsize (KiB) 413948 Child status: 0 Real time (s): 10.4889 CPU time (s): 10.4327 CPU user time (s): 9.99262 CPU system time (s): 0.440027 CPU usage (%): 99.464 Max. virtual memory (cumulated for all children) (KiB): 413948 getrusage(RUSAGE_CHILDREN,...) data: user time used= 9.99262 system time used= 0.440027 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 71435 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= 922 involuntary context switches= 1007 runsolver used 0 second user time and 0 second system time The end