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/58a4a468-38a5-11df-a561-00163e7a6f5e.cudf.debian-dudf.log.runsolver ./apt-pbo-trendy-1.0.5 /home/misc2010/data/2010/debian-dudf//58a4a468-38a5-11df-a561-00163e7a6f5e.cudf /home/misc2010/tmp/201007051233/apt-pbo-trendy-1.0.5/58a4a468-38a5-11df-a561-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: 0.95 0.99 0.99 3/34 11906 /proc/meminfo: memFree=733084/1048576 swapFree=2094596/2097144 [pid=11905] ppid=11904 vsize=2388 CPUtime=0 /proc/11905/stat : 11905 (sh) R 11904 11905 3447 769 3447 4194304 352 0 0 0 0 0 0 0 25 0 1 0 527822341 2445312 265 1283457024 134512640 135191968 4287978528 18446744073709551615 4159676832 0 65538 4 65536 0 0 0 17 0 0 0 0 /proc/11905/statm: 597 265 226 166 0 29 0 [pid=11906] ppid=11905 vsize=2388 CPUtime=0 /proc/11906/stat : 11906 (sh) R 11905 11905 3447 769 3447 4194368 0 0 0 0 0 0 0 0 25 0 1 0 527822341 2445312 39 1283457024 134512640 135191968 4287978528 18446744073709551615 4159676832 0 65538 4 65536 0 0 0 17 0 0 0 0 /proc/11906/statm: 597 39 0 166 0 29 0 [startup+0.147101 s] /proc/loadavg: 0.95 0.99 0.99 3/34 11906 /proc/meminfo: memFree=733084/1048576 swapFree=2094596/2097144 [pid=11905] ppid=11904 vsize=2388 CPUtime=0 /proc/11905/stat : 11905 (sh) S 11904 11905 3447 769 3447 4202496 390 308 0 0 0 0 0 0 25 0 1 0 527822341 2445312 266 1283457024 134512640 135191968 4287978528 18446744073709551615 4159674782 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/11905/statm: 597 266 227 166 0 29 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2388 [startup+0.207113 s] /proc/loadavg: 0.95 0.99 0.99 3/34 11906 /proc/meminfo: memFree=733084/1048576 swapFree=2094596/2097144 [pid=11905] ppid=11904 vsize=2388 CPUtime=0 /proc/11905/stat : 11905 (sh) S 11904 11905 3447 769 3447 4202496 390 308 0 0 0 0 0 0 25 0 1 0 527822341 2445312 266 1283457024 134512640 135191968 4287978528 18446744073709551615 4159674782 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/11905/statm: 597 266 227 166 0 29 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2388 [startup+0.307138 s] /proc/loadavg: 0.95 0.99 0.99 3/34 11906 /proc/meminfo: memFree=733084/1048576 swapFree=2094596/2097144 [pid=11905] ppid=11904 vsize=2388 CPUtime=0 /proc/11905/stat : 11905 (sh) S 11904 11905 3447 769 3447 4202496 390 308 0 0 0 0 0 0 25 0 1 0 527822341 2445312 266 1283457024 134512640 135191968 4287978528 18446744073709551615 4159674782 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/11905/statm: 597 266 227 166 0 29 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2388 [startup+0.707209 s] /proc/loadavg: 0.95 0.99 0.99 3/34 11906 /proc/meminfo: memFree=733084/1048576 swapFree=2094596/2097144 [pid=11905] ppid=11904 vsize=2388 CPUtime=0 /proc/11905/stat : 11905 (sh) S 11904 11905 3447 769 3447 4202496 390 308 0 0 0 0 0 0 25 0 1 0 527822341 2445312 266 1283457024 134512640 135191968 4287978528 18446744073709551615 4159674782 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/11905/statm: 597 266 227 166 0 29 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2388 [startup+1.50738 s] /proc/loadavg: 0.95 0.99 0.99 2/35 11910 /proc/meminfo: memFree=721568/1048576 swapFree=2094596/2097144 [pid=11905] ppid=11904 vsize=2388 CPUtime=0 /proc/11905/stat : 11905 (sh) S 11904 11905 3447 769 3447 4202496 390 308 0 0 0 0 0 0 25 0 1 0 527822341 2445312 266 1283457024 134512640 135191968 4287978528 18446744073709551615 4159674782 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/11905/statm: 597 266 227 166 0 29 0 [pid=11908] ppid=11905 vsize=17144 CPUtime=1.5 /proc/11908/stat : 11908 (apt-pbo) R 11905 11905 3447 769 3447 4202496 4114 723 0 0 146 3 1 0 25 0 1 0 527822342 17555456 3652 1283457024 134512640 135758360 4291718912 18446744073709551615 135065419 0 0 128 0 0 0 0 17 0 0 0 0 /proc/11908/statm: 4286 3652 630 305 0 3059 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 19532 [startup+3.11111 s] /proc/loadavg: 0.95 0.99 0.99 2/35 11910 /proc/meminfo: memFree=711276/1048576 swapFree=2094596/2097144 [pid=11905] ppid=11904 vsize=2388 CPUtime=0 /proc/11905/stat : 11905 (sh) S 11904 11905 3447 769 3447 4202496 390 308 0 0 0 0 0 0 25 0 1 0 527822341 2445312 266 1283457024 134512640 135191968 4287978528 18446744073709551615 4159674782 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/11905/statm: 597 266 227 166 0 29 0 [pid=11908] ppid=11905 vsize=27564 CPUtime=3.09 /proc/11908/stat : 11908 (apt-pbo) R 11905 11905 3447 769 3447 4202496 6734 723 0 0 300 8 1 0 25 0 1 0 527822342 28225536 6264 1283457024 134512640 135758360 4291718912 18446744073709551615 135136882 0 0 128 0 0 0 0 17 0 0 0 0 /proc/11908/statm: 6891 6264 630 305 0 5664 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 29952 [startup+6.31171 s] /proc/loadavg: 0.95 0.99 0.99 2/35 11910 /proc/meminfo: memFree=681516/1048576 swapFree=2094596/2097144 [pid=11905] ppid=11904 vsize=2388 CPUtime=0 /proc/11905/stat : 11905 (sh) S 11904 11905 3447 769 3447 4202496 390 308 0 0 0 0 0 0 25 0 1 0 527822341 2445312 266 1283457024 134512640 135191968 4287978528 18446744073709551615 4159674782 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/11905/statm: 597 266 227 166 0 29 0 [pid=11908] ppid=11905 vsize=48460 CPUtime=6.29 /proc/11908/stat : 11908 (apt-pbo) R 11905 11905 3447 769 3447 4202496 11963 723 0 0 615 13 1 0 25 0 1 0 527822342 49623040 11492 1283457024 134512640 135758360 4291718912 18446744073709551615 135352301 0 0 128 0 0 0 0 17 0 0 0 0 /proc/11908/statm: 12115 11492 630 305 0 10888 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 50848 [startup+12.7063 s] /proc/loadavg: 0.96 0.99 0.99 2/37 11923 /proc/meminfo: memFree=580528/1048576 swapFree=2094596/2097144 [pid=11905] ppid=11904 vsize=2388 CPUtime=0 /proc/11905/stat : 11905 (sh) S 11904 11905 3447 769 3447 4202496 390 308 0 0 0 0 0 0 25 0 1 0 527822341 2445312 266 1283457024 134512640 135191968 4287978528 18446744073709551615 4159674782 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/11905/statm: 597 266 227 166 0 29 0 [pid=11908] ppid=11905 vsize=94416 CPUtime=10.5 /proc/11908/stat : 11908 (apt-pbo) S 11905 11905 3447 769 3447 4202496 24157 11948 0 391 842 21 170 17 18 0 1 0 527822342 96681984 22672 1283457024 134512640 135758360 4291718912 18446744073709551615 4159386958 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/11908/statm: 23604 22672 7149 305 0 15559 0 [pid=11920] ppid=11908 vsize=2388 CPUtime=0 /proc/11920/stat : 11920 (apt-get.sh) S 11908 11905 3447 769 3447 4202496 390 612 0 0 0 0 0 0 18 0 1 0 527823398 2445312 263 1283457024 134512640 135191968 4289527152 18446744073709551615 4158876062 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/11920/statm: 597 263 224 166 0 29 0 [pid=11923] ppid=11920 vsize=33700 CPUtime=2.09 /proc/11923/stat : 11923 (apt-get) R 11920 11905 3447 769 3447 4202496 7723 0 0 0 191 18 0 0 25 0 1 0 527823400 34508800 7606 1283457024 134512640 134646397 4290733728 18446744073709551615 4157397281 0 0 4096 134217728 0 0 0 17 0 0 0 0 /proc/11923/statm: 8425 7606 6862 33 0 731 0 Current children cumulated CPU time (s) 12.59 Current children cumulated vsize (KiB) 132892 [startup+25.5074 s] /proc/loadavg: 0.97 0.99 0.99 2/36 11924 /proc/meminfo: memFree=525092/1048576 swapFree=2094596/2097144 [pid=11905] ppid=11904 vsize=2388 CPUtime=0 /proc/11905/stat : 11905 (sh) S 11904 11905 3447 769 3447 4202496 390 308 0 0 0 0 0 0 25 0 1 0 527822341 2445312 266 1283457024 134512640 135191968 4287978528 18446744073709551615 4159674782 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/11905/statm: 597 266 227 166 0 29 0 [pid=11908] ppid=11905 vsize=96468 CPUtime=16.72 /proc/11908/stat : 11908 (apt-pbo) S 11905 11905 3447 769 3447 4202496 24793 20771 0 391 845 28 722 77 18 0 1 0 527822342 98783232 23188 1283457024 134512640 135758360 4291718912 18446744073709551615 4159386958 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/11908/statm: 24117 23188 7152 305 0 16072 0 [pid=11924] ppid=11908 vsize=37088 CPUtime=8.61 /proc/11924/stat : 11924 (wbo) R 11908 11905 3447 769 3447 4202496 17002 0 13 0 854 7 0 0 25 0 1 0 527824022 37978112 8771 1283457024 134512640 135709839 4290887200 18446744073709551615 135182852 0 0 0 3 0 0 0 17 0 0 0 0 /proc/11924/statm: 9272 8771 132 293 0 8977 0 Current children cumulated CPU time (s) 25.33 Current children cumulated vsize (KiB) 135944 [startup+51.1086 s] /proc/loadavg: 0.98 0.99 0.99 2/36 11929 /proc/meminfo: memFree=510028/1048576 swapFree=2094596/2097144 [pid=11905] ppid=11904 vsize=2388 CPUtime=0 /proc/11905/stat : 11905 (sh) S 11904 11905 3447 769 3447 4202496 390 308 0 0 0 0 0 0 25 0 1 0 527822341 2445312 266 1283457024 134512640 135191968 4287978528 18446744073709551615 4159674782 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/11905/statm: 597 266 227 166 0 29 0 [pid=11908] ppid=11905 vsize=100856 CPUtime=44.54 /proc/11908/stat : 11908 (apt-pbo) S 11905 11905 3447 769 3447 4202496 27987 51182 0 404 1516 36 2756 146 18 0 1 0 527822342 103276544 24299 1283457024 134512640 135758360 4291718912 18446744073709551615 4159386958 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/11908/statm: 25214 24299 7156 305 0 17169 0 [pid=11929] ppid=11908 vsize=35600 CPUtime=6.38 /proc/11929/stat : 11929 (wbo) R 11908 11905 3447 769 3447 4202496 25536 0 0 0 626 12 0 0 25 0 1 0 527826813 36454400 8297 1283457024 134512640 135709839 4288619744 18446744073709551615 134605655 0 0 0 3 0 0 0 17 0 0 0 0 /proc/11929/statm: 8900 8297 132 293 0 8605 0 Current children cumulated CPU time (s) 50.92 Current children cumulated vsize (KiB) 138844 [startup+102.314 s] /proc/loadavg: 0.99 0.99 0.99 2/36 11929 /proc/meminfo: memFree=381192/1048576 swapFree=2094596/2097144 [pid=11905] ppid=11904 vsize=2388 CPUtime=0 /proc/11905/stat : 11905 (sh) S 11904 11905 3447 769 3447 4202496 390 308 0 0 0 0 0 0 25 0 1 0 527822341 2445312 266 1283457024 134512640 135191968 4287978528 18446744073709551615 4159674782 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/11905/statm: 597 266 227 166 0 29 0 [pid=11908] ppid=11905 vsize=100856 CPUtime=44.58 /proc/11908/stat : 11908 (apt-pbo) S 11905 11905 3447 769 3447 4202496 27987 51182 0 404 1520 36 2756 146 18 0 1 0 527822342 103276544 24299 1283457024 134512640 135758360 4291718912 18446744073709551615 4159386958 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/11908/statm: 25214 24299 7156 305 0 17169 0 [pid=11929] ppid=11908 vsize=162336 CPUtime=57.5 /proc/11929/stat : 11929 (wbo) R 11908 11905 3447 769 3447 4202496 152322 0 0 0 5684 66 0 0 25 0 1 0 527826813 166232064 40029 1283457024 134512640 135709839 4288619744 18446744073709551615 135162161 0 0 0 3 0 0 0 17 0 0 0 0 /proc/11929/statm: 40584 40029 132 293 0 40289 0 Current children cumulated CPU time (s) 102.08 Current children cumulated vsize (KiB) 265580 [startup+162.307 s] /proc/loadavg: 0.99 0.99 0.99 2/36 11929 /proc/meminfo: memFree=221480/1048576 swapFree=2094596/2097144 [pid=11905] ppid=11904 vsize=2388 CPUtime=0 /proc/11905/stat : 11905 (sh) S 11904 11905 3447 769 3447 4202496 390 308 0 0 0 0 0 0 25 0 1 0 527822341 2445312 266 1283457024 134512640 135191968 4287978528 18446744073709551615 4159674782 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/11905/statm: 597 266 227 166 0 29 0 [pid=11908] ppid=11905 vsize=100856 CPUtime=44.63 /proc/11908/stat : 11908 (apt-pbo) S 11905 11905 3447 769 3447 4202496 27987 51182 0 404 1523 38 2756 146 18 0 1 0 527822342 103276544 24299 1283457024 134512640 135758360 4291718912 18446744073709551615 4159386958 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/11908/statm: 25214 24299 7156 305 0 17169 0 [pid=11929] ppid=11908 vsize=323860 CPUtime=117.38 /proc/11929/stat : 11929 (wbo) R 11908 11905 3447 769 3447 4202496 295541 0 0 0 11610 128 0 0 25 0 1 0 527826813 331632640 80424 1283457024 134512640 135709839 4288619744 18446744073709551615 135162139 0 0 0 3 0 0 0 17 0 0 0 0 /proc/11929/statm: 80965 80424 132 293 0 80670 0 Current children cumulated CPU time (s) 162.01 Current children cumulated vsize (KiB) 427104 [startup+222.306 s] /proc/loadavg: 0.99 0.99 0.99 2/36 11929 /proc/meminfo: memFree=52220/1048576 swapFree=2094596/2097144 [pid=11905] ppid=11904 vsize=2388 CPUtime=0 /proc/11905/stat : 11905 (sh) S 11904 11905 3447 769 3447 4202496 390 308 0 0 0 0 0 0 25 0 1 0 527822341 2445312 266 1283457024 134512640 135191968 4287978528 18446744073709551615 4159674782 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/11905/statm: 597 266 227 166 0 29 0 [pid=11908] ppid=11905 vsize=100856 CPUtime=44.64 /proc/11908/stat : 11908 (apt-pbo) S 11905 11905 3447 769 3447 4202496 27987 51182 0 404 1523 39 2756 146 18 0 1 0 527822342 103276544 24299 1283457024 134512640 135758360 4291718912 18446744073709551615 4159386958 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/11908/statm: 25214 24299 7156 305 0 17169 0 [pid=11929] ppid=11908 vsize=490228 CPUtime=177.27 /proc/11929/stat : 11929 (wbo) R 11908 11905 3447 769 3447 4202496 427695 0 0 0 17540 187 0 0 25 0 1 0 527826813 501993472 122060 1283457024 134512640 135709839 4288619744 18446744073709551615 134518512 0 0 0 3 0 0 0 17 0 0 0 0 /proc/11929/statm: 122557 122060 132 293 0 122262 0 Current children cumulated CPU time (s) 221.91 Current children cumulated vsize (KiB) 593472 [startup+282.309 s] /proc/loadavg: 0.99 0.99 0.99 2/36 11929 /proc/meminfo: memFree=6020/1048576 swapFree=2094588/2097144 [pid=11905] ppid=11904 vsize=2388 CPUtime=0 /proc/11905/stat : 11905 (sh) S 11904 11905 3447 769 3447 4202496 390 308 0 0 0 0 0 0 25 0 1 0 527822341 2445312 266 1283457024 134512640 135191968 4287978528 18446744073709551615 4159674782 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/11905/statm: 597 266 227 166 0 29 0 [pid=11908] ppid=11905 vsize=100856 CPUtime=44.66 /proc/11908/stat : 11908 (apt-pbo) S 11905 11905 3447 769 3447 4202496 27987 51182 0 404 1524 40 2756 146 18 0 1 0 527822342 103276544 24299 1283457024 134512640 135758360 4291718912 18446744073709551615 4159386958 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/11908/statm: 25214 24299 7156 305 0 17169 0 [pid=11929] ppid=11908 vsize=658060 CPUtime=237.14 /proc/11929/stat : 11929 (wbo) R 11908 11905 3447 769 3447 4202496 548770 0 0 0 23479 235 0 0 25 0 1 0 527826813 673853440 164027 1283457024 134512640 135709839 4288619744 18446744073709551615 134972068 0 0 0 3 0 0 0 17 0 0 0 0 /proc/11929/statm: 164515 164027 132 293 0 164220 0 Current children cumulated CPU time (s) 281.8 Current children cumulated vsize (KiB) 761304 Maximum CPU time exceeded: sending signal-name then SIGKILL [startup+290.604 s] /proc/loadavg: 0.99 0.99 0.99 2/36 11929 /proc/meminfo: memFree=6156/1048576 swapFree=2094588/2097144 [pid=11905] ppid=11904 vsize=2388 CPUtime=0 /proc/11905/stat : 11905 (sh) S 11904 11905 3447 769 3447 4202496 390 308 0 0 0 0 0 0 25 0 1 0 527822341 2445312 266 1283457024 134512640 135191968 4287978528 18446744073709551615 4159674782 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/11905/statm: 597 266 227 166 0 29 0 [pid=11908] ppid=11905 vsize=100856 CPUtime=44.66 /proc/11908/stat : 11908 (apt-pbo) S 11905 11905 3447 769 3447 4202496 27987 51182 0 404 1524 40 2756 146 18 0 1 0 527822342 103276544 24299 1283457024 134512640 135758360 4291718912 18446744073709551615 4159386958 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/11908/statm: 25214 24299 7156 305 0 17169 0 [pid=11929] ppid=11908 vsize=685480 CPUtime=245.39 /proc/11929/stat : 11929 (wbo) R 11908 11905 3447 769 3447 4202496 566637 0 0 0 24289 250 0 0 25 0 1 0 527826813 701931520 170682 1283457024 134512640 135709839 4288619744 18446744073709551615 135166068 0 0 0 3 0 0 0 17 0 0 0 0 /proc/11929/statm: 171370 170682 133 293 0 171075 0 Current children cumulated CPU time (s) 290.05 Current children cumulated vsize (KiB) 788724 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.604 s] /proc/loadavg: 0.99 0.99 0.99 2/36 11929 /proc/meminfo: memFree=6156/1048576 swapFree=2094588/2097144 [pid=11905] ppid=11904 vsize=2388 CPUtime=0 /proc/11905/stat : 11905 (sh) S 11904 11905 3447 769 3447 4202496 390 308 0 0 0 0 0 0 25 0 1 0 527822341 2445312 266 1283457024 134512640 135191968 4287978528 18446744073709551615 4159674782 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/11905/statm: 597 266 227 166 0 29 0 [pid=11908] ppid=11905 vsize=100856 CPUtime=44.66 /proc/11908/stat : 11908 (apt-pbo) S 11905 11905 3447 769 3447 4202496 27987 51182 0 404 1524 40 2756 146 18 0 1 0 527822342 103276544 24299 1283457024 134512640 135758360 4291718912 18446744073709551615 4159386958 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/11908/statm: 25214 24299 7156 305 0 17169 0 [pid=11929] ppid=11908 vsize=685480 CPUtime=245.39 /proc/11929/stat : 11929 (wbo) R 11908 11905 3447 769 3447 4202496 566637 0 0 0 24289 250 0 0 25 0 1 0 527826813 701931520 170682 1283457024 134512640 135709839 4288619744 18446744073709551615 135166068 0 0 0 3 0 0 0 17 0 0 0 0 /proc/11929/statm: 171370 170682 133 293 0 171075 0 Current children cumulated CPU time (s) 290.05 Current children cumulated vsize (KiB) 788724 Child status: 138 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 11905 and gives # childrusage.ru_utime.tv_sec=42 # childrusage.ru_utime.tv_usec=810675 # childrusage.ru_stime.tv_sec=1 # childrusage.ru_stime.tv_usec=872117 # CPU time returned by wait4() is 44.6828 # while last known CPU time is 290.05 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 290.644 CPU time (s): 290.05 CPU user time (s): 285.69 CPU system time (s): 4.36 CPU usage (%): 99.7955 Max. virtual memory (cumulated for all children) (KiB): 789208 getrusage(RUSAGE_CHILDREN,...) data: user time used= 42.8107 system time used= 1.87212 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 79880 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= 52309 involuntary context switches= 44735 runsolver used 0 second user time and 0 second system time The end