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-trendy-1.0.5/7e7e0b16-38a5-11df-b280-00163e7a6f5e.cudf.debian-dudf.log.runsolver ./apt-pbo-trendy-1.0.5 /home/misc2010/data/2010/debian-dudf//7e7e0b16-38a5-11df-b280-00163e7a6f5e.cudf /home/misc2010/tmp/201007051233/apt-pbo-trendy-1.0.5/7e7e0b16-38a5-11df-b280-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.07 1.00 0.99 4/34 13818 /proc/meminfo: memFree=727540/1048576 swapFree=2094596/2097144 [pid=13817] ppid=13816 vsize=2388 CPUtime=0 /proc/13817/stat : 13817 (sh) S 13816 13817 3447 769 3447 4194304 360 0 0 0 0 0 0 0 25 0 1 0 528210352 2445312 266 1283457024 134512640 135191968 4293855680 18446744073709551615 4159815326 0 0 4 65536 18446744071564457842 0 0 17 0 0 0 0 /proc/13817/statm: 597 266 226 166 0 29 0 [pid=13818] ppid=13817 vsize=152 CPUtime=0 /proc/13818/stat : 13818 (dirname) R 13817 13817 3447 769 3447 4194304 207 0 0 0 0 0 0 0 25 0 1 0 528210353 155648 11 1283457024 134512640 134534096 4291704896 18446744073709551615 4160317696 0 0 0 0 0 0 0 17 0 0 0 0 /proc/13818/statm: 38 11 6 6 0 3 0 [startup+0.122529 s] /proc/loadavg: 1.07 1.00 0.99 4/34 13818 /proc/meminfo: memFree=727540/1048576 swapFree=2094596/2097144 [pid=13817] ppid=13816 vsize=2388 CPUtime=0 /proc/13817/stat : 13817 (sh) S 13816 13817 3447 769 3447 4202496 391 308 0 0 0 0 0 0 25 0 1 0 528210352 2445312 267 1283457024 134512640 135191968 4293855680 18446744073709551615 4159654302 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/13817/statm: 597 267 227 166 0 29 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2388 [startup+0.212548 s] /proc/loadavg: 1.07 1.00 0.99 4/34 13818 /proc/meminfo: memFree=727540/1048576 swapFree=2094596/2097144 [pid=13817] ppid=13816 vsize=2388 CPUtime=0 /proc/13817/stat : 13817 (sh) S 13816 13817 3447 769 3447 4202496 391 308 0 0 0 0 0 0 25 0 1 0 528210352 2445312 267 1283457024 134512640 135191968 4293855680 18446744073709551615 4159654302 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/13817/statm: 597 267 227 166 0 29 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2388 [startup+0.302564 s] /proc/loadavg: 1.07 1.00 0.99 4/34 13818 /proc/meminfo: memFree=727540/1048576 swapFree=2094596/2097144 [pid=13817] ppid=13816 vsize=2388 CPUtime=0 /proc/13817/stat : 13817 (sh) S 13816 13817 3447 769 3447 4202496 391 308 0 0 0 0 0 0 25 0 1 0 528210352 2445312 267 1283457024 134512640 135191968 4293855680 18446744073709551615 4159654302 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/13817/statm: 597 267 227 166 0 29 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2388 [startup+0.702643 s] /proc/loadavg: 1.07 1.00 0.99 4/34 13818 /proc/meminfo: memFree=727540/1048576 swapFree=2094596/2097144 [pid=13817] ppid=13816 vsize=2388 CPUtime=0 /proc/13817/stat : 13817 (sh) S 13816 13817 3447 769 3447 4202496 391 308 0 0 0 0 0 0 25 0 1 0 528210352 2445312 267 1283457024 134512640 135191968 4293855680 18446744073709551615 4159654302 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/13817/statm: 597 267 227 166 0 29 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2388 [startup+1.50279 s] /proc/loadavg: 1.07 1.00 0.99 2/35 13822 /proc/meminfo: memFree=715776/1048576 swapFree=2094596/2097144 [pid=13817] ppid=13816 vsize=2388 CPUtime=0 /proc/13817/stat : 13817 (sh) S 13816 13817 3447 769 3447 4202496 391 308 0 0 0 0 0 0 25 0 1 0 528210352 2445312 267 1283457024 134512640 135191968 4293855680 18446744073709551615 4159654302 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/13817/statm: 597 267 227 166 0 29 0 [pid=13820] ppid=13817 vsize=17276 CPUtime=1.5 /proc/13820/stat : 13820 (apt-pbo) R 13817 13817 3447 769 3447 4202496 4145 722 0 0 146 4 0 0 25 0 1 0 528210353 17690624 3684 1283457024 134512640 135758360 4294160720 18446744073709551615 135352480 0 0 128 0 0 0 0 17 0 0 0 0 /proc/13820/statm: 4319 3684 630 305 0 3092 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 19664 [startup+3.1031 s] /proc/loadavg: 1.07 1.00 0.99 2/35 13822 /proc/meminfo: memFree=705360/1048576 swapFree=2094596/2097144 [pid=13817] ppid=13816 vsize=2388 CPUtime=0 /proc/13817/stat : 13817 (sh) S 13816 13817 3447 769 3447 4202496 391 308 0 0 0 0 0 0 25 0 1 0 528210352 2445312 267 1283457024 134512640 135191968 4293855680 18446744073709551615 4159654302 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/13817/statm: 597 267 227 166 0 29 0 [pid=13820] ppid=13817 vsize=27828 CPUtime=3.1 /proc/13820/stat : 13820 (apt-pbo) R 13817 13817 3447 769 3447 4202496 6783 722 0 0 306 4 0 0 25 0 1 0 528210353 28495872 6314 1283457024 134512640 135758360 4294160720 18446744073709551615 4158210703 0 0 128 0 0 0 0 17 0 0 0 0 /proc/13820/statm: 6957 6314 630 305 0 5730 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 30216 [startup+6.30374 s] /proc/loadavg: 1.07 1.00 0.99 2/35 13822 /proc/meminfo: memFree=675848/1048576 swapFree=2094596/2097144 [pid=13817] ppid=13816 vsize=2388 CPUtime=0 /proc/13817/stat : 13817 (sh) S 13816 13817 3447 769 3447 4202496 391 308 0 0 0 0 0 0 25 0 1 0 528210352 2445312 267 1283457024 134512640 135191968 4293855680 18446744073709551615 4159654302 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/13817/statm: 597 267 227 166 0 29 0 [pid=13820] ppid=13817 vsize=48724 CPUtime=6.29 /proc/13820/stat : 13820 (apt-pbo) R 13817 13817 3447 769 3447 4202496 12014 722 0 0 619 10 0 0 25 0 1 0 528210353 49893376 11544 1283457024 134512640 135758360 4294160720 18446744073709551615 134824997 0 0 128 0 0 0 0 17 0 0 0 0 /proc/13820/statm: 12181 11544 630 305 0 10954 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 51112 [startup+12.7067 s] /proc/loadavg: 1.06 1.00 0.99 2/37 13835 /proc/meminfo: memFree=575172/1048576 swapFree=2094596/2097144 [pid=13817] ppid=13816 vsize=2388 CPUtime=0 /proc/13817/stat : 13817 (sh) S 13816 13817 3447 769 3447 4202496 391 308 0 0 0 0 0 0 25 0 1 0 528210352 2445312 267 1283457024 134512640 135191968 4293855680 18446744073709551615 4159654302 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/13817/statm: 597 267 227 166 0 29 0 [pid=13820] ppid=13817 vsize=94416 CPUtime=10.46 /proc/13820/stat : 13820 (apt-pbo) S 13817 13817 3447 769 3447 4202496 24160 11951 0 391 840 20 168 18 18 0 1 0 528210353 96681984 22672 1283457024 134512640 135758360 4294160720 18446744073709551615 4159472974 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/13820/statm: 23604 22672 7149 305 0 15559 0 [pid=13832] ppid=13820 vsize=2388 CPUtime=0.01 /proc/13832/stat : 13832 (apt-get.sh) S 13820 13817 3447 769 3447 4202496 390 610 0 0 0 1 0 0 18 0 1 0 528211405 2445312 263 1283457024 134512640 135191968 4288761024 18446744073709551615 4158802334 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/13832/statm: 597 263 224 166 0 29 0 [pid=13835] ppid=13832 vsize=33700 CPUtime=2.13 /proc/13835/stat : 13835 (apt-get) R 13832 13817 3447 769 3447 4202496 7723 0 0 0 202 11 0 0 25 0 1 0 528211407 34508800 7606 1283457024 134512640 134646397 4290576000 18446744073709551615 4156462290 0 0 4096 134217728 0 0 0 17 0 0 0 0 /proc/13835/statm: 8425 7606 6862 33 0 731 0 Current children cumulated CPU time (s) 12.6 Current children cumulated vsize (KiB) 132892 [startup+25.5125 s] /proc/loadavg: 1.05 1.00 0.99 2/36 13836 /proc/meminfo: memFree=519736/1048576 swapFree=2094596/2097144 [pid=13817] ppid=13816 vsize=2388 CPUtime=0 /proc/13817/stat : 13817 (sh) S 13816 13817 3447 769 3447 4202496 391 308 0 0 0 0 0 0 25 0 1 0 528210352 2445312 267 1283457024 134512640 135191968 4293855680 18446744073709551615 4159654302 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/13817/statm: 597 267 227 166 0 29 0 [pid=13820] ppid=13817 vsize=96468 CPUtime=16.63 /proc/13820/stat : 13820 (apt-pbo) S 13817 13817 3447 769 3447 4202496 24796 20773 0 391 842 27 731 63 18 0 1 0 528210353 98783232 23188 1283457024 134512640 135758360 4294160720 18446744073709551615 4159472974 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/13820/statm: 24117 23188 7152 305 0 16072 0 [pid=13836] ppid=13820 vsize=36940 CPUtime=8.7 /proc/13836/stat : 13836 (wbo) R 13820 13817 3447 769 3447 4202496 17093 0 13 0 858 12 0 0 25 0 1 0 528212024 37826560 8726 1283457024 134512640 135709839 4294924048 18446744073709551615 134530367 0 0 0 3 0 0 0 17 0 0 0 0 /proc/13836/statm: 9235 8726 132 293 0 8940 0 Current children cumulated CPU time (s) 25.33 Current children cumulated vsize (KiB) 135796 [startup+51.1141 s] /proc/loadavg: 1.03 1.00 0.99 2/36 13841 /proc/meminfo: memFree=504236/1048576 swapFree=2094596/2097144 [pid=13817] ppid=13816 vsize=2388 CPUtime=0 /proc/13817/stat : 13817 (sh) S 13816 13817 3447 769 3447 4202496 391 308 0 0 0 0 0 0 25 0 1 0 528210352 2445312 267 1283457024 134512640 135191968 4293855680 18446744073709551615 4159654302 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/13817/statm: 597 267 227 166 0 29 0 [pid=13820] ppid=13817 vsize=100856 CPUtime=44.48 /proc/13820/stat : 13820 (apt-pbo) S 13817 13817 3447 769 3447 4202496 27994 51183 0 404 1514 40 2768 126 18 0 1 0 528210353 103276544 24299 1283457024 134512640 135758360 4294160720 18446744073709551615 4159472974 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/13820/statm: 25214 24299 7156 305 0 17169 0 [pid=13841] ppid=13820 vsize=35696 CPUtime=6.4 /proc/13841/stat : 13841 (wbo) R 13820 13817 3447 769 3447 4202496 25199 0 0 0 628 12 0 0 25 0 1 0 528214821 36552704 8331 1283457024 134512640 135709839 4292255840 18446744073709551615 134530521 0 0 0 3 0 0 0 17 0 0 0 0 /proc/13841/statm: 8924 8331 132 293 0 8629 0 Current children cumulated CPU time (s) 50.88 Current children cumulated vsize (KiB) 138940 [startup+102.31 s] /proc/loadavg: 1.01 1.00 0.99 2/36 13841 /proc/meminfo: memFree=376020/1048576 swapFree=2094596/2097144 [pid=13817] ppid=13816 vsize=2388 CPUtime=0 /proc/13817/stat : 13817 (sh) S 13816 13817 3447 769 3447 4202496 391 308 0 0 0 0 0 0 25 0 1 0 528210352 2445312 267 1283457024 134512640 135191968 4293855680 18446744073709551615 4159654302 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/13817/statm: 597 267 227 166 0 29 0 [pid=13820] ppid=13817 vsize=100856 CPUtime=44.5 /proc/13820/stat : 13820 (apt-pbo) S 13817 13817 3447 769 3447 4202496 27994 51183 0 404 1516 40 2768 126 18 0 1 0 528210353 103276544 24299 1283457024 134512640 135758360 4294160720 18446744073709551615 4159472974 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/13820/statm: 25214 24299 7156 305 0 17169 0 [pid=13841] ppid=13820 vsize=162168 CPUtime=57.47 /proc/13841/stat : 13841 (wbo) R 13820 13817 3447 769 3447 4202496 151884 0 0 0 5660 87 0 0 25 0 1 0 528214821 166060032 39966 1283457024 134512640 135709839 4292255840 18446744073709551615 135162139 0 0 0 3 0 0 0 17 0 0 0 0 /proc/13841/statm: 40542 39966 132 293 0 40247 0 Current children cumulated CPU time (s) 101.97 Current children cumulated vsize (KiB) 265412 [startup+162.302 s] /proc/loadavg: 1.00 1.00 0.99 2/36 13841 /proc/meminfo: memFree=215440/1048576 swapFree=2094596/2097144 [pid=13817] ppid=13816 vsize=2388 CPUtime=0 /proc/13817/stat : 13817 (sh) S 13816 13817 3447 769 3447 4202496 391 308 0 0 0 0 0 0 25 0 1 0 528210352 2445312 267 1283457024 134512640 135191968 4293855680 18446744073709551615 4159654302 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/13817/statm: 597 267 227 166 0 29 0 [pid=13820] ppid=13817 vsize=100856 CPUtime=44.55 /proc/13820/stat : 13820 (apt-pbo) S 13817 13817 3447 769 3447 4202496 27994 51183 0 404 1520 41 2768 126 18 0 1 0 528210353 103276544 24299 1283457024 134512640 135758360 4294160720 18446744073709551615 4159472974 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/13820/statm: 25214 24299 7156 305 0 17169 0 [pid=13841] ppid=13820 vsize=323828 CPUtime=117.22 /proc/13841/stat : 13841 (wbo) R 13820 13817 3447 769 3447 4202496 295775 0 0 0 11571 151 0 0 25 0 1 0 528214821 331599872 80430 1283457024 134512640 135709839 4292255840 18446744073709551615 135168139 0 0 0 3 0 0 0 17 0 0 0 0 /proc/13841/statm: 80957 80430 132 293 0 80662 0 Current children cumulated CPU time (s) 161.77 Current children cumulated vsize (KiB) 427072 [startup+222.312 s] /proc/loadavg: 1.00 1.00 0.99 2/36 13841 /proc/meminfo: memFree=43328/1048576 swapFree=2094596/2097144 [pid=13817] ppid=13816 vsize=2388 CPUtime=0 /proc/13817/stat : 13817 (sh) S 13816 13817 3447 769 3447 4202496 391 308 0 0 0 0 0 0 25 0 1 0 528210352 2445312 267 1283457024 134512640 135191968 4293855680 18446744073709551615 4159654302 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/13817/statm: 597 267 227 166 0 29 0 [pid=13820] ppid=13817 vsize=100856 CPUtime=44.57 /proc/13820/stat : 13820 (apt-pbo) S 13817 13817 3447 769 3447 4202496 27994 51183 0 404 1520 43 2768 126 18 0 1 0 528210353 103276544 24299 1283457024 134512640 135758360 4294160720 18446744073709551615 4159472974 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/13820/statm: 25214 24299 7156 305 0 17169 0 [pid=13841] ppid=13820 vsize=494304 CPUtime=177.09 /proc/13841/stat : 13841 (wbo) R 13820 13817 3447 769 3447 4202496 430341 0 0 0 17503 206 0 0 25 0 1 0 528214821 506167296 122995 1283457024 134512640 135709839 4292255840 18446744073709551615 134607418 0 0 0 3 0 0 0 17 0 0 0 0 /proc/13841/statm: 123576 122995 132 293 0 123281 0 Current children cumulated CPU time (s) 221.66 Current children cumulated vsize (KiB) 597548 [startup+282.309 s] /proc/loadavg: 1.05 1.01 1.00 2/37 13845 /proc/meminfo: memFree=5184/1048576 swapFree=2094600/2097144 [pid=13817] ppid=13816 vsize=2388 CPUtime=0 /proc/13817/stat : 13817 (sh) S 13816 13817 3447 769 3447 4202496 391 308 0 0 0 0 0 0 25 0 1 0 528210352 2445312 267 1283457024 134512640 135191968 4293855680 18446744073709551615 4159654302 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/13817/statm: 597 267 227 166 0 29 0 [pid=13820] ppid=13817 vsize=100856 CPUtime=44.6 /proc/13820/stat : 13820 (apt-pbo) S 13817 13817 3447 769 3447 4202496 27994 51183 0 404 1520 46 2768 126 18 0 1 0 528210353 103276544 24299 1283457024 134512640 135758360 4294160720 18446744073709551615 4159472974 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/13820/statm: 25214 24299 7156 305 0 17169 0 [pid=13841] ppid=13820 vsize=666284 CPUtime=236.95 /proc/13841/stat : 13841 (wbo) R 13820 13817 3447 769 3447 4202496 553552 0 0 0 23438 257 0 0 25 0 1 0 528214821 682274816 166086 1283457024 134512640 135709839 4292255840 18446744073709551615 134517584 0 0 0 3 0 0 0 17 0 0 0 0 /proc/13841/statm: 166571 166086 132 293 0 166276 0 Current children cumulated CPU time (s) 281.55 Current children cumulated vsize (KiB) 769528 Maximum CPU time exceeded: sending signal-name then SIGKILL [startup+290.811 s] /proc/loadavg: 1.04 1.01 1.00 2/37 13845 /proc/meminfo: memFree=6848/1048576 swapFree=2094600/2097144 [pid=13817] ppid=13816 vsize=2388 CPUtime=0 /proc/13817/stat : 13817 (sh) S 13816 13817 3447 769 3447 4202496 391 308 0 0 0 0 0 0 25 0 1 0 528210352 2445312 267 1283457024 134512640 135191968 4293855680 18446744073709551615 4159654302 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/13817/statm: 597 267 227 166 0 29 0 [pid=13820] ppid=13817 vsize=100856 CPUtime=44.6 /proc/13820/stat : 13820 (apt-pbo) S 13817 13817 3447 769 3447 4202496 27994 51183 0 404 1520 46 2768 126 18 0 1 0 528210353 103276544 24299 1283457024 134512640 135758360 4294160720 18446744073709551615 4159472974 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/13820/statm: 25214 24299 7156 305 0 17169 0 [pid=13841] ppid=13820 vsize=694176 CPUtime=245.41 /proc/13841/stat : 13841 (wbo) R 13820 13817 3447 769 3447 4202496 574564 0 0 0 24273 268 0 0 25 0 1 0 528214821 710836224 172973 1283457024 134512640 135709839 4292255840 18446744073709551615 135166368 0 0 0 3 0 0 0 17 0 0 0 0 /proc/13841/statm: 173544 172973 133 293 0 173249 0 Current children cumulated CPU time (s) 290.01 Current children cumulated vsize (KiB) 797420 Sending User defined signal 1 to process tree (bottom up) Sleeping 10 seconds Solver just ended. Dumping a history of the last processes samples [startup+290.811 s] /proc/loadavg: 1.04 1.01 1.00 2/37 13845 /proc/meminfo: memFree=6848/1048576 swapFree=2094600/2097144 [pid=13817] ppid=13816 vsize=2388 CPUtime=0 /proc/13817/stat : 13817 (sh) S 13816 13817 3447 769 3447 4202496 391 308 0 0 0 0 0 0 25 0 1 0 528210352 2445312 267 1283457024 134512640 135191968 4293855680 18446744073709551615 4159654302 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/13817/statm: 597 267 227 166 0 29 0 [pid=13820] ppid=13817 vsize=100856 CPUtime=44.6 /proc/13820/stat : 13820 (apt-pbo) S 13817 13817 3447 769 3447 4202496 27994 51183 0 404 1520 46 2768 126 18 0 1 0 528210353 103276544 24299 1283457024 134512640 135758360 4294160720 18446744073709551615 4159472974 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/13820/statm: 25214 24299 7156 305 0 17169 0 [pid=13841] ppid=13820 vsize=694176 CPUtime=245.41 /proc/13841/stat : 13841 (wbo) R 13820 13817 3447 769 3447 4202496 574564 0 0 0 24273 268 0 0 25 0 1 0 528214821 710836224 172973 1283457024 134512640 135709839 4292255840 18446744073709551615 135166368 0 0 0 3 0 0 0 17 0 0 0 0 /proc/13841/statm: 173544 172973 133 293 0 173249 0 Current children cumulated CPU time (s) 290.01 Current children cumulated vsize (KiB) 797420 Child ended because it received signal 10 (SIGUSR1) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 13817 and gives # childrusage.ru_utime.tv_sec=42 # childrusage.ru_utime.tv_usec=894680 # childrusage.ru_stime.tv_sec=1 # childrusage.ru_stime.tv_usec=756109 # CPU time returned by wait4() is 44.6508 # while last known CPU time is 290.01 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 290.851 CPU time (s): 290.01 CPU user time (s): 285.61 CPU system time (s): 4.4 CPU usage (%): 99.7109 Max. virtual memory (cumulated for all children) (KiB): 798644 getrusage(RUSAGE_CHILDREN,...) data: user time used= 42.8947 system time used= 1.75611 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 79876 page faults= 404 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 51982 involuntary context switches= 44070 runsolver used 0 second user time and 0 second system time The end