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/apt-pbo-paranoid-1.0.5/9bb87ab4-4c36-11df-bc1e-00163e7a6f5e.cudf.debian-dudf.log.runsolver ./apt-pbo-paranoid-1.0.5 /home/misc2010/data/2010/debian-dudf//9bb87ab4-4c36-11df-bc1e-00163e7a6f5e.cudf /home/misc2010/tmp/201007051233/apt-pbo-paranoid-1.0.5/9bb87ab4-4c36-11df-bc1e-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.12 1.02 1.00 3/34 14999 /proc/meminfo: memFree=871648/1048576 swapFree=2094600/2097144 [pid=14997] ppid=14996 vsize=2384 CPUtime=0 /proc/14997/stat : 14997 (sh) S 14996 14997 3447 769 3447 4202496 388 308 0 0 0 0 0 0 25 0 1 0 528451940 2441216 265 1283457024 134512640 135191968 4290068000 18446744073709551615 4159572382 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/14997/statm: 596 265 227 166 0 28 0 [pid=14999] ppid=14997 vsize=3520 CPUtime=0.01 /proc/14999/stat : 14999 (apt-pbo) R 14997 14997 3447 769 3447 4202496 512 0 0 0 0 1 0 0 25 0 1 0 528451940 3604480 444 1283457024 134512640 135758360 4289996112 18446744073709551615 4159467637 0 0 128 0 0 0 0 17 0 0 0 0 /proc/14999/statm: 880 444 346 305 0 155 0 [startup+0.205005 s] /proc/loadavg: 1.12 1.02 1.00 3/34 14999 /proc/meminfo: memFree=871648/1048576 swapFree=2094600/2097144 [pid=14997] ppid=14996 vsize=2384 CPUtime=0 /proc/14997/stat : 14997 (sh) S 14996 14997 3447 769 3447 4202496 388 308 0 0 0 0 0 0 25 0 1 0 528451940 2441216 265 1283457024 134512640 135191968 4290068000 18446744073709551615 4159572382 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/14997/statm: 596 265 227 166 0 28 0 [pid=14999] ppid=14997 vsize=8584 CPUtime=0.19 /proc/14999/stat : 14999 (apt-pbo) R 14997 14997 3447 769 3447 4202496 1944 725 0 0 17 2 0 0 25 0 1 0 528451940 8790016 1530 1283457024 134512640 135758360 4289996112 18446744073709551615 134893755 0 0 128 0 0 0 0 17 0 0 0 0 /proc/14999/statm: 2146 1530 630 305 0 919 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 10968 [startup+0.307084 s] /proc/loadavg: 1.12 1.02 1.00 3/34 14999 /proc/meminfo: memFree=871648/1048576 swapFree=2094600/2097144 [pid=14997] ppid=14996 vsize=2384 CPUtime=0 /proc/14997/stat : 14997 (sh) S 14996 14997 3447 769 3447 4202496 388 308 0 0 0 0 0 0 25 0 1 0 528451940 2441216 265 1283457024 134512640 135191968 4290068000 18446744073709551615 4159572382 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/14997/statm: 596 265 227 166 0 28 0 [pid=14999] ppid=14997 vsize=9384 CPUtime=0.3 /proc/14999/stat : 14999 (apt-pbo) R 14997 14997 3447 769 3447 4202496 2129 725 0 0 28 2 0 0 25 0 1 0 528451940 9609216 1715 1283457024 134512640 135758360 4289996112 18446744073709551615 134966096 0 0 128 0 0 0 0 17 0 0 0 0 /proc/14999/statm: 2346 1715 630 305 0 1119 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 11768 [startup+0.4071 s] /proc/loadavg: 1.12 1.02 1.00 3/34 14999 /proc/meminfo: memFree=871648/1048576 swapFree=2094600/2097144 [pid=14997] ppid=14996 vsize=2384 CPUtime=0 /proc/14997/stat : 14997 (sh) S 14996 14997 3447 769 3447 4202496 388 308 0 0 0 0 0 0 25 0 1 0 528451940 2441216 265 1283457024 134512640 135191968 4290068000 18446744073709551615 4159572382 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/14997/statm: 596 265 227 166 0 28 0 [pid=14999] ppid=14997 vsize=10052 CPUtime=0.39 /proc/14999/stat : 14999 (apt-pbo) R 14997 14997 3447 769 3447 4202496 2305 725 0 0 35 4 0 0 25 0 1 0 528451940 10293248 1867 1283457024 134512640 135758360 4289996112 18446744073709551615 134888694 0 0 128 0 0 0 0 17 0 0 0 0 /proc/14999/statm: 2513 1867 630 305 0 1286 0 Current children cumulated CPU time (s) 0.39 Current children cumulated vsize (KiB) 12436 [startup+0.707145 s] /proc/loadavg: 1.12 1.02 1.00 3/34 14999 /proc/meminfo: memFree=871648/1048576 swapFree=2094600/2097144 [pid=14997] ppid=14996 vsize=2384 CPUtime=0 /proc/14997/stat : 14997 (sh) S 14996 14997 3447 769 3447 4202496 388 308 0 0 0 0 0 0 25 0 1 0 528451940 2441216 265 1283457024 134512640 135191968 4290068000 18446744073709551615 4159572382 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/14997/statm: 596 265 227 166 0 28 0 [pid=14999] ppid=14997 vsize=12044 CPUtime=0.69 /proc/14999/stat : 14999 (apt-pbo) R 14997 14997 3447 769 3447 4202496 2821 725 0 0 65 4 0 0 25 0 1 0 528451940 12333056 2368 1283457024 134512640 135758360 4289996112 18446744073709551615 135510251 0 0 128 0 0 0 0 17 0 0 0 0 /proc/14999/statm: 3011 2368 630 305 0 1784 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14428 [startup+1.50728 s] /proc/loadavg: 1.11 1.02 1.00 3/35 15002 /proc/meminfo: memFree=856376/1048576 swapFree=2094600/2097144 [pid=14997] ppid=14996 vsize=2384 CPUtime=0 /proc/14997/stat : 14997 (sh) S 14996 14997 3447 769 3447 4202496 388 308 0 0 0 0 0 0 25 0 1 0 528451940 2441216 265 1283457024 134512640 135191968 4290068000 18446744073709551615 4159572382 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/14997/statm: 596 265 227 166 0 28 0 [pid=14999] ppid=14997 vsize=17204 CPUtime=1.49 /proc/14999/stat : 14999 (apt-pbo) R 14997 14997 3447 769 3447 4202496 4142 725 0 0 144 5 0 0 25 0 1 0 528451940 17616896 3678 1283457024 134512640 135758360 4289996112 18446744073709551615 134716210 0 0 128 0 0 0 0 17 0 0 0 0 /proc/14999/statm: 4301 3678 630 305 0 3074 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 19588 [startup+3.10769 s] /proc/loadavg: 1.11 1.02 1.00 2/35 15002 /proc/meminfo: memFree=843388/1048576 swapFree=2094600/2097144 [pid=14997] ppid=14996 vsize=2384 CPUtime=0 /proc/14997/stat : 14997 (sh) S 14996 14997 3447 769 3447 4202496 388 308 0 0 0 0 0 0 25 0 1 0 528451940 2441216 265 1283457024 134512640 135191968 4290068000 18446744073709551615 4159572382 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/14997/statm: 596 265 227 166 0 28 0 [pid=14999] ppid=14997 vsize=27624 CPUtime=3.08 /proc/14999/stat : 14999 (apt-pbo) R 14997 14997 3447 769 3447 4202496 6753 725 0 0 300 8 0 0 25 0 1 0 528451940 28286976 6281 1283457024 134512640 135758360 4289996112 18446744073709551615 134966096 0 0 128 0 0 0 0 17 0 0 0 0 /proc/14999/statm: 6906 6281 630 305 0 5679 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 30008 [startup+6.30837 s] /proc/loadavg: 1.11 1.02 1.00 2/35 15002 /proc/meminfo: memFree=805964/1048576 swapFree=2094600/2097144 [pid=14997] ppid=14996 vsize=2384 CPUtime=0 /proc/14997/stat : 14997 (sh) S 14996 14997 3447 769 3447 4202496 388 308 0 0 0 0 0 0 25 0 1 0 528451940 2441216 265 1283457024 134512640 135191968 4290068000 18446744073709551615 4159572382 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/14997/statm: 596 265 227 166 0 28 0 [pid=14999] ppid=14997 vsize=48380 CPUtime=6.27 /proc/14999/stat : 14999 (apt-pbo) R 14997 14997 3447 769 3447 4202496 11929 725 0 0 610 17 0 0 25 0 1 0 528451940 49541120 11456 1283457024 134512640 135758360 4289996112 18446744073709551615 135045810 0 0 128 0 0 0 0 17 0 0 0 0 /proc/14999/statm: 12095 11456 630 305 0 10868 0 Current children cumulated CPU time (s) 6.27 Current children cumulated vsize (KiB) 50764 [startup+12.7023 s] /proc/loadavg: 1.10 1.02 1.00 2/37 15015 /proc/meminfo: memFree=696428/1048576 swapFree=2094600/2097144 [pid=14997] ppid=14996 vsize=2384 CPUtime=0 /proc/14997/stat : 14997 (sh) S 14996 14997 3447 769 3447 4202496 388 308 0 0 0 0 0 0 25 0 1 0 528451940 2441216 265 1283457024 134512640 135191968 4290068000 18446744073709551615 4159572382 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/14997/statm: 596 265 227 166 0 28 0 [pid=14999] ppid=14997 vsize=95956 CPUtime=10.73 /proc/14999/stat : 14999 (apt-pbo) S 14997 14997 3447 769 3447 4202496 24555 12083 0 399 851 27 173 22 18 0 1 0 528451940 98258944 23068 1283457024 134512640 135758360 4289996112 18446744073709551615 4160374094 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/14999/statm: 23989 23068 7282 305 0 15812 0 [pid=15012] ppid=14999 vsize=2392 CPUtime=0.01 /proc/15012/stat : 15012 (apt-get.sh) S 14999 14997 3447 769 3447 4202496 392 612 0 0 0 1 0 0 19 0 1 0 528453071 2449408 264 1283457024 134512640 135191968 4287167296 18446744073709551615 4159048094 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/15012/statm: 598 264 224 166 0 30 0 [pid=15015] ppid=15012 vsize=34268 CPUtime=1.37 /proc/15015/stat : 15015 (apt-get) R 15012 14997 3447 769 3447 4202496 7858 0 0 0 130 7 0 0 25 0 1 0 528453072 35090432 7741 1283457024 134512640 134646397 4291114768 18446744073709551615 4156802576 0 0 4096 134217728 0 0 0 17 0 0 0 0 /proc/15015/statm: 8567 7741 6992 33 0 741 0 Current children cumulated CPU time (s) 12.11 Current children cumulated vsize (KiB) 135000 [startup+25.5079 s] /proc/loadavg: 1.08 1.02 1.00 2/36 15016 /proc/meminfo: memFree=679688/1048576 swapFree=2094600/2097144 [pid=14997] ppid=14996 vsize=2384 CPUtime=0 /proc/14997/stat : 14997 (sh) S 14996 14997 3447 769 3447 4202496 388 308 0 0 0 0 0 0 25 0 1 0 528451940 2441216 265 1283457024 134512640 135191968 4290068000 18446744073709551615 4159572382 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/14997/statm: 596 265 227 166 0 28 0 [pid=14999] ppid=14997 vsize=101496 CPUtime=19.25 /proc/14999/stat : 14999 (apt-pbo) R 14997 14997 3447 769 3447 4202496 26464 20994 0 399 1338 32 500 55 25 0 1 0 528451940 103931904 24449 1283457024 134512640 135758360 4289996112 18446744073709551615 134893856 0 0 128 0 0 0 0 17 0 0 0 0 /proc/14999/statm: 25374 24449 7289 305 0 17197 0 [pid=15016] ppid=14999 vsize=0 CPUtime=5.6 /proc/15016/stat : 15016 (wbo) Z 14999 14997 3447 769 3447 4202508 10861 0 13 0 550 10 0 0 25 0 1 0 528453434 0 0 1283457024 0 0 0 0 0 0 0 0 3 18446744071564254338 0 0 17 0 0 0 0 /proc/15016/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 24.85 Current children cumulated vsize (KiB) 103880 [startup+51.1089 s] /proc/loadavg: 1.05 1.01 1.00 2/36 15021 /proc/meminfo: memFree=601188/1048576 swapFree=2094600/2097144 [pid=14997] ppid=14996 vsize=2384 CPUtime=0 /proc/14997/stat : 14997 (sh) S 14996 14997 3447 769 3447 4202496 388 308 0 0 0 0 0 0 25 0 1 0 528451940 2441216 265 1283457024 134512640 135191968 4290068000 18446744073709551615 4159572382 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/14997/statm: 596 265 227 166 0 28 0 [pid=14999] ppid=14997 vsize=101496 CPUtime=31.27 /proc/14999/stat : 14999 (apt-pbo) S 14997 14997 3447 769 3447 4202496 27832 40942 0 412 1445 34 1542 106 18 0 1 0 528451940 103931904 24459 1283457024 134512640 135758360 4289996112 18446744073709551615 4160374094 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/14999/statm: 25374 24459 7289 305 0 17197 0 [pid=15021] ppid=14999 vsize=69312 CPUtime=19.17 /proc/15021/stat : 15021 (wbo) R 14999 14997 3447 769 3447 4202496 26126 0 0 0 1903 14 0 0 25 0 1 0 528455130 70975488 16825 1283457024 134512640 135709839 4286919488 18446744073709551615 134606244 0 0 0 3 0 0 0 17 0 0 0 0 /proc/15021/statm: 17328 16825 132 293 0 17033 0 Current children cumulated CPU time (s) 50.44 Current children cumulated vsize (KiB) 173192 [startup+102.307 s] /proc/loadavg: 1.02 1.01 1.00 3/36 15021 /proc/meminfo: memFree=443212/1048576 swapFree=2094600/2097144 [pid=14997] ppid=14996 vsize=2384 CPUtime=0 /proc/14997/stat : 14997 (sh) S 14996 14997 3447 769 3447 4202496 388 308 0 0 0 0 0 0 25 0 1 0 528451940 2441216 265 1283457024 134512640 135191968 4290068000 18446744073709551615 4159572382 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/14997/statm: 596 265 227 166 0 28 0 [pid=14999] ppid=14997 vsize=101496 CPUtime=31.32 /proc/14999/stat : 14999 (apt-pbo) S 14997 14997 3447 769 3447 4202496 27832 40942 0 412 1449 35 1542 106 18 0 1 0 528451940 103931904 24459 1283457024 134512640 135758360 4289996112 18446744073709551615 4160374094 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/14999/statm: 25374 24459 7289 305 0 17197 0 [pid=15021] ppid=14999 vsize=229524 CPUtime=70.32 /proc/15021/stat : 15021 (wbo) R 14999 14997 3447 769 3447 4202496 85843 0 0 0 6998 34 0 0 25 0 1 0 528455130 235032576 56893 1283457024 134512640 135709839 4286919488 18446744073709551615 134518512 0 0 0 3 0 0 0 17 0 0 0 0 /proc/15021/statm: 57381 56893 132 293 0 57086 0 Current children cumulated CPU time (s) 101.64 Current children cumulated vsize (KiB) 333404 [startup+162.306 s] /proc/loadavg: 1.00 1.00 1.00 2/36 15021 /proc/meminfo: memFree=244564/1048576 swapFree=2094600/2097144 [pid=14997] ppid=14996 vsize=2384 CPUtime=0 /proc/14997/stat : 14997 (sh) S 14996 14997 3447 769 3447 4202496 388 308 0 0 0 0 0 0 25 0 1 0 528451940 2441216 265 1283457024 134512640 135191968 4290068000 18446744073709551615 4159572382 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/14997/statm: 596 265 227 166 0 28 0 [pid=14999] ppid=14997 vsize=101496 CPUtime=31.36 /proc/14999/stat : 14999 (apt-pbo) S 14997 14997 3447 769 3447 4202496 27832 40942 0 412 1452 36 1542 106 18 0 1 0 528451940 103931904 24459 1283457024 134512640 135758360 4289996112 18446744073709551615 4160374094 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/14999/statm: 25374 24459 7289 305 0 17197 0 [pid=15021] ppid=14999 vsize=426360 CPUtime=130.2 /proc/15021/stat : 15021 (wbo) R 14999 14997 3447 769 3447 4202496 152455 0 0 0 12957 63 0 0 25 0 1 0 528455130 436592640 105984 1283457024 134512640 135709839 4286919488 18446744073709551615 134606316 0 0 0 3 0 0 0 17 0 0 0 0 /proc/15021/statm: 106590 105984 132 293 0 106295 0 Current children cumulated CPU time (s) 161.56 Current children cumulated vsize (KiB) 530240 [startup+222.306 s] /proc/loadavg: 1.00 1.00 1.00 2/36 15026 /proc/meminfo: memFree=618424/1048576 swapFree=2094600/2097144 [pid=14997] ppid=14996 vsize=2384 CPUtime=0 /proc/14997/stat : 14997 (sh) S 14996 14997 3447 769 3447 4202496 388 308 0 0 0 0 0 0 25 0 1 0 528451940 2441216 265 1283457024 134512640 135191968 4290068000 18446744073709551615 4159572382 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/14997/statm: 596 265 227 166 0 28 0 [pid=14999] ppid=14997 vsize=102096 CPUtime=212.05 /proc/14999/stat : 14999 (apt-pbo) S 14997 14997 3447 769 3447 4202496 30929 253232 0 412 1652 42 19277 234 18 0 1 0 528451940 104546304 24587 1283457024 134512640 135758360 4289996112 18446744073709551615 4160374094 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/14999/statm: 25524 24587 7289 305 0 17347 0 [pid=15026] ppid=14999 vsize=42092 CPUtime=9.42 /proc/15026/stat : 15026 (wbo) R 14999 14997 3447 769 3447 4202496 16890 0 0 0 938 4 0 0 25 0 1 0 528473223 43102208 10001 1283457024 134512640 135709839 4294689456 18446744073709551615 134530373 0 0 0 3 0 0 0 17 0 0 0 0 /proc/15026/statm: 10523 10001 132 293 0 10228 0 Current children cumulated CPU time (s) 221.47 Current children cumulated vsize (KiB) 146572 [startup+282.305 s] /proc/loadavg: 1.00 1.00 1.00 2/36 15026 /proc/meminfo: memFree=436268/1048576 swapFree=2094600/2097144 [pid=14997] ppid=14996 vsize=2384 CPUtime=0 /proc/14997/stat : 14997 (sh) S 14996 14997 3447 769 3447 4202496 388 308 0 0 0 0 0 0 25 0 1 0 528451940 2441216 265 1283457024 134512640 135191968 4290068000 18446744073709551615 4159572382 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/14997/statm: 596 265 227 166 0 28 0 [pid=14999] ppid=14997 vsize=102096 CPUtime=212.12 /proc/14999/stat : 14999 (apt-pbo) S 14997 14997 3447 769 3447 4202496 30929 253232 0 412 1658 43 19277 234 18 0 1 0 528451940 104546304 24587 1283457024 134512640 135758360 4289996112 18446744073709551615 4160374094 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/14999/statm: 25524 24587 7289 305 0 17347 0 [pid=15026] ppid=14999 vsize=226516 CPUtime=69.23 /proc/15026/stat : 15026 (wbo) R 14999 14997 3447 769 3447 4202496 86840 0 0 0 6883 40 0 0 25 0 1 0 528473223 231952384 56129 1283457024 134512640 135709839 4294689456 18446744073709551615 134529856 0 0 0 3 0 0 0 17 0 0 0 0 /proc/15026/statm: 56629 56129 132 293 0 56334 0 Current children cumulated CPU time (s) 281.35 Current children cumulated vsize (KiB) 330996 Maximum CPU time exceeded: sending signal-name then SIGKILL [startup+291.007 s] /proc/loadavg: 1.00 1.00 1.00 2/36 15026 /proc/meminfo: memFree=405764/1048576 swapFree=2094600/2097144 [pid=14997] ppid=14996 vsize=2384 CPUtime=0 /proc/14997/stat : 14997 (sh) S 14996 14997 3447 769 3447 4202496 388 308 0 0 0 0 0 0 25 0 1 0 528451940 2441216 265 1283457024 134512640 135191968 4290068000 18446744073709551615 4159572382 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/14997/statm: 596 265 227 166 0 28 0 [pid=14999] ppid=14997 vsize=102096 CPUtime=212.12 /proc/14999/stat : 14999 (apt-pbo) S 14997 14997 3447 769 3447 4202496 30929 253232 0 412 1658 43 19277 234 18 0 1 0 528451940 104546304 24587 1283457024 134512640 135758360 4289996112 18446744073709551615 4160374094 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/14999/statm: 25524 24587 7289 305 0 17347 0 [pid=15026] ppid=14999 vsize=254884 CPUtime=77.93 /proc/15026/stat : 15026 (wbo) R 14999 14997 3447 769 3447 4202496 96764 0 0 0 7750 43 0 0 25 0 1 0 528473223 261001216 63184 1283457024 134512640 135709839 4294689456 18446744073709551615 134605088 0 0 0 3 0 0 0 17 0 0 0 0 /proc/15026/statm: 63721 63184 132 293 0 63426 0 Current children cumulated CPU time (s) 290.05 Current children cumulated vsize (KiB) 359364 Sending User defined signal 1 to process tree (bottom up) Sleeping 10 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 10 (SIGUSR1) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 14997 and gives # childrusage.ru_utime.tv_sec=209 # childrusage.ru_utime.tv_usec=357084 # childrusage.ru_stime.tv_sec=2 # childrusage.ru_stime.tv_usec=788174 # CPU time returned by wait4() is 212.145 # while last known CPU time is 290.05 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 291.032 CPU time (s): 290.05 CPU user time (s): 286.85 CPU system time (s): 3.2 CPU usage (%): 99.6627 Max. virtual memory (cumulated for all children) (KiB): 688124 getrusage(RUSAGE_CHILDREN,...) data: user time used= 209.357 system time used= 2.78817 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 284857 page faults= 412 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 16502 involuntary context switches= 15452 runsolver used 0 second user time and 0 second system time The end