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-paranoid-1.0.5/rand394916.cudf.difficult.log.runsolver ./apt-pbo-paranoid-1.0.5 /home/misc2010/data/2010/difficult//rand394916.cudf /home/misc2010/tmp/201007051419/apt-pbo-paranoid-1.0.5/rand394916.cudf.difficult.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.00 1.03 1.01 1/95 9290 /proc/meminfo: memFree=1167596/2097152 swapFree=2055676/2097144 [pid=9290] ppid=9289 vsize=2380 CPUtime=0 /proc/9290/stat : 9290 (sh) S 9289 9290 13759 34823 13904 4202496 388 309 0 0 0 0 0 0 18 0 1 0 416235515 2437120 264 1283457024 134512640 135191968 4289207024 18446744073709551615 4158798478 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/9290/statm: 595 264 226 166 0 27 0 [pid=9292] ppid=9290 vsize=1352 CPUtime=0 /proc/9292/stat : 9292 (apt-pbo) R 9290 9290 13759 34823 13904 4194304 62 0 0 0 0 0 0 0 19 0 1 0 416235516 1384448 6 1283457024 134512640 135758360 4294110944 18446744073709551615 4160462299 0 0 0 0 0 0 0 17 1 0 0 0 /proc/9292/statm: 338 18 13 305 0 3 0 [startup+0.208823 s] /proc/loadavg: 1.00 1.03 1.01 1/95 9290 /proc/meminfo: memFree=1167596/2097152 swapFree=2055676/2097144 [pid=9290] ppid=9289 vsize=2380 CPUtime=0 /proc/9290/stat : 9290 (sh) S 9289 9290 13759 34823 13904 4202496 388 309 0 0 0 0 0 0 18 0 1 0 416235515 2437120 264 1283457024 134512640 135191968 4289207024 18446744073709551615 4158798478 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/9290/statm: 595 264 226 166 0 27 0 [pid=9292] ppid=9290 vsize=8320 CPUtime=0.13 /proc/9292/stat : 9292 (apt-pbo) R 9290 9290 13759 34823 13904 4202496 1869 717 0 0 12 1 0 0 19 0 1 0 416235516 8519680 1465 1283457024 134512640 135758360 4294110944 18446744073709551615 4159213925 0 0 128 0 0 0 0 17 0 0 0 0 /proc/9292/statm: 2080 1465 628 305 0 853 0 Current children cumulated CPU time (s) 0.13 Current children cumulated vsize (KiB) 10700 [startup+0.304733 s] /proc/loadavg: 1.00 1.03 1.01 1/95 9290 /proc/meminfo: memFree=1167596/2097152 swapFree=2055676/2097144 [pid=9290] ppid=9289 vsize=2380 CPUtime=0 /proc/9290/stat : 9290 (sh) S 9289 9290 13759 34823 13904 4202496 388 309 0 0 0 0 0 0 18 0 1 0 416235515 2437120 264 1283457024 134512640 135191968 4289207024 18446744073709551615 4158798478 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/9290/statm: 595 264 226 166 0 27 0 [pid=9292] ppid=9290 vsize=8980 CPUtime=0.23 /proc/9292/stat : 9292 (apt-pbo) R 9290 9290 13759 34823 13904 4202496 2025 717 0 0 22 1 0 0 19 0 1 0 416235516 9195520 1621 1283457024 134512640 135758360 4294110944 18446744073709551615 4159237303 0 0 128 0 0 0 0 17 0 0 0 0 /proc/9292/statm: 2245 1621 628 305 0 1018 0 Current children cumulated CPU time (s) 0.23 Current children cumulated vsize (KiB) 11360 [startup+0.404737 s] /proc/loadavg: 1.00 1.03 1.01 1/95 9290 /proc/meminfo: memFree=1167596/2097152 swapFree=2055676/2097144 [pid=9290] ppid=9289 vsize=2380 CPUtime=0 /proc/9290/stat : 9290 (sh) S 9289 9290 13759 34823 13904 4202496 388 309 0 0 0 0 0 0 18 0 1 0 416235515 2437120 264 1283457024 134512640 135191968 4289207024 18446744073709551615 4158798478 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/9290/statm: 595 264 226 166 0 27 0 [pid=9292] ppid=9290 vsize=9776 CPUtime=0.33 /proc/9292/stat : 9292 (apt-pbo) R 9290 9290 13759 34823 13904 4202496 2204 717 0 0 32 1 0 0 19 0 1 0 416235516 10010624 1799 1283457024 134512640 135758360 4294110944 18446744073709551615 135511032 0 0 128 0 0 0 0 17 0 0 0 0 /proc/9292/statm: 2444 1799 628 305 0 1217 0 Current children cumulated CPU time (s) 0.33 Current children cumulated vsize (KiB) 12156 [startup+0.704749 s] /proc/loadavg: 1.00 1.03 1.01 1/95 9290 /proc/meminfo: memFree=1167596/2097152 swapFree=2055676/2097144 [pid=9290] ppid=9289 vsize=2380 CPUtime=0 /proc/9290/stat : 9290 (sh) S 9289 9290 13759 34823 13904 4202496 388 309 0 0 0 0 0 0 18 0 1 0 416235515 2437120 264 1283457024 134512640 135191968 4289207024 18446744073709551615 4158798478 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/9290/statm: 595 264 226 166 0 27 0 [pid=9292] ppid=9290 vsize=11784 CPUtime=0.62 /proc/9292/stat : 9292 (apt-pbo) R 9290 9290 13759 34823 13904 4202496 2741 717 0 0 60 2 0 0 20 0 1 0 416235516 12066816 2304 1283457024 134512640 135758360 4294110944 18446744073709551615 4159213925 0 0 128 0 0 0 0 17 0 0 0 0 /proc/9292/statm: 2946 2304 628 305 0 1719 0 Current children cumulated CPU time (s) 0.62 Current children cumulated vsize (KiB) 14164 [startup+1.50476 s] /proc/loadavg: 1.00 1.03 1.01 2/97 9295 /proc/meminfo: memFree=1152848/2097152 swapFree=2055676/2097144 [pid=9290] ppid=9289 vsize=2380 CPUtime=0 /proc/9290/stat : 9290 (sh) S 9289 9290 13759 34823 13904 4202496 388 309 0 0 0 0 0 0 18 0 1 0 416235515 2437120 264 1283457024 134512640 135191968 4289207024 18446744073709551615 4158798478 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/9290/statm: 595 264 226 166 0 27 0 [pid=9292] ppid=9290 vsize=17080 CPUtime=1.42 /proc/9292/stat : 9292 (apt-pbo) R 9290 9290 13759 34823 13904 4202496 4074 717 0 0 136 6 0 0 22 0 1 0 416235516 17489920 3631 1283457024 134512640 135758360 4294110944 18446744073709551615 4160120030 0 0 128 0 0 0 0 17 0 0 0 0 /proc/9292/statm: 4270 3631 628 305 0 3043 0 Current children cumulated CPU time (s) 1.42 Current children cumulated vsize (KiB) 19460 [startup+3.10483 s] /proc/loadavg: 1.00 1.03 1.01 2/97 9295 /proc/meminfo: memFree=1139976/2097152 swapFree=2055676/2097144 [pid=9290] ppid=9289 vsize=2380 CPUtime=0 /proc/9290/stat : 9290 (sh) S 9289 9290 13759 34823 13904 4202496 388 309 0 0 0 0 0 0 18 0 1 0 416235515 2437120 264 1283457024 134512640 135191968 4289207024 18446744073709551615 4158798478 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/9290/statm: 595 264 226 166 0 27 0 [pid=9292] ppid=9290 vsize=27744 CPUtime=3.02 /proc/9292/stat : 9292 (apt-pbo) R 9290 9290 13759 34823 13904 4202496 6743 717 0 0 293 9 0 0 25 0 1 0 416235516 28409856 6293 1283457024 134512640 135758360 4294110944 18446744073709551615 4159213925 0 0 128 0 0 0 0 17 0 0 0 0 /proc/9292/statm: 6936 6293 628 305 0 5709 0 Current children cumulated CPU time (s) 3.02 Current children cumulated vsize (KiB) 30124 [startup+6.30499 s] /proc/loadavg: 1.00 1.03 1.01 3/101 9305 /proc/meminfo: memFree=1088752/2097152 swapFree=2055676/2097144 [pid=9290] ppid=9289 vsize=2380 CPUtime=0 /proc/9290/stat : 9290 (sh) S 9289 9290 13759 34823 13904 4202496 388 309 0 0 0 0 0 0 18 0 1 0 416235515 2437120 264 1283457024 134512640 135191968 4289207024 18446744073709551615 4158798478 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/9290/statm: 595 264 226 166 0 27 0 [pid=9292] ppid=9290 vsize=44032 CPUtime=5.42 /proc/9292/stat : 9292 (apt-pbo) S 9290 9290 13759 34823 13904 4202496 10866 717 0 0 527 15 0 0 22 0 1 0 416235516 45088768 10381 1283457024 134512640 135758360 4294110944 18446744073709551615 4160120142 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/9292/statm: 11008 10381 628 305 0 9781 0 [pid=9296] ppid=9292 vsize=2376 CPUtime=0 /proc/9296/stat : 9296 (apt-get.sh) S 9292 9290 13759 34823 13904 4202496 384 613 0 0 0 0 0 0 18 0 1 0 416236066 2433024 259 1283457024 134512640 135191968 4286783616 18446744073709551615 4159277710 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/9296/statm: 594 259 223 166 0 26 0 [pid=9300] ppid=9296 vsize=52608 CPUtime=0.7 /proc/9300/stat : 9300 (apt-get) R 9296 9290 13759 34823 13904 4202496 3533 1622 178 0 44 1 23 2 18 0 1 0 416236070 53870592 3573 1283457024 134512640 134646397 4293910352 18446744073709551615 4159783848 0 0 4096 134217728 0 0 0 17 0 0 0 0 /proc/9300/statm: 13152 3573 3519 33 0 68 0 Current children cumulated CPU time (s) 6.12 Current children cumulated vsize (KiB) 101396 [startup+12.7109 s] /proc/loadavg: 1.00 1.03 1.01 2/98 9311 /proc/meminfo: memFree=1044860/2097152 swapFree=2055676/2097144 [pid=9290] ppid=9289 vsize=2380 CPUtime=0 /proc/9290/stat : 9290 (sh) S 9289 9290 13759 34823 13904 4202496 388 309 0 0 0 0 0 0 18 0 1 0 416235515 2437120 264 1283457024 134512640 135191968 4289207024 18446744073709551615 4158798478 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/9290/statm: 595 264 226 166 0 27 0 [pid=9292] ppid=9290 vsize=73348 CPUtime=9.55 /proc/9292/stat : 9292 (apt-pbo) R 9290 9290 13759 34823 13904 4202496 18673 16698 0 293 738 20 176 21 20 0 1 0 416235516 75108352 17513 1283457024 134512640 135758360 4294110944 18446744073709551615 135037089 0 0 128 0 0 0 0 17 0 0 0 0 /proc/9292/statm: 18337 17513 5561 305 0 11973 0 [pid=9311] ppid=9292 vsize=0 CPUtime=2.87 /proc/9311/stat : 9311 (wbo) Z 9292 9290 13759 34823 13904 4202508 4137 0 0 0 279 8 0 0 18 0 1 0 416236298 0 0 1283457024 0 0 0 0 0 0 0 0 3 18446744071564254338 0 0 17 1 0 0 0 /proc/9311/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 12.42 Current children cumulated vsize (KiB) 75728 [startup+25.5097 s] /proc/loadavg: 1.00 1.03 1.01 2/98 9317 /proc/meminfo: memFree=1026276/2097152 swapFree=2055676/2097144 [pid=9290] ppid=9289 vsize=2380 CPUtime=0 /proc/9290/stat : 9290 (sh) S 9289 9290 13759 34823 13904 4202496 388 309 0 0 0 0 0 0 18 0 1 0 416235515 2437120 264 1283457024 134512640 135191968 4289207024 18446744073709551615 4158798478 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/9290/statm: 595 264 226 166 0 27 0 [pid=9292] ppid=9290 vsize=73644 CPUtime=20.21 /proc/9292/stat : 9292 (apt-pbo) S 9290 9290 13759 34823 13904 4202496 19396 27947 0 293 1428 22 536 35 18 0 1 0 416235516 75411456 17563 1283457024 134512640 135758360 4294110944 18446744073709551615 4160120142 0 0 128 0 18446744071564457842 0 0 17 1 0 0 0 /proc/9292/statm: 18411 17563 5562 305 0 12047 0 [pid=9316] ppid=9292 vsize=20900 CPUtime=4.91 /proc/9316/stat : 9316 (wbo) R 9292 9290 13759 34823 13904 4202496 7462 0 0 0 484 7 0 0 19 0 1 0 416237567 21401600 4754 1283457024 134512640 135709839 4288744032 18446744073709551615 135164441 0 0 0 3 0 0 0 17 0 0 0 0 /proc/9316/statm: 5225 4754 132 293 0 4930 0 Current children cumulated CPU time (s) 25.12 Current children cumulated vsize (KiB) 96924 Solver just ended. Dumping a history of the last processes samples [startup+25.7058 s] /proc/loadavg: 1.00 1.03 1.01 2/98 9317 /proc/meminfo: memFree=1026276/2097152 swapFree=2055676/2097144 [pid=9290] ppid=9289 vsize=2380 CPUtime=0 /proc/9290/stat : 9290 (sh) S 9289 9290 13759 34823 13904 4202496 388 309 0 0 0 0 0 0 18 0 1 0 416235515 2437120 264 1283457024 134512640 135191968 4289207024 18446744073709551615 4158798478 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/9290/statm: 595 264 226 166 0 27 0 [pid=9292] ppid=9290 vsize=73644 CPUtime=20.33 /proc/9292/stat : 9292 (apt-pbo) R 9290 9290 13759 34823 13904 4202496 20142 27947 0 293 1440 22 536 35 18 0 1 0 416235516 75411456 17572 1283457024 134512640 135758360 4294110944 18446744073709551615 134714184 0 0 128 0 0 0 0 17 1 0 0 0 /proc/9292/statm: 18411 17572 5562 305 0 12047 0 [pid=9316] ppid=9292 vsize=0 CPUtime=4.97 /proc/9316/stat : 9316 (wbo) Z 9292 9290 13759 34823 13904 4202508 7562 0 0 0 490 7 0 0 18 0 1 0 416237567 0 0 1283457024 0 0 0 0 0 0 0 0 3 18446744071564254338 0 0 17 0 0 0 0 /proc/9316/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 25.3 Current children cumulated vsize (KiB) 76024 [startup+28.906 s] /proc/loadavg: 1.00 1.03 1.01 2/98 9322 /proc/meminfo: memFree=1036188/2097152 swapFree=2055676/2097144 [pid=9290] ppid=9289 vsize=2380 CPUtime=0 /proc/9290/stat : 9290 (sh) S 9289 9290 13759 34823 13904 4202496 388 309 0 0 0 0 0 0 18 0 1 0 416235515 2437120 264 1283457024 134512640 135191968 4289207024 18446744073709551615 4158798478 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/9290/statm: 595 264 226 166 0 27 0 [pid=9292] ppid=9290 vsize=73648 CPUtime=26.38 /proc/9292/stat : 9292 (apt-pbo) S 9290 9290 13759 34823 13904 4202496 21480 42631 0 293 1453 25 1108 52 18 0 1 0 416235516 75415552 17573 1283457024 134512640 135758360 4294110944 18446744073709551615 4160120142 0 0 128 0 18446744071564457842 0 0 17 1 0 0 0 /proc/9292/statm: 18412 17573 5562 305 0 12048 0 [pid=9322] ppid=9292 vsize=10076 CPUtime=2.08 /proc/9322/stat : 9322 (wbo) R 9292 9290 13759 34823 13904 4202496 3341 0 0 0 205 3 0 0 18 0 1 0 416238192 10317824 2057 1283457024 134512640 135709839 4287840656 18446744073709551615 135167441 0 0 0 3 0 0 0 17 0 0 0 0 /proc/9322/statm: 2519 2057 132 293 0 2224 0 Current children cumulated CPU time (s) 28.46 Current children cumulated vsize (KiB) 86104 [startup+30.5111 s] /proc/loadavg: 1.00 1.03 1.01 2/98 9322 /proc/meminfo: memFree=1032716/2097152 swapFree=2055676/2097144 [pid=9290] ppid=9289 vsize=2380 CPUtime=0 /proc/9290/stat : 9290 (sh) S 9289 9290 13759 34823 13904 4202496 388 309 0 0 0 0 0 0 18 0 1 0 416235515 2437120 264 1283457024 134512640 135191968 4289207024 18446744073709551615 4158798478 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/9290/statm: 595 264 226 166 0 27 0 [pid=9292] ppid=9290 vsize=73648 CPUtime=26.38 /proc/9292/stat : 9292 (apt-pbo) S 9290 9290 13759 34823 13904 4202496 21480 42631 0 293 1453 25 1108 52 18 0 1 0 416235516 75415552 17573 1283457024 134512640 135758360 4294110944 18446744073709551615 4160120142 0 0 128 0 18446744071564457842 0 0 17 1 0 0 0 /proc/9292/statm: 18412 17573 5562 305 0 12048 0 [pid=9322] ppid=9292 vsize=15196 CPUtime=3.68 /proc/9322/stat : 9322 (wbo) R 9292 9290 13759 34823 13904 4202496 5131 0 0 0 364 4 0 0 18 0 1 0 416238192 15560704 3345 1283457024 134512640 135709839 4287840656 18446744073709551615 135166068 0 0 0 3 0 0 0 17 0 0 0 0 /proc/9322/statm: 3799 3345 132 293 0 3504 0 Current children cumulated CPU time (s) 30.06 Current children cumulated vsize (KiB) 91224 [startup+31.314 s] /proc/loadavg: 1.00 1.03 1.01 2/98 9322 /proc/meminfo: memFree=1028748/2097152 swapFree=2055676/2097144 [pid=9290] ppid=9289 vsize=2380 CPUtime=0 /proc/9290/stat : 9290 (sh) S 9289 9290 13759 34823 13904 4202496 388 309 0 0 0 0 0 0 18 0 1 0 416235515 2437120 264 1283457024 134512640 135191968 4289207024 18446744073709551615 4158798478 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/9290/statm: 595 264 226 166 0 27 0 [pid=9292] ppid=9290 vsize=73648 CPUtime=26.38 /proc/9292/stat : 9292 (apt-pbo) S 9290 9290 13759 34823 13904 4202496 21480 42631 0 293 1453 25 1108 52 18 0 1 0 416235516 75415552 17573 1283457024 134512640 135758360 4294110944 18446744073709551615 4160120142 0 0 128 0 18446744071564457842 0 0 17 1 0 0 0 /proc/9292/statm: 18412 17573 5562 305 0 12048 0 [pid=9322] ppid=9292 vsize=18128 CPUtime=4.46 /proc/9322/stat : 9322 (wbo) R 9292 9290 13759 34823 13904 4202496 6199 0 0 0 442 4 0 0 18 0 1 0 416238192 18563072 4066 1283457024 134512640 135709839 4287840656 18446744073709551615 134529856 0 0 0 3 0 0 0 17 0 0 0 0 /proc/9322/statm: 4532 4066 132 293 0 4237 0 Current children cumulated CPU time (s) 30.84 Current children cumulated vsize (KiB) 94156 [startup+32.1043 s] /proc/loadavg: 1.00 1.02 1.01 2/98 9322 /proc/meminfo: memFree=1024532/2097152 swapFree=2055676/2097144 [pid=9290] ppid=9289 vsize=2380 CPUtime=0 /proc/9290/stat : 9290 (sh) S 9289 9290 13759 34823 13904 4202496 388 309 0 0 0 0 0 0 18 0 1 0 416235515 2437120 264 1283457024 134512640 135191968 4289207024 18446744073709551615 4158798478 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/9290/statm: 595 264 226 166 0 27 0 [pid=9292] ppid=9290 vsize=73648 CPUtime=26.38 /proc/9292/stat : 9292 (apt-pbo) S 9290 9290 13759 34823 13904 4202496 21480 42631 0 293 1453 25 1108 52 18 0 1 0 416235516 75415552 17573 1283457024 134512640 135758360 4294110944 18446744073709551615 4160120142 0 0 128 0 18446744071564457842 0 0 17 1 0 0 0 /proc/9292/statm: 18412 17573 5562 305 0 12048 0 [pid=9322] ppid=9292 vsize=21552 CPUtime=5.25 /proc/9322/stat : 9322 (wbo) R 9292 9290 13759 34823 13904 4202496 7570 0 0 0 520 5 0 0 18 0 1 0 416238192 22069248 4903 1283457024 134512640 135709839 4287840656 18446744073709551615 135162244 0 0 0 3 0 0 0 17 0 0 0 0 /proc/9322/statm: 5388 4903 132 293 0 5093 0 Current children cumulated CPU time (s) 31.63 Current children cumulated vsize (KiB) 97580 [startup+32.3062 s] /proc/loadavg: 1.00 1.02 1.01 2/98 9322 /proc/meminfo: memFree=1024532/2097152 swapFree=2055676/2097144 [pid=9290] ppid=9289 vsize=2380 CPUtime=0 /proc/9290/stat : 9290 (sh) S 9289 9290 13759 34823 13904 4202496 388 309 0 0 0 0 0 0 18 0 1 0 416235515 2437120 264 1283457024 134512640 135191968 4289207024 18446744073709551615 4158798478 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/9290/statm: 595 264 226 166 0 27 0 [pid=9292] ppid=9290 vsize=73648 CPUtime=26.53 /proc/9292/stat : 9292 (apt-pbo) R 9290 9290 13759 34823 13904 4202496 22047 42631 0 293 1468 25 1108 52 18 0 1 0 416235516 75415552 17592 1283457024 134512640 135758360 4294110944 18446744073709551615 134958090 0 0 128 0 0 0 0 17 1 0 0 0 /proc/9292/statm: 18412 17592 5562 305 0 12048 0 [pid=9322] ppid=9292 vsize=0 CPUtime=5.3 /proc/9322/stat : 9322 (wbo) Z 9292 9290 13759 34823 13904 4202508 7627 0 0 0 525 5 0 0 18 0 1 0 416238192 0 0 1283457024 0 0 0 0 0 0 0 0 3 18446744071564254338 0 0 17 0 0 0 0 /proc/9322/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 31.83 Current children cumulated vsize (KiB) 76028 Child status: 0 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 9290 and gives # childrusage.ru_utime.tv_sec=25 # childrusage.ru_utime.tv_usec=841615 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=800050 # CPU time returned by wait4() is 26.6417 # while last known CPU time is 31.83 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 32.4015 CPU time (s): 31.83 CPU user time (s): 31.01 CPU system time (s): 0.82 CPU usage (%): 98.2361 Max. virtual memory (cumulated for all children) (KiB): 105200 getrusage(RUSAGE_CHILDREN,...) data: user time used= 25.8416 system time used= 0.80005 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 68325 page faults= 293 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3457 involuntary context switches= 1786 runsolver used 0.012 second user time and 0.012 second system time The end