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/201007051233/p2cudf-paranoid-1.6/e0bd67a6-56d0-11df-b11f-00163e7a6f5e.cudf.debian-dudf.log.runsolver ./p2cudf-paranoid-1.6 /home/misc2010/data/2010/debian-dudf//e0bd67a6-56d0-11df-b11f-00163e7a6f5e.cudf /home/misc2010/tmp/201007051233/p2cudf-paranoid-1.6/e0bd67a6-56d0-11df-b11f-00163e7a6f5e.cudf.debian-dudf.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.30 1.10 1.02 5/36 16331 /proc/meminfo: memFree=808800/1048576 swapFree=2094596/2097144 [pid=16328] ppid=16327 vsize=2392 CPUtime=0 /proc/16328/stat : 16328 (p2cudf-paranoid) S 16327 16328 3447 769 3447 4194304 367 0 0 0 0 0 0 0 18 0 1 0 528667866 2449408 263 1283457024 134512640 135191968 4287171408 18446744073709551615 4159003038 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/16328/statm: 598 263 223 166 0 30 0 [pid=16329] ppid=16328 vsize=2384 CPUtime=0 /proc/16329/stat : 16329 (p2cudf) S 16328 16328 3447 769 3447 4194304 339 0 0 0 0 0 0 0 18 0 1 0 528667866 2441216 262 1283457024 134512640 135191968 4293144880 18446744073709551615 4159647390 0 0 4 65536 18446744071564457842 0 0 17 0 0 0 0 /proc/16329/statm: 596 262 224 166 0 28 0 [pid=16330] ppid=16329 vsize=2384 CPUtime=0 /proc/16330/stat : 16330 (p2cudf) R 16329 16328 3447 769 3447 4194368 87 0 0 0 0 0 0 0 25 0 1 0 528667866 2441216 111 1283457024 134512640 135191968 4293144880 18446744073709551615 4159488416 0 65538 0 65538 0 0 0 17 0 0 0 0 /proc/16330/statm: 596 111 71 166 0 28 0 [pid=16331] ppid=16330 vsize=2384 CPUtime=0 /proc/16331/stat : 16331 (p2cudf) R 16330 16328 3447 769 3447 4194368 0 0 0 0 0 0 0 0 25 0 1 0 528667866 2441216 40 1283457024 134512640 135191968 4293144880 18446744073709551615 4159488416 0 65538 0 65538 0 0 0 17 0 0 0 0 /proc/16331/statm: 596 40 0 166 0 28 0 [startup+0.168068 s] /proc/loadavg: 1.30 1.10 1.02 5/36 16331 /proc/meminfo: memFree=808800/1048576 swapFree=2094596/2097144 [pid=16328] ppid=16327 vsize=2392 CPUtime=0 /proc/16328/stat : 16328 (p2cudf-paranoid) S 16327 16328 3447 769 3447 4194304 367 0 0 0 0 0 0 0 18 0 1 0 528667866 2449408 263 1283457024 134512640 135191968 4287171408 18446744073709551615 4159003038 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/16328/statm: 598 263 223 166 0 30 0 [pid=16329] ppid=16328 vsize=2392 CPUtime=0.02 /proc/16329/stat : 16329 (p2cudf) S 16328 16328 3447 769 3447 4202496 376 2737 0 1 0 0 0 2 25 0 1 0 528667866 2449408 272 1283457024 134512640 135191968 4293144880 18446744073709551615 4159486366 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/16329/statm: 598 272 232 166 0 30 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 4784 [startup+0.20808 s] /proc/loadavg: 1.30 1.10 1.02 5/36 16331 /proc/meminfo: memFree=808800/1048576 swapFree=2094596/2097144 [pid=16328] ppid=16327 vsize=2392 CPUtime=0 /proc/16328/stat : 16328 (p2cudf-paranoid) S 16327 16328 3447 769 3447 4194304 367 0 0 0 0 0 0 0 18 0 1 0 528667866 2449408 263 1283457024 134512640 135191968 4287171408 18446744073709551615 4159003038 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/16328/statm: 598 263 223 166 0 30 0 [pid=16329] ppid=16328 vsize=2392 CPUtime=0.02 /proc/16329/stat : 16329 (p2cudf) S 16328 16328 3447 769 3447 4202496 376 2737 0 1 0 0 0 2 25 0 1 0 528667866 2449408 272 1283457024 134512640 135191968 4293144880 18446744073709551615 4159486366 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/16329/statm: 598 272 232 166 0 30 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 4784 [startup+0.308084 s] /proc/loadavg: 1.30 1.10 1.02 5/36 16331 /proc/meminfo: memFree=808800/1048576 swapFree=2094596/2097144 [pid=16328] ppid=16327 vsize=2392 CPUtime=0 /proc/16328/stat : 16328 (p2cudf-paranoid) S 16327 16328 3447 769 3447 4194304 367 0 0 0 0 0 0 0 18 0 1 0 528667866 2449408 263 1283457024 134512640 135191968 4287171408 18446744073709551615 4159003038 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/16328/statm: 598 263 223 166 0 30 0 [pid=16329] ppid=16328 vsize=2392 CPUtime=0.02 /proc/16329/stat : 16329 (p2cudf) S 16328 16328 3447 769 3447 4202496 376 2737 0 1 0 0 0 2 25 0 1 0 528667866 2449408 272 1283457024 134512640 135191968 4293144880 18446744073709551615 4159486366 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/16329/statm: 598 272 232 166 0 30 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 4784 [startup+0.708145 s] /proc/loadavg: 1.30 1.10 1.02 5/36 16331 /proc/meminfo: memFree=808800/1048576 swapFree=2094596/2097144 [pid=16328] ppid=16327 vsize=2392 CPUtime=0 /proc/16328/stat : 16328 (p2cudf-paranoid) S 16327 16328 3447 769 3447 4194304 367 0 0 0 0 0 0 0 18 0 1 0 528667866 2449408 263 1283457024 134512640 135191968 4287171408 18446744073709551615 4159003038 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/16328/statm: 598 263 223 166 0 30 0 [pid=16329] ppid=16328 vsize=2392 CPUtime=0.02 /proc/16329/stat : 16329 (p2cudf) S 16328 16328 3447 769 3447 4202496 376 2737 0 1 0 0 0 2 25 0 1 0 528667866 2449408 272 1283457024 134512640 135191968 4293144880 18446744073709551615 4159486366 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/16329/statm: 598 272 232 166 0 30 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 4784 [startup+1.50829 s] /proc/loadavg: 1.30 1.10 1.02 4/45 16351 /proc/meminfo: memFree=767436/1048576 swapFree=2094596/2097144 [pid=16328] ppid=16327 vsize=2392 CPUtime=0 /proc/16328/stat : 16328 (p2cudf-paranoid) S 16327 16328 3447 769 3447 4194304 367 0 0 0 0 0 0 0 18 0 1 0 528667866 2449408 263 1283457024 134512640 135191968 4287171408 18446744073709551615 4159003038 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/16328/statm: 598 263 223 166 0 30 0 [pid=16329] ppid=16328 vsize=2392 CPUtime=0.02 /proc/16329/stat : 16329 (p2cudf) S 16328 16328 3447 769 3447 4202496 376 2737 0 1 0 0 0 2 25 0 1 0 528667866 2449408 272 1283457024 134512640 135191968 4293144880 18446744073709551615 4159486366 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/16329/statm: 598 272 232 166 0 30 0 [pid=16342] ppid=16329 vsize=892556 CPUtime=1.47 /proc/16342/stat : 16342 (java) S 16329 16328 3447 769 3447 4202496 23057 0 1 0 141 6 0 0 25 0 10 0 528667869 913977344 18221 1283457024 134512640 134550932 4289674352 18446744073709551615 4160472210 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/16342/statm: 223139 18221 1430 10 0 220411 0 [pid=16342/tid=16343] ppid=16329 vsize=892556 CPUtime=0.78 /proc/16342/task/16343/stat : 16343 (java) R 16329 16328 3447 769 3447 4202560 9099 0 1 0 74 4 0 0 25 0 10 0 528667869 913977344 18221 1283457024 134512640 134550932 4289674352 18446744073709551615 103615274 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=16342/tid=16344] ppid=16329 vsize=892556 CPUtime=0 /proc/16342/task/16344/stat : 16344 (java) S 16329 16328 3447 769 3447 4202560 2 0 0 0 0 0 0 0 18 0 10 0 528667871 913977344 18221 1283457024 134512640 134550932 4289674352 18446744073709551615 4160486408 0 0 0 16800975 18446612133020136384 0 0 -1 0 0 0 0 [pid=16342/tid=16345] ppid=16329 vsize=892556 CPUtime=0 /proc/16342/task/16345/stat : 16345 (java) S 16329 16328 3447 769 3447 4202560 10 0 0 0 0 0 0 0 25 0 10 0 528667871 913977344 18221 1283457024 134512640 134550932 4289674352 18446744073709551615 4160485616 0 4 0 16800975 18446612133020136384 0 0 -1 0 0 0 0 [pid=16342/tid=16346] ppid=16329 vsize=892556 CPUtime=0 /proc/16342/task/16346/stat : 16346 (java) S 16329 16328 3447 769 3447 4202560 4 0 0 0 0 0 0 0 25 0 10 0 528667871 913977344 18221 1283457024 134512640 134550932 4289674352 18446744073709551615 4160485616 0 4 0 16800975 18446612133020136384 0 0 -1 0 0 0 0 [pid=16342/tid=16347] ppid=16329 vsize=892556 CPUtime=0 /proc/16342/task/16347/stat : 16347 (java) S 16329 16328 3447 769 3447 4202560 1 0 0 0 0 0 0 0 25 0 10 0 528667873 913977344 18221 1283457024 134512640 134550932 4289674352 18446744073709551615 4160493904 0 4 0 16800975 18446612133020136384 0 0 -1 0 0 0 0 [pid=16342/tid=16348] ppid=16329 vsize=892556 CPUtime=0.38 /proc/16342/task/16348/stat : 16348 (java) R 16329 16328 3447 769 3447 4202560 6898 0 0 0 38 0 0 0 22 0 10 0 528667873 913977344 18221 1283457024 134512640 134550932 4289674352 18446744073709551615 104163931 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=16342/tid=16349] ppid=16329 vsize=892556 CPUtime=0.29 /proc/16342/task/16349/stat : 16349 (java) R 16329 16328 3447 769 3447 4202560 6223 0 0 0 28 1 0 0 24 0 10 0 528667873 913977344 18221 1283457024 134512640 134550932 4289674352 18446744073709551615 104164090 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=16342/tid=16350] ppid=16329 vsize=892556 CPUtime=0 /proc/16342/task/16350/stat : 16350 (java) S 16329 16328 3447 769 3447 4202560 0 0 0 0 0 0 0 0 25 0 10 0 528667873 913977344 18221 1283457024 134512640 134550932 4289674352 18446744073709551615 4160485616 0 4 0 16800975 18446612133020136384 0 0 -1 0 0 0 0 [pid=16342/tid=16351] ppid=16329 vsize=892556 CPUtime=0 /proc/16342/task/16351/stat : 16351 (java) S 16329 16328 3447 769 3447 4202560 0 0 0 0 0 0 0 0 15 0 10 0 528667873 913977344 18221 1283457024 134512640 134550932 4289674352 18446744073709551615 4160486408 0 4 0 16800975 18446612133020136384 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 897340 [startup+3.10853 s] /proc/loadavg: 1.43 1.13 1.03 5/45 16351 /proc/meminfo: memFree=710892/1048576 swapFree=2094596/2097144 [pid=16328] ppid=16327 vsize=2392 CPUtime=0 /proc/16328/stat : 16328 (p2cudf-paranoid) S 16327 16328 3447 769 3447 4194304 367 0 0 0 0 0 0 0 18 0 1 0 528667866 2449408 263 1283457024 134512640 135191968 4287171408 18446744073709551615 4159003038 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/16328/statm: 598 263 223 166 0 30 0 [pid=16329] ppid=16328 vsize=2392 CPUtime=0.02 /proc/16329/stat : 16329 (p2cudf) S 16328 16328 3447 769 3447 4202496 376 2737 0 1 0 0 0 2 25 0 1 0 528667866 2449408 272 1283457024 134512640 135191968 4293144880 18446744073709551615 4159486366 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/16329/statm: 598 272 232 166 0 30 0 [pid=16342] ppid=16329 vsize=906296 CPUtime=3.08 /proc/16342/stat : 16342 (java) S 16329 16328 3447 769 3447 4202496 44711 0 1 0 290 18 0 0 25 0 10 0 528667869 928047104 36071 1283457024 134512640 134550932 4289674352 18446744073709551615 4160472210 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/16342/statm: 226574 36071 1450 10 0 223846 0 [pid=16342/tid=16343] ppid=16329 vsize=906296 CPUtime=1.49 /proc/16342/task/16343/stat : 16343 (java) R 16329 16328 3447 769 3447 4202560 18395 0 1 0 141 8 0 0 25 0 10 0 528667869 928047104 36071 1283457024 134512640 134550932 4289674352 18446744073709551615 4107818374 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=16342/tid=16344] ppid=16329 vsize=906296 CPUtime=0.09 /proc/16342/task/16344/stat : 16344 (java) S 16329 16328 3447 769 3447 4202560 4152 0 0 0 7 2 0 0 16 0 10 0 528667871 928047104 36071 1283457024 134512640 134550932 4289674352 18446744073709551615 4160486408 0 0 0 16800975 18446612133020136384 0 0 -1 0 0 0 0 [pid=16342/tid=16345] ppid=16329 vsize=906296 CPUtime=0 /proc/16342/task/16345/stat : 16345 (java) S 16329 16328 3447 769 3447 4202560 10 0 0 0 0 0 0 0 18 0 10 0 528667871 928047104 36071 1283457024 134512640 134550932 4289674352 18446744073709551615 4160485616 0 4 0 16800975 18446612133020136384 0 0 -1 0 0 0 0 [pid=16342/tid=16346] ppid=16329 vsize=906296 CPUtime=0 /proc/16342/task/16346/stat : 16346 (java) S 16329 16328 3447 769 3447 4202560 7 0 0 0 0 0 0 0 18 0 10 0 528667871 928047104 36071 1283457024 134512640 134550932 4289674352 18446744073709551615 4160485616 0 4 0 16800975 18446612133020136384 0 0 -1 0 0 0 0 [pid=16342/tid=16347] ppid=16329 vsize=906296 CPUtime=0 /proc/16342/task/16347/stat : 16347 (java) S 16329 16328 3447 769 3447 4202560 1 0 0 0 0 0 0 0 25 0 10 0 528667873 928047104 36071 1283457024 134512640 134550932 4289674352 18446744073709551615 4160493904 0 4 0 16800975 18446612133020136384 0 0 -1 0 0 0 0 [pid=16342/tid=16348] ppid=16329 vsize=906296 CPUtime=0.78 /proc/16342/task/16348/stat : 16348 (java) S 16329 16328 3447 769 3447 4202560 10685 0 0 0 76 2 0 0 22 0 10 0 528667873 928047104 36071 1283457024 134512640 134550932 4289674352 18446744073709551615 4160485616 0 4 0 16800975 18446612133020136384 0 0 -1 0 0 0 0 [pid=16342/tid=16349] ppid=16329 vsize=906296 CPUtime=0.68 /proc/16342/task/16349/stat : 16349 (java) R 16329 16328 3447 769 3447 4202560 10641 0 0 0 64 4 0 0 25 0 10 0 528667873 928047104 36071 1283457024 134512640 134550932 4289674352 18446744073709551615 4160485616 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=16342/tid=16350] ppid=16329 vsize=906296 CPUtime=0 /proc/16342/task/16350/stat : 16350 (java) S 16329 16328 3447 769 3447 4202560 0 0 0 0 0 0 0 0 25 0 10 0 528667873 928047104 36071 1283457024 134512640 134550932 4289674352 18446744073709551615 4160485616 0 4 0 16800975 18446612133020136384 0 0 -1 0 0 0 0 [pid=16342/tid=16351] ppid=16329 vsize=906296 CPUtime=0 /proc/16342/task/16351/stat : 16351 (java) S 16329 16328 3447 769 3447 4202560 0 0 0 0 0 0 0 0 15 0 10 0 528667873 928047104 36071 1283457024 134512640 134550932 4289674352 18446744073709551615 4160486408 0 4 0 16800975 18446612133020136384 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 911080 [startup+6.30899 s] /proc/loadavg: 1.43 1.13 1.03 3/46 16352 /proc/meminfo: memFree=644544/1048576 swapFree=2094596/2097144 [pid=16328] ppid=16327 vsize=2392 CPUtime=0 /proc/16328/stat : 16328 (p2cudf-paranoid) S 16327 16328 3447 769 3447 4194304 367 0 0 0 0 0 0 0 18 0 1 0 528667866 2449408 263 1283457024 134512640 135191968 4287171408 18446744073709551615 4159003038 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/16328/statm: 598 263 223 166 0 30 0 [pid=16329] ppid=16328 vsize=2392 CPUtime=0.02 /proc/16329/stat : 16329 (p2cudf) S 16328 16328 3447 769 3447 4202496 376 2737 0 1 0 0 0 2 25 0 1 0 528667866 2449408 272 1283457024 134512640 135191968 4293144880 18446744073709551615 4159486366 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/16329/statm: 598 272 232 166 0 30 0 [pid=16342] ppid=16329 vsize=906616 CPUtime=6.26 /proc/16342/stat : 16342 (java) S 16329 16328 3447 769 3447 4202496 53251 0 1 0 604 22 0 0 25 0 11 0 528667869 928374784 42315 1283457024 134512640 134550932 4289674352 18446744073709551615 4160472210 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/16342/statm: 226654 42315 1499 10 0 223926 0 [pid=16342/tid=16343] ppid=16329 vsize=906616 CPUtime=2.82 /proc/16342/task/16343/stat : 16343 (java) R 16329 16328 3447 769 3447 4202560 18547 0 1 0 272 10 0 0 25 0 11 0 528667869 928374784 42315 1283457024 134512640 134550932 4289674352 18446744073709551615 4108934760 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=16342/tid=16344] ppid=16329 vsize=906616 CPUtime=0.23 /proc/16342/task/16344/stat : 16344 (java) R 16329 16328 3447 769 3447 4202560 9900 0 0 0 19 4 0 0 15 0 11 0 528667871 928374784 42315 1283457024 134512640 134550932 4289674352 18446744073709551615 4159813207 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=16342/tid=16345] ppid=16329 vsize=906616 CPUtime=0 /proc/16342/task/16345/stat : 16345 (java) S 16329 16328 3447 769 3447 4202560 10 0 0 0 0 0 0 0 18 0 11 0 528667871 928374784 42315 1283457024 134512640 134550932 4289674352 18446744073709551615 4160485616 0 4 0 16800975 18446612133020136384 0 0 -1 0 0 0 0 [pid=16342/tid=16346] ppid=16329 vsize=906616 CPUtime=0 /proc/16342/task/16346/stat : 16346 (java) S 16329 16328 3447 769 3447 4202560 7 0 0 0 0 0 0 0 18 0 11 0 528667871 928374784 42315 1283457024 134512640 134550932 4289674352 18446744073709551615 4160485616 0 4 0 16800975 18446612133020136384 0 0 -1 0 0 0 0 [pid=16342/tid=16347] ppid=16329 vsize=906616 CPUtime=0 /proc/16342/task/16347/stat : 16347 (java) S 16329 16328 3447 769 3447 4202560 1 0 0 0 0 0 0 0 25 0 11 0 528667873 928374784 42315 1283457024 134512640 134550932 4289674352 18446744073709551615 4160493904 0 4 0 16800975 18446612133020136384 0 0 -1 0 0 0 0 [pid=16342/tid=16348] ppid=16329 vsize=906616 CPUtime=1.92 /proc/16342/task/16348/stat : 16348 (java) S 16329 16328 3447 769 3447 4202560 10888 0 0 0 190 2 0 0 16 0 11 0 528667873 928374784 42315 1283457024 134512640 134550932 4289674352 18446744073709551615 4160485616 0 4 0 16800975 18446612133020136384 0 0 -1 0 0 0 0 [pid=16342/tid=16349] ppid=16329 vsize=906616 CPUtime=1.28 /proc/16342/task/16349/stat : 16349 (java) S 16329 16328 3447 769 3447 4202560 13073 0 0 0 122 6 0 0 24 0 11 0 528667873 928374784 42315 1283457024 134512640 134550932 4289674352 18446744073709551615 4160485616 0 4 0 16800975 18446612133020136384 0 0 -1 0 0 0 0 [pid=16342/tid=16350] ppid=16329 vsize=906616 CPUtime=0 /proc/16342/task/16350/stat : 16350 (java) S 16329 16328 3447 769 3447 4202560 0 0 0 0 0 0 0 0 25 0 11 0 528667873 928374784 42315 1283457024 134512640 134550932 4289674352 18446744073709551615 4160485616 0 4 0 16800975 18446612133020136384 0 0 -1 0 0 0 0 [pid=16342/tid=16351] ppid=16329 vsize=906616 CPUtime=0 /proc/16342/task/16351/stat : 16351 (java) S 16329 16328 3447 769 3447 4202560 0 0 0 0 0 0 0 0 15 0 11 0 528667873 928374784 42315 1283457024 134512640 134550932 4289674352 18446744073709551615 4160486408 0 4 0 16800975 18446612133020136384 0 0 -1 0 0 0 0 [pid=16342/tid=16352] ppid=16329 vsize=906616 CPUtime=0 /proc/16342/task/16352/stat : 16352 (java) S 16329 16328 3447 769 3447 4202560 5 0 0 0 0 0 0 0 23 0 11 0 528668367 928374784 42315 1283457024 134512640 134550932 4289674352 18446744073709551615 4160486408 0 4 0 16800975 18446612133020136384 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 911400 Solver just ended. Dumping a history of the last processes samples [startup+6.70655 s] /proc/loadavg: 1.43 1.13 1.03 1/47 16353 /proc/meminfo: memFree=644536/1048576 swapFree=2094596/2097144 [pid=16328] ppid=16327 vsize=2392 CPUtime=0 /proc/16328/stat : 16328 (p2cudf-paranoid) S 16327 16328 3447 769 3447 4194304 367 0 0 0 0 0 0 0 18 0 1 0 528667866 2449408 263 1283457024 134512640 135191968 4287171408 18446744073709551615 4159003038 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/16328/statm: 598 263 223 166 0 30 0 [pid=16329] ppid=16328 vsize=2392 CPUtime=0.02 /proc/16329/stat : 16329 (p2cudf) S 16328 16328 3447 769 3447 4202496 376 2737 0 1 0 0 0 2 25 0 1 0 528667866 2449408 272 1283457024 134512640 135191968 4293144880 18446744073709551615 4159486366 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/16329/statm: 598 272 232 166 0 30 0 [pid=16342] ppid=16329 vsize=903160 CPUtime=6.42 /proc/16342/stat : 16342 (java) S 16329 16328 3447 769 3447 4202496 53271 0 1 0 620 22 0 0 25 0 12 0 528667869 924835840 41391 1283457024 134512640 134550932 4289674352 18446744073709551615 4160472210 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/16342/statm: 225790 41391 1499 10 0 223062 0 [pid=16342/tid=16343] ppid=16329 vsize=903160 CPUtime=2.91 /proc/16342/task/16343/stat : 16343 (java) S 16329 16328 3447 769 3447 4202560 18554 0 1 0 281 10 0 0 25 0 12 0 528667869 924835840 41391 1283457024 134512640 134550932 4289674352 18446744073709551615 4160485616 0 4 0 16800975 18446612133020136384 0 0 -1 0 0 0 0 [pid=16342/tid=16344] ppid=16329 vsize=903160 CPUtime=0.23 /proc/16342/task/16344/stat : 16344 (java) S 16329 16328 3447 769 3447 4202560 9900 0 0 0 19 4 0 0 15 0 12 0 528667871 924835840 41391 1283457024 134512640 134550932 4289674352 18446744073709551615 4160486408 0 0 0 16800975 18446612133020136384 0 0 -1 0 0 0 0 [pid=16342/tid=16345] ppid=16329 vsize=903160 CPUtime=0 /proc/16342/task/16345/stat : 16345 (java) S 16329 16328 3447 769 3447 4202560 10 0 0 0 0 0 0 0 18 0 12 0 528667871 924835840 41391 1283457024 134512640 134550932 4289674352 18446744073709551615 4160485616 0 4 0 16800975 18446612133020136384 0 0 -1 0 0 0 0 [pid=16342/tid=16346] ppid=16329 vsize=903160 CPUtime=0 /proc/16342/task/16346/stat : 16346 (java) S 16329 16328 3447 769 3447 4202560 7 0 0 0 0 0 0 0 18 0 12 0 528667871 924835840 41391 1283457024 134512640 134550932 4289674352 18446744073709551615 4160485616 0 4 0 16800975 18446612133020136384 0 0 -1 0 0 0 0 [pid=16342/tid=16347] ppid=16329 vsize=903160 CPUtime=0 /proc/16342/task/16347/stat : 16347 (java) S 16329 16328 3447 769 3447 4202560 1 0 0 0 0 0 0 0 25 0 12 0 528667873 924835840 41391 1283457024 134512640 134550932 4289674352 18446744073709551615 4160493904 0 4 0 16800975 18446612133020136384 0 0 -1 0 0 0 0 [pid=16342/tid=16348] ppid=16329 vsize=903160 CPUtime=1.95 /proc/16342/task/16348/stat : 16348 (java) S 16329 16328 3447 769 3447 4202560 10894 0 0 0 193 2 0 0 15 0 12 0 528667873 924835840 41391 1283457024 134512640 134550932 4289674352 18446744073709551615 4160485616 0 4 0 16800975 18446612133020136384 0 0 -1 0 0 0 0 [pid=16342/tid=16349] ppid=16329 vsize=903160 CPUtime=1.31 /proc/16342/task/16349/stat : 16349 (java) S 16329 16328 3447 769 3447 4202560 13076 0 0 0 125 6 0 0 24 0 12 0 528667873 924835840 41391 1283457024 134512640 134550932 4289674352 18446744073709551615 4160485616 0 4 0 16800975 18446612133020136384 0 0 -1 0 0 0 0 [pid=16342/tid=16350] ppid=16329 vsize=903160 CPUtime=0 /proc/16342/task/16350/stat : 16350 (java) S 16329 16328 3447 769 3447 4202560 0 0 0 0 0 0 0 0 25 0 12 0 528667873 924835840 41391 1283457024 134512640 134550932 4289674352 18446744073709551615 4160485616 0 4 0 16800975 18446612133020136384 0 0 -1 0 0 0 0 [pid=16342/tid=16351] ppid=16329 vsize=903160 CPUtime=0 /proc/16342/task/16351/stat : 16351 (java) S 16329 16328 3447 769 3447 4202560 0 0 0 0 0 0 0 0 15 0 12 0 528667873 924835840 41391 1283457024 134512640 134550932 4289674352 18446744073709551615 4160486408 0 4 0 16800975 18446612133020136384 0 0 -1 0 0 0 0 [pid=16342/tid=16352] ppid=16329 vsize=903160 CPUtime=0 /proc/16342/task/16352/stat : 16352 (java) S 16329 16328 3447 769 3447 4202560 5 0 0 0 0 0 0 0 23 0 12 0 528668367 924835840 41391 1283457024 134512640 134550932 4289674352 18446744073709551615 4160486408 0 4 0 16800975 18446612133020136384 0 0 -1 0 0 0 0 [pid=16342/tid=16353] ppid=16329 vsize=903160 CPUtime=0 /proc/16342/task/16353/stat : 16353 (java) S 16329 16328 3447 769 3447 4202560 4 0 0 0 0 0 0 0 25 0 12 0 528668513 924835840 41391 1283457024 134512640 134550932 4289674352 18446744073709551615 4160486408 0 4 0 16800975 18446612133020136384 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 6.44 Current children cumulated vsize (KiB) 907944 [startup+7.1105 s] /proc/loadavg: 1.43 1.13 1.03 1/47 16353 /proc/meminfo: memFree=644536/1048576 swapFree=2094596/2097144 [pid=16328] ppid=16327 vsize=2392 CPUtime=0 /proc/16328/stat : 16328 (p2cudf-paranoid) S 16327 16328 3447 769 3447 4194304 367 0 0 0 0 0 0 0 18 0 1 0 528667866 2449408 263 1283457024 134512640 135191968 4287171408 18446744073709551615 4159003038 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/16328/statm: 598 263 223 166 0 30 0 [pid=16329] ppid=16328 vsize=2392 CPUtime=0.02 /proc/16329/stat : 16329 (p2cudf) S 16328 16328 3447 769 3447 4202496 376 2737 0 1 0 0 0 2 25 0 1 0 528667866 2449408 272 1283457024 134512640 135191968 4293144880 18446744073709551615 4159486366 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/16329/statm: 598 272 232 166 0 30 0 [pid=16342] ppid=16329 vsize=903160 CPUtime=6.56 /proc/16342/stat : 16342 (java) S 16329 16328 3447 769 3447 4202496 53286 0 1 0 630 26 0 0 25 0 12 0 528667869 924835840 41406 1283457024 134512640 134550932 4289674352 18446744073709551615 4160472210 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/16342/statm: 225790 41406 1499 10 0 223062 0 [pid=16342/tid=16343] ppid=16329 vsize=903160 CPUtime=2.91 /proc/16342/task/16343/stat : 16343 (java) S 16329 16328 3447 769 3447 4202560 18554 0 1 0 281 10 0 0 25 0 12 0 528667869 924835840 41406 1283457024 134512640 134550932 4289674352 18446744073709551615 4160485616 0 4 0 16800975 18446612133020136384 0 0 -1 0 0 0 0 [pid=16342/tid=16344] ppid=16329 vsize=903160 CPUtime=0.23 /proc/16342/task/16344/stat : 16344 (java) S 16329 16328 3447 769 3447 4202560 9900 0 0 0 19 4 0 0 15 0 12 0 528667871 924835840 41406 1283457024 134512640 134550932 4289674352 18446744073709551615 4160486408 0 0 0 16800975 18446612133020136384 0 0 -1 0 0 0 0 [pid=16342/tid=16345] ppid=16329 vsize=903160 CPUtime=0 /proc/16342/task/16345/stat : 16345 (java) S 16329 16328 3447 769 3447 4202560 10 0 0 0 0 0 0 0 18 0 12 0 528667871 924835840 41406 1283457024 134512640 134550932 4289674352 18446744073709551615 4160485616 0 4 0 16800975 18446612133020136384 0 0 -1 0 0 0 0 [pid=16342/tid=16346] ppid=16329 vsize=903160 CPUtime=0 /proc/16342/task/16346/stat : 16346 (java) S 16329 16328 3447 769 3447 4202560 7 0 0 0 0 0 0 0 18 0 12 0 528667871 924835840 41406 1283457024 134512640 134550932 4289674352 18446744073709551615 4160485616 0 4 0 16800975 18446612133020136384 0 0 -1 0 0 0 0 [pid=16342/tid=16347] ppid=16329 vsize=903160 CPUtime=0 /proc/16342/task/16347/stat : 16347 (java) S 16329 16328 3447 769 3447 4202560 1 0 0 0 0 0 0 0 25 0 12 0 528667873 924835840 41406 1283457024 134512640 134550932 4289674352 18446744073709551615 4160493904 0 4 0 16800975 18446612133020136384 0 0 -1 0 0 0 0 [pid=16342/tid=16348] ppid=16329 vsize=903160 CPUtime=1.95 /proc/16342/task/16348/stat : 16348 (java) S 16329 16328 3447 769 3447 4202560 10894 0 0 0 193 2 0 0 15 0 12 0 528667873 924835840 41406 1283457024 134512640 134550932 4289674352 18446744073709551615 4160485616 0 4 0 16800975 18446612133020136384 0 0 -1 0 0 0 0 [pid=16342/tid=16349] ppid=16329 vsize=903160 CPUtime=1.38 /proc/16342/task/16349/stat : 16349 (java) R 16329 16328 3447 769 3447 4202560 13090 0 0 0 132 6 0 0 18 0 12 0 528667873 924835840 41406 1283457024 134512640 134550932 4289674352 18446744073709551615 103132254 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=16342/tid=16350] ppid=16329 vsize=903160 CPUtime=0 /proc/16342/task/16350/stat : 16350 (java) S 16329 16328 3447 769 3447 4202560 0 0 0 0 0 0 0 0 25 0 12 0 528667873 924835840 41406 1283457024 134512640 134550932 4289674352 18446744073709551615 4160485616 0 4 0 16800975 18446612133020136384 0 0 -1 0 0 0 0 [pid=16342/tid=16351] ppid=16329 vsize=903160 CPUtime=0 /proc/16342/task/16351/stat : 16351 (java) S 16329 16328 3447 769 3447 4202560 0 0 0 0 0 0 0 0 15 0 12 0 528667873 924835840 41406 1283457024 134512640 134550932 4289674352 18446744073709551615 4160486408 0 4 0 16800975 18446612133020136384 0 0 -1 0 0 0 0 [pid=16342/tid=16352] ppid=16329 vsize=903160 CPUtime=0 /proc/16342/task/16352/stat : 16352 (java) S 16329 16328 3447 769 3447 4202560 5 0 0 0 0 0 0 0 23 0 12 0 528668367 924835840 41406 1283457024 134512640 134550932 4289674352 18446744073709551615 4160486408 0 4 0 16800975 18446612133020136384 0 0 -1 0 0 0 0 [pid=16342/tid=16353] ppid=16329 vsize=903160 CPUtime=0.06 /proc/16342/task/16353/stat : 16353 (java) R 16329 16328 3447 769 3447 4202560 5 0 0 0 3 3 0 0 21 0 12 0 528668513 924835840 41406 1283457024 134512640 134550932 4289674352 18446744073709551615 4160496327 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 6.58 Current children cumulated vsize (KiB) 907944 Child status: 0 Real time (s): 7.19616 CPU time (s): 6.64842 CPU user time (s): 6.3444 CPU system time (s): 0.304019 CPU usage (%): 92.3884 Max. virtual memory (cumulated for all children) (KiB): 917624 getrusage(RUSAGE_CHILDREN,...) data: user time used= 6.3444 system time used= 0.304019 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 56799 page faults= 2 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 610 involuntary context switches= 617 runsolver used 0.008 second user time and 0 second system time The end