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/3e4f8550-0b33-11df-942d-00163e1d94dc.cudf.debian-dudf.log.runsolver ./apt-pbo-trendy-1.0.5 /home/misc2010/data/2010/debian-dudf//3e4f8550-0b33-11df-942d-00163e1d94dc.cudf /home/misc2010/tmp/201007051233/apt-pbo-trendy-1.0.5/3e4f8550-0b33-11df-942d-00163e1d94dc.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.08 1.00 0.99 4/34 9072 /proc/meminfo: memFree=727296/1048576 swapFree=2094644/2097144 [pid=9070] ppid=9069 vsize=2388 CPUtime=0 /proc/9070/stat : 9070 (sh) S 9069 9070 3447 769 3447 4202496 393 307 0 0 0 0 0 0 23 0 1 0 527407265 2445312 267 1283457024 134512640 135191968 4288984352 18446744073709551615 4159007134 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9070/statm: 597 267 227 166 0 29 0 [pid=9072] ppid=9070 vsize=2920 CPUtime=0.01 /proc/9072/stat : 9072 (apt-pbo) R 9070 9070 3447 769 3447 4194304 112 0 0 0 0 1 0 0 25 0 1 0 527407265 2990080 50 1283457024 134512640 135758360 4294261104 18446744073709551615 4159746835 0 0 0 0 0 0 0 17 0 0 0 0 /proc/9072/statm: 730 50 33 305 0 12 0 [startup+0.133798 s] /proc/loadavg: 1.08 1.00 0.99 4/34 9072 /proc/meminfo: memFree=727296/1048576 swapFree=2094644/2097144 [pid=9070] ppid=9069 vsize=2388 CPUtime=0 /proc/9070/stat : 9070 (sh) S 9069 9070 3447 769 3447 4202496 393 307 0 0 0 0 0 0 23 0 1 0 527407265 2445312 267 1283457024 134512640 135191968 4288984352 18446744073709551615 4159007134 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9070/statm: 597 267 227 166 0 29 0 [pid=9072] ppid=9070 vsize=8184 CPUtime=0.13 /proc/9072/stat : 9072 (apt-pbo) R 9070 9070 3447 769 3447 4202496 1662 723 0 0 12 1 0 0 25 0 1 0 527407265 8380416 1420 1283457024 134512640 135758360 4294261104 18446744073709551615 135027938 0 0 128 0 0 0 0 17 0 0 0 0 /proc/9072/statm: 2046 1420 630 305 0 819 0 Current children cumulated CPU time (s) 0.13 Current children cumulated vsize (KiB) 10572 [startup+0.213817 s] /proc/loadavg: 1.08 1.00 0.99 4/34 9072 /proc/meminfo: memFree=727296/1048576 swapFree=2094644/2097144 [pid=9070] ppid=9069 vsize=2388 CPUtime=0 /proc/9070/stat : 9070 (sh) S 9069 9070 3447 769 3447 4202496 393 307 0 0 0 0 0 0 23 0 1 0 527407265 2445312 267 1283457024 134512640 135191968 4288984352 18446744073709551615 4159007134 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9070/statm: 597 267 227 166 0 29 0 [pid=9072] ppid=9070 vsize=8712 CPUtime=0.21 /proc/9072/stat : 9072 (apt-pbo) R 9070 9070 3447 769 3447 4202496 1968 723 0 0 19 2 0 0 25 0 1 0 527407265 8921088 1554 1283457024 134512640 135758360 4294261104 18446744073709551615 4158527172 0 0 128 0 0 0 0 17 0 0 0 0 /proc/9072/statm: 2178 1554 630 305 0 951 0 Current children cumulated CPU time (s) 0.21 Current children cumulated vsize (KiB) 11100 [startup+0.313843 s] /proc/loadavg: 1.08 1.00 0.99 4/34 9072 /proc/meminfo: memFree=727296/1048576 swapFree=2094644/2097144 [pid=9070] ppid=9069 vsize=2388 CPUtime=0 /proc/9070/stat : 9070 (sh) S 9069 9070 3447 769 3447 4202496 393 307 0 0 0 0 0 0 23 0 1 0 527407265 2445312 267 1283457024 134512640 135191968 4288984352 18446744073709551615 4159007134 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9070/statm: 597 267 227 166 0 29 0 [pid=9072] ppid=9070 vsize=9504 CPUtime=0.31 /proc/9072/stat : 9072 (apt-pbo) R 9070 9070 3447 769 3447 4202496 2145 723 0 0 28 3 0 0 25 0 1 0 527407265 9732096 1731 1283457024 134512640 135758360 4294261104 18446744073709551615 4158528457 0 0 128 0 0 0 0 17 0 0 0 0 /proc/9072/statm: 2376 1731 630 305 0 1149 0 Current children cumulated CPU time (s) 0.31 Current children cumulated vsize (KiB) 11892 [startup+0.71394 s] /proc/loadavg: 1.08 1.00 0.99 4/34 9072 /proc/meminfo: memFree=727296/1048576 swapFree=2094644/2097144 [pid=9070] ppid=9069 vsize=2388 CPUtime=0 /proc/9070/stat : 9070 (sh) S 9069 9070 3447 769 3447 4202496 393 307 0 0 0 0 0 0 23 0 1 0 527407265 2445312 267 1283457024 134512640 135191968 4288984352 18446744073709551615 4159007134 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9070/statm: 597 267 227 166 0 29 0 [pid=9072] ppid=9070 vsize=12052 CPUtime=0.71 /proc/9072/stat : 9072 (apt-pbo) R 9070 9070 3447 769 3447 4202496 2839 723 0 0 68 3 0 0 25 0 1 0 527407265 12341248 2387 1283457024 134512640 135758360 4294261104 18446744073709551615 135352353 0 0 128 0 0 0 0 17 0 0 0 0 /proc/9072/statm: 3013 2387 630 305 0 1786 0 Current children cumulated CPU time (s) 0.71 Current children cumulated vsize (KiB) 14440 [startup+1.51414 s] /proc/loadavg: 1.08 1.00 0.99 2/35 9075 /proc/meminfo: memFree=715540/1048576 swapFree=2094644/2097144 [pid=9070] ppid=9069 vsize=2388 CPUtime=0 /proc/9070/stat : 9070 (sh) S 9069 9070 3447 769 3447 4202496 393 307 0 0 0 0 0 0 23 0 1 0 527407265 2445312 267 1283457024 134512640 135191968 4288984352 18446744073709551615 4159007134 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9070/statm: 597 267 227 166 0 29 0 [pid=9072] ppid=9070 vsize=17264 CPUtime=1.51 /proc/9072/stat : 9072 (apt-pbo) R 9070 9070 3447 769 3447 4202496 4164 723 0 0 148 3 0 0 25 0 1 0 527407265 17678336 3700 1283457024 134512640 135758360 4294261104 18446744073709551615 134957184 0 0 128 0 0 0 0 17 0 0 0 0 /proc/9072/statm: 4316 3700 630 305 0 3089 0 Current children cumulated CPU time (s) 1.51 Current children cumulated vsize (KiB) 19652 [startup+3.11454 s] /proc/loadavg: 1.07 1.00 0.99 2/35 9075 /proc/meminfo: memFree=705248/1048576 swapFree=2094644/2097144 [pid=9070] ppid=9069 vsize=2388 CPUtime=0 /proc/9070/stat : 9070 (sh) S 9069 9070 3447 769 3447 4202496 393 307 0 0 0 0 0 0 23 0 1 0 527407265 2445312 267 1283457024 134512640 135191968 4288984352 18446744073709551615 4159007134 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9070/statm: 597 267 227 166 0 29 0 [pid=9072] ppid=9070 vsize=27816 CPUtime=3.11 /proc/9072/stat : 9072 (apt-pbo) R 9070 9070 3447 769 3447 4202496 6790 723 0 0 307 4 0 0 25 0 1 0 527407265 28483584 6318 1283457024 134512640 135758360 4294261104 18446744073709551615 4158526976 0 0 128 0 0 0 0 17 0 0 0 0 /proc/9072/statm: 6954 6318 630 305 0 5727 0 Current children cumulated CPU time (s) 3.11 Current children cumulated vsize (KiB) 30204 [startup+6.31536 s] /proc/loadavg: 1.07 1.00 0.99 2/35 9075 /proc/meminfo: memFree=675364/1048576 swapFree=2094644/2097144 [pid=9070] ppid=9069 vsize=2388 CPUtime=0 /proc/9070/stat : 9070 (sh) S 9069 9070 3447 769 3447 4202496 393 307 0 0 0 0 0 0 23 0 1 0 527407265 2445312 267 1283457024 134512640 135191968 4288984352 18446744073709551615 4159007134 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9070/statm: 597 267 227 166 0 29 0 [pid=9072] ppid=9070 vsize=48724 CPUtime=6.3 /proc/9072/stat : 9072 (apt-pbo) R 9070 9070 3447 769 3447 4202496 12025 723 0 0 622 8 0 0 25 0 1 0 527407265 49893376 11552 1283457024 134512640 135758360 4294261104 18446744073709551615 134944889 0 0 128 0 0 0 0 17 0 0 0 0 /proc/9072/statm: 12181 11552 630 305 0 10954 0 Current children cumulated CPU time (s) 6.3 Current children cumulated vsize (KiB) 51112 [startup+12.7089 s] /proc/loadavg: 1.06 1.00 0.99 2/37 9088 /proc/meminfo: memFree=578200/1048576 swapFree=2094644/2097144 [pid=9070] ppid=9069 vsize=2388 CPUtime=0 /proc/9070/stat : 9070 (sh) S 9069 9070 3447 769 3447 4202496 393 307 0 0 0 0 0 0 23 0 1 0 527407265 2445312 267 1283457024 134512640 135191968 4288984352 18446744073709551615 4159007134 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9070/statm: 597 267 227 166 0 29 0 [pid=9072] ppid=9070 vsize=92636 CPUtime=10.28 /proc/9072/stat : 9072 (apt-pbo) S 9070 9070 3447 769 3447 4202496 23694 11800 0 383 825 18 166 19 18 0 1 0 527407265 94859264 22221 1283457024 134512640 135758360 4294261104 18446744073709551615 4159411534 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/9072/statm: 23159 22221 6999 305 0 15270 0 [pid=9085] ppid=9072 vsize=2392 CPUtime=0 /proc/9085/stat : 9085 (apt-get.sh) S 9072 9070 3447 769 3447 4202496 392 611 0 0 0 0 0 0 19 0 1 0 527408304 2449408 264 1283457024 134512640 135191968 4293355792 18446744073709551615 4159555998 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9085/statm: 598 264 224 166 0 30 0 [pid=9088] ppid=9085 vsize=33236 CPUtime=2.26 /proc/9088/stat : 9088 (apt-get) R 9085 9070 3447 769 3447 4202496 7565 0 0 0 216 10 0 0 25 0 1 0 527408305 34033664 7450 1283457024 134512640 134646397 4289193248 18446744073709551615 4156388267 0 0 4096 134217728 0 0 0 17 0 0 0 0 /proc/9088/statm: 8309 7450 6712 33 0 771 0 Current children cumulated CPU time (s) 12.54 Current children cumulated vsize (KiB) 130652 [startup+25.5033 s] /proc/loadavg: 1.05 1.00 0.99 2/36 9089 /proc/meminfo: memFree=523632/1048576 swapFree=2094644/2097144 [pid=9070] ppid=9069 vsize=2388 CPUtime=0 /proc/9070/stat : 9070 (sh) S 9069 9070 3447 769 3447 4202496 393 307 0 0 0 0 0 0 23 0 1 0 527407265 2445312 267 1283457024 134512640 135191968 4288984352 18446744073709551615 4159007134 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9070/statm: 597 267 227 166 0 29 0 [pid=9072] ppid=9070 vsize=94688 CPUtime=16.64 /proc/9072/stat : 9072 (apt-pbo) S 9070 9070 3447 769 3447 4202496 24330 20449 0 383 828 24 748 64 18 0 1 0 527407265 96960512 22737 1283457024 134512640 135758360 4294261104 18446744073709551615 4159411534 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/9072/statm: 23672 22737 7002 305 0 15783 0 [pid=9089] ppid=9072 vsize=35856 CPUtime=8.63 /proc/9089/stat : 9089 (wbo) R 9072 9070 3447 769 3447 4202496 13610 0 14 0 856 7 0 0 25 0 1 0 527408942 36716544 8493 1283457024 134512640 135709839 4290740704 18446744073709551615 135162139 0 0 0 3 0 0 0 17 0 0 0 0 /proc/9089/statm: 8964 8493 132 293 0 8669 0 Current children cumulated CPU time (s) 25.27 Current children cumulated vsize (KiB) 132932 [startup+51.1057 s] /proc/loadavg: 1.03 1.00 0.99 2/36 9094 /proc/meminfo: memFree=498584/1048576 swapFree=2094644/2097144 [pid=9070] ppid=9069 vsize=2388 CPUtime=0 /proc/9070/stat : 9070 (sh) S 9069 9070 3447 769 3447 4202496 393 307 0 0 0 0 0 0 23 0 1 0 527407265 2445312 267 1283457024 134512640 135191968 4288984352 18446744073709551615 4159007134 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9070/statm: 597 267 227 166 0 29 0 [pid=9072] ppid=9070 vsize=99008 CPUtime=39.98 /proc/9072/stat : 9072 (apt-pbo) S 9070 9070 3447 769 3447 4202496 27466 43115 0 397 1469 38 2355 136 18 0 1 0 527407265 101384192 23829 1283457024 134512640 135758360 4294261104 18446744073709551615 4159411534 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/9072/statm: 24752 23829 7007 305 0 16863 0 [pid=9094] ppid=9072 vsize=43060 CPUtime=10.85 /proc/9094/stat : 9094 (wbo) R 9072 9070 3447 769 3447 4202496 33211 0 0 0 1063 22 0 0 25 0 1 0 527411287 44093440 10140 1283457024 134512640 135709839 4294787776 18446744073709551615 134530521 0 0 0 3 0 0 0 17 0 0 0 0 /proc/9094/statm: 10765 10140 132 293 0 10470 0 Current children cumulated CPU time (s) 50.83 Current children cumulated vsize (KiB) 144456 [startup+102.311 s] /proc/loadavg: 1.05 1.01 1.00 2/36 9094 /proc/meminfo: memFree=385248/1048576 swapFree=2094644/2097144 [pid=9070] ppid=9069 vsize=2388 CPUtime=0 /proc/9070/stat : 9070 (sh) S 9069 9070 3447 769 3447 4202496 393 307 0 0 0 0 0 0 23 0 1 0 527407265 2445312 267 1283457024 134512640 135191968 4288984352 18446744073709551615 4159007134 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9070/statm: 597 267 227 166 0 29 0 [pid=9072] ppid=9070 vsize=99008 CPUtime=39.99 /proc/9072/stat : 9072 (apt-pbo) S 9070 9070 3447 769 3447 4202496 27466 43115 0 397 1470 38 2355 136 18 0 1 0 527407265 101384192 23829 1283457024 134512640 135758360 4294261104 18446744073709551615 4159411534 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/9072/statm: 24752 23829 7007 305 0 16863 0 [pid=9094] ppid=9072 vsize=156116 CPUtime=61.99 /proc/9094/stat : 9094 (wbo) R 9072 9070 3447 769 3447 4202496 153088 0 0 0 6115 84 0 0 25 0 1 0 527411287 159862784 38478 1283457024 134512640 135709839 4294787776 18446744073709551615 134607443 0 0 0 3 0 0 0 17 0 0 0 0 /proc/9094/statm: 39029 38478 132 293 0 38734 0 Current children cumulated CPU time (s) 101.98 Current children cumulated vsize (KiB) 257512 [startup+162.312 s] /proc/loadavg: 1.02 1.01 1.00 2/36 9094 /proc/meminfo: memFree=238432/1048576 swapFree=2094644/2097144 [pid=9070] ppid=9069 vsize=2388 CPUtime=0 /proc/9070/stat : 9070 (sh) S 9069 9070 3447 769 3447 4202496 393 307 0 0 0 0 0 0 23 0 1 0 527407265 2445312 267 1283457024 134512640 135191968 4288984352 18446744073709551615 4159007134 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9070/statm: 597 267 227 166 0 29 0 [pid=9072] ppid=9070 vsize=99008 CPUtime=40.05 /proc/9072/stat : 9072 (apt-pbo) S 9070 9070 3447 769 3447 4202496 27466 43115 0 397 1473 41 2355 136 18 0 1 0 527407265 101384192 23829 1283457024 134512640 135758360 4294261104 18446744073709551615 4159411534 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/9072/statm: 24752 23829 7007 305 0 16863 0 [pid=9094] ppid=9072 vsize=303684 CPUtime=121.92 /proc/9094/stat : 9094 (wbo) R 9072 9070 3447 769 3447 4202496 289619 0 0 0 12054 138 0 0 25 0 1 0 527411287 310972416 75297 1283457024 134512640 135709839 4294787776 18446744073709551615 134605413 0 0 0 3 0 0 0 17 0 0 0 0 /proc/9094/statm: 75921 75297 132 293 0 75626 0 Current children cumulated CPU time (s) 161.97 Current children cumulated vsize (KiB) 405080 [startup+222.309 s] /proc/loadavg: 1.00 1.00 1.00 2/36 9094 /proc/meminfo: memFree=85912/1048576 swapFree=2094644/2097144 [pid=9070] ppid=9069 vsize=2388 CPUtime=0 /proc/9070/stat : 9070 (sh) S 9069 9070 3447 769 3447 4202496 393 307 0 0 0 0 0 0 23 0 1 0 527407265 2445312 267 1283457024 134512640 135191968 4288984352 18446744073709551615 4159007134 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9070/statm: 597 267 227 166 0 29 0 [pid=9072] ppid=9070 vsize=99008 CPUtime=40.09 /proc/9072/stat : 9072 (apt-pbo) S 9070 9070 3447 769 3447 4202496 27466 43115 0 397 1476 42 2355 136 18 0 1 0 527407265 101384192 23829 1283457024 134512640 135758360 4294261104 18446744073709551615 4159411534 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/9072/statm: 24752 23829 7007 305 0 16863 0 [pid=9094] ppid=9072 vsize=454636 CPUtime=181.22 /proc/9094/stat : 9094 (wbo) R 9072 9070 3447 769 3447 4202496 417549 0 0 0 17934 188 0 0 25 0 1 0 527411287 465547264 113167 1283457024 134512640 135709839 4294787776 18446744073709551615 135166124 0 0 0 3 0 0 0 17 0 0 0 0 /proc/9094/statm: 113659 113167 132 293 0 113364 0 Current children cumulated CPU time (s) 221.31 Current children cumulated vsize (KiB) 556032 [startup+282.305 s] /proc/loadavg: 1.00 1.00 1.00 2/36 9094 /proc/meminfo: memFree=619364/1048576 swapFree=2094608/2097144 [pid=9070] ppid=9069 vsize=2388 CPUtime=0 /proc/9070/stat : 9070 (sh) S 9069 9070 3447 769 3447 4202496 393 307 0 0 0 0 0 0 23 0 1 0 527407265 2445312 267 1283457024 134512640 135191968 4288984352 18446744073709551615 4159007134 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9070/statm: 597 267 227 166 0 29 0 [pid=9072] ppid=9070 vsize=99504 CPUtime=41.81 /proc/9072/stat : 9072 (apt-pbo) R 9070 9070 3447 769 3447 4202496 28615 43115 0 397 1648 42 2355 136 20 0 1 0 527407265 101892096 23944 1283457024 134512640 135758360 4294261104 18446744073709551615 135064789 0 0 128 0 0 0 0 17 0 0 0 0 /proc/9072/statm: 24876 23944 7007 305 0 16987 0 [pid=9094] ppid=9072 vsize=0 CPUtime=239.48 /proc/9094/stat : 9094 (wbo) Z 9072 9070 3447 769 3447 4202508 529306 0 0 0 23695 253 0 0 25 0 1 0 527411287 0 0 1283457024 0 0 0 0 0 0 0 0 3 18446744071564254338 0 0 17 0 0 0 0 /proc/9094/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 281.29 Current children cumulated vsize (KiB) 101892 Maximum CPU time exceeded: sending signal-name then SIGKILL [startup+291.512 s] /proc/loadavg: 1.00 1.00 1.00 2/36 9099 /proc/meminfo: memFree=592572/1048576 swapFree=2094608/2097144 [pid=9070] ppid=9069 vsize=2388 CPUtime=0 /proc/9070/stat : 9070 (sh) S 9069 9070 3447 769 3447 4202496 393 307 0 0 0 0 0 0 23 0 1 0 527407265 2445312 267 1283457024 134512640 135191968 4288984352 18446744073709551615 4159007134 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9070/statm: 597 267 227 166 0 29 0 [pid=9072] ppid=9070 vsize=99504 CPUtime=289.59 /proc/9072/stat : 9072 (apt-pbo) S 9070 9070 3447 769 3447 4202496 30772 581217 0 397 1715 52 26746 446 18 0 1 0 527407265 101892096 23944 1283457024 134512640 135758360 4294261104 18446744073709551615 4159411534 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/9072/statm: 24876 23944 7007 305 0 16987 0 [pid=9099] ppid=9072 vsize=19060 CPUtime=0.88 /proc/9099/stat : 9099 (wbo) R 9072 9070 3447 769 3447 4202496 8358 0 0 0 84 4 0 0 25 0 1 0 527436326 19517440 4262 1283457024 134512640 135709839 4289805824 18446744073709551615 134605423 0 0 0 3 0 0 0 17 0 0 0 0 /proc/9099/statm: 4765 4262 132 293 0 4470 0 Current children cumulated CPU time (s) 290.47 Current children cumulated vsize (KiB) 120952 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 status: 138 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 9070 and gives # childrusage.ru_utime.tv_sec=284 # childrusage.ru_utime.tv_usec=625788 # childrusage.ru_stime.tv_sec=4 # childrusage.ru_stime.tv_usec=996312 # CPU time returned by wait4() is 289.622 # while last known CPU time is 290.47 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 291.533 CPU time (s): 290.47 CPU user time (s): 285.45 CPU system time (s): 5.02 CPU usage (%): 99.6352 Max. virtual memory (cumulated for all children) (KiB): 718488 getrusage(RUSAGE_CHILDREN,...) data: user time used= 284.626 system time used= 4.99631 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 612944 page faults= 397 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 72122 involuntary context switches= 75670 runsolver used 0 second user time and 0 second system time The end