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/218091ce-4bcc-11df-bc4e-00163e7a6f5e.cudf.debian-dudf.log.runsolver ./apt-pbo-trendy-1.0.5 /home/misc2010/data/2010/debian-dudf//218091ce-4bcc-11df-bc4e-00163e7a6f5e.cudf /home/misc2010/tmp/201007051233/apt-pbo-trendy-1.0.5/218091ce-4bcc-11df-bc4e-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.24 1.06 1.02 3/37 6201 /proc/meminfo: memFree=639364/1048576 swapFree=2092216/2097144 [pid=6200] ppid=6199 vsize=2388 CPUtime=0 /proc/6200/stat : 6200 (sh) S 6199 6200 3447 769 3447 4194304 360 0 0 0 0 0 0 0 20 0 1 0 526762081 2445312 265 1283457024 134512640 135191968 4293620096 18446744073709551615 4159581854 0 0 4 65536 18446744071564457842 0 0 17 0 0 0 0 /proc/6200/statm: 597 265 226 166 0 29 0 [pid=6201] ppid=6200 vsize=2900 CPUtime=0 /proc/6201/stat : 6201 (sh) R 6200 6200 3447 769 3447 4194368 124 0 0 0 0 0 0 0 25 0 1 0 526762082 2969600 144 1283457024 134512640 135191968 4293620096 18446744073709551615 4159280815 0 0 0 65538 0 0 0 17 0 0 0 0 /proc/6201/statm: 725 144 88 166 0 157 0 [startup+0.206124 s] /proc/loadavg: 1.24 1.06 1.02 3/37 6201 /proc/meminfo: memFree=639364/1048576 swapFree=2092216/2097144 [pid=6200] ppid=6199 vsize=2388 CPUtime=0 /proc/6200/stat : 6200 (sh) S 6199 6200 3447 769 3447 4202496 390 307 0 0 0 0 0 0 25 0 1 0 526762081 2445312 266 1283457024 134512640 135191968 4293620096 18446744073709551615 4159420830 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6200/statm: 597 266 227 166 0 29 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2388 [startup+0.306145 s] /proc/loadavg: 1.24 1.06 1.02 3/37 6201 /proc/meminfo: memFree=639364/1048576 swapFree=2092216/2097144 [pid=6200] ppid=6199 vsize=2388 CPUtime=0 /proc/6200/stat : 6200 (sh) S 6199 6200 3447 769 3447 4202496 390 307 0 0 0 0 0 0 25 0 1 0 526762081 2445312 266 1283457024 134512640 135191968 4293620096 18446744073709551615 4159420830 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6200/statm: 597 266 227 166 0 29 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2388 [startup+0.406172 s] /proc/loadavg: 1.24 1.06 1.02 3/37 6201 /proc/meminfo: memFree=639364/1048576 swapFree=2092216/2097144 [pid=6200] ppid=6199 vsize=2388 CPUtime=0 /proc/6200/stat : 6200 (sh) S 6199 6200 3447 769 3447 4202496 390 307 0 0 0 0 0 0 25 0 1 0 526762081 2445312 266 1283457024 134512640 135191968 4293620096 18446744073709551615 4159420830 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6200/statm: 597 266 227 166 0 29 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2388 [startup+0.706216 s] /proc/loadavg: 1.24 1.06 1.02 3/37 6201 /proc/meminfo: memFree=639364/1048576 swapFree=2092216/2097144 [pid=6200] ppid=6199 vsize=2388 CPUtime=0 /proc/6200/stat : 6200 (sh) S 6199 6200 3447 769 3447 4202496 390 307 0 0 0 0 0 0 25 0 1 0 526762081 2445312 266 1283457024 134512640 135191968 4293620096 18446744073709551615 4159420830 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6200/statm: 597 266 227 166 0 29 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2388 [startup+1.5063 s] /proc/loadavg: 1.24 1.06 1.02 2/38 6205 /proc/meminfo: memFree=627044/1048576 swapFree=2092216/2097144 [pid=6200] ppid=6199 vsize=2388 CPUtime=0 /proc/6200/stat : 6200 (sh) S 6199 6200 3447 769 3447 4202496 390 307 0 0 0 0 0 0 25 0 1 0 526762081 2445312 266 1283457024 134512640 135191968 4293620096 18446744073709551615 4159420830 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6200/statm: 597 266 227 166 0 29 0 [pid=6203] ppid=6200 vsize=16936 CPUtime=1.41 /proc/6203/stat : 6203 (apt-pbo) R 6200 6200 3447 769 3447 4202496 4067 722 0 0 136 5 0 0 25 0 1 0 526762082 17342464 3605 1283457024 134512640 135758360 4287040128 18446744073709551615 135510299 0 0 128 0 0 0 0 17 0 0 0 0 /proc/6203/statm: 4234 3605 630 305 0 3007 0 Current children cumulated CPU time (s) 1.41 Current children cumulated vsize (KiB) 19324 [startup+3.10659 s] /proc/loadavg: 1.24 1.06 1.02 2/38 6205 /proc/meminfo: memFree=616628/1048576 swapFree=2092216/2097144 [pid=6200] ppid=6199 vsize=2388 CPUtime=0 /proc/6200/stat : 6200 (sh) S 6199 6200 3447 769 3447 4202496 390 307 0 0 0 0 0 0 25 0 1 0 526762081 2445312 266 1283457024 134512640 135191968 4293620096 18446744073709551615 4159420830 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6200/statm: 597 266 227 166 0 29 0 [pid=6203] ppid=6200 vsize=27488 CPUtime=3.01 /proc/6203/stat : 6203 (apt-pbo) R 6200 6200 3447 769 3447 4202496 6703 722 0 0 293 8 0 0 25 0 1 0 526762082 28147712 6233 1283457024 134512640 135758360 4287040128 18446744073709551615 134825141 0 0 128 0 0 0 0 17 0 0 0 0 /proc/6203/statm: 6872 6233 630 305 0 5645 0 Current children cumulated CPU time (s) 3.01 Current children cumulated vsize (KiB) 29876 [startup+6.30731 s] /proc/loadavg: 1.22 1.06 1.02 2/38 6205 /proc/meminfo: memFree=586992/1048576 swapFree=2092216/2097144 [pid=6200] ppid=6199 vsize=2388 CPUtime=0 /proc/6200/stat : 6200 (sh) S 6199 6200 3447 769 3447 4202496 390 307 0 0 0 0 0 0 25 0 1 0 526762081 2445312 266 1283457024 134512640 135191968 4293620096 18446744073709551615 4159420830 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6200/statm: 597 266 227 166 0 29 0 [pid=6203] ppid=6200 vsize=48376 CPUtime=6.2 /proc/6203/stat : 6203 (apt-pbo) R 6200 6200 3447 769 3447 4202496 11925 722 0 0 606 14 0 0 25 0 1 0 526762082 49537024 11454 1283457024 134512640 135758360 4287040128 18446744073709551615 134894069 0 0 128 0 0 0 0 17 0 0 0 0 /proc/6203/statm: 12094 11454 630 305 0 10867 0 Current children cumulated CPU time (s) 6.2 Current children cumulated vsize (KiB) 50764 [startup+12.7111 s] /proc/loadavg: 1.20 1.06 1.02 2/40 6218 /proc/meminfo: memFree=483856/1048576 swapFree=2092216/2097144 [pid=6200] ppid=6199 vsize=2388 CPUtime=0 /proc/6200/stat : 6200 (sh) S 6199 6200 3447 769 3447 4202496 390 307 0 0 0 0 0 0 25 0 1 0 526762081 2445312 266 1283457024 134512640 135191968 4293620096 18446744073709551615 4159420830 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6200/statm: 597 266 227 166 0 29 0 [pid=6203] ppid=6200 vsize=95952 CPUtime=10.69 /proc/6203/stat : 6203 (apt-pbo) S 6200 6200 3447 769 3447 4202496 24554 12078 1 400 853 20 170 26 18 0 1 0 526762082 98254848 23068 1283457024 134512640 135758360 4287040128 18446744073709551615 4159739214 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/6203/statm: 23988 23068 7282 305 0 15811 0 [pid=6215] ppid=6203 vsize=2392 CPUtime=0.01 /proc/6215/stat : 6215 (apt-get.sh) S 6203 6200 3447 769 3447 4202496 393 612 0 0 0 1 0 0 18 0 1 0 526763167 2449408 264 1283457024 134512640 135191968 4289615264 18446744073709551615 4159236510 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6215/statm: 598 264 224 166 0 30 0 [pid=6218] ppid=6215 vsize=34272 CPUtime=1.81 /proc/6218/stat : 6218 (apt-get) R 6215 6200 3447 769 3447 4202496 7863 0 0 0 171 10 0 0 25 0 1 0 526763169 35094528 7745 1283457024 134512640 134646397 4290057744 18446744073709551615 4158720263 0 0 4096 134217728 0 0 0 17 0 0 0 0 /proc/6218/statm: 8568 7745 6995 33 0 742 0 Current children cumulated CPU time (s) 12.51 Current children cumulated vsize (KiB) 135004 [startup+25.5053 s] /proc/loadavg: 1.15 1.06 1.02 2/41 6221 /proc/meminfo: memFree=425352/1048576 swapFree=2092216/2097144 [pid=6200] ppid=6199 vsize=2388 CPUtime=0 /proc/6200/stat : 6200 (sh) S 6199 6200 3447 769 3447 4202496 390 307 0 0 0 0 0 0 25 0 1 0 526762081 2445312 266 1283457024 134512640 135191968 4293620096 18446744073709551615 4159420830 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6200/statm: 597 266 227 166 0 29 0 [pid=6203] ppid=6200 vsize=98004 CPUtime=17.4 /proc/6203/stat : 6203 (apt-pbo) S 6200 6200 3447 769 3447 4202496 25193 21049 1 400 858 30 762 90 18 0 1 0 526762082 100356096 23584 1283457024 134512640 135758360 4287040128 18446744073709551615 4159739214 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/6203/statm: 24501 23584 7285 305 0 16324 0 [pid=6219] ppid=6203 vsize=36948 CPUtime=7.76 /proc/6219/stat : 6219 (wbo) R 6203 6200 3447 769 3447 4202496 29101 0 13 0 769 7 0 0 25 0 1 0 526763843 37834752 8672 1283457024 134512640 135709839 4292619600 18446744073709551615 134607397 0 0 0 3 0 0 0 17 0 0 0 0 /proc/6219/statm: 9237 8672 132 293 0 8942 0 Current children cumulated CPU time (s) 25.16 Current children cumulated vsize (KiB) 137340 [startup+51.1119 s] /proc/loadavg: 1.17 1.07 1.02 2/43 6229 /proc/meminfo: memFree=403332/1048576 swapFree=2092216/2097144 [pid=6200] ppid=6199 vsize=2388 CPUtime=0 /proc/6200/stat : 6200 (sh) S 6199 6200 3447 769 3447 4202496 390 307 0 0 0 0 0 0 25 0 1 0 526762081 2445312 266 1283457024 134512640 135191968 4293620096 18446744073709551615 4159420830 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6200/statm: 597 266 227 166 0 29 0 [pid=6203] ppid=6200 vsize=102620 CPUtime=48.07 /proc/6203/stat : 6203 (apt-pbo) S 6200 6200 3447 769 3447 4202496 28422 78896 1 413 1558 42 3025 182 18 0 1 0 526762082 105082880 24733 1283457024 134512640 135758360 4287040128 18446744073709551615 4159739214 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/6203/statm: 25655 24733 7289 305 0 17478 0 [pid=6229] ppid=6203 vsize=25160 CPUtime=2.37 /proc/6229/stat : 6229 (wbo) R 6203 6200 3447 769 3447 4202496 13344 0 0 0 233 4 0 0 25 0 1 0 526766950 25763840 5697 1283457024 134512640 135709839 4286931792 18446744073709551615 134529856 0 0 0 3 0 0 0 17 0 0 0 0 /proc/6229/statm: 6290 5697 132 293 0 5995 0 Current children cumulated CPU time (s) 50.44 Current children cumulated vsize (KiB) 130168 [startup+102.306 s] /proc/loadavg: 1.07 1.06 1.01 2/42 6230 /proc/meminfo: memFree=276628/1048576 swapFree=2092216/2097144 [pid=6200] ppid=6199 vsize=2388 CPUtime=0 /proc/6200/stat : 6200 (sh) S 6199 6200 3447 769 3447 4202496 390 307 0 0 0 0 0 0 25 0 1 0 526762081 2445312 266 1283457024 134512640 135191968 4293620096 18446744073709551615 4159420830 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6200/statm: 597 266 227 166 0 29 0 [pid=6203] ppid=6200 vsize=102620 CPUtime=48.11 /proc/6203/stat : 6203 (apt-pbo) S 6200 6200 3447 769 3447 4202496 28422 78896 1 413 1560 44 3025 182 18 0 1 0 526762082 105082880 24733 1283457024 134512640 135758360 4287040128 18446744073709551615 4159739214 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/6203/statm: 25655 24733 7289 305 0 17478 0 [pid=6229] ppid=6203 vsize=153324 CPUtime=52.6 /proc/6229/stat : 6229 (wbo) R 6203 6200 3447 769 3447 4202496 132867 0 0 0 5197 63 0 0 25 0 1 0 526766950 157003776 37782 1283457024 134512640 135709839 4286931792 18446744073709551615 134605396 0 0 0 3 0 0 0 17 0 0 0 0 /proc/6229/statm: 38331 37782 132 293 0 38036 0 Current children cumulated CPU time (s) 100.71 Current children cumulated vsize (KiB) 258332 [startup+162.305 s] /proc/loadavg: 1.14 1.07 1.02 2/42 6231 /proc/meminfo: memFree=103832/1048576 swapFree=2092216/2097144 [pid=6200] ppid=6199 vsize=2388 CPUtime=0 /proc/6200/stat : 6200 (sh) S 6199 6200 3447 769 3447 4202496 390 307 0 0 0 0 0 0 25 0 1 0 526762081 2445312 266 1283457024 134512640 135191968 4293620096 18446744073709551615 4159420830 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6200/statm: 597 266 227 166 0 29 0 [pid=6203] ppid=6200 vsize=102620 CPUtime=48.14 /proc/6203/stat : 6203 (apt-pbo) S 6200 6200 3447 769 3447 4202496 28422 78896 1 413 1561 46 3025 182 18 0 1 0 526762082 105082880 24733 1283457024 134512640 135758360 4287040128 18446744073709551615 4159739214 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/6203/statm: 25655 24733 7289 305 0 17478 0 [pid=6229] ppid=6203 vsize=315492 CPUtime=109.62 /proc/6229/stat : 6229 (wbo) R 6203 6200 3447 769 3447 4202496 271940 0 0 0 10815 147 0 0 25 0 1 0 526766950 323063808 78301 1283457024 134512640 135709839 4286931792 18446744073709551615 134530671 0 0 0 3 0 0 0 17 0 0 0 0 /proc/6229/statm: 78873 78301 132 293 0 78578 0 Current children cumulated CPU time (s) 157.76 Current children cumulated vsize (KiB) 420500 [startup+222.305 s] /proc/loadavg: 1.13 1.09 1.02 2/42 6231 /proc/meminfo: memFree=5600/1048576 swapFree=2092216/2097144 [pid=6200] ppid=6199 vsize=2388 CPUtime=0 /proc/6200/stat : 6200 (sh) S 6199 6200 3447 769 3447 4202496 390 307 0 0 0 0 0 0 25 0 1 0 526762081 2445312 266 1283457024 134512640 135191968 4293620096 18446744073709551615 4159420830 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6200/statm: 597 266 227 166 0 29 0 [pid=6203] ppid=6200 vsize=102620 CPUtime=48.19 /proc/6203/stat : 6203 (apt-pbo) S 6200 6200 3447 769 3447 4202496 28422 78896 1 413 1565 47 3025 182 18 0 1 0 526762082 105082880 24733 1283457024 134512640 135758360 4287040128 18446744073709551615 4159739214 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/6203/statm: 25655 24733 7289 305 0 17478 0 [pid=6229] ppid=6203 vsize=486012 CPUtime=167.94 /proc/6229/stat : 6229 (wbo) R 6203 6200 3447 769 3447 4202496 403550 0 0 0 16567 227 0 0 25 0 1 0 526766950 497676288 120977 1283457024 134512640 135709839 4286931792 18446744073709551615 135182831 0 0 0 3 0 0 0 17 0 0 0 0 /proc/6229/statm: 121503 120977 132 293 0 121208 0 Current children cumulated CPU time (s) 216.13 Current children cumulated vsize (KiB) 591020 [startup+282.312 s] /proc/loadavg: 1.08 1.08 1.02 2/40 6232 /proc/meminfo: memFree=6052/1048576 swapFree=2092216/2097144 [pid=6200] ppid=6199 vsize=2388 CPUtime=0 /proc/6200/stat : 6200 (sh) S 6199 6200 3447 769 3447 4202496 390 307 0 0 0 0 0 0 25 0 1 0 526762081 2445312 266 1283457024 134512640 135191968 4293620096 18446744073709551615 4159420830 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6200/statm: 597 266 227 166 0 29 0 [pid=6203] ppid=6200 vsize=102620 CPUtime=48.23 /proc/6203/stat : 6203 (apt-pbo) S 6200 6200 3447 769 3447 4202496 28422 78896 1 413 1568 48 3025 182 18 0 1 0 526762082 105082880 24733 1283457024 134512640 135758360 4287040128 18446744073709551615 4159739214 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/6203/statm: 25655 24733 7289 305 0 17478 0 [pid=6229] ppid=6203 vsize=665144 CPUtime=227.79 /proc/6229/stat : 6229 (wbo) R 6203 6200 3447 769 3447 4202496 531311 0 0 0 22487 292 0 0 25 0 1 0 526766950 681107456 165806 1283457024 134512640 135709839 4286931792 18446744073709551615 135167449 0 0 0 3 0 0 0 17 0 0 0 0 /proc/6229/statm: 166286 165806 132 293 0 165991 0 Current children cumulated CPU time (s) 276.02 Current children cumulated vsize (KiB) 770152 Maximum CPU time exceeded: sending signal-name then SIGKILL [startup+296.306 s] /proc/loadavg: 1.06 1.08 1.02 2/39 6232 /proc/meminfo: memFree=6204/1048576 swapFree=2092216/2097144 [pid=6200] ppid=6199 vsize=2388 CPUtime=0 /proc/6200/stat : 6200 (sh) S 6199 6200 3447 769 3447 4202496 390 307 0 0 0 0 0 0 25 0 1 0 526762081 2445312 266 1283457024 134512640 135191968 4293620096 18446744073709551615 4159420830 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6200/statm: 597 266 227 166 0 29 0 [pid=6203] ppid=6200 vsize=102620 CPUtime=48.23 /proc/6203/stat : 6203 (apt-pbo) S 6200 6200 3447 769 3447 4202496 28422 78896 1 413 1568 48 3025 182 18 0 1 0 526762082 105082880 24733 1283457024 134512640 135758360 4287040128 18446744073709551615 4159739214 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/6203/statm: 25655 24733 7289 305 0 17478 0 [pid=6229] ppid=6203 vsize=708824 CPUtime=241.77 /proc/6229/stat : 6229 (wbo) R 6203 6200 3447 769 3447 4202496 560002 0 0 0 23879 298 0 0 25 0 1 0 526766950 725835776 176719 1283457024 134512640 135709839 4286931792 18446744073709551615 134530373 0 0 0 3 0 0 0 17 0 0 0 0 /proc/6229/statm: 177206 176719 132 293 0 176911 0 Current children cumulated CPU time (s) 290 Current children cumulated vsize (KiB) 813832 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+296.306 s] /proc/loadavg: 1.06 1.08 1.02 2/39 6232 /proc/meminfo: memFree=6204/1048576 swapFree=2092216/2097144 [pid=6200] ppid=6199 vsize=2388 CPUtime=0 /proc/6200/stat : 6200 (sh) S 6199 6200 3447 769 3447 4202496 390 307 0 0 0 0 0 0 25 0 1 0 526762081 2445312 266 1283457024 134512640 135191968 4293620096 18446744073709551615 4159420830 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6200/statm: 597 266 227 166 0 29 0 [pid=6203] ppid=6200 vsize=102620 CPUtime=48.23 /proc/6203/stat : 6203 (apt-pbo) S 6200 6200 3447 769 3447 4202496 28422 78896 1 413 1568 48 3025 182 18 0 1 0 526762082 105082880 24733 1283457024 134512640 135758360 4287040128 18446744073709551615 4159739214 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/6203/statm: 25655 24733 7289 305 0 17478 0 [pid=6229] ppid=6203 vsize=708824 CPUtime=241.77 /proc/6229/stat : 6229 (wbo) R 6203 6200 3447 769 3447 4202496 560002 0 0 0 23879 298 0 0 25 0 1 0 526766950 725835776 176719 1283457024 134512640 135709839 4286931792 18446744073709551615 134530373 0 0 0 3 0 0 0 17 0 0 0 0 /proc/6229/statm: 177206 176719 132 293 0 176911 0 Current children cumulated CPU time (s) 290 Current children cumulated vsize (KiB) 813832 Child status: 138 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 6200 and gives # childrusage.ru_utime.tv_sec=45 # childrusage.ru_utime.tv_usec=934870 # childrusage.ru_stime.tv_sec=2 # childrusage.ru_stime.tv_usec=332145 # CPU time returned by wait4() is 48.267 # while last known CPU time is 290 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 296.351 CPU time (s): 290 CPU user time (s): 284.72 CPU system time (s): 5.28 CPU usage (%): 97.8569 Max. virtual memory (cumulated for all children) (KiB): 813832 getrusage(RUSAGE_CHILDREN,...) data: user time used= 45.9349 system time used= 2.33215 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 108027 page faults= 414 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 50152 involuntary context switches= 44042 runsolver used 0 second user time and 0 second system time The end