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/201012070034/p2cudf-trendy-1.9/randf406d5.cudf.difficult.log.runsolver ./p2cudf-trendy-1.9 /home/misc2010/data/2010/difficult//randf406d5.cudf /home/misc2010/tmp/201012070034/p2cudf-trendy-1.9/randf406d5.cudf.difficult.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.07 1.01 1.00 1/40 7266 /proc/meminfo: memFree=839472/1048576 swapFree=2080288/2097144 [pid=7266] ppid=7265 vsize=3020 CPUtime=0 /proc/7266/stat : 7266 (runsolver) D 7265 7266 4159 34819 4229 4202560 72 0 0 0 0 0 0 0 22 0 1 0 885663131 3092480 93 1283457024 134512640 134586868 4288047808 18446744073709551615 4294960130 0 0 0 24578 18446744071564332000 0 0 17 0 0 0 0 /proc/7266/statm: 755 93 62 19 0 53 0 [startup+0.179467 s] /proc/loadavg: 1.07 1.01 1.00 1/40 7266 /proc/meminfo: memFree=839472/1048576 swapFree=2080288/2097144 [pid=7266] ppid=7265 vsize=2568 CPUtime=0 /proc/7266/stat : 7266 (p2cudf-trendy-1) S 7265 7266 4159 34819 4229 4202496 376 0 0 0 0 0 0 0 23 0 1 0 885663131 2629632 273 1283457024 134512640 135304128 4287654704 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/7266/statm: 642 273 233 194 0 28 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2568 [startup+0.207464 s] /proc/loadavg: 1.07 1.01 1.00 1/40 7266 /proc/meminfo: memFree=839472/1048576 swapFree=2080288/2097144 [pid=7266] ppid=7265 vsize=2568 CPUtime=0 /proc/7266/stat : 7266 (p2cudf-trendy-1) S 7265 7266 4159 34819 4229 4202496 376 0 0 0 0 0 0 0 23 0 1 0 885663131 2629632 273 1283457024 134512640 135304128 4287654704 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/7266/statm: 642 273 233 194 0 28 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2568 [startup+0.307493 s] /proc/loadavg: 1.07 1.01 1.00 1/40 7266 /proc/meminfo: memFree=839472/1048576 swapFree=2080288/2097144 [pid=7266] ppid=7265 vsize=2568 CPUtime=0 /proc/7266/stat : 7266 (p2cudf-trendy-1) S 7265 7266 4159 34819 4229 4202496 376 0 0 0 0 0 0 0 23 0 1 0 885663131 2629632 273 1283457024 134512640 135304128 4287654704 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/7266/statm: 642 273 233 194 0 28 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2568 [startup+0.707497 s] /proc/loadavg: 1.07 1.01 1.00 1/40 7266 /proc/meminfo: memFree=839472/1048576 swapFree=2080288/2097144 [pid=7266] ppid=7265 vsize=2568 CPUtime=0 /proc/7266/stat : 7266 (p2cudf-trendy-1) S 7265 7266 4159 34819 4229 4202496 376 0 0 0 0 0 0 0 23 0 1 0 885663131 2629632 273 1283457024 134512640 135304128 4287654704 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/7266/statm: 642 273 233 194 0 28 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2568 [startup+1.50354 s] /proc/loadavg: 1.07 1.01 1.00 1/47 7284 /proc/meminfo: memFree=813896/1048576 swapFree=2080288/2097144 [pid=7266] ppid=7265 vsize=2568 CPUtime=0 /proc/7266/stat : 7266 (p2cudf-trendy-1) S 7265 7266 4159 34819 4229 4202496 376 0 0 0 0 0 0 0 23 0 1 0 885663131 2629632 273 1283457024 134512640 135304128 4287654704 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/7266/statm: 642 273 233 194 0 28 0 [pid=7268] ppid=7266 vsize=2576 CPUtime=0 /proc/7268/stat : 7268 (p2cudf) S 7266 7266 4159 34819 4229 4202496 392 2786 0 127 0 0 0 0 18 0 1 0 885663131 2637824 282 1283457024 134512640 135304128 4292026192 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/7268/statm: 644 282 241 194 0 30 0 [pid=7280] ppid=7268 vsize=856896 CPUtime=0.12 /proc/7280/stat : 7280 (java) S 7268 7266 4159 34819 4229 4202496 4442 0 156 0 12 0 0 0 18 0 10 0 885663196 877461504 4254 1283457024 134512640 134550932 4293848992 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/7280/statm: 214224 4254 1702 10 0 211314 0 [pid=7280/tid=7281] ppid=7268 vsize=856896 CPUtime=0.08 /proc/7280/task/7281/stat : 7281 (java) R 7268 7266 4159 34819 4229 4202560 2601 0 64 0 8 0 0 0 20 0 10 0 885663223 877461504 4254 1283457024 134512640 134550932 4293848992 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=7280/tid=7282] ppid=7268 vsize=856896 CPUtime=0 /proc/7280/task/7282/stat : 7282 (java) S 7268 7266 4159 34819 4229 4202560 3 0 0 0 0 0 0 0 19 0 10 0 885663235 877461504 4254 1283457024 134512640 134550932 4293848992 18446744073709551615 4294960130 0 0 0 16800975 18446612132844133376 0 0 -1 0 0 0 0 [pid=7280/tid=7283] ppid=7268 vsize=856896 CPUtime=0 /proc/7280/task/7283/stat : 7283 (java) S 7268 7266 4159 34819 4229 4202560 8 0 1 0 0 0 0 0 19 0 10 0 885663236 877461504 4254 1283457024 134512640 134550932 4293848992 18446744073709551615 4294960130 0 4 0 16800975 18446612132844133376 0 0 -1 0 0 0 0 [pid=7280/tid=7284] ppid=7268 vsize=856896 CPUtime=0 /proc/7280/task/7284/stat : 7284 (java) S 7268 7266 4159 34819 4229 4202560 4 0 0 0 0 0 0 0 20 0 10 0 885663236 877461504 4254 1283457024 134512640 134550932 4293848992 18446744073709551615 4294960130 0 4 0 16800975 18446612132844133376 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.12 Current children cumulated vsize (KiB) 862040 [startup+3.10371 s] /proc/loadavg: 1.15 1.03 1.01 3/52 7289 /proc/meminfo: memFree=785664/1048576 swapFree=2080288/2097144 [pid=7266] ppid=7265 vsize=2568 CPUtime=0 /proc/7266/stat : 7266 (p2cudf-trendy-1) S 7265 7266 4159 34819 4229 4202496 376 0 0 0 0 0 0 0 23 0 1 0 885663131 2629632 273 1283457024 134512640 135304128 4287654704 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/7266/statm: 642 273 233 194 0 28 0 [pid=7268] ppid=7266 vsize=2576 CPUtime=0 /proc/7268/stat : 7268 (p2cudf) S 7266 7266 4159 34819 4229 4202496 392 2786 0 127 0 0 0 0 18 0 1 0 885663131 2637824 282 1283457024 134512640 135304128 4292026192 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/7268/statm: 644 282 241 194 0 30 0 [pid=7280] ppid=7268 vsize=871468 CPUtime=1.51 /proc/7280/stat : 7280 (java) S 7268 7266 4159 34819 4229 4202496 30479 0 158 0 143 8 0 0 18 0 10 0 885663196 892383232 26645 1283457024 134512640 134550932 4293848992 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/7280/statm: 217867 26645 1742 10 0 214957 0 [pid=7280/tid=7281] ppid=7268 vsize=871468 CPUtime=0.63 /proc/7280/task/7281/stat : 7281 (java) R 7268 7266 4159 34819 4229 4202560 21281 0 64 0 56 7 0 0 19 0 10 0 885663223 892383232 26645 1283457024 134512640 134550932 4293848992 18446744073709551615 4095232538 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=7280/tid=7282] ppid=7268 vsize=871468 CPUtime=0 /proc/7280/task/7282/stat : 7282 (java) S 7268 7266 4159 34819 4229 4202560 5 0 0 0 0 0 0 0 15 0 10 0 885663235 892383232 26645 1283457024 134512640 134550932 4293848992 18446744073709551615 4294960130 0 0 0 16800975 18446612132844133376 0 0 -1 0 0 0 0 [pid=7280/tid=7283] ppid=7268 vsize=871468 CPUtime=0 /proc/7280/task/7283/stat : 7283 (java) S 7268 7266 4159 34819 4229 4202560 8 0 1 0 0 0 0 0 19 0 10 0 885663236 892383232 26645 1283457024 134512640 134550932 4293848992 18446744073709551615 4294960130 0 4 0 16800975 18446612132844133376 0 0 -1 0 0 0 0 [pid=7280/tid=7284] ppid=7268 vsize=871468 CPUtime=0 /proc/7280/task/7284/stat : 7284 (java) S 7268 7266 4159 34819 4229 4202560 4 0 0 0 0 0 0 0 20 0 10 0 885663236 892383232 26645 1283457024 134512640 134550932 4293848992 18446744073709551615 4294960130 0 4 0 16800975 18446612132844133376 0 0 -1 0 0 0 0 [pid=7280/tid=7285] ppid=7268 vsize=871468 CPUtime=0 /proc/7280/task/7285/stat : 7285 (java) S 7268 7266 4159 34819 4229 4202560 1 0 0 0 0 0 0 0 20 0 10 0 885663248 892383232 26645 1283457024 134512640 134550932 4293848992 18446744073709551615 4294960130 0 4 0 16800975 18446612132844133376 0 0 -1 0 0 0 0 [pid=7280/tid=7286] ppid=7268 vsize=871468 CPUtime=0.77 /proc/7280/task/7286/stat : 7286 (java) S 7268 7266 4159 34819 4229 4202560 7789 0 2 0 76 1 0 0 15 0 10 0 885663248 892383232 26645 1283457024 134512640 134550932 4293848992 18446744073709551615 4294960130 0 4 0 16800975 18446612132844133376 0 0 -1 0 0 0 0 [pid=7280/tid=7287] ppid=7268 vsize=871468 CPUtime=0.1 /proc/7280/task/7287/stat : 7287 (java) S 7268 7266 4159 34819 4229 4202560 379 0 7 0 10 0 0 0 16 0 10 0 885663248 892383232 26645 1283457024 134512640 134550932 4293848992 18446744073709551615 4294960130 0 4 0 16800975 18446612132844133376 0 0 -1 0 0 0 0 [pid=7280/tid=7288] ppid=7268 vsize=871468 CPUtime=0 /proc/7280/task/7288/stat : 7288 (java) S 7268 7266 4159 34819 4229 4202560 1 0 0 0 0 0 0 0 21 0 10 0 885663249 892383232 26645 1283457024 134512640 134550932 4293848992 18446744073709551615 4294960130 0 4 0 16800975 18446612132844133376 0 0 -1 0 0 0 0 [pid=7280/tid=7289] ppid=7268 vsize=871468 CPUtime=0 /proc/7280/task/7289/stat : 7289 (java) S 7268 7266 4159 34819 4229 4202560 2 0 0 0 0 0 0 0 15 0 10 0 885663249 892383232 26645 1283457024 134512640 134550932 4293848992 18446744073709551615 4294960130 0 4 0 16800975 18446612132844133376 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.51 Current children cumulated vsize (KiB) 876612 heavy processes: [startup+6.30787 s] /proc/loadavg: 1.15 1.03 1.01 3/52 7289 /proc/meminfo: memFree=541892/1048576 swapFree=2080288/2097144 [pid=7266] ppid=7265 vsize=2568 CPUtime=0 /proc/7266/stat : 7266 (p2cudf-trendy-1) S 7265 7266 4159 34819 4229 4202496 376 0 0 0 0 0 0 0 23 0 1 0 885663131 2629632 273 1283457024 134512640 135304128 4287654704 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/7266/statm: 642 273 233 194 0 28 0 [pid=7268] ppid=7266 vsize=2576 CPUtime=0 /proc/7268/stat : 7268 (p2cudf) S 7266 7266 4159 34819 4229 4202496 392 2786 0 127 0 0 0 0 18 0 1 0 885663131 2637824 282 1283457024 134512640 135304128 4292026192 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/7268/statm: 644 282 241 194 0 30 0 [pid=7280] ppid=7268 vsize=871792 CPUtime=4.06 /proc/7280/stat : 7280 (java) S 7268 7266 4159 34819 4229 4202496 75949 0 159 0 384 22 0 0 18 0 11 0 885663196 892715008 69802 1283457024 134512640 134550932 4293848992 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/7280/statm: 217948 69802 1770 10 0 215038 0 [pid=7280/tid=7281] ppid=7268 vsize=871792 CPUtime=1.76 /proc/7280/task/7281/stat : 7281 (java) S 7268 7266 4159 34819 4229 4202560 50343 0 64 0 158 18 0 0 19 0 11 0 885663223 892715008 69802 1283457024 134512640 134550932 4293848992 18446744073709551615 4294960130 0 4 0 16800975 18446612132844133376 0 0 -1 0 0 0 0 [pid=7280/tid=7282] ppid=7268 vsize=871792 CPUtime=0.32 /proc/7280/task/7282/stat : 7282 (java) S 7268 7266 4159 34819 4229 4202560 13964 0 0 0 30 2 0 0 15 0 11 0 885663235 892715008 69802 1283457024 134512640 134550932 4293848992 18446744073709551615 4294960130 0 0 0 16800975 18446612132844133376 0 0 -1 0 0 0 0 [pid=7280/tid=7283] ppid=7268 vsize=871792 CPUtime=0 /proc/7280/task/7283/stat : 7283 (java) S 7268 7266 4159 34819 4229 4202560 9 0 1 0 0 0 0 0 18 0 11 0 885663236 892715008 69802 1283457024 134512640 134550932 4293848992 18446744073709551615 4294960130 0 4 0 16800975 18446612132844133376 0 0 -1 0 0 0 0 [pid=7280/tid=7284] ppid=7268 vsize=871792 CPUtime=0 /proc/7280/task/7284/stat : 7284 (java) S 7268 7266 4159 34819 4229 4202560 6 0 0 0 0 0 0 0 18 0 11 0 885663236 892715008 69802 1283457024 134512640 134550932 4293848992 18446744073709551615 4294960130 0 4 0 16800975 18446612132844133376 0 0 -1 0 0 0 0 [pid=7280/tid=7285] ppid=7268 vsize=871792 CPUtime=0 /proc/7280/task/7285/stat : 7285 (java) S 7268 7266 4159 34819 4229 4202560 1 0 0 0 0 0 0 0 20 0 11 0 885663248 892715008 69802 1283457024 134512640 134550932 4293848992 18446744073709551615 4294960130 0 4 0 16800975 18446612132844133376 0 0 -1 0 0 0 0 [pid=7280/tid=7286] ppid=7268 vsize=871792 CPUtime=1.87 /proc/7280/task/7286/stat : 7286 (java) S 7268 7266 4159 34819 4229 4202560 10231 0 3 0 185 2 0 0 15 0 11 0 885663248 892715008 69802 1283457024 134512640 134550932 4293848992 18446744073709551615 4294960130 0 4 0 16800975 18446612132844133376 0 0 -1 0 0 0 0 [pid=7280/tid=7287] ppid=7268 vsize=871792 CPUtime=0.1 /proc/7280/task/7287/stat : 7287 (java) S 7268 7266 4159 34819 4229 4202560 379 0 7 0 10 0 0 0 15 0 11 0 885663248 892715008 69802 1283457024 134512640 134550932 4293848992 18446744073709551615 4294960130 0 4 0 16800975 18446612132844133376 0 0 -1 0 0 0 0 [pid=7280/tid=7288] ppid=7268 vsize=871792 CPUtime=0 /proc/7280/task/7288/stat : 7288 (java) S 7268 7266 4159 34819 4229 4202560 1 0 0 0 0 0 0 0 21 0 11 0 885663249 892715008 69802 1283457024 134512640 134550932 4293848992 18446744073709551615 4294960130 0 4 0 16800975 18446612132844133376 0 0 -1 0 0 0 0 [pid=7280/tid=7289] ppid=7268 vsize=871792 CPUtime=0 /proc/7280/task/7289/stat : 7289 (java) S 7268 7266 4159 34819 4229 4202560 2 0 0 0 0 0 0 0 15 0 11 0 885663249 892715008 69802 1283457024 134512640 134550932 4293848992 18446744073709551615 4294960130 0 4 0 16800975 18446612132844133376 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4.06 Current children cumulated vsize (KiB) 876936 heavy processes: Solver just ended. Dumping a history of the last processes samples [startup+6.6079 s] /proc/loadavg: 1.15 1.03 1.01 1/53 7290 /proc/meminfo: memFree=543016/1048576 swapFree=2080288/2097144 [pid=7266] ppid=7265 vsize=2568 CPUtime=0 /proc/7266/stat : 7266 (p2cudf-trendy-1) S 7265 7266 4159 34819 4229 4202496 376 0 0 0 0 0 0 0 23 0 1 0 885663131 2629632 273 1283457024 134512640 135304128 4287654704 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/7266/statm: 642 273 233 194 0 28 0 [pid=7268] ppid=7266 vsize=2576 CPUtime=0 /proc/7268/stat : 7268 (p2cudf) S 7266 7266 4159 34819 4229 4202496 392 2786 0 127 0 0 0 0 18 0 1 0 885663131 2637824 282 1283457024 134512640 135304128 4292026192 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/7268/statm: 644 282 241 194 0 30 0 [pid=7280] ppid=7268 vsize=871792 CPUtime=4.06 /proc/7280/stat : 7280 (java) S 7268 7266 4159 34819 4229 4202496 75949 0 159 0 384 22 0 0 18 0 11 0 885663196 892715008 69802 1283457024 134512640 134550932 4293848992 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/7280/statm: 217948 69802 1770 10 0 215038 0 [pid=7280/tid=7281] ppid=7268 vsize=871792 CPUtime=1.76 /proc/7280/task/7281/stat : 7281 (java) S 7268 7266 4159 34819 4229 4202560 50343 0 64 0 158 18 0 0 19 0 11 0 885663223 892715008 69802 1283457024 134512640 134550932 4293848992 18446744073709551615 4294960130 0 4 0 16800975 18446612132844133376 0 0 -1 0 0 0 0 [pid=7280/tid=7282] ppid=7268 vsize=871792 CPUtime=0.32 /proc/7280/task/7282/stat : 7282 (java) S 7268 7266 4159 34819 4229 4202560 13964 0 0 0 30 2 0 0 15 0 11 0 885663235 892715008 69802 1283457024 134512640 134550932 4293848992 18446744073709551615 4294960130 0 0 0 16800975 18446612132844133376 0 0 -1 0 0 0 0 [pid=7280/tid=7283] ppid=7268 vsize=871792 CPUtime=0 /proc/7280/task/7283/stat : 7283 (java) S 7268 7266 4159 34819 4229 4202560 9 0 1 0 0 0 0 0 18 0 11 0 885663236 892715008 69802 1283457024 134512640 134550932 4293848992 18446744073709551615 4294960130 0 4 0 16800975 18446612132844133376 0 0 -1 0 0 0 0 [pid=7280/tid=7284] ppid=7268 vsize=871792 CPUtime=0 /proc/7280/task/7284/stat : 7284 (java) S 7268 7266 4159 34819 4229 4202560 6 0 0 0 0 0 0 0 18 0 11 0 885663236 892715008 69802 1283457024 134512640 134550932 4293848992 18446744073709551615 4294960130 0 4 0 16800975 18446612132844133376 0 0 -1 0 0 0 0 [pid=7280/tid=7285] ppid=7268 vsize=871792 CPUtime=0 /proc/7280/task/7285/stat : 7285 (java) S 7268 7266 4159 34819 4229 4202560 1 0 0 0 0 0 0 0 20 0 11 0 885663248 892715008 69802 1283457024 134512640 134550932 4293848992 18446744073709551615 4294960130 0 4 0 16800975 18446612132844133376 0 0 -1 0 0 0 0 [pid=7280/tid=7286] ppid=7268 vsize=871792 CPUtime=1.87 /proc/7280/task/7286/stat : 7286 (java) S 7268 7266 4159 34819 4229 4202560 10231 0 3 0 185 2 0 0 15 0 11 0 885663248 892715008 69802 1283457024 134512640 134550932 4293848992 18446744073709551615 4294960130 0 4 0 16800975 18446612132844133376 0 0 -1 0 0 0 0 [pid=7280/tid=7287] ppid=7268 vsize=871792 CPUtime=0.1 /proc/7280/task/7287/stat : 7287 (java) S 7268 7266 4159 34819 4229 4202560 379 0 7 0 10 0 0 0 15 0 11 0 885663248 892715008 69802 1283457024 134512640 134550932 4293848992 18446744073709551615 4294960130 0 4 0 16800975 18446612132844133376 0 0 -1 0 0 0 0 [pid=7280/tid=7288] ppid=7268 vsize=871792 CPUtime=0 /proc/7280/task/7288/stat : 7288 (java) S 7268 7266 4159 34819 4229 4202560 1 0 0 0 0 0 0 0 21 0 11 0 885663249 892715008 69802 1283457024 134512640 134550932 4293848992 18446744073709551615 4294960130 0 4 0 16800975 18446612132844133376 0 0 -1 0 0 0 0 [pid=7280/tid=7289] ppid=7268 vsize=871792 CPUtime=0 /proc/7280/task/7289/stat : 7289 (java) S 7268 7266 4159 34819 4229 4202560 2 0 0 0 0 0 0 0 15 0 11 0 885663249 892715008 69802 1283457024 134512640 134550932 4293848992 18446744073709551615 4294960130 0 4 0 16800975 18446612132844133376 0 0 -1 0 0 0 0 [pid=7280/tid=7290] ppid=7268 vsize=871792 CPUtime=0 /proc/7280/task/7290/stat : 7290 (java) S 7268 7266 4159 34819 4229 4202560 4 0 0 0 0 0 0 0 19 0 11 0 885663744 892715008 69802 1283457024 134512640 134550932 4293848992 18446744073709551615 4294960130 0 4 0 16800975 18446612132844133376 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4.06 Current children cumulated vsize (KiB) 876936 Child status: 0 Real time (s): 6.67916 CPU time (s): 4.10025 CPU user time (s): 3.85224 CPU system time (s): 0.248015 CPU usage (%): 61.3888 Max. virtual memory (cumulated for all children) (KiB): 881356 getrusage(RUSAGE_CHILDREN,...) data: user time used= 3.85224 system time used= 0.248015 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 79524 page faults= 286 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 1443 involuntary context switches= 586 runsolver used 0 second user time and 0 second system time The end