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/201007051419/apt-pbo-trendy-1.0.5/rand655e63.cudf.impossible.log.runsolver ./apt-pbo-trendy-1.0.5 /home/misc2010/data/2010/impossible//rand655e63.cudf /home/misc2010/tmp/201007051419/apt-pbo-trendy-1.0.5/rand655e63.cudf.impossible.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.17 1.10 1.06 2/94 1800 /proc/meminfo: memFree=1185704/2097152 swapFree=2055676/2097144 [pid=1800] ppid=1799 vsize=2880 CPUtime=0 /proc/1800/stat : 1800 (runsolver) R 1799 1800 13759 34823 13904 4202560 74 0 0 0 0 0 0 0 19 0 1 0 415917348 2949120 94 1283457024 134512640 134586868 4287410304 18446744073709551615 4157642010 0 2147483391 0 24578 0 0 0 17 0 0 0 0 /proc/1800/statm: 720 94 63 19 0 52 0 [startup+0.126532 s] /proc/loadavg: 1.17 1.10 1.06 2/94 1800 /proc/meminfo: memFree=1185704/2097152 swapFree=2055676/2097144 [pid=1800] ppid=1799 vsize=2380 CPUtime=0 /proc/1800/stat : 1800 (sh) S 1799 1800 13759 34823 13904 4202496 386 309 0 0 0 0 0 0 19 0 1 0 415917348 2437120 263 1283457024 134512640 135191968 4286857408 18446744073709551615 4159580814 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/1800/statm: 595 263 226 166 0 27 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2380 [startup+0.206526 s] /proc/loadavg: 1.17 1.10 1.06 2/94 1800 /proc/meminfo: memFree=1185704/2097152 swapFree=2055676/2097144 [pid=1800] ppid=1799 vsize=2380 CPUtime=0 /proc/1800/stat : 1800 (sh) S 1799 1800 13759 34823 13904 4202496 386 309 0 0 0 0 0 0 19 0 1 0 415917348 2437120 263 1283457024 134512640 135191968 4286857408 18446744073709551615 4159580814 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/1800/statm: 595 263 226 166 0 27 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2380 [startup+0.306537 s] /proc/loadavg: 1.17 1.10 1.06 2/94 1800 /proc/meminfo: memFree=1185704/2097152 swapFree=2055676/2097144 [pid=1800] ppid=1799 vsize=2380 CPUtime=0 /proc/1800/stat : 1800 (sh) S 1799 1800 13759 34823 13904 4202496 386 309 0 0 0 0 0 0 19 0 1 0 415917348 2437120 263 1283457024 134512640 135191968 4286857408 18446744073709551615 4159580814 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/1800/statm: 595 263 226 166 0 27 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2380 [startup+0.706615 s] /proc/loadavg: 1.17 1.10 1.06 2/94 1800 /proc/meminfo: memFree=1185704/2097152 swapFree=2055676/2097144 [pid=1800] ppid=1799 vsize=2380 CPUtime=0 /proc/1800/stat : 1800 (sh) S 1799 1800 13759 34823 13904 4202496 386 309 0 0 0 0 0 0 19 0 1 0 415917348 2437120 263 1283457024 134512640 135191968 4286857408 18446744073709551615 4159580814 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/1800/statm: 595 263 226 166 0 27 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2380 [startup+1.50677 s] /proc/loadavg: 1.17 1.10 1.06 2/96 1805 /proc/meminfo: memFree=1174056/2097152 swapFree=2055676/2097144 [pid=1800] ppid=1799 vsize=2380 CPUtime=0 /proc/1800/stat : 1800 (sh) S 1799 1800 13759 34823 13904 4202496 386 309 0 0 0 0 0 0 19 0 1 0 415917348 2437120 263 1283457024 134512640 135191968 4286857408 18446744073709551615 4159580814 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/1800/statm: 595 263 226 166 0 27 0 [pid=1803] ppid=1800 vsize=17084 CPUtime=1.45 /proc/1803/stat : 1803 (apt-pbo) R 1800 1800 13759 34823 13904 4202496 4096 716 0 0 142 3 0 0 25 0 1 0 415917349 17494016 3650 1283457024 134512640 135758360 4290749360 18446744073709551615 134944883 0 0 128 0 0 0 0 17 0 0 0 0 /proc/1803/statm: 4271 3650 628 305 0 3044 0 Current children cumulated CPU time (s) 1.45 Current children cumulated vsize (KiB) 19464 [startup+3.10703 s] /proc/loadavg: 1.17 1.10 1.06 2/96 1805 /proc/meminfo: memFree=1163764/2097152 swapFree=2055676/2097144 [pid=1800] ppid=1799 vsize=2380 CPUtime=0 /proc/1800/stat : 1800 (sh) S 1799 1800 13759 34823 13904 4202496 386 309 0 0 0 0 0 0 19 0 1 0 415917348 2437120 263 1283457024 134512640 135191968 4286857408 18446744073709551615 4159580814 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/1800/statm: 595 263 226 166 0 27 0 [pid=1803] ppid=1800 vsize=27780 CPUtime=3.05 /proc/1803/stat : 1803 (apt-pbo) R 1800 1800 13759 34823 13904 4202496 6751 716 0 0 302 3 0 0 25 0 1 0 415917349 28446720 6298 1283457024 134512640 135758360 4290749360 18446744073709551615 135182099 0 0 128 0 0 0 0 17 0 0 0 0 /proc/1803/statm: 6945 6298 628 305 0 5718 0 Current children cumulated CPU time (s) 3.05 Current children cumulated vsize (KiB) 30160 [startup+6.30762 s] /proc/loadavg: 1.15 1.10 1.05 2/96 1805 /proc/meminfo: memFree=1134004/2097152 swapFree=2055676/2097144 [pid=1800] ppid=1799 vsize=2380 CPUtime=0 /proc/1800/stat : 1800 (sh) S 1799 1800 13759 34823 13904 4202496 386 309 0 0 0 0 0 0 19 0 1 0 415917348 2437120 263 1283457024 134512640 135191968 4286857408 18446744073709551615 4159580814 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/1800/statm: 595 263 226 166 0 27 0 [pid=1803] ppid=1800 vsize=48808 CPUtime=6.24 /proc/1803/stat : 1803 (apt-pbo) R 1800 1800 13759 34823 13904 4202496 12010 716 0 0 618 6 0 0 25 0 1 0 415917349 49979392 11555 1283457024 134512640 135758360 4290749360 18446744073709551615 135357359 0 0 128 0 0 0 0 17 0 0 0 0 /proc/1803/statm: 12202 11555 628 305 0 10975 0 Current children cumulated CPU time (s) 6.24 Current children cumulated vsize (KiB) 51188 [startup+12.7087 s] /proc/loadavg: 1.14 1.10 1.05 2/98 1814 /proc/meminfo: memFree=1046148/2097152 swapFree=2055676/2097144 [pid=1800] ppid=1799 vsize=2380 CPUtime=0 /proc/1800/stat : 1800 (sh) S 1799 1800 13759 34823 13904 4202496 386 309 0 0 0 0 0 0 19 0 1 0 415917348 2437120 263 1283457024 134512640 135191968 4286857408 18446744073709551615 4159580814 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/1800/statm: 595 263 226 166 0 27 0 [pid=1803] ppid=1800 vsize=82216 CPUtime=11.25 /proc/1803/stat : 1803 (apt-pbo) S 1800 1800 13759 34823 13904 4202496 20924 716 0 0 1111 14 0 0 19 0 1 0 415917349 84189184 19922 1283457024 134512640 135758360 4290749360 18446744073709551615 4160337230 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/1803/statm: 20554 19922 628 305 0 19327 0 [pid=1807] ppid=1803 vsize=2380 CPUtime=0.01 /proc/1807/stat : 1807 (apt-get.sh) S 1803 1800 13759 34823 13904 4202496 389 612 0 0 0 1 0 0 19 0 1 0 415918478 2437120 261 1283457024 134512640 135191968 4291781952 18446744073709551615 4159576718 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/1807/statm: 595 261 223 166 0 27 0 [pid=1810] ppid=1807 vsize=52608 CPUtime=1.32 /proc/1810/stat : 1810 (apt-get) R 1807 1800 13759 34823 13904 4202496 5031 1641 271 0 74 4 49 5 18 0 1 0 415918483 53870592 5163 1283457024 134512640 134646397 4286636128 18446744073709551615 4159466805 0 0 4096 134217728 0 0 0 17 0 0 0 0 /proc/1810/statm: 13152 5163 5109 33 0 68 0 Current children cumulated CPU time (s) 12.58 Current children cumulated vsize (KiB) 139584 [startup+25.5128 s] /proc/loadavg: 1.11 1.09 1.05 2/98 1820 /proc/meminfo: memFree=957300/2097152 swapFree=2055676/2097144 [pid=1800] ppid=1799 vsize=2380 CPUtime=0 /proc/1800/stat : 1800 (sh) S 1799 1800 13759 34823 13904 4202496 386 309 0 0 0 0 0 0 19 0 1 0 415917348 2437120 263 1283457024 134512640 135191968 4286857408 18446744073709551615 4159580814 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/1800/statm: 595 263 226 166 0 27 0 [pid=1803] ppid=1800 vsize=126112 CPUtime=14.69 /proc/1803/stat : 1803 (apt-pbo) S 1800 1800 13759 34823 13904 4202496 31808 14398 0 588 1147 31 262 29 18 0 1 0 415917349 129138688 30421 1283457024 134512640 135758360 4290749360 18446744073709551615 4160337230 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/1803/statm: 31528 30421 10360 305 0 20098 0 [pid=1816] ppid=1803 vsize=2380 CPUtime=0 /proc/1816/stat : 1816 (apt-get.sh) S 1803 1800 13759 34823 13904 4202496 395 613 0 0 0 0 0 0 22 0 1 0 415918817 2437120 261 1283457024 134512640 135191968 4291048336 18446744073709551615 4158696078 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/1816/statm: 595 261 223 166 0 27 0 [pid=1819] ppid=1816 vsize=48448 CPUtime=10.6 /proc/1819/stat : 1819 (apt-get) R 1816 1800 13759 34823 13904 4202496 11257 0 0 0 1018 42 0 0 25 0 1 0 415918819 49610752 11069 1283457024 134512640 134646397 4292185264 18446744073709551615 4157092674 0 0 4096 134217728 0 0 0 17 0 0 0 0 /proc/1819/statm: 12112 11069 10073 33 0 1033 0 Current children cumulated CPU time (s) 25.29 Current children cumulated vsize (KiB) 179320 [startup+51.1047 s] /proc/loadavg: 1.15 1.10 1.06 2/97 1823 /proc/meminfo: memFree=809208/2097152 swapFree=2055676/2097144 [pid=1800] ppid=1799 vsize=2380 CPUtime=0 /proc/1800/stat : 1800 (sh) S 1799 1800 13759 34823 13904 4202496 386 309 0 0 0 0 0 0 19 0 1 0 415917348 2437120 263 1283457024 134512640 135191968 4286857408 18446744073709551615 4159580814 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/1800/statm: 595 263 226 166 0 27 0 [pid=1803] ppid=1800 vsize=128164 CPUtime=25.72 /proc/1803/stat : 1803 (apt-pbo) S 1800 1800 13759 34823 13904 4202496 32441 26676 0 588 1147 34 1296 95 18 0 1 0 415917349 131239936 30937 1283457024 134512640 135758360 4290749360 18446744073709551615 4160337230 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/1803/statm: 32041 30937 10363 305 0 20611 0 [pid=1821] ppid=1803 vsize=125312 CPUtime=25.08 /proc/1821/stat : 1821 (wbo) R 1803 1800 13759 34823 13904 4202496 73365 0 0 0 2474 34 0 0 18 0 1 0 415919946 128319488 30682 1283457024 134512640 135709839 4293949280 18446744073709551615 135173032 0 0 0 3 0 0 0 17 1 0 0 0 /proc/1821/statm: 31328 30682 132 293 0 31033 0 Current children cumulated CPU time (s) 50.8 Current children cumulated vsize (KiB) 255856 [startup+102.305 s] /proc/loadavg: 1.06 1.08 1.05 2/98 2307 /proc/meminfo: memFree=887152/2097152 swapFree=2055676/2097144 [pid=1800] ppid=1799 vsize=2380 CPUtime=0 /proc/1800/stat : 1800 (sh) S 1799 1800 13759 34823 13904 4202496 386 309 0 0 0 0 0 0 19 0 1 0 415917348 2437120 263 1283457024 134512640 135191968 4286857408 18446744073709551615 4159580814 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/1800/statm: 595 263 226 166 0 27 0 [pid=1803] ppid=1800 vsize=170736 CPUtime=54.45 /proc/1803/stat : 1803 (apt-pbo) R 1800 1800 13759 34823 13904 4202496 43364 26676 0 588 4013 41 1296 95 25 0 1 0 415917349 174833664 41545 1283457024 134512640 135758360 4290749360 18446744073709551615 4159453120 0 0 128 0 0 0 0 17 0 0 0 0 /proc/1803/statm: 42684 41545 10367 305 0 31254 0 [pid=1821] ppid=1803 vsize=0 CPUtime=47.3 /proc/1821/stat : 1821 (wbo) Z 1803 1800 13759 34823 13904 4202508 174868 0 0 0 4646 84 0 0 18 0 1 0 415919946 0 0 1283457024 0 0 0 0 0 0 0 0 3 18446744071564254338 0 0 17 1 0 0 0 /proc/1821/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 101.75 Current children cumulated vsize (KiB) 173116 [startup+162.314 s] /proc/loadavg: 1.33 1.14 1.07 2/97 2316 /proc/meminfo: memFree=697548/2097152 swapFree=2055676/2097144 [pid=1800] ppid=1799 vsize=2380 CPUtime=0 /proc/1800/stat : 1800 (sh) S 1799 1800 13759 34823 13904 4202496 386 309 0 0 0 0 0 0 19 0 1 0 415917348 2437120 263 1283457024 134512640 135191968 4286857408 18446744073709551615 4159580814 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/1800/statm: 595 263 226 166 0 27 0 [pid=1803] ppid=1800 vsize=170736 CPUtime=121.86 /proc/1803/stat : 1803 (apt-pbo) S 1800 1800 13759 34823 13904 4202496 45244 213880 0 588 4910 48 6991 237 18 0 1 0 415917349 174833664 41545 1283457024 134512640 135758360 4290749360 18446744073709551615 4160337230 0 0 128 0 18446744071564457842 0 0 17 1 0 0 0 /proc/1803/statm: 42684 41545 10367 305 0 31254 0 [pid=2313] ppid=1803 vsize=179368 CPUtime=39.66 /proc/2313/stat : 2313 (wbo) R 1803 1800 13759 34823 13904 4202496 107435 0 0 0 3905 61 0 0 25 0 1 0 415929611 183672832 44149 1283457024 134512640 135709839 4292404704 18446744073709551615 135182831 0 0 0 3 0 0 0 17 0 0 0 0 /proc/2313/statm: 44842 44149 132 293 0 44547 0 Current children cumulated CPU time (s) 161.52 Current children cumulated vsize (KiB) 352484 [startup+222.305 s] /proc/loadavg: 1.12 1.11 1.07 2/98 2322 /proc/meminfo: memFree=460832/2097152 swapFree=2055676/2097144 [pid=1800] ppid=1799 vsize=2380 CPUtime=0 /proc/1800/stat : 1800 (sh) S 1799 1800 13759 34823 13904 4202496 386 309 0 0 0 0 0 0 19 0 1 0 415917348 2437120 263 1283457024 134512640 135191968 4286857408 18446744073709551615 4159580814 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/1800/statm: 595 263 226 166 0 27 0 [pid=1803] ppid=1800 vsize=170736 CPUtime=121.86 /proc/1803/stat : 1803 (apt-pbo) S 1800 1800 13759 34823 13904 4202496 45244 213880 0 588 4910 48 6991 237 18 0 1 0 415917349 174833664 41545 1283457024 134512640 135758360 4290749360 18446744073709551615 4160337230 0 0 128 0 18446744071564457842 0 0 17 1 0 0 0 /proc/1803/statm: 42684 41545 10367 305 0 31254 0 [pid=2313] ppid=1803 vsize=413748 CPUtime=99.34 /proc/2313/stat : 2313 (wbo) R 1803 1800 13759 34823 13904 4202496 332606 0 0 0 9756 178 0 0 25 0 1 0 415929611 423677952 102617 1283457024 134512640 135709839 4292404704 18446744073709551615 135182831 0 0 0 3 0 0 0 17 0 0 0 0 /proc/2313/statm: 103437 102617 132 293 0 103142 0 Current children cumulated CPU time (s) 221.2 Current children cumulated vsize (KiB) 586864 [startup+282.311 s] /proc/loadavg: 1.07 1.10 1.07 2/97 2326 /proc/meminfo: memFree=217800/2097152 swapFree=2055676/2097144 [pid=1800] ppid=1799 vsize=2380 CPUtime=0 /proc/1800/stat : 1800 (sh) S 1799 1800 13759 34823 13904 4202496 386 309 0 0 0 0 0 0 19 0 1 0 415917348 2437120 263 1283457024 134512640 135191968 4286857408 18446744073709551615 4159580814 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/1800/statm: 595 263 226 166 0 27 0 [pid=1803] ppid=1800 vsize=170736 CPUtime=121.86 /proc/1803/stat : 1803 (apt-pbo) S 1800 1800 13759 34823 13904 4202496 45244 213880 0 588 4910 48 6991 237 18 0 1 0 415917349 174833664 41545 1283457024 134512640 135758360 4290749360 18446744073709551615 4160337230 0 0 128 0 18446744071564457842 0 0 17 1 0 0 0 /proc/1803/statm: 42684 41545 10367 305 0 31254 0 [pid=2313] ppid=1803 vsize=657948 CPUtime=159.33 /proc/2313/stat : 2313 (wbo) R 1803 1800 13759 34823 13904 4202496 615158 0 0 0 15649 284 0 0 25 0 1 0 415929611 673738752 163687 1283457024 134512640 135709839 4292404704 18446744073709551615 134517456 0 0 0 3 0 0 0 17 0 0 0 0 /proc/2313/statm: 164487 163687 132 293 0 164192 0 Current children cumulated CPU time (s) 281.19 Current children cumulated vsize (KiB) 831064 Maximum CPU time exceeded: sending signal-name then SIGKILL [startup+291.214 s] /proc/loadavg: 1.06 1.10 1.06 2/97 2327 /proc/meminfo: memFree=176500/2097152 swapFree=2055676/2097144 [pid=1800] ppid=1799 vsize=2380 CPUtime=0 /proc/1800/stat : 1800 (sh) S 1799 1800 13759 34823 13904 4202496 386 309 0 0 0 0 0 0 19 0 1 0 415917348 2437120 263 1283457024 134512640 135191968 4286857408 18446744073709551615 4159580814 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/1800/statm: 595 263 226 166 0 27 0 [pid=1803] ppid=1800 vsize=170736 CPUtime=121.86 /proc/1803/stat : 1803 (apt-pbo) S 1800 1800 13759 34823 13904 4202496 45244 213880 0 588 4910 48 6991 237 18 0 1 0 415917349 174833664 41545 1283457024 134512640 135758360 4290749360 18446744073709551615 4160337230 0 0 128 0 18446744071564457842 0 0 17 1 0 0 0 /proc/1803/statm: 42684 41545 10367 305 0 31254 0 [pid=2313] ppid=1803 vsize=696132 CPUtime=168.23 /proc/2313/stat : 2313 (wbo) R 1803 1800 13759 34823 13904 4202496 659795 0 0 0 16515 308 0 0 25 0 1 0 415929611 712839168 173304 1283457024 134512640 135709839 4292404704 18446744073709551615 134605406 0 0 0 3 0 0 0 17 0 0 0 0 /proc/2313/statm: 174033 173304 132 293 0 173738 0 Current children cumulated CPU time (s) 290.09 Current children cumulated vsize (KiB) 869248 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+291.214 s] /proc/loadavg: 1.06 1.10 1.06 2/97 2327 /proc/meminfo: memFree=176500/2097152 swapFree=2055676/2097144 [pid=1800] ppid=1799 vsize=2380 CPUtime=0 /proc/1800/stat : 1800 (sh) S 1799 1800 13759 34823 13904 4202496 386 309 0 0 0 0 0 0 19 0 1 0 415917348 2437120 263 1283457024 134512640 135191968 4286857408 18446744073709551615 4159580814 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/1800/statm: 595 263 226 166 0 27 0 [pid=1803] ppid=1800 vsize=170736 CPUtime=121.86 /proc/1803/stat : 1803 (apt-pbo) S 1800 1800 13759 34823 13904 4202496 45244 213880 0 588 4910 48 6991 237 18 0 1 0 415917349 174833664 41545 1283457024 134512640 135758360 4290749360 18446744073709551615 4160337230 0 0 128 0 18446744071564457842 0 0 17 1 0 0 0 /proc/1803/statm: 42684 41545 10367 305 0 31254 0 [pid=2313] ppid=1803 vsize=696132 CPUtime=168.23 /proc/2313/stat : 2313 (wbo) R 1803 1800 13759 34823 13904 4202496 659795 0 0 0 16515 308 0 0 25 0 1 0 415929611 712839168 173304 1283457024 134512640 135709839 4292404704 18446744073709551615 134605406 0 0 0 3 0 0 0 17 0 0 0 0 /proc/2313/statm: 174033 173304 132 293 0 173738 0 Current children cumulated CPU time (s) 290.09 Current children cumulated vsize (KiB) 869248 Child ended because it received signal 10 (SIGUSR1) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 1800 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=0 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=4000 # CPU time returned by wait4() is 0.004 # while last known CPU time is 290.09 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 291.257 CPU time (s): 290.09 CPU user time (s): 284.16 CPU system time (s): 5.93 CPU usage (%): 99.5995 Max. virtual memory (cumulated for all children) (KiB): 869248 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0 system time used= 0.004 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 695 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 16 involuntary context switches= 4 runsolver used 0.012 second user time and 0.028001 second system time The end