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/8b0e7c16-bab4-11e0-a883-00163e1e087d.cudf.dudf-real.log.runsolver ./gj-paranoid-solver-1.0 /home/misc2010/data/2011/dudf-real//8b0e7c16-bab4-11e0-a883-00163e1e087d.cudf /home/misc2010/tmp/201108251442/gj-paranoid-solver-1.0/8b0e7c16-bab4-11e0-a883-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.38 1.42 1.31 5/35 26352 /proc/meminfo: memFree=335128/1048576 swapFree=0/0 [pid=26351] ppid=26350 vsize=2568 CPUtime=0 /proc/26351/stat : 26351 (gj-paranoid-sol) R 26350 26351 4778 34817 4778 4202496 355 0 0 0 0 0 0 0 25 0 1 0 11212857 2629632 269 1283457024 134512640 135304128 4292528016 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0 /proc/26351/statm: 642 269 228 194 0 29 0 [pid=26352] ppid=26351 vsize=2568 CPUtime=0 /proc/26352/stat : 26352 (gj-paranoid-sol) R 26351 26351 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 25 0 1 0 11212857 2629632 41 1283457024 134512640 135304128 4292528016 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0 /proc/26352/statm: 642 41 0 194 0 29 0 [startup+0.155364 s] /proc/loadavg: 1.38 1.42 1.31 5/35 26352 /proc/meminfo: memFree=335128/1048576 swapFree=0/0 [pid=26351] ppid=26350 vsize=2568 CPUtime=0 /proc/26351/stat : 26351 (gj-paranoid-sol) S 26350 26351 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 25 0 1 0 11212857 2629632 270 1283457024 134512640 135304128 4292528016 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26351/statm: 642 270 229 194 0 29 0 [pid=26352] ppid=26351 vsize=409796 CPUtime=0.15 /proc/26352/stat : 26352 (java) S 26351 26351 4778 34817 4778 4202496 3932 0 1 0 13 2 0 0 25 0 9 0 11212857 419631104 3361 1283457024 134512640 134550932 4292917040 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/26352/statm: 102449 3361 1910 10 0 96597 0 Current children cumulated CPU time (s) 0.15 Current children cumulated vsize (KiB) 412364 [startup+0.205363 s] /proc/loadavg: 1.38 1.42 1.31 5/35 26352 /proc/meminfo: memFree=335128/1048576 swapFree=0/0 [pid=26351] ppid=26350 vsize=2568 CPUtime=0 /proc/26351/stat : 26351 (gj-paranoid-sol) S 26350 26351 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 25 0 1 0 11212857 2629632 270 1283457024 134512640 135304128 4292528016 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26351/statm: 642 270 229 194 0 29 0 [pid=26352] ppid=26351 vsize=409796 CPUtime=0.2 /proc/26352/stat : 26352 (java) S 26351 26351 4778 34817 4778 4202496 4039 0 1 0 18 2 0 0 25 0 9 0 11212857 419631104 3468 1283457024 134512640 134550932 4292917040 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/26352/statm: 102449 3468 1910 10 0 96597 0 Current children cumulated CPU time (s) 0.2 Current children cumulated vsize (KiB) 412364 [startup+0.305387 s] /proc/loadavg: 1.38 1.42 1.31 5/35 26352 /proc/meminfo: memFree=335128/1048576 swapFree=0/0 [pid=26351] ppid=26350 vsize=2568 CPUtime=0 /proc/26351/stat : 26351 (gj-paranoid-sol) S 26350 26351 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 25 0 1 0 11212857 2629632 270 1283457024 134512640 135304128 4292528016 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26351/statm: 642 270 229 194 0 29 0 [pid=26352] ppid=26351 vsize=410244 CPUtime=0.3 /proc/26352/stat : 26352 (java) S 26351 26351 4778 34817 4778 4202496 4371 0 1 0 28 2 0 0 25 0 9 0 11212857 420089856 3800 1283457024 134512640 134550932 4292917040 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/26352/statm: 102561 3800 1933 10 0 96709 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 412812 [startup+0.705504 s] /proc/loadavg: 1.38 1.42 1.31 5/35 26352 /proc/meminfo: memFree=335128/1048576 swapFree=0/0 [pid=26351] ppid=26350 vsize=2568 CPUtime=0 /proc/26351/stat : 26351 (gj-paranoid-sol) S 26350 26351 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 25 0 1 0 11212857 2629632 270 1283457024 134512640 135304128 4292528016 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26351/statm: 642 270 229 194 0 29 0 [pid=26352] ppid=26351 vsize=410652 CPUtime=0.7 /proc/26352/stat : 26352 (java) S 26351 26351 4778 34817 4778 4202496 11897 0 1 0 66 4 0 0 25 0 9 0 11212857 420507648 11138 1283457024 134512640 134550932 4292917040 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/26352/statm: 102663 11138 2901 10 0 96811 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 413220 [startup+1.50578 s] /proc/loadavg: 1.38 1.42 1.31 3/44 26361 /proc/meminfo: memFree=275648/1048576 swapFree=0/0 [pid=26351] ppid=26350 vsize=2568 CPUtime=0 /proc/26351/stat : 26351 (gj-paranoid-sol) S 26350 26351 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 25 0 1 0 11212857 2629632 270 1283457024 134512640 135304128 4292528016 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26351/statm: 642 270 229 194 0 29 0 [pid=26352] ppid=26351 vsize=410784 CPUtime=1.51 /proc/26352/stat : 26352 (java) S 26351 26351 4778 34817 4778 4202496 25531 0 1 0 142 9 0 0 25 0 9 0 11212857 420642816 24772 1283457024 134512640 134550932 4292917040 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/26352/statm: 102696 24772 2901 10 0 96844 0 [pid=26352/tid=26354] ppid=26351 vsize=410784 CPUtime=0.82 /proc/26352/task/26354/stat : 26354 (java) R 26351 26351 4778 34817 4778 4202560 6831 0 1 0 82 0 0 0 25 0 9 0 11212858 420642816 24772 1283457024 134512640 134550932 4292917040 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=26352/tid=26355] ppid=26351 vsize=410784 CPUtime=0.63 /proc/26352/task/26355/stat : 26355 (java) R 26351 26351 4778 34817 4778 4202560 17312 0 0 0 56 7 0 0 18 0 9 0 11212858 420642816 24772 1283457024 134512640 134550932 4292917040 18446744073709551615 4151333792 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=26352/tid=26356] ppid=26351 vsize=410784 CPUtime=0 /proc/26352/task/26356/stat : 26356 (java) S 26351 26351 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 20 0 9 0 11212859 420642816 24772 1283457024 134512640 134550932 4292917040 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0 [pid=26352/tid=26357] ppid=26351 vsize=410784 CPUtime=0 /proc/26352/task/26357/stat : 26357 (java) S 26351 26351 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 20 0 9 0 11212859 420642816 24772 1283457024 134512640 134550932 4292917040 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0 [pid=26352/tid=26358] ppid=26351 vsize=410784 CPUtime=0 /proc/26352/task/26358/stat : 26358 (java) S 26351 26351 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 11212860 420642816 24772 1283457024 134512640 134550932 4292917040 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0 [pid=26352/tid=26359] ppid=26351 vsize=410784 CPUtime=0.03 /proc/26352/task/26359/stat : 26359 (java) S 26351 26351 4778 34817 4778 4202560 448 0 0 0 3 0 0 0 17 0 9 0 11212860 420642816 24772 1283457024 134512640 134550932 4292917040 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0 [pid=26352/tid=26360] ppid=26351 vsize=410784 CPUtime=0 /proc/26352/task/26360/stat : 26360 (java) S 26351 26351 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 11212860 420642816 24772 1283457024 134512640 134550932 4292917040 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0 [pid=26352/tid=26361] ppid=26351 vsize=410784 CPUtime=0 /proc/26352/task/26361/stat : 26361 (java) S 26351 26351 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 9 0 11212860 420642816 24772 1283457024 134512640 134550932 4292917040 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.51 Current children cumulated vsize (KiB) 413352 [startup+3.10622 s] /proc/loadavg: 1.38 1.42 1.31 2/44 26361 /proc/meminfo: memFree=200752/1048576 swapFree=0/0 [pid=26351] ppid=26350 vsize=2568 CPUtime=0 /proc/26351/stat : 26351 (gj-paranoid-sol) S 26350 26351 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 25 0 1 0 11212857 2629632 270 1283457024 134512640 135304128 4292528016 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26351/statm: 642 270 229 194 0 29 0 [pid=26352] ppid=26351 vsize=410916 CPUtime=3.1 /proc/26352/stat : 26352 (java) S 26351 26351 4778 34817 4778 4202496 47199 0 1 0 294 16 0 0 25 0 9 0 11212857 420777984 46440 1283457024 134512640 134550932 4292917040 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/26352/statm: 102729 46440 2901 10 0 96877 0 [pid=26352/tid=26354] ppid=26351 vsize=410916 CPUtime=1.45 /proc/26352/task/26354/stat : 26354 (java) R 26351 26351 4778 34817 4778 4202560 12385 0 1 0 144 1 0 0 25 0 9 0 11212858 420777984 46440 1283457024 134512640 134550932 4292917040 18446744073709551615 4115219729 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=26352/tid=26355] ppid=26351 vsize=410916 CPUtime=1.59 /proc/26352/task/26355/stat : 26355 (java) S 26351 26351 4778 34817 4778 4202560 33422 0 0 0 146 13 0 0 16 0 9 0 11212858 420777984 46440 1283457024 134512640 134550932 4292917040 18446744073709551615 4294960130 0 0 0 16800975 18446612133155120448 0 0 -1 0 0 0 0 [pid=26352/tid=26356] ppid=26351 vsize=410916 CPUtime=0 /proc/26352/task/26356/stat : 26356 (java) S 26351 26351 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 20 0 9 0 11212859 420777984 46440 1283457024 134512640 134550932 4292917040 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0 [pid=26352/tid=26357] ppid=26351 vsize=410916 CPUtime=0 /proc/26352/task/26357/stat : 26357 (java) S 26351 26351 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 20 0 9 0 11212859 420777984 46440 1283457024 134512640 134550932 4292917040 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0 [pid=26352/tid=26358] ppid=26351 vsize=410916 CPUtime=0 /proc/26352/task/26358/stat : 26358 (java) S 26351 26351 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 11212860 420777984 46440 1283457024 134512640 134550932 4292917040 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0 [pid=26352/tid=26359] ppid=26351 vsize=410916 CPUtime=0.04 /proc/26352/task/26359/stat : 26359 (java) S 26351 26351 4778 34817 4778 4202560 452 0 0 0 4 0 0 0 15 0 9 0 11212860 420777984 46440 1283457024 134512640 134550932 4292917040 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0 [pid=26352/tid=26360] ppid=26351 vsize=410916 CPUtime=0 /proc/26352/task/26360/stat : 26360 (java) S 26351 26351 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 11212860 420777984 46440 1283457024 134512640 134550932 4292917040 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0 [pid=26352/tid=26361] ppid=26351 vsize=410916 CPUtime=0 /proc/26352/task/26361/stat : 26361 (java) S 26351 26351 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 9 0 11212860 420777984 46440 1283457024 134512640 134550932 4292917040 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 413484 [startup+6.30731 s] /proc/loadavg: 1.35 1.42 1.31 3/45 26362 /proc/meminfo: memFree=65468/1048576 swapFree=0/0 [pid=26351] ppid=26350 vsize=2568 CPUtime=0 /proc/26351/stat : 26351 (gj-paranoid-sol) S 26350 26351 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 25 0 1 0 11212857 2629632 270 1283457024 134512640 135304128 4292528016 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26351/statm: 642 270 229 194 0 29 0 [pid=26352] ppid=26351 vsize=411384 CPUtime=6.31 /proc/26352/stat : 26352 (java) S 26351 26351 4778 34817 4778 4202496 71024 0 1 0 604 27 0 0 25 0 10 0 11212857 421257216 70172 1283457024 134512640 134550932 4292917040 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/26352/statm: 102846 70172 2918 10 0 96991 0 [pid=26352/tid=26354] ppid=26351 vsize=411384 CPUtime=3.18 /proc/26352/task/26354/stat : 26354 (java) R 26351 26351 4778 34817 4778 4202560 14539 0 1 0 312 6 0 0 25 0 10 0 11212858 421257216 70172 1283457024 134512640 134550932 4292917040 18446744073709551615 4115606795 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=26352/tid=26355] ppid=26351 vsize=411384 CPUtime=2.99 /proc/26352/task/26355/stat : 26355 (java) S 26351 26351 4778 34817 4778 4202560 55005 0 0 0 279 20 0 0 16 0 10 0 11212858 421257216 70172 1283457024 134512640 134550932 4292917040 18446744073709551615 4294960130 0 0 0 16800975 18446612133155120448 0 0 -1 0 0 0 0 [pid=26352/tid=26356] ppid=26351 vsize=411384 CPUtime=0 /proc/26352/task/26356/stat : 26356 (java) S 26351 26351 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 15 0 10 0 11212859 421257216 70172 1283457024 134512640 134550932 4292917040 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0 [pid=26352/tid=26357] ppid=26351 vsize=411384 CPUtime=0 /proc/26352/task/26357/stat : 26357 (java) S 26351 26351 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 11212859 421257216 70172 1283457024 134512640 134550932 4292917040 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0 [pid=26352/tid=26358] ppid=26351 vsize=411384 CPUtime=0 /proc/26352/task/26358/stat : 26358 (java) S 26351 26351 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 11212860 421257216 70172 1283457024 134512640 134550932 4292917040 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0 [pid=26352/tid=26359] ppid=26351 vsize=411384 CPUtime=0.11 /proc/26352/task/26359/stat : 26359 (java) S 26351 26351 4778 34817 4778 4202560 535 0 0 0 11 0 0 0 15 0 10 0 11212860 421257216 70172 1283457024 134512640 134550932 4292917040 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0 [pid=26352/tid=26360] ppid=26351 vsize=411384 CPUtime=0 /proc/26352/task/26360/stat : 26360 (java) S 26351 26351 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 11212860 421257216 70172 1283457024 134512640 134550932 4292917040 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0 [pid=26352/tid=26361] ppid=26351 vsize=411384 CPUtime=0 /proc/26352/task/26361/stat : 26361 (java) S 26351 26351 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 10 0 11212860 421257216 70172 1283457024 134512640 134550932 4292917040 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0 [pid=26352/tid=26362] ppid=26351 vsize=411384 CPUtime=0 /proc/26352/task/26362/stat : 26362 (java) S 26351 26351 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 25 0 10 0 11213397 421257216 70172 1283457024 134512640 134550932 4292917040 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 6.31 Current children cumulated vsize (KiB) 413952 Solver just ended. Dumping a history of the last processes samples [startup+6.40731 s] /proc/loadavg: 1.35 1.42 1.31 3/45 26362 /proc/meminfo: memFree=65468/1048576 swapFree=0/0 [pid=26351] ppid=26350 vsize=2568 CPUtime=0 /proc/26351/stat : 26351 (gj-paranoid-sol) S 26350 26351 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 25 0 1 0 11212857 2629632 270 1283457024 134512640 135304128 4292528016 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26351/statm: 642 270 229 194 0 29 0 [pid=26352] ppid=26351 vsize=411384 CPUtime=6.41 /proc/26352/stat : 26352 (java) S 26351 26351 4778 34817 4778 4202496 71026 0 1 0 614 27 0 0 25 0 10 0 11212857 421257216 70174 1283457024 134512640 134550932 4292917040 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/26352/statm: 102846 70174 2918 10 0 96991 0 [pid=26352/tid=26354] ppid=26351 vsize=411384 CPUtime=3.28 /proc/26352/task/26354/stat : 26354 (java) R 26351 26351 4778 34817 4778 4202560 14539 0 1 0 322 6 0 0 25 0 10 0 11212858 421257216 70174 1283457024 134512640 134550932 4292917040 18446744073709551615 4150451604 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=26352/tid=26355] ppid=26351 vsize=411384 CPUtime=2.99 /proc/26352/task/26355/stat : 26355 (java) S 26351 26351 4778 34817 4778 4202560 55005 0 0 0 279 20 0 0 16 0 10 0 11212858 421257216 70174 1283457024 134512640 134550932 4292917040 18446744073709551615 4294960130 0 0 0 16800975 18446612133155120448 0 0 -1 0 0 0 0 [pid=26352/tid=26356] ppid=26351 vsize=411384 CPUtime=0 /proc/26352/task/26356/stat : 26356 (java) S 26351 26351 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 15 0 10 0 11212859 421257216 70174 1283457024 134512640 134550932 4292917040 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0 [pid=26352/tid=26357] ppid=26351 vsize=411384 CPUtime=0 /proc/26352/task/26357/stat : 26357 (java) S 26351 26351 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 11212859 421257216 70174 1283457024 134512640 134550932 4292917040 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0 [pid=26352/tid=26358] ppid=26351 vsize=411384 CPUtime=0 /proc/26352/task/26358/stat : 26358 (java) S 26351 26351 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 11212860 421257216 70174 1283457024 134512640 134550932 4292917040 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0 [pid=26352/tid=26359] ppid=26351 vsize=411384 CPUtime=0.11 /proc/26352/task/26359/stat : 26359 (java) S 26351 26351 4778 34817 4778 4202560 537 0 0 0 11 0 0 0 15 0 10 0 11212860 421257216 70174 1283457024 134512640 134550932 4292917040 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0 [pid=26352/tid=26360] ppid=26351 vsize=411384 CPUtime=0 /proc/26352/task/26360/stat : 26360 (java) S 26351 26351 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 11212860 421257216 70174 1283457024 134512640 134550932 4292917040 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0 [pid=26352/tid=26361] ppid=26351 vsize=411384 CPUtime=0 /proc/26352/task/26361/stat : 26361 (java) S 26351 26351 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 10 0 11212860 421257216 70174 1283457024 134512640 134550932 4292917040 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0 [pid=26352/tid=26362] ppid=26351 vsize=411384 CPUtime=0 /proc/26352/task/26362/stat : 26362 (java) S 26351 26351 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 25 0 10 0 11213397 421257216 70174 1283457024 134512640 134550932 4292917040 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 6.41 Current children cumulated vsize (KiB) 413952 [startup+8.0078 s] /proc/loadavg: 1.35 1.42 1.31 2/45 26362 /proc/meminfo: memFree=65344/1048576 swapFree=0/0 [pid=26351] ppid=26350 vsize=2568 CPUtime=0 /proc/26351/stat : 26351 (gj-paranoid-sol) S 26350 26351 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 25 0 1 0 11212857 2629632 270 1283457024 134512640 135304128 4292528016 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26351/statm: 642 270 229 194 0 29 0 [pid=26352] ppid=26351 vsize=411384 CPUtime=8.01 /proc/26352/stat : 26352 (java) S 26351 26351 4778 34817 4778 4202496 71029 0 1 0 774 27 0 0 25 0 10 0 11212857 421257216 70177 1283457024 134512640 134550932 4292917040 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/26352/statm: 102846 70177 2918 10 0 96991 0 [pid=26352/tid=26354] ppid=26351 vsize=411384 CPUtime=4.87 /proc/26352/task/26354/stat : 26354 (java) R 26351 26351 4778 34817 4778 4202560 14539 0 1 0 481 6 0 0 25 0 10 0 11212858 421257216 70177 1283457024 134512640 134550932 4292917040 18446744073709551615 4115166103 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=26352/tid=26355] ppid=26351 vsize=411384 CPUtime=2.99 /proc/26352/task/26355/stat : 26355 (java) R 26351 26351 4778 34817 4778 4202560 55005 0 0 0 279 20 0 0 15 0 10 0 11212858 421257216 70177 1283457024 134512640 134550932 4292917040 18446744073709551615 4294960130 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=26352/tid=26356] ppid=26351 vsize=411384 CPUtime=0 /proc/26352/task/26356/stat : 26356 (java) S 26351 26351 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 15 0 10 0 11212859 421257216 70177 1283457024 134512640 134550932 4292917040 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0 [pid=26352/tid=26357] ppid=26351 vsize=411384 CPUtime=0 /proc/26352/task/26357/stat : 26357 (java) S 26351 26351 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 11212859 421257216 70177 1283457024 134512640 134550932 4292917040 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0 [pid=26352/tid=26358] ppid=26351 vsize=411384 CPUtime=0 /proc/26352/task/26358/stat : 26358 (java) S 26351 26351 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 11212860 421257216 70177 1283457024 134512640 134550932 4292917040 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0 [pid=26352/tid=26359] ppid=26351 vsize=411384 CPUtime=0.12 /proc/26352/task/26359/stat : 26359 (java) S 26351 26351 4778 34817 4778 4202560 540 0 0 0 12 0 0 0 15 0 10 0 11212860 421257216 70177 1283457024 134512640 134550932 4292917040 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0 [pid=26352/tid=26360] ppid=26351 vsize=411384 CPUtime=0 /proc/26352/task/26360/stat : 26360 (java) S 26351 26351 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 11212860 421257216 70177 1283457024 134512640 134550932 4292917040 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0 [pid=26352/tid=26361] ppid=26351 vsize=411384 CPUtime=0 /proc/26352/task/26361/stat : 26361 (java) S 26351 26351 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 10 0 11212860 421257216 70177 1283457024 134512640 134550932 4292917040 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0 [pid=26352/tid=26362] ppid=26351 vsize=411384 CPUtime=0 /proc/26352/task/26362/stat : 26362 (java) S 26351 26351 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 25 0 10 0 11213397 421257216 70177 1283457024 134512640 134550932 4292917040 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 8.01 Current children cumulated vsize (KiB) 413952 [startup+9.60807 s] /proc/loadavg: 1.32 1.41 1.30 2/45 26362 /proc/meminfo: memFree=65344/1048576 swapFree=0/0 [pid=26351] ppid=26350 vsize=2568 CPUtime=0 /proc/26351/stat : 26351 (gj-paranoid-sol) S 26350 26351 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 25 0 1 0 11212857 2629632 270 1283457024 134512640 135304128 4292528016 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26351/statm: 642 270 229 194 0 29 0 [pid=26352] ppid=26351 vsize=411384 CPUtime=9.61 /proc/26352/stat : 26352 (java) S 26351 26351 4778 34817 4778 4202496 71030 0 1 0 934 27 0 0 25 0 10 0 11212857 421257216 70178 1283457024 134512640 134550932 4292917040 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/26352/statm: 102846 70178 2918 10 0 96991 0 [pid=26352/tid=26354] ppid=26351 vsize=411384 CPUtime=6.47 /proc/26352/task/26354/stat : 26354 (java) R 26351 26351 4778 34817 4778 4202560 14539 0 1 0 641 6 0 0 25 0 10 0 11212858 421257216 70178 1283457024 134512640 134550932 4292917040 18446744073709551615 4115675434 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=26352/tid=26355] ppid=26351 vsize=411384 CPUtime=2.99 /proc/26352/task/26355/stat : 26355 (java) S 26351 26351 4778 34817 4778 4202560 55005 0 0 0 279 20 0 0 16 0 10 0 11212858 421257216 70178 1283457024 134512640 134550932 4292917040 18446744073709551615 4294960130 0 0 0 16800975 18446612133155120448 0 0 -1 0 0 0 0 [pid=26352/tid=26356] ppid=26351 vsize=411384 CPUtime=0 /proc/26352/task/26356/stat : 26356 (java) S 26351 26351 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 15 0 10 0 11212859 421257216 70178 1283457024 134512640 134550932 4292917040 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0 [pid=26352/tid=26357] ppid=26351 vsize=411384 CPUtime=0 /proc/26352/task/26357/stat : 26357 (java) S 26351 26351 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 11212859 421257216 70178 1283457024 134512640 134550932 4292917040 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0 [pid=26352/tid=26358] ppid=26351 vsize=411384 CPUtime=0 /proc/26352/task/26358/stat : 26358 (java) S 26351 26351 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 11212860 421257216 70178 1283457024 134512640 134550932 4292917040 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0 [pid=26352/tid=26359] ppid=26351 vsize=411384 CPUtime=0.12 /proc/26352/task/26359/stat : 26359 (java) S 26351 26351 4778 34817 4778 4202560 541 0 0 0 12 0 0 0 16 0 10 0 11212860 421257216 70178 1283457024 134512640 134550932 4292917040 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0 [pid=26352/tid=26360] ppid=26351 vsize=411384 CPUtime=0 /proc/26352/task/26360/stat : 26360 (java) S 26351 26351 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 11212860 421257216 70178 1283457024 134512640 134550932 4292917040 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0 [pid=26352/tid=26361] ppid=26351 vsize=411384 CPUtime=0 /proc/26352/task/26361/stat : 26361 (java) R 26351 26351 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 10 0 11212860 421257216 70178 1283457024 134512640 134550932 4292917040 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=26352/tid=26362] ppid=26351 vsize=411384 CPUtime=0 /proc/26352/task/26362/stat : 26362 (java) S 26351 26351 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 25 0 10 0 11213397 421257216 70178 1283457024 134512640 134550932 4292917040 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 9.61 Current children cumulated vsize (KiB) 413952 [startup+10.0082 s] /proc/loadavg: 1.32 1.41 1.30 3/45 26362 /proc/meminfo: memFree=65344/1048576 swapFree=0/0 [pid=26351] ppid=26350 vsize=2568 CPUtime=0 /proc/26351/stat : 26351 (gj-paranoid-sol) S 26350 26351 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 25 0 1 0 11212857 2629632 270 1283457024 134512640 135304128 4292528016 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26351/statm: 642 270 229 194 0 29 0 [pid=26352] ppid=26351 vsize=411384 CPUtime=10 /proc/26352/stat : 26352 (java) S 26351 26351 4778 34817 4778 4202496 71030 0 1 0 973 27 0 0 25 0 10 0 11212857 421257216 70178 1283457024 134512640 134550932 4292917040 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/26352/statm: 102846 70178 2918 10 0 96991 0 [pid=26352/tid=26354] ppid=26351 vsize=411384 CPUtime=6.87 /proc/26352/task/26354/stat : 26354 (java) R 26351 26351 4778 34817 4778 4202560 14539 0 1 0 681 6 0 0 25 0 10 0 11212858 421257216 70178 1283457024 134512640 134550932 4292917040 18446744073709551615 4115595172 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=26352/tid=26355] ppid=26351 vsize=411384 CPUtime=2.99 /proc/26352/task/26355/stat : 26355 (java) S 26351 26351 4778 34817 4778 4202560 55005 0 0 0 279 20 0 0 16 0 10 0 11212858 421257216 70178 1283457024 134512640 134550932 4292917040 18446744073709551615 4294960130 0 0 0 16800975 18446612133155120448 0 0 -1 0 0 0 0 [pid=26352/tid=26356] ppid=26351 vsize=411384 CPUtime=0 /proc/26352/task/26356/stat : 26356 (java) S 26351 26351 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 15 0 10 0 11212859 421257216 70178 1283457024 134512640 134550932 4292917040 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0 [pid=26352/tid=26357] ppid=26351 vsize=411384 CPUtime=0 /proc/26352/task/26357/stat : 26357 (java) S 26351 26351 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 11212859 421257216 70178 1283457024 134512640 134550932 4292917040 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0 [pid=26352/tid=26358] ppid=26351 vsize=411384 CPUtime=0 /proc/26352/task/26358/stat : 26358 (java) S 26351 26351 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 11212860 421257216 70178 1283457024 134512640 134550932 4292917040 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0 [pid=26352/tid=26359] ppid=26351 vsize=411384 CPUtime=0.12 /proc/26352/task/26359/stat : 26359 (java) S 26351 26351 4778 34817 4778 4202560 541 0 0 0 12 0 0 0 16 0 10 0 11212860 421257216 70178 1283457024 134512640 134550932 4292917040 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0 [pid=26352/tid=26360] ppid=26351 vsize=411384 CPUtime=0 /proc/26352/task/26360/stat : 26360 (java) S 26351 26351 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 11212860 421257216 70178 1283457024 134512640 134550932 4292917040 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0 [pid=26352/tid=26361] ppid=26351 vsize=411384 CPUtime=0 /proc/26352/task/26361/stat : 26361 (java) S 26351 26351 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 10 0 11212860 421257216 70178 1283457024 134512640 134550932 4292917040 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0 [pid=26352/tid=26362] ppid=26351 vsize=411384 CPUtime=0 /proc/26352/task/26362/stat : 26362 (java) S 26351 26351 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 25 0 10 0 11213397 421257216 70178 1283457024 134512640 134550932 4292917040 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 10 Current children cumulated vsize (KiB) 413952 [startup+10.4083 s] /proc/loadavg: 1.32 1.41 1.30 3/45 26362 /proc/meminfo: memFree=65344/1048576 swapFree=0/0 [pid=26351] ppid=26350 vsize=2568 CPUtime=0 /proc/26351/stat : 26351 (gj-paranoid-sol) S 26350 26351 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 25 0 1 0 11212857 2629632 270 1283457024 134512640 135304128 4292528016 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26351/statm: 642 270 229 194 0 29 0 [pid=26352] ppid=26351 vsize=411384 CPUtime=10.4 /proc/26352/stat : 26352 (java) S 26351 26351 4778 34817 4778 4202496 71035 0 1 0 1013 27 0 0 25 0 10 0 11212857 421257216 70183 1283457024 134512640 134550932 4292917040 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/26352/statm: 102846 70183 2918 10 0 96991 0 [pid=26352/tid=26354] ppid=26351 vsize=411384 CPUtime=7.25 /proc/26352/task/26354/stat : 26354 (java) R 26351 26351 4778 34817 4778 4202560 14539 0 1 0 719 6 0 0 25 0 10 0 11212858 421257216 70183 1283457024 134512640 134550932 4292917040 18446744073709551615 4115686737 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=26352/tid=26355] ppid=26351 vsize=411384 CPUtime=2.99 /proc/26352/task/26355/stat : 26355 (java) S 26351 26351 4778 34817 4778 4202560 55005 0 0 0 279 20 0 0 15 0 10 0 11212858 421257216 70183 1283457024 134512640 134550932 4292917040 18446744073709551615 4294960130 0 0 0 16800975 18446612133155120448 0 0 -1 0 0 0 0 [pid=26352/tid=26356] ppid=26351 vsize=411384 CPUtime=0 /proc/26352/task/26356/stat : 26356 (java) S 26351 26351 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 15 0 10 0 11212859 421257216 70183 1283457024 134512640 134550932 4292917040 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0 [pid=26352/tid=26357] ppid=26351 vsize=411384 CPUtime=0 /proc/26352/task/26357/stat : 26357 (java) S 26351 26351 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 11212859 421257216 70183 1283457024 134512640 134550932 4292917040 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0 [pid=26352/tid=26358] ppid=26351 vsize=411384 CPUtime=0 /proc/26352/task/26358/stat : 26358 (java) S 26351 26351 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 11212860 421257216 70183 1283457024 134512640 134550932 4292917040 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0 [pid=26352/tid=26359] ppid=26351 vsize=411384 CPUtime=0.14 /proc/26352/task/26359/stat : 26359 (java) S 26351 26351 4778 34817 4778 4202560 546 0 0 0 14 0 0 0 15 0 10 0 11212860 421257216 70183 1283457024 134512640 134550932 4292917040 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0 [pid=26352/tid=26360] ppid=26351 vsize=411384 CPUtime=0 /proc/26352/task/26360/stat : 26360 (java) S 26351 26351 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 11212860 421257216 70183 1283457024 134512640 134550932 4292917040 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0 [pid=26352/tid=26361] ppid=26351 vsize=411384 CPUtime=0 /proc/26352/task/26361/stat : 26361 (java) S 26351 26351 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 10 0 11212860 421257216 70183 1283457024 134512640 134550932 4292917040 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0 [pid=26352/tid=26362] ppid=26351 vsize=411384 CPUtime=0 /proc/26352/task/26362/stat : 26362 (java) S 26351 26351 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 25 0 10 0 11213397 421257216 70183 1283457024 134512640 134550932 4292917040 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 10.4 Current children cumulated vsize (KiB) 413952 Child status: 0 Real time (s): 10.4749 CPU time (s): 10.4567 CPU user time (s): 10.1646 CPU system time (s): 0.292018 CPU usage (%): 99.8253 Max. virtual memory (cumulated for all children) (KiB): 413952 getrusage(RUSAGE_CHILDREN,...) data: user time used= 10.1646 system time used= 0.292018 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= 1017 runsolver used 0 second user time and 0 second system time The end