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/rand7141b1.cudf.impossible.log.runsolver ./apt-pbo-paranoid-1.0.5 /home/misc2010/data/2010/impossible//rand7141b1.cudf /home/misc2010/tmp/201007051419/apt-pbo-paranoid-1.0.5/rand7141b1.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.35 1.12 1.03 4/102 9738 /proc/meminfo: memFree=1292052/2097152 swapFree=2055676/2097144 [pid=9738] ppid=9737 vsize=2876 CPUtime=0 /proc/9738/stat : 9738 (runsolver) R 9737 9738 13759 34823 13904 4202560 75 0 0 0 0 0 0 0 22 0 1 0 416253107 2945024 93 1283457024 134512640 134586868 4294006464 18446744073709551615 4158121242 0 0 0 24578 0 0 0 17 1 0 0 0 /proc/9738/statm: 719 93 63 19 0 51 0 [startup+0.140093 s] /proc/loadavg: 1.35 1.12 1.03 4/102 9738 /proc/meminfo: memFree=1292052/2097152 swapFree=2055676/2097144 [pid=9738] ppid=9737 vsize=2384 CPUtime=0 /proc/9738/stat : 9738 (sh) S 9737 9738 13759 34823 13904 4202496 389 308 0 0 0 0 0 0 22 0 1 0 416253107 2441216 264 1283457024 134512640 135191968 4288912048 18446744073709551615 4159548046 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/9738/statm: 596 264 226 166 0 28 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2384 [startup+0.206906 s] /proc/loadavg: 1.35 1.12 1.03 4/102 9738 /proc/meminfo: memFree=1292052/2097152 swapFree=2055676/2097144 [pid=9738] ppid=9737 vsize=2384 CPUtime=0 /proc/9738/stat : 9738 (sh) S 9737 9738 13759 34823 13904 4202496 389 308 0 0 0 0 0 0 22 0 1 0 416253107 2441216 264 1283457024 134512640 135191968 4288912048 18446744073709551615 4159548046 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/9738/statm: 596 264 226 166 0 28 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2384 [startup+0.304085 s] /proc/loadavg: 1.35 1.12 1.03 4/102 9738 /proc/meminfo: memFree=1292052/2097152 swapFree=2055676/2097144 [pid=9738] ppid=9737 vsize=2384 CPUtime=0 /proc/9738/stat : 9738 (sh) S 9737 9738 13759 34823 13904 4202496 389 308 0 0 0 0 0 0 22 0 1 0 416253107 2441216 264 1283457024 134512640 135191968 4288912048 18446744073709551615 4159548046 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/9738/statm: 596 264 226 166 0 28 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2384 [startup+0.713138 s] /proc/loadavg: 1.35 1.12 1.03 4/102 9738 /proc/meminfo: memFree=1292052/2097152 swapFree=2055676/2097144 [pid=9738] ppid=9737 vsize=2384 CPUtime=0 /proc/9738/stat : 9738 (sh) S 9737 9738 13759 34823 13904 4202496 389 308 0 0 0 0 0 0 22 0 1 0 416253107 2441216 264 1283457024 134512640 135191968 4288912048 18446744073709551615 4159548046 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/9738/statm: 596 264 226 166 0 28 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2384 [startup+1.50415 s] /proc/loadavg: 1.33 1.11 1.03 3/98 9944 /proc/meminfo: memFree=1282012/2097152 swapFree=2055676/2097144 [pid=9738] ppid=9737 vsize=2384 CPUtime=0 /proc/9738/stat : 9738 (sh) S 9737 9738 13759 34823 13904 4202496 389 308 0 0 0 0 0 0 22 0 1 0 416253107 2441216 264 1283457024 134512640 135191968 4288912048 18446744073709551615 4159548046 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/9738/statm: 596 264 226 166 0 28 0 [pid=9741] ppid=9738 vsize=15772 CPUtime=1.29 /proc/9741/stat : 9741 (apt-pbo) R 9738 9738 13759 34823 13904 4202496 3765 714 0 0 126 3 0 0 25 0 1 0 416253109 16150528 3322 1283457024 134512640 135758360 4289870544 18446744073709551615 4159853902 0 0 128 0 0 0 0 17 0 0 0 0 /proc/9741/statm: 3943 3322 628 305 0 2716 0 Current children cumulated CPU time (s) 1.29 Current children cumulated vsize (KiB) 18156 [startup+3.10421 s] /proc/loadavg: 1.33 1.11 1.03 2/98 10087 /proc/meminfo: memFree=1270252/2097152 swapFree=2055676/2097144 [pid=9738] ppid=9737 vsize=2384 CPUtime=0 /proc/9738/stat : 9738 (sh) S 9737 9738 13759 34823 13904 4202496 389 308 0 0 0 0 0 0 22 0 1 0 416253107 2441216 264 1283457024 134512640 135191968 4288912048 18446744073709551615 4159548046 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/9738/statm: 596 264 226 166 0 28 0 [pid=9741] ppid=9738 vsize=25416 CPUtime=2.7 /proc/9741/stat : 9741 (apt-pbo) R 9738 9738 13759 34823 13904 4202496 6174 714 0 0 260 10 0 0 25 0 1 0 416253109 26025984 5723 1283457024 134512640 135758360 4289870544 18446744073709551615 4158947685 0 0 128 0 0 0 0 17 0 0 0 0 /proc/9741/statm: 6354 5723 628 305 0 5127 0 Current children cumulated CPU time (s) 2.7 Current children cumulated vsize (KiB) 27800 [startup+6.30435 s] /proc/loadavg: 1.33 1.11 1.03 2/97 10132 /proc/meminfo: memFree=1234588/2097152 swapFree=2055676/2097144 [pid=9738] ppid=9737 vsize=2384 CPUtime=0 /proc/9738/stat : 9738 (sh) S 9737 9738 13759 34823 13904 4202496 389 308 0 0 0 0 0 0 22 0 1 0 416253107 2441216 264 1283457024 134512640 135191968 4288912048 18446744073709551615 4159548046 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/9738/statm: 596 264 226 166 0 28 0 [pid=9741] ppid=9738 vsize=46584 CPUtime=5.9 /proc/9741/stat : 9741 (apt-pbo) R 9738 9738 13759 34823 13904 4202496 11461 714 0 0 576 14 0 0 25 0 1 0 416253109 47702016 11008 1283457024 134512640 135758360 4289870544 18446744073709551615 4158947685 0 0 128 0 0 0 0 17 0 0 0 0 /proc/9741/statm: 11646 11009 628 305 0 10419 0 Current children cumulated CPU time (s) 5.9 Current children cumulated vsize (KiB) 48968 [startup+12.7087 s] /proc/loadavg: 1.27 1.11 1.03 2/101 10141 /proc/meminfo: memFree=1136140/2097152 swapFree=2055676/2097144 [pid=9738] ppid=9737 vsize=2384 CPUtime=0 /proc/9738/stat : 9738 (sh) S 9737 9738 13759 34823 13904 4202496 389 308 0 0 0 0 0 0 22 0 1 0 416253107 2441216 264 1283457024 134512640 135191968 4288912048 18446744073709551615 4159548046 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/9738/statm: 596 264 226 166 0 28 0 [pid=9741] ppid=9738 vsize=82228 CPUtime=11.25 /proc/9741/stat : 9741 (apt-pbo) S 9738 9738 13759 34823 13904 4202496 20920 714 0 0 1097 28 0 0 20 0 1 0 416253109 84201472 19923 1283457024 134512640 135758360 4289870544 18446744073709551615 4159853902 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/9741/statm: 20557 19923 628 305 0 19330 0 [pid=10134] ppid=9741 vsize=2384 CPUtime=0 /proc/10134/stat : 10134 (apt-get.sh) S 9741 9738 13759 34823 13904 4202496 387 613 0 0 0 0 0 0 19 0 1 0 416254269 2441216 261 1283457024 134512640 135191968 4289198784 18446744073709551615 4159060622 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/10134/statm: 596 261 223 166 0 28 0 [pid=10137] ppid=10134 vsize=52608 CPUtime=1.01 /proc/10137/stat : 10137 (apt-get) R 10134 9738 13759 34823 13904 4202496 3613 1615 184 0 44 3 48 6 18 0 1 0 416254273 53870592 3660 1283457024 134512640 134646397 4291327200 18446744073709551615 4159470745 0 0 4096 134217728 0 0 0 17 0 0 0 0 /proc/10137/statm: 13152 3660 3607 33 0 68 0 Current children cumulated CPU time (s) 12.26 Current children cumulated vsize (KiB) 139604 [startup+25.5102 s] /proc/loadavg: 1.31 1.12 1.03 2/99 10149 /proc/meminfo: memFree=1035808/2097152 swapFree=2055676/2097144 [pid=9738] ppid=9737 vsize=2384 CPUtime=0 /proc/9738/stat : 9738 (sh) S 9737 9738 13759 34823 13904 4202496 389 308 0 0 0 0 0 0 22 0 1 0 416253107 2441216 264 1283457024 134512640 135191968 4288912048 18446744073709551615 4159548046 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/9738/statm: 596 264 226 166 0 28 0 [pid=9741] ppid=9738 vsize=130808 CPUtime=20.21 /proc/9741/stat : 9741 (apt-pbo) R 9738 9738 13759 34823 13904 4202496 33364 26538 0 588 1290 34 638 59 20 0 1 0 416253109 133947392 31592 1283457024 134512640 135758360 4289870544 18446744073709551615 4158971063 0 0 128 0 0 0 0 17 0 0 0 0 /proc/9741/statm: 32702 31592 10367 305 0 21272 0 [pid=10147] ppid=9741 vsize=0 CPUtime=4.08 /proc/10147/stat : 10147 (wbo) Z 9741 9738 13759 34823 13904 4202508 9764 0 0 0 400 8 0 0 19 0 1 0 416255086 0 0 1283457024 0 0 0 0 0 0 0 0 3 18446744071564254338 0 0 17 1 0 0 0 /proc/10147/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 24.29 Current children cumulated vsize (KiB) 133192 [startup+51.107 s] /proc/loadavg: 1.20 1.11 1.03 2/98 10155 /proc/meminfo: memFree=934872/2097152 swapFree=2055676/2097144 [pid=9738] ppid=9737 vsize=2384 CPUtime=0 /proc/9738/stat : 9738 (sh) S 9737 9738 13759 34823 13904 4202496 389 308 0 0 0 0 0 0 22 0 1 0 416253107 2441216 264 1283457024 134512640 135191968 4288912048 18446744073709551615 4159548046 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/9738/statm: 596 264 226 166 0 28 0 [pid=9741] ppid=9738 vsize=132940 CPUtime=31.47 /proc/9741/stat : 9741 (apt-pbo) S 9738 9738 13759 34823 13904 4202496 35353 48504 0 588 1555 38 1453 101 18 0 1 0 416253109 136130560 32125 1283457024 134512640 135758360 4289870544 18446744073709551615 4159853902 0 0 128 0 18446744071564457842 0 0 17 1 0 0 0 /proc/9741/statm: 33235 32125 10367 305 0 21805 0 [pid=10154] ppid=9741 vsize=98140 CPUtime=18.36 /proc/10154/stat : 10154 (wbo) R 9741 9738 13759 34823 13904 4202496 28548 0 0 0 1820 16 0 0 25 0 1 0 416256377 100495360 23957 1283457024 134512640 135709839 4288936592 18446744073709551615 135165949 0 0 0 3 0 0 0 17 0 0 0 0 /proc/10154/statm: 24535 23957 132 293 0 24240 0 Current children cumulated CPU time (s) 49.83 Current children cumulated vsize (KiB) 233464 [startup+102.305 s] /proc/loadavg: 1.24 1.14 1.04 2/97 10164 /proc/meminfo: memFree=977460/2097152 swapFree=2055676/2097144 [pid=9738] ppid=9737 vsize=2384 CPUtime=0 /proc/9738/stat : 9738 (sh) S 9737 9738 13759 34823 13904 4202496 389 308 0 0 0 0 0 0 22 0 1 0 416253107 2441216 264 1283457024 134512640 135191968 4288912048 18446744073709551615 4159548046 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/9738/statm: 596 264 226 166 0 28 0 [pid=9741] ppid=9738 vsize=133264 CPUtime=93.62 /proc/9741/stat : 9741 (apt-pbo) S 9738 9738 13759 34823 13904 4202496 38202 146405 0 588 1594 43 7547 178 18 0 1 0 416253109 136462336 32199 1283457024 134512640 135758360 4289870544 18446744073709551615 4159853902 0 0 128 0 18446744071564457842 0 0 17 1 0 0 0 /proc/9741/statm: 33316 32199 10367 305 0 21886 0 [pid=10163] ppid=9741 vsize=47012 CPUtime=7.29 /proc/10163/stat : 10163 (wbo) R 9741 9738 13759 34823 13904 4202496 14061 0 0 0 724 5 0 0 25 0 1 0 416262606 48140288 11116 1283457024 134512640 135709839 4289321712 18446744073709551615 135190367 0 0 0 3 0 0 0 17 0 0 0 0 /proc/10163/statm: 11753 11116 132 293 0 11458 0 Current children cumulated CPU time (s) 100.91 Current children cumulated vsize (KiB) 182660 Solver just ended. Dumping a history of the last processes samples [startup+102.41 s] /proc/loadavg: 1.24 1.14 1.04 2/97 10164 /proc/meminfo: memFree=977460/2097152 swapFree=2055676/2097144 [pid=9738] ppid=9737 vsize=2384 CPUtime=0 /proc/9738/stat : 9738 (sh) S 9737 9738 13759 34823 13904 4202496 389 308 0 0 0 0 0 0 22 0 1 0 416253107 2441216 264 1283457024 134512640 135191968 4288912048 18446744073709551615 4159548046 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/9738/statm: 596 264 226 166 0 28 0 [pid=9741] ppid=9738 vsize=133264 CPUtime=93.62 /proc/9741/stat : 9741 (apt-pbo) S 9738 9738 13759 34823 13904 4202496 38202 146405 0 588 1594 43 7547 178 18 0 1 0 416253109 136462336 32199 1283457024 134512640 135758360 4289870544 18446744073709551615 4159853902 0 0 128 0 18446744071564457842 0 0 17 1 0 0 0 /proc/9741/statm: 33316 32199 10367 305 0 21886 0 [pid=10163] ppid=9741 vsize=47332 CPUtime=7.39 /proc/10163/stat : 10163 (wbo) R 9741 9738 13759 34823 13904 4202496 14187 0 0 0 734 5 0 0 25 0 1 0 416262606 48467968 11242 1283457024 134512640 135709839 4289321712 18446744073709551615 135182831 0 0 0 3 0 0 0 17 0 0 0 0 /proc/10163/statm: 11833 11242 132 293 0 11538 0 Current children cumulated CPU time (s) 101.01 Current children cumulated vsize (KiB) 182980 [startup+128.008 s] /proc/loadavg: 1.29 1.16 1.05 2/97 10165 /proc/meminfo: memFree=856436/2097152 swapFree=2055676/2097144 [pid=9738] ppid=9737 vsize=2384 CPUtime=0 /proc/9738/stat : 9738 (sh) S 9737 9738 13759 34823 13904 4202496 389 308 0 0 0 0 0 0 22 0 1 0 416253107 2441216 264 1283457024 134512640 135191968 4288912048 18446744073709551615 4159548046 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/9738/statm: 596 264 226 166 0 28 0 [pid=9741] ppid=9738 vsize=133264 CPUtime=93.62 /proc/9741/stat : 9741 (apt-pbo) S 9738 9738 13759 34823 13904 4202496 38202 146405 0 588 1594 43 7547 178 18 0 1 0 416253109 136462336 32199 1283457024 134512640 135758360 4289870544 18446744073709551615 4159853902 0 0 128 0 18446744071564457842 0 0 17 1 0 0 0 /proc/9741/statm: 33316 32199 10367 305 0 21886 0 [pid=10163] ppid=9741 vsize=169348 CPUtime=32.99 /proc/10163/stat : 10163 (wbo) R 9741 9738 13759 34823 13904 4202496 48063 0 0 0 3285 14 0 0 18 0 1 0 416262606 173412352 41803 1283457024 134512640 135709839 4289321712 18446744073709551615 134529953 0 0 0 3 0 0 0 17 0 0 0 0 /proc/10163/statm: 42337 41803 132 293 0 42042 0 Current children cumulated CPU time (s) 126.61 Current children cumulated vsize (KiB) 304996 [startup+140.803 s] /proc/loadavg: 1.32 1.17 1.06 2/97 10166 /proc/meminfo: memFree=785144/2097152 swapFree=2055676/2097144 [pid=9738] ppid=9737 vsize=2384 CPUtime=0 /proc/9738/stat : 9738 (sh) S 9737 9738 13759 34823 13904 4202496 389 308 0 0 0 0 0 0 22 0 1 0 416253107 2441216 264 1283457024 134512640 135191968 4288912048 18446744073709551615 4159548046 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/9738/statm: 596 264 226 166 0 28 0 [pid=9741] ppid=9738 vsize=133264 CPUtime=93.62 /proc/9741/stat : 9741 (apt-pbo) S 9738 9738 13759 34823 13904 4202496 38202 146405 0 588 1594 43 7547 178 18 0 1 0 416253109 136462336 32199 1283457024 134512640 135758360 4289870544 18446744073709551615 4159853902 0 0 128 0 18446744071564457842 0 0 17 1 0 0 0 /proc/9741/statm: 33316 32199 10367 305 0 21886 0 [pid=10163] ppid=9741 vsize=238772 CPUtime=45.79 /proc/10163/stat : 10163 (wbo) R 9741 9738 13759 34823 13904 4202496 67445 0 0 0 4561 18 0 0 25 0 1 0 416262606 244502528 59120 1283457024 134512640 135709839 4289321712 18446744073709551615 134529856 0 0 0 3 0 0 0 17 0 0 0 0 /proc/10163/statm: 59693 59120 132 293 0 59398 0 Current children cumulated CPU time (s) 139.41 Current children cumulated vsize (KiB) 374420 [startup+147.215 s] /proc/loadavg: 1.27 1.16 1.05 2/97 10167 /proc/meminfo: memFree=750672/2097152 swapFree=2055676/2097144 [pid=9738] ppid=9737 vsize=2384 CPUtime=0 /proc/9738/stat : 9738 (sh) S 9737 9738 13759 34823 13904 4202496 389 308 0 0 0 0 0 0 22 0 1 0 416253107 2441216 264 1283457024 134512640 135191968 4288912048 18446744073709551615 4159548046 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/9738/statm: 596 264 226 166 0 28 0 [pid=9741] ppid=9738 vsize=133264 CPUtime=93.62 /proc/9741/stat : 9741 (apt-pbo) S 9738 9738 13759 34823 13904 4202496 38202 146405 0 588 1594 43 7547 178 18 0 1 0 416253109 136462336 32199 1283457024 134512640 135758360 4289870544 18446744073709551615 4159853902 0 0 128 0 18446744071564457842 0 0 17 1 0 0 0 /proc/9741/statm: 33316 32199 10367 305 0 21886 0 [pid=10163] ppid=9741 vsize=279040 CPUtime=52.19 /proc/10163/stat : 10163 (wbo) R 9741 9738 13759 34823 13904 4202496 77969 0 0 0 5199 20 0 0 19 0 1 0 416262606 285736960 69177 1283457024 134512640 135709839 4289321712 18446744073709551615 134530365 0 0 0 3 0 0 0 17 0 0 0 0 /proc/10163/statm: 69760 69177 132 293 0 69465 0 Current children cumulated CPU time (s) 145.81 Current children cumulated vsize (KiB) 414688 [startup+150.406 s] /proc/loadavg: 1.27 1.16 1.05 2/97 10167 /proc/meminfo: memFree=729840/2097152 swapFree=2055676/2097144 [pid=9738] ppid=9737 vsize=2384 CPUtime=0 /proc/9738/stat : 9738 (sh) S 9737 9738 13759 34823 13904 4202496 389 308 0 0 0 0 0 0 22 0 1 0 416253107 2441216 264 1283457024 134512640 135191968 4288912048 18446744073709551615 4159548046 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/9738/statm: 596 264 226 166 0 28 0 [pid=9741] ppid=9738 vsize=133264 CPUtime=93.62 /proc/9741/stat : 9741 (apt-pbo) S 9738 9738 13759 34823 13904 4202496 38202 146405 0 588 1594 43 7547 178 18 0 1 0 416253109 136462336 32199 1283457024 134512640 135758360 4289870544 18446744073709551615 4159853902 0 0 128 0 18446744071564457842 0 0 17 1 0 0 0 /proc/9741/statm: 33316 32199 10367 305 0 21886 0 [pid=10163] ppid=9741 vsize=299068 CPUtime=55.38 /proc/10163/stat : 10163 (wbo) R 9741 9738 13759 34823 13904 4202496 83062 0 0 0 5517 21 0 0 25 0 1 0 416262606 306245632 74156 1283457024 134512640 135709839 4289321712 18446744073709551615 135182831 0 0 0 3 0 0 0 17 0 0 0 0 /proc/10163/statm: 74767 74156 132 293 0 74472 0 Current children cumulated CPU time (s) 149 Current children cumulated vsize (KiB) 434716 [startup+153.607 s] /proc/loadavg: 1.25 1.16 1.05 2/97 10167 /proc/meminfo: memFree=708636/2097152 swapFree=2055676/2097144 [pid=9738] ppid=9737 vsize=2384 CPUtime=0 /proc/9738/stat : 9738 (sh) S 9737 9738 13759 34823 13904 4202496 389 308 0 0 0 0 0 0 22 0 1 0 416253107 2441216 264 1283457024 134512640 135191968 4288912048 18446744073709551615 4159548046 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/9738/statm: 596 264 226 166 0 28 0 [pid=9741] ppid=9738 vsize=133264 CPUtime=93.62 /proc/9741/stat : 9741 (apt-pbo) S 9738 9738 13759 34823 13904 4202496 38202 146405 0 588 1594 43 7547 178 18 0 1 0 416253109 136462336 32199 1283457024 134512640 135758360 4289870544 18446744073709551615 4159853902 0 0 128 0 18446744071564457842 0 0 17 1 0 0 0 /proc/9741/statm: 33316 32199 10367 305 0 21886 0 [pid=10163] ppid=9741 vsize=319032 CPUtime=58.58 /proc/10163/stat : 10163 (wbo) R 9741 9738 13759 34823 13904 4202496 88244 0 0 0 5835 23 0 0 25 0 1 0 416262606 326688768 79223 1283457024 134512640 135709839 4289321712 18446744073709551615 135182831 0 0 0 3 0 0 0 17 0 0 0 0 /proc/10163/statm: 79758 79223 132 293 0 79463 0 Current children cumulated CPU time (s) 152.2 Current children cumulated vsize (KiB) 454680 [startup+155.208 s] /proc/loadavg: 1.25 1.16 1.05 2/97 10167 /proc/meminfo: memFree=694872/2097152 swapFree=2055676/2097144 [pid=9738] ppid=9737 vsize=2384 CPUtime=0 /proc/9738/stat : 9738 (sh) S 9737 9738 13759 34823 13904 4202496 389 308 0 0 0 0 0 0 22 0 1 0 416253107 2441216 264 1283457024 134512640 135191968 4288912048 18446744073709551615 4159548046 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/9738/statm: 596 264 226 166 0 28 0 [pid=9741] ppid=9738 vsize=133264 CPUtime=93.62 /proc/9741/stat : 9741 (apt-pbo) S 9738 9738 13759 34823 13904 4202496 38202 146405 0 588 1594 43 7547 178 18 0 1 0 416253109 136462336 32199 1283457024 134512640 135758360 4289870544 18446744073709551615 4159853902 0 0 128 0 18446744071564457842 0 0 17 1 0 0 0 /proc/9741/statm: 33316 32199 10367 305 0 21886 0 [pid=10163] ppid=9741 vsize=329600 CPUtime=60.18 /proc/10163/stat : 10163 (wbo) R 9741 9738 13759 34823 13904 4202496 90819 0 0 0 5995 23 0 0 18 0 1 0 416262606 337510400 81798 1283457024 134512640 135709839 4289321712 18446744073709551615 135182831 0 0 0 3 0 0 0 17 0 0 0 0 /proc/10163/statm: 82400 81798 133 293 0 82105 0 Current children cumulated CPU time (s) 153.8 Current children cumulated vsize (KiB) 465248 [startup+155.603 s] /proc/loadavg: 1.25 1.16 1.05 2/97 10167 /proc/meminfo: memFree=694872/2097152 swapFree=2055676/2097144 [pid=9738] ppid=9737 vsize=2384 CPUtime=0 /proc/9738/stat : 9738 (sh) S 9737 9738 13759 34823 13904 4202496 389 308 0 0 0 0 0 0 22 0 1 0 416253107 2441216 264 1283457024 134512640 135191968 4288912048 18446744073709551615 4159548046 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/9738/statm: 596 264 226 166 0 28 0 [pid=9741] ppid=9738 vsize=133264 CPUtime=93.64 /proc/9741/stat : 9741 (apt-pbo) R 9738 9738 13759 34823 13904 4202496 38857 146405 0 588 1595 44 7547 178 18 0 1 0 416253109 136462336 32199 1283457024 134512640 135758360 4289870544 18446744073709551615 134889703 0 0 128 0 0 0 0 17 1 0 0 0 /proc/9741/statm: 33316 32199 10367 305 0 21886 0 [pid=10163] ppid=9741 vsize=0 CPUtime=60.55 /proc/10163/stat : 10163 (wbo) Z 9741 9738 13759 34823 13904 4202508 91440 0 0 0 6027 28 0 0 18 0 1 0 416262606 0 0 1283457024 0 0 0 0 0 0 0 0 3 18446744071564254338 0 0 17 0 0 0 0 /proc/10163/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 154.19 Current children cumulated vsize (KiB) 135648 [startup+155.807 s] /proc/loadavg: 1.25 1.16 1.05 2/97 10167 /proc/meminfo: memFree=694872/2097152 swapFree=2055676/2097144 [pid=9738] ppid=9737 vsize=2384 CPUtime=0 /proc/9738/stat : 9738 (sh) S 9737 9738 13759 34823 13904 4202496 389 308 0 0 0 0 0 0 22 0 1 0 416253107 2441216 264 1283457024 134512640 135191968 4288912048 18446744073709551615 4159548046 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/9738/statm: 596 264 226 166 0 28 0 [pid=9741] ppid=9738 vsize=133264 CPUtime=93.84 /proc/9741/stat : 9741 (apt-pbo) R 9738 9738 13759 34823 13904 4202496 38986 146405 0 588 1615 44 7547 178 18 0 1 0 416253109 136462336 32199 1283457024 134512640 135758360 4289870544 18446744073709551615 135311343 0 0 128 0 0 0 0 17 1 0 0 0 /proc/9741/statm: 33316 32199 10367 305 0 21886 0 [pid=10163] ppid=9741 vsize=0 CPUtime=60.55 /proc/10163/stat : 10163 (wbo) Z 9741 9738 13759 34823 13904 4202508 91440 0 0 0 6027 28 0 0 18 0 1 0 416262606 0 0 1283457024 0 0 0 0 0 0 0 0 3 18446744071564254338 0 0 17 0 0 0 0 /proc/10163/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 154.39 Current children cumulated vsize (KiB) 135648 [startup+155.909 s] /proc/loadavg: 1.25 1.16 1.05 2/97 10167 /proc/meminfo: memFree=694872/2097152 swapFree=2055676/2097144 [pid=9738] ppid=9737 vsize=2384 CPUtime=0 /proc/9738/stat : 9738 (sh) S 9737 9738 13759 34823 13904 4202496 389 308 0 0 0 0 0 0 22 0 1 0 416253107 2441216 264 1283457024 134512640 135191968 4288912048 18446744073709551615 4159548046 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/9738/statm: 596 264 226 166 0 28 0 [pid=9741] ppid=9738 vsize=0 CPUtime=93.93 /proc/9741/stat : 9741 (apt-pbo) R 9738 9738 13759 34823 13904 4202500 41580 146405 0 588 1622 46 7547 178 18 0 1 0 416253109 0 0 1283457024 0 0 0 0 0 0 0 128 0 0 0 0 17 0 0 0 0 /proc/9741/statm: 0 0 0 0 0 0 0 [pid=10163] ppid=9741 vsize=0 CPUtime=60.55 /proc/10163/stat : 10163 (wbo) Z 9741 9738 13759 34823 13904 4202508 91440 0 0 0 6027 28 0 0 18 0 1 0 416262606 0 0 1283457024 0 0 0 0 0 0 0 0 3 18446744071564254338 0 0 17 0 0 0 0 /proc/10163/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 154.48 Current children cumulated vsize (KiB) 2384 Child status: 0 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 9738 and gives # childrusage.ru_utime.tv_sec=91 # childrusage.ru_utime.tv_usec=705731 # childrusage.ru_stime.tv_sec=2 # childrusage.ru_stime.tv_usec=268141 # CPU time returned by wait4() is 93.9739 # while last known CPU time is 154.48 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 155.919 CPU time (s): 154.48 CPU user time (s): 151.96 CPU system time (s): 2.52 CPU usage (%): 99.0769 Max. virtual memory (cumulated for all children) (KiB): 466896 getrusage(RUSAGE_CHILDREN,...) data: user time used= 91.7057 system time used= 2.26814 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 188691 page faults= 588 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 4076 involuntary context switches= 3519 runsolver used 0 second user time and 0.024001 second system time The end