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/e8a3eb4c-4c81-11df-8b8c-00163e7a6f5e.cudf.debian-dudf.log.runsolver ./apt-pbo-paranoid-1.0.5 /home/misc2010/data/2010/debian-dudf//e8a3eb4c-4c81-11df-8b8c-00163e7a6f5e.cudf /home/misc2010/tmp/201007051233/apt-pbo-paranoid-1.0.5/e8a3eb4c-4c81-11df-8b8c-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.16 1.07 1.01 4/34 16922 /proc/meminfo: memFree=837780/1048576 swapFree=2094596/2097144 [pid=16921] ppid=16920 vsize=2392 CPUtime=0 /proc/16921/stat : 16921 (sh) R 16920 16921 3447 769 3447 4194304 354 0 0 0 0 0 0 0 25 0 1 0 528707321 2449408 266 1283457024 134512640 135191968 4293814704 18446744073709551615 4158882208 0 65538 4 65536 0 0 0 17 0 0 0 0 /proc/16921/statm: 598 266 226 166 0 30 0 [pid=16922] ppid=16921 vsize=2392 CPUtime=0 /proc/16922/stat : 16922 (sh) R 16921 16921 3447 769 3447 4194368 0 0 0 0 0 0 0 0 25 0 1 0 528707321 2449408 40 1283457024 134512640 135191968 4293814704 18446744073709551615 4158882208 0 65538 4 65536 0 0 0 17 0 0 0 0 /proc/16922/statm: 598 40 0 166 0 30 0 [startup+0.157566 s] /proc/loadavg: 1.16 1.07 1.01 4/34 16922 /proc/meminfo: memFree=837780/1048576 swapFree=2094596/2097144 [pid=16921] ppid=16920 vsize=2392 CPUtime=0 /proc/16921/stat : 16921 (sh) S 16920 16921 3447 769 3447 4202496 392 308 0 0 0 0 0 0 25 0 1 0 528707321 2449408 267 1283457024 134512640 135191968 4293814704 18446744073709551615 4158880158 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/16921/statm: 598 267 227 166 0 30 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2392 [startup+0.208551 s] /proc/loadavg: 1.16 1.07 1.01 4/34 16922 /proc/meminfo: memFree=837780/1048576 swapFree=2094596/2097144 [pid=16921] ppid=16920 vsize=2392 CPUtime=0 /proc/16921/stat : 16921 (sh) S 16920 16921 3447 769 3447 4202496 392 308 0 0 0 0 0 0 25 0 1 0 528707321 2449408 267 1283457024 134512640 135191968 4293814704 18446744073709551615 4158880158 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/16921/statm: 598 267 227 166 0 30 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2392 [startup+0.308576 s] /proc/loadavg: 1.16 1.07 1.01 4/34 16922 /proc/meminfo: memFree=837780/1048576 swapFree=2094596/2097144 [pid=16921] ppid=16920 vsize=2392 CPUtime=0 /proc/16921/stat : 16921 (sh) S 16920 16921 3447 769 3447 4202496 392 308 0 0 0 0 0 0 25 0 1 0 528707321 2449408 267 1283457024 134512640 135191968 4293814704 18446744073709551615 4158880158 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/16921/statm: 598 267 227 166 0 30 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2392 [startup+0.70867 s] /proc/loadavg: 1.16 1.07 1.01 4/34 16922 /proc/meminfo: memFree=837780/1048576 swapFree=2094596/2097144 [pid=16921] ppid=16920 vsize=2392 CPUtime=0 /proc/16921/stat : 16921 (sh) S 16920 16921 3447 769 3447 4202496 392 308 0 0 0 0 0 0 25 0 1 0 528707321 2449408 267 1283457024 134512640 135191968 4293814704 18446744073709551615 4158880158 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/16921/statm: 598 267 227 166 0 30 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2392 [startup+1.50886 s] /proc/loadavg: 1.16 1.07 1.01 2/35 16926 /proc/meminfo: memFree=823420/1048576 swapFree=2094596/2097144 [pid=16921] ppid=16920 vsize=2392 CPUtime=0 /proc/16921/stat : 16921 (sh) S 16920 16921 3447 769 3447 4202496 392 308 0 0 0 0 0 0 25 0 1 0 528707321 2449408 267 1283457024 134512640 135191968 4293814704 18446744073709551615 4158880158 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/16921/statm: 598 267 227 166 0 30 0 [pid=16924] ppid=16921 vsize=17204 CPUtime=1.48 /proc/16924/stat : 16924 (apt-pbo) R 16921 16921 3447 769 3447 4202496 4128 722 0 0 145 3 0 0 25 0 1 0 528707321 17616896 3663 1283457024 134512640 135758360 4286878304 18446744073709551615 135325920 0 0 128 0 0 0 0 17 0 0 0 0 /proc/16924/statm: 4301 3663 630 305 0 3074 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 19596 [startup+3.10936 s] /proc/loadavg: 1.16 1.07 1.01 2/35 16926 /proc/meminfo: memFree=810556/1048576 swapFree=2094596/2097144 [pid=16921] ppid=16920 vsize=2392 CPUtime=0 /proc/16921/stat : 16921 (sh) S 16920 16921 3447 769 3447 4202496 392 308 0 0 0 0 0 0 25 0 1 0 528707321 2449408 267 1283457024 134512640 135191968 4293814704 18446744073709551615 4158880158 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/16921/statm: 598 267 227 166 0 30 0 [pid=16924] ppid=16921 vsize=27624 CPUtime=3.07 /proc/16924/stat : 16924 (apt-pbo) R 16921 16921 3447 769 3447 4202496 6737 722 0 0 299 8 0 0 25 0 1 0 528707321 28286976 6264 1283457024 134512640 135758360 4286878304 18446744073709551615 135517158 0 0 128 0 0 0 0 17 0 0 0 0 /proc/16924/statm: 6906 6264 630 305 0 5679 0 Current children cumulated CPU time (s) 3.07 Current children cumulated vsize (KiB) 30016 [startup+6.30599 s] /proc/loadavg: 1.15 1.07 1.01 2/35 16926 /proc/meminfo: memFree=772948/1048576 swapFree=2094596/2097144 [pid=16921] ppid=16920 vsize=2392 CPUtime=0 /proc/16921/stat : 16921 (sh) S 16920 16921 3447 769 3447 4202496 392 308 0 0 0 0 0 0 25 0 1 0 528707321 2449408 267 1283457024 134512640 135191968 4293814704 18446744073709551615 4158880158 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/16921/statm: 598 267 227 166 0 30 0 [pid=16924] ppid=16921 vsize=47328 CPUtime=6.09 /proc/16924/stat : 16924 (apt-pbo) D 16921 16921 3447 769 3447 4202496 11691 722 0 0 598 11 0 0 25 0 1 0 528707321 48463872 11217 1283457024 134512640 135758360 4286878304 18446744073709551615 4159563086 0 0 128 0 18446744071564332000 0 0 17 0 0 0 0 /proc/16924/statm: 11832 11217 630 305 0 10605 0 Current children cumulated CPU time (s) 6.09 Current children cumulated vsize (KiB) 49720 [startup+12.7083 s] /proc/loadavg: 1.21 1.09 1.02 5/38 16931 /proc/meminfo: memFree=736548/1048576 swapFree=2094596/2097144 [pid=16921] ppid=16920 vsize=2392 CPUtime=0 /proc/16921/stat : 16921 (sh) S 16920 16921 3447 769 3447 4202496 392 308 0 0 0 0 0 0 25 0 1 0 528707321 2449408 267 1283457024 134512640 135191968 4293814704 18446744073709551615 4158880158 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/16921/statm: 598 267 227 166 0 30 0 [pid=16924] ppid=16921 vsize=64868 CPUtime=8.46 /proc/16924/stat : 16924 (apt-pbo) S 16921 16921 3447 769 3447 4202496 16612 722 0 0 830 16 0 0 18 0 1 0 528707321 66424832 15591 1283457024 134512640 135758360 4286878304 18446744073709551615 4159563086 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/16924/statm: 16217 15591 630 305 0 14990 0 [pid=16927] ppid=16924 vsize=2392 CPUtime=0.01 /proc/16927/stat : 16927 (apt-get.sh) S 16924 16921 3447 769 3447 4202496 393 610 0 0 0 1 0 0 21 0 1 0 528708529 2449408 264 1283457024 134512640 135191968 4288488624 18446744073709551615 4159015326 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/16927/statm: 598 264 224 166 0 30 0 [pid=16930] ppid=16927 vsize=52612 CPUtime=0.54 /proc/16930/stat : 16930 (apt-get) R 16927 16921 3447 769 3447 4202496 1728 1624 69 0 14 0 36 4 23 0 1 0 528708531 53874688 1664 1283457024 134512640 134646397 4287028064 18446744073709551615 4159159296 0 0 4096 134217728 0 0 0 17 0 0 0 0 /proc/16930/statm: 13153 1664 1610 33 0 69 0 Current children cumulated CPU time (s) 9.01 Current children cumulated vsize (KiB) 122264 heavy processes: [startup+25.5064 s] /proc/loadavg: 1.30 1.11 1.03 2/36 16940 /proc/meminfo: memFree=649184/1048576 swapFree=2094596/2097144 [pid=16921] ppid=16920 vsize=2392 CPUtime=0 /proc/16921/stat : 16921 (sh) S 16920 16921 3447 769 3447 4202496 392 308 0 0 0 0 0 0 25 0 1 0 528707321 2449408 267 1283457024 134512640 135191968 4293814704 18446744073709551615 4158880158 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/16921/statm: 598 267 227 166 0 30 0 [pid=16924] ppid=16921 vsize=99904 CPUtime=16.25 /proc/16924/stat : 16924 (apt-pbo) R 16921 16921 3447 769 3447 4202496 26065 20982 0 399 1055 23 504 43 21 0 1 0 528707321 102301696 24049 1283457024 134512640 135758360 4286878304 18446744073709551615 134956527 0 0 128 0 0 0 0 17 0 0 0 0 /proc/16924/statm: 24976 24049 7289 305 0 16799 0 [pid=16940] ppid=16924 vsize=0 CPUtime=5.49 /proc/16940/stat : 16940 (wbo) Z 16924 16921 3447 769 3447 4202508 10873 0 0 0 544 5 0 0 25 0 1 0 528709121 0 0 1283457024 0 0 0 0 0 0 0 0 3 18446744071564254338 0 0 17 0 0 0 0 /proc/16940/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 21.74 Current children cumulated vsize (KiB) 102296 [startup+51.1051 s] /proc/loadavg: 1.20 1.10 1.02 2/36 16945 /proc/meminfo: memFree=574528/1048576 swapFree=2094596/2097144 [pid=16921] ppid=16920 vsize=2392 CPUtime=0 /proc/16921/stat : 16921 (sh) S 16920 16921 3447 769 3447 4202496 392 308 0 0 0 0 0 0 25 0 1 0 528707321 2449408 267 1283457024 134512640 135191968 4293814704 18446744073709551615 4158880158 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/16921/statm: 598 267 227 166 0 30 0 [pid=16924] ppid=16921 vsize=101496 CPUtime=30.77 /proc/16924/stat : 16924 (apt-pbo) S 16921 16921 3447 769 3447 4202496 27838 40944 0 399 1450 27 1514 86 18 0 1 0 528707321 103931904 24459 1283457024 134512640 135758360 4286878304 18446744073709551615 4159563086 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/16924/statm: 25374 24459 7289 305 0 17197 0 [pid=16945] ppid=16924 vsize=63908 CPUtime=16.54 /proc/16945/stat : 16945 (wbo) R 16924 16921 3447 769 3447 4202496 24033 0 0 0 1643 11 0 0 25 0 1 0 528710774 65441792 15495 1283457024 134512640 135709839 4286610176 18446744073709551615 135166068 0 0 0 3 0 0 0 17 0 0 0 0 /proc/16945/statm: 15977 15495 132 293 0 15682 0 Current children cumulated CPU time (s) 47.31 Current children cumulated vsize (KiB) 167796 [startup+102.31 s] /proc/loadavg: 1.08 1.08 1.02 2/36 16945 /proc/meminfo: memFree=406508/1048576 swapFree=2094596/2097144 [pid=16921] ppid=16920 vsize=2392 CPUtime=0 /proc/16921/stat : 16921 (sh) S 16920 16921 3447 769 3447 4202496 392 308 0 0 0 0 0 0 25 0 1 0 528707321 2449408 267 1283457024 134512640 135191968 4293814704 18446744073709551615 4158880158 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/16921/statm: 598 267 227 166 0 30 0 [pid=16924] ppid=16921 vsize=101496 CPUtime=30.81 /proc/16924/stat : 16924 (apt-pbo) S 16921 16921 3447 769 3447 4202496 27838 40944 0 399 1452 29 1514 86 18 0 1 0 528707321 103931904 24459 1283457024 134512640 135758360 4286878304 18446744073709551615 4159563086 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/16924/statm: 25374 24459 7289 305 0 17197 0 [pid=16945] ppid=16924 vsize=230980 CPUtime=67.71 /proc/16945/stat : 16945 (wbo) R 16924 16921 3447 769 3447 4202496 86126 0 0 0 6732 39 0 0 25 0 1 0 528710774 236523520 57177 1283457024 134512640 135709839 4286610176 18446744073709551615 135167449 0 0 0 3 0 0 0 17 0 0 0 0 /proc/16945/statm: 57745 57177 132 293 0 57450 0 Current children cumulated CPU time (s) 98.52 Current children cumulated vsize (KiB) 334868 [startup+162.307 s] /proc/loadavg: 1.03 1.07 1.01 2/36 16945 /proc/meminfo: memFree=201908/1048576 swapFree=2094596/2097144 [pid=16921] ppid=16920 vsize=2392 CPUtime=0 /proc/16921/stat : 16921 (sh) S 16920 16921 3447 769 3447 4202496 392 308 0 0 0 0 0 0 25 0 1 0 528707321 2449408 267 1283457024 134512640 135191968 4293814704 18446744073709551615 4158880158 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/16921/statm: 598 267 227 166 0 30 0 [pid=16924] ppid=16921 vsize=101496 CPUtime=30.87 /proc/16924/stat : 16924 (apt-pbo) S 16921 16921 3447 769 3447 4202496 27838 40944 0 399 1456 31 1514 86 18 0 1 0 528707321 103931904 24459 1283457024 134512640 135758360 4286878304 18446744073709551615 4159563086 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/16924/statm: 25374 24459 7289 305 0 17197 0 [pid=16945] ppid=16924 vsize=437332 CPUtime=127.63 /proc/16945/stat : 16945 (wbo) R 16924 16921 3447 769 3447 4202496 156422 0 0 0 12690 73 0 0 25 0 1 0 528710774 447827968 108762 1283457024 134512640 135709839 4286610176 18446744073709551615 135166206 0 0 0 3 0 0 0 17 0 0 0 0 /proc/16945/statm: 109333 108762 132 293 0 109038 0 Current children cumulated CPU time (s) 158.5 Current children cumulated vsize (KiB) 541220 [startup+222.311 s] /proc/loadavg: 1.01 1.05 1.01 2/36 16950 /proc/meminfo: memFree=575520/1048576 swapFree=2094596/2097144 [pid=16921] ppid=16920 vsize=2392 CPUtime=0 /proc/16921/stat : 16921 (sh) S 16920 16921 3447 769 3447 4202496 392 308 0 0 0 0 0 0 25 0 1 0 528707321 2449408 267 1283457024 134512640 135191968 4293814704 18446744073709551615 4158880158 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/16921/statm: 598 267 227 166 0 30 0 [pid=16924] ppid=16921 vsize=102096 CPUtime=204.89 /proc/16924/stat : 16924 (apt-pbo) S 16921 16921 3447 769 3447 4202496 30936 253224 0 399 1656 39 18572 222 18 0 1 0 528707321 104546304 24587 1283457024 134512640 135758360 4286878304 18446744073709551615 4159563086 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/16924/statm: 25524 24587 7289 305 0 17347 0 [pid=16950] ppid=16924 vsize=53084 CPUtime=13.59 /proc/16950/stat : 16950 (wbo) R 16924 16921 3447 769 3447 4202496 21176 0 0 0 1350 9 0 0 25 0 1 0 528728189 54358016 12785 1283457024 134512640 135709839 4291592128 18446744073709551615 135166294 0 0 0 3 0 0 0 17 0 0 0 0 /proc/16950/statm: 13271 12785 132 293 0 12976 0 Current children cumulated CPU time (s) 218.48 Current children cumulated vsize (KiB) 157572 [startup+282.31 s] /proc/loadavg: 1.00 1.04 1.00 2/36 16950 /proc/meminfo: memFree=394976/1048576 swapFree=2094596/2097144 [pid=16921] ppid=16920 vsize=2392 CPUtime=0 /proc/16921/stat : 16921 (sh) S 16920 16921 3447 769 3447 4202496 392 308 0 0 0 0 0 0 25 0 1 0 528707321 2449408 267 1283457024 134512640 135191968 4293814704 18446744073709551615 4158880158 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/16921/statm: 598 267 227 166 0 30 0 [pid=16924] ppid=16921 vsize=102096 CPUtime=204.9 /proc/16924/stat : 16924 (apt-pbo) S 16921 16921 3447 769 3447 4202496 30936 253224 0 399 1656 40 18572 222 18 0 1 0 528707321 104546304 24587 1283457024 134512640 135758360 4286878304 18446744073709551615 4159563086 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/16924/statm: 25524 24587 7289 305 0 17347 0 [pid=16950] ppid=16924 vsize=235624 CPUtime=73.46 /proc/16950/stat : 16950 (wbo) R 16924 16921 3447 769 3447 4202496 90053 0 0 0 7311 35 0 0 25 0 1 0 528728189 241278976 58407 1283457024 134512640 135709839 4291592128 18446744073709551615 135162244 0 0 0 3 0 0 0 17 0 0 0 0 /proc/16950/statm: 58906 58407 132 293 0 58611 0 Current children cumulated CPU time (s) 278.36 Current children cumulated vsize (KiB) 340112 Maximum CPU time exceeded: sending signal-name then SIGKILL [startup+294.013 s] /proc/loadavg: 1.00 1.04 1.00 2/36 16950 /proc/meminfo: memFree=353684/1048576 swapFree=2094596/2097144 [pid=16921] ppid=16920 vsize=2392 CPUtime=0 /proc/16921/stat : 16921 (sh) S 16920 16921 3447 769 3447 4202496 392 308 0 0 0 0 0 0 25 0 1 0 528707321 2449408 267 1283457024 134512640 135191968 4293814704 18446744073709551615 4158880158 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/16921/statm: 598 267 227 166 0 30 0 [pid=16924] ppid=16921 vsize=102096 CPUtime=204.9 /proc/16924/stat : 16924 (apt-pbo) S 16921 16921 3447 769 3447 4202496 30936 253224 0 399 1656 40 18572 222 18 0 1 0 528707321 104546304 24587 1283457024 134512640 135758360 4286878304 18446744073709551615 4159563086 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/16924/statm: 25524 24587 7289 305 0 17347 0 [pid=16950] ppid=16924 vsize=274216 CPUtime=85.14 /proc/16950/stat : 16950 (wbo) R 16924 16921 3447 769 3447 4202496 103809 0 0 0 8476 38 0 0 25 0 1 0 528728189 280797184 68011 1283457024 134512640 135709839 4291592128 18446744073709551615 134517462 0 0 0 3 0 0 0 17 0 0 0 0 /proc/16950/statm: 68554 68011 132 293 0 68259 0 Current children cumulated CPU time (s) 290.04 Current children cumulated vsize (KiB) 378704 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+294.013 s] /proc/loadavg: 1.00 1.04 1.00 2/36 16950 /proc/meminfo: memFree=353684/1048576 swapFree=2094596/2097144 [pid=16921] ppid=16920 vsize=2392 CPUtime=0 /proc/16921/stat : 16921 (sh) S 16920 16921 3447 769 3447 4202496 392 308 0 0 0 0 0 0 25 0 1 0 528707321 2449408 267 1283457024 134512640 135191968 4293814704 18446744073709551615 4158880158 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/16921/statm: 598 267 227 166 0 30 0 [pid=16924] ppid=16921 vsize=102096 CPUtime=204.9 /proc/16924/stat : 16924 (apt-pbo) S 16921 16921 3447 769 3447 4202496 30936 253224 0 399 1656 40 18572 222 18 0 1 0 528707321 104546304 24587 1283457024 134512640 135758360 4286878304 18446744073709551615 4159563086 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/16924/statm: 25524 24587 7289 305 0 17347 0 [pid=16950] ppid=16924 vsize=274216 CPUtime=85.14 /proc/16950/stat : 16950 (wbo) R 16924 16921 3447 769 3447 4202496 103809 0 0 0 8476 38 0 0 25 0 1 0 528728189 280797184 68011 1283457024 134512640 135709839 4291592128 18446744073709551615 134517462 0 0 0 3 0 0 0 17 0 0 0 0 /proc/16950/statm: 68554 68011 132 293 0 68259 0 Current children cumulated CPU time (s) 290.04 Current children cumulated vsize (KiB) 378704 Child status: 138 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 16921 and gives # childrusage.ru_utime.tv_sec=202 # childrusage.ru_utime.tv_usec=296642 # childrusage.ru_stime.tv_sec=2 # childrusage.ru_stime.tv_usec=644165 # CPU time returned by wait4() is 204.941 # while last known CPU time is 290.04 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 294.037 CPU time (s): 290.04 CPU user time (s): 287.04 CPU system time (s): 3 CPU usage (%): 98.6405 Max. virtual memory (cumulated for all children) (KiB): 688132 getrusage(RUSAGE_CHILDREN,...) data: user time used= 202.297 system time used= 2.64417 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 284873 page faults= 399 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 16745 involuntary context switches= 15293 runsolver used 0 second user time and 0.004 second system time The end