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/rand95e48b.cudf.difficult.log.runsolver ./apt-pbo-trendy-1.0.5 /home/misc2010/data/2010/difficult//rand95e48b.cudf /home/misc2010/tmp/201007051419/apt-pbo-trendy-1.0.5/rand95e48b.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: 0.92 1.01 1.00 3/95 17558 /proc/meminfo: memFree=1304816/2097152 swapFree=2055620/2097144 [pid=17558] ppid=17557 vsize=2876 CPUtime=0 /proc/17558/stat : 17558 (runsolver) R 17557 17558 13759 34823 13904 4202560 75 0 0 0 0 0 0 0 22 0 1 0 418054513 2945024 93 1283457024 134512640 134586868 4291740832 18446744073709551615 4158203162 0 2147483391 0 24578 0 0 0 17 0 0 0 0 /proc/17558/statm: 719 93 63 19 0 51 0 [startup+0.195412 s] /proc/loadavg: 0.92 1.01 1.00 3/95 17558 /proc/meminfo: memFree=1304816/2097152 swapFree=2055620/2097144 [pid=17558] ppid=17557 vsize=2384 CPUtime=0 /proc/17558/stat : 17558 (sh) S 17557 17558 13759 34823 13904 4202496 389 308 0 0 0 0 0 0 22 0 1 0 418054513 2441216 264 1283457024 134512640 135191968 4287392064 18446744073709551615 4159498894 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/17558/statm: 596 264 226 166 0 28 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2384 [startup+0.215413 s] /proc/loadavg: 0.92 1.01 1.00 3/95 17558 /proc/meminfo: memFree=1304816/2097152 swapFree=2055620/2097144 [pid=17558] ppid=17557 vsize=2384 CPUtime=0 /proc/17558/stat : 17558 (sh) S 17557 17558 13759 34823 13904 4202496 389 308 0 0 0 0 0 0 22 0 1 0 418054513 2441216 264 1283457024 134512640 135191968 4287392064 18446744073709551615 4159498894 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/17558/statm: 596 264 226 166 0 28 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2384 [startup+0.315418 s] /proc/loadavg: 0.92 1.01 1.00 3/95 17558 /proc/meminfo: memFree=1304816/2097152 swapFree=2055620/2097144 [pid=17558] ppid=17557 vsize=2384 CPUtime=0 /proc/17558/stat : 17558 (sh) S 17557 17558 13759 34823 13904 4202496 389 308 0 0 0 0 0 0 22 0 1 0 418054513 2441216 264 1283457024 134512640 135191968 4287392064 18446744073709551615 4159498894 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/17558/statm: 596 264 226 166 0 28 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2384 [startup+0.71548 s] /proc/loadavg: 0.92 1.01 1.00 3/95 17558 /proc/meminfo: memFree=1304816/2097152 swapFree=2055620/2097144 [pid=17558] ppid=17557 vsize=2384 CPUtime=0 /proc/17558/stat : 17558 (sh) S 17557 17558 13759 34823 13904 4202496 389 308 0 0 0 0 0 0 22 0 1 0 418054513 2441216 264 1283457024 134512640 135191968 4287392064 18446744073709551615 4159498894 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/17558/statm: 596 264 226 166 0 28 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2384 [startup+1.51562 s] /proc/loadavg: 0.92 1.01 1.00 2/97 17564 /proc/meminfo: memFree=1293224/2097152 swapFree=2055620/2097144 [pid=17558] ppid=17557 vsize=2384 CPUtime=0 /proc/17558/stat : 17558 (sh) S 17557 17558 13759 34823 13904 4202496 389 308 0 0 0 0 0 0 22 0 1 0 418054513 2441216 264 1283457024 134512640 135191968 4287392064 18446744073709551615 4159498894 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/17558/statm: 596 264 226 166 0 28 0 [pid=17561] ppid=17558 vsize=17216 CPUtime=1.46 /proc/17561/stat : 17561 (apt-pbo) R 17558 17558 13759 34823 13904 4202496 4102 717 0 0 142 4 0 0 25 0 1 0 418054514 17629184 3659 1283457024 134512640 135758360 4289788608 18446744073709551615 135353225 0 0 128 0 0 0 0 17 0 0 0 0 /proc/17561/statm: 4304 3659 628 305 0 3077 0 Current children cumulated CPU time (s) 1.46 Current children cumulated vsize (KiB) 19600 [startup+3.10681 s] /proc/loadavg: 0.92 1.01 1.00 2/97 17564 /proc/meminfo: memFree=1282932/2097152 swapFree=2055620/2097144 [pid=17558] ppid=17557 vsize=2384 CPUtime=0 /proc/17558/stat : 17558 (sh) S 17557 17558 13759 34823 13904 4202496 389 308 0 0 0 0 0 0 22 0 1 0 418054513 2441216 264 1283457024 134512640 135191968 4287392064 18446744073709551615 4159498894 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/17558/statm: 596 264 226 166 0 28 0 [pid=17561] ppid=17558 vsize=27608 CPUtime=3.03 /proc/17561/stat : 17561 (apt-pbo) R 17558 17558 13759 34823 13904 4202496 6736 717 0 0 298 5 0 0 25 0 1 0 418054514 28270592 6286 1283457024 134512640 135758360 4289788608 18446744073709551615 4160230622 0 0 128 0 0 0 0 17 1 0 0 0 /proc/17561/statm: 6902 6286 628 305 0 5675 0 Current children cumulated CPU time (s) 3.03 Current children cumulated vsize (KiB) 29992 [startup+6.30848 s] /proc/loadavg: 0.93 1.01 1.00 2/97 17564 /proc/meminfo: memFree=1253420/2097152 swapFree=2055620/2097144 [pid=17558] ppid=17557 vsize=2384 CPUtime=0 /proc/17558/stat : 17558 (sh) S 17557 17558 13759 34823 13904 4202496 389 308 0 0 0 0 0 0 22 0 1 0 418054513 2441216 264 1283457024 134512640 135191968 4287392064 18446744073709551615 4159498894 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/17558/statm: 596 264 226 166 0 28 0 [pid=17561] ppid=17558 vsize=44036 CPUtime=5.46 /proc/17561/stat : 17561 (apt-pbo) S 17558 17558 13759 34823 13904 4202496 10866 717 0 0 534 12 0 0 22 0 1 0 418054514 45092864 10381 1283457024 134512640 135758360 4289788608 18446744073709551615 4160230734 0 0 128 0 18446744071564457842 0 0 17 1 0 0 0 /proc/17561/statm: 11009 10381 628 305 0 9782 0 Current children cumulated CPU time (s) 5.46 Current children cumulated vsize (KiB) 46420 [startup+12.7084 s] /proc/loadavg: 0.93 1.01 1.00 2/98 17578 /proc/meminfo: memFree=1186464/2097152 swapFree=2055620/2097144 [pid=17558] ppid=17557 vsize=2384 CPUtime=0 /proc/17558/stat : 17558 (sh) S 17557 17558 13759 34823 13904 4202496 389 308 0 0 0 0 0 0 22 0 1 0 418054513 2441216 264 1283457024 134512640 135191968 4287392064 18446744073709551615 4159498894 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/17558/statm: 596 264 226 166 0 28 0 [pid=17561] ppid=17558 vsize=68976 CPUtime=8.89 /proc/17561/stat : 17561 (apt-pbo) S 17558 17558 13759 34823 13904 4202496 17308 16724 0 293 554 16 290 29 18 0 1 0 418054514 70631424 16399 1283457024 134512640 135758360 4289788608 18446744073709551615 4160230734 0 0 128 0 18446744071564457842 0 0 17 1 0 0 0 /proc/17561/statm: 17244 16399 5556 305 0 10880 0 [pid=17578] ppid=17561 vsize=13232 CPUtime=3.58 /proc/17578/stat : 17578 (wbo) R 17561 17558 13759 34823 13904 4202496 7542 0 0 0 350 8 0 0 18 0 1 0 418055424 13549568 2819 1283457024 134512640 135709839 4293138080 18446744073709551615 135168139 0 0 0 3 0 0 0 17 0 0 0 0 /proc/17578/statm: 3308 2819 132 293 0 3013 0 Current children cumulated CPU time (s) 12.47 Current children cumulated vsize (KiB) 84592 [startup+25.5079 s] /proc/loadavg: 1.02 1.03 1.00 2/98 17579 /proc/meminfo: memFree=1194580/2097152 swapFree=2055620/2097144 [pid=17558] ppid=17557 vsize=2384 CPUtime=0 /proc/17558/stat : 17558 (sh) S 17557 17558 13759 34823 13904 4202496 389 308 0 0 0 0 0 0 22 0 1 0 418054513 2441216 264 1283457024 134512640 135191968 4287392064 18446744073709551615 4159498894 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/17558/statm: 596 264 226 166 0 28 0 [pid=17561] ppid=17558 vsize=70388 CPUtime=9.37 /proc/17561/stat : 17561 (apt-pbo) R 17558 17558 13759 34823 13904 4202496 17924 16724 0 293 602 16 290 29 18 0 1 0 418054514 72077312 16765 1283457024 134512640 135758360 4289788608 18446744073709551615 135020581 0 0 128 0 0 0 0 17 1 0 0 0 /proc/17561/statm: 17597 16765 5560 305 0 11233 0 [pid=17578] ppid=17561 vsize=0 CPUtime=15.85 /proc/17578/stat : 17578 (wbo) Z 17561 17558 13759 34823 13904 4202508 22166 0 0 0 1570 15 0 0 18 0 1 0 418055424 0 0 1283457024 0 0 0 0 0 0 0 0 3 18446744071564254338 0 0 17 0 0 0 0 /proc/17578/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 25.22 Current children cumulated vsize (KiB) 72772 [startup+51.108 s] /proc/loadavg: 1.01 1.02 1.00 2/99 17585 /proc/meminfo: memFree=1177312/2097152 swapFree=2055620/2097144 [pid=17558] ppid=17557 vsize=2384 CPUtime=0 /proc/17558/stat : 17558 (sh) S 17557 17558 13759 34823 13904 4202496 389 308 0 0 0 0 0 0 22 0 1 0 418054513 2441216 264 1283457024 134512640 135191968 4287392064 18446744073709551615 4159498894 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/17558/statm: 596 264 226 166 0 28 0 [pid=17561] ppid=17558 vsize=88496 CPUtime=33.68 /proc/17561/stat : 17561 (apt-pbo) S 17558 17558 13759 34823 13904 4202496 22479 16724 0 293 3031 18 290 29 18 0 1 0 418054514 90619904 21283 1283457024 134512640 135758360 4289788608 18446744073709551615 4160230734 0 0 128 0 18446744071564457842 0 0 17 1 0 0 0 /proc/17561/statm: 22124 21283 5560 305 0 15760 0 [pid=17578] ppid=17561 vsize=0 CPUtime=15.85 /proc/17578/stat : 17578 (wbo) Z 17561 17558 13759 34823 13904 4202508 22166 0 0 0 1570 15 0 0 18 0 1 0 418055424 0 0 1283457024 0 0 0 0 0 0 0 0 3 18446744071564254338 0 0 17 0 0 0 0 /proc/17578/statm: 0 0 0 0 0 0 0 [pid=17582] ppid=17561 vsize=2460 CPUtime=0.01 /proc/17582/stat : 17582 (apt-get.sh) S 17561 17558 13759 34823 13904 4202496 436 621 0 0 0 1 0 0 18 0 1 0 418059494 2519040 281 1283457024 134512640 135191968 4292769664 18446744073709551615 4158691982 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/17582/statm: 615 281 223 166 0 47 0 [pid=17585] ppid=17582 vsize=26732 CPUtime=1.22 /proc/17585/stat : 17585 (apt-get) R 17582 17558 13759 34823 13904 4202496 6062 0 0 0 116 6 0 0 18 0 1 0 418059497 27373568 5947 1283457024 134512640 134646397 4289598592 18446744073709551615 4156459926 0 0 4096 134217728 0 0 0 17 0 0 0 0 /proc/17585/statm: 6683 5947 5266 33 0 670 0 Current children cumulated CPU time (s) 50.76 Current children cumulated vsize (KiB) 120072 Solver just ended. Dumping a history of the last processes samples [startup+51.201 s] /proc/loadavg: 1.01 1.02 1.00 2/99 17585 /proc/meminfo: memFree=1177312/2097152 swapFree=2055620/2097144 [pid=17558] ppid=17557 vsize=2384 CPUtime=0 /proc/17558/stat : 17558 (sh) S 17557 17558 13759 34823 13904 4202496 389 308 0 0 0 0 0 0 22 0 1 0 418054513 2441216 264 1283457024 134512640 135191968 4287392064 18446744073709551615 4159498894 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/17558/statm: 596 264 226 166 0 28 0 [pid=17561] ppid=17558 vsize=88496 CPUtime=33.68 /proc/17561/stat : 17561 (apt-pbo) S 17558 17558 13759 34823 13904 4202496 22479 16724 0 293 3031 18 290 29 18 0 1 0 418054514 90619904 21283 1283457024 134512640 135758360 4289788608 18446744073709551615 4160230734 0 0 128 0 18446744071564457842 0 0 17 1 0 0 0 /proc/17561/statm: 22124 21283 5560 305 0 15760 0 [pid=17578] ppid=17561 vsize=0 CPUtime=15.85 /proc/17578/stat : 17578 (wbo) Z 17561 17558 13759 34823 13904 4202508 22166 0 0 0 1570 15 0 0 18 0 1 0 418055424 0 0 1283457024 0 0 0 0 0 0 0 0 3 18446744071564254338 0 0 17 0 0 0 0 /proc/17578/statm: 0 0 0 0 0 0 0 [pid=17582] ppid=17561 vsize=2460 CPUtime=0.01 /proc/17582/stat : 17582 (apt-get.sh) S 17561 17558 13759 34823 13904 4202496 436 621 0 0 0 1 0 0 18 0 1 0 418059494 2519040 281 1283457024 134512640 135191968 4292769664 18446744073709551615 4158691982 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/17582/statm: 615 281 223 166 0 47 0 [pid=17585] ppid=17582 vsize=26732 CPUtime=1.31 /proc/17585/stat : 17585 (apt-get) R 17582 17558 13759 34823 13904 4202496 6064 0 0 0 124 7 0 0 18 0 1 0 418059497 27373568 5949 1283457024 134512640 134646397 4289598592 18446744073709551615 4156745686 0 0 4096 134217728 0 0 0 17 0 0 0 0 /proc/17585/statm: 6683 5949 5266 33 0 670 0 Current children cumulated CPU time (s) 50.85 Current children cumulated vsize (KiB) 120072 [startup+76.8107 s] /proc/loadavg: 1.06 1.04 1.01 2/99 17592 /proc/meminfo: memFree=1174956/2097152 swapFree=2055620/2097144 [pid=17558] ppid=17557 vsize=2384 CPUtime=0 /proc/17558/stat : 17558 (sh) S 17557 17558 13759 34823 13904 4202496 389 308 0 0 0 0 0 0 22 0 1 0 418054513 2441216 264 1283457024 134512640 135191968 4287392064 18446744073709551615 4159498894 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/17558/statm: 596 264 226 166 0 28 0 [pid=17561] ppid=17558 vsize=88496 CPUtime=52.1 /proc/17561/stat : 17561 (apt-pbo) S 17558 17558 13759 34823 13904 4202496 25454 46049 0 293 3076 24 2050 60 18 0 1 0 418054514 90619904 21284 1283457024 134512640 135758360 4289788608 18446744073709551615 4160230734 0 0 128 0 18446744071564457842 0 0 17 1 0 0 0 /proc/17561/statm: 22124 21284 5560 305 0 15760 0 [pid=17586] ppid=17561 vsize=0 CPUtime=23.15 /proc/17586/stat : 17586 (wbo) Z 17561 17558 13759 34823 13904 4202508 28301 0 0 0 2297 18 0 0 25 0 1 0 418059709 0 0 1283457024 0 0 0 0 0 0 0 0 3 18446744071564254338 0 0 17 1 0 0 0 /proc/17586/statm: 0 0 0 0 0 0 0 [pid=17589] ppid=17561 vsize=2468 CPUtime=0 /proc/17589/stat : 17589 (apt-get.sh) S 17561 17558 13759 34823 13904 4202496 442 621 0 0 0 0 0 0 19 0 1 0 418062077 2527232 283 1283457024 134512640 135191968 4289055648 18446744073709551615 4158974606 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/17589/statm: 617 283 223 166 0 49 0 [pid=17592] ppid=17589 vsize=26724 CPUtime=1.12 /proc/17592/stat : 17592 (apt-get) R 17589 17558 13759 34823 13904 4202496 6058 0 0 0 103 9 0 0 18 0 1 0 418062080 27365376 5943 1283457024 134512640 134646397 4292548176 18446744073709551615 4157673470 0 0 4096 134217728 0 0 0 17 0 0 0 0 /proc/17592/statm: 6681 5943 5266 33 0 668 0 Current children cumulated CPU time (s) 76.37 Current children cumulated vsize (KiB) 120072 [startup+89.6067 s] /proc/loadavg: 1.12 1.05 1.01 2/97 17593 /proc/meminfo: memFree=1145716/2097152 swapFree=2055620/2097144 [pid=17558] ppid=17557 vsize=2384 CPUtime=0 /proc/17558/stat : 17558 (sh) S 17557 17558 13759 34823 13904 4202496 389 308 0 0 0 0 0 0 22 0 1 0 418054513 2441216 264 1283457024 134512640 135191968 4287392064 18446744073709551615 4159498894 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/17558/statm: 596 264 226 166 0 28 0 [pid=17561] ppid=17558 vsize=88496 CPUtime=77.4 /proc/17561/stat : 17561 (apt-pbo) S 17558 17558 13759 34823 13904 4202496 28140 81513 0 293 3077 24 4544 95 18 0 1 0 418054514 90619904 21284 1283457024 134512640 135758360 4289788608 18446744073709551615 4160230734 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/17561/statm: 22124 21284 5560 305 0 15760 0 [pid=17593] ppid=17561 vsize=29300 CPUtime=11.71 /proc/17593/stat : 17593 (wbo) R 17561 17558 13759 34823 13904 4202496 16012 0 0 0 1161 10 0 0 20 0 1 0 418062298 30003200 6823 1283457024 134512640 135709839 4290380784 18446744073709551615 134570460 0 0 0 3 0 0 0 17 1 0 0 0 /proc/17593/statm: 7325 6823 132 293 0 7030 0 Current children cumulated CPU time (s) 89.11 Current children cumulated vsize (KiB) 120180 [startup+96.0069 s] /proc/loadavg: 1.11 1.05 1.01 2/97 17594 /proc/meminfo: memFree=1128976/2097152 swapFree=2055620/2097144 [pid=17558] ppid=17557 vsize=2384 CPUtime=0 /proc/17558/stat : 17558 (sh) S 17557 17558 13759 34823 13904 4202496 389 308 0 0 0 0 0 0 22 0 1 0 418054513 2441216 264 1283457024 134512640 135191968 4287392064 18446744073709551615 4159498894 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/17558/statm: 596 264 226 166 0 28 0 [pid=17561] ppid=17558 vsize=88496 CPUtime=77.4 /proc/17561/stat : 17561 (apt-pbo) S 17558 17558 13759 34823 13904 4202496 28140 81513 0 293 3077 24 4544 95 18 0 1 0 418054514 90619904 21284 1283457024 134512640 135758360 4289788608 18446744073709551615 4160230734 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/17561/statm: 22124 21284 5560 305 0 15760 0 [pid=17593] ppid=17561 vsize=45136 CPUtime=18.09 /proc/17593/stat : 17593 (wbo) R 17561 17558 13759 34823 13904 4202496 22639 0 0 0 1793 16 0 0 22 0 1 0 418062298 46219264 10801 1283457024 134512640 135709839 4290380784 18446744073709551615 135168139 0 0 0 3 0 0 0 17 1 0 0 0 /proc/17593/statm: 11284 10801 132 293 0 10989 0 Current children cumulated CPU time (s) 95.49 Current children cumulated vsize (KiB) 136016 [startup+99.2071 s] /proc/loadavg: 1.10 1.05 1.01 2/97 17594 /proc/meminfo: memFree=1119436/2097152 swapFree=2055620/2097144 [pid=17558] ppid=17557 vsize=2384 CPUtime=0 /proc/17558/stat : 17558 (sh) S 17557 17558 13759 34823 13904 4202496 389 308 0 0 0 0 0 0 22 0 1 0 418054513 2441216 264 1283457024 134512640 135191968 4287392064 18446744073709551615 4159498894 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/17558/statm: 596 264 226 166 0 28 0 [pid=17561] ppid=17558 vsize=88496 CPUtime=77.4 /proc/17561/stat : 17561 (apt-pbo) S 17558 17558 13759 34823 13904 4202496 28140 81513 0 293 3077 24 4544 95 18 0 1 0 418054514 90619904 21284 1283457024 134512640 135758360 4289788608 18446744073709551615 4160230734 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/17561/statm: 22124 21284 5560 305 0 15760 0 [pid=17593] ppid=17561 vsize=54540 CPUtime=21.29 /proc/17593/stat : 17593 (wbo) R 17561 17558 13759 34823 13904 4202496 26417 0 0 0 2110 19 0 0 18 0 1 0 418062298 55848960 13082 1283457024 134512640 135709839 4290380784 18446744073709551615 134570339 0 0 0 3 0 0 0 17 1 0 0 0 /proc/17593/statm: 13635 13082 132 293 0 13340 0 Current children cumulated CPU time (s) 98.69 Current children cumulated vsize (KiB) 145420 [startup+100.807 s] /proc/loadavg: 1.10 1.05 1.01 2/97 17594 /proc/meminfo: memFree=1115964/2097152 swapFree=2055620/2097144 [pid=17558] ppid=17557 vsize=2384 CPUtime=0 /proc/17558/stat : 17558 (sh) S 17557 17558 13759 34823 13904 4202496 389 308 0 0 0 0 0 0 22 0 1 0 418054513 2441216 264 1283457024 134512640 135191968 4287392064 18446744073709551615 4159498894 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/17558/statm: 596 264 226 166 0 28 0 [pid=17561] ppid=17558 vsize=88496 CPUtime=77.4 /proc/17561/stat : 17561 (apt-pbo) S 17558 17558 13759 34823 13904 4202496 28140 81513 0 293 3077 24 4544 95 18 0 1 0 418054514 90619904 21284 1283457024 134512640 135758360 4289788608 18446744073709551615 4160230734 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/17561/statm: 22124 21284 5560 305 0 15760 0 [pid=17593] ppid=17561 vsize=59512 CPUtime=22.89 /proc/17593/stat : 17593 (wbo) R 17561 17558 13759 34823 13904 4202496 28356 0 0 0 2270 19 0 0 22 0 1 0 418062298 60940288 14354 1283457024 134512640 135709839 4290380784 18446744073709551615 135168139 0 0 0 3 0 0 0 17 1 0 0 0 /proc/17593/statm: 14878 14354 132 293 0 14583 0 Current children cumulated CPU time (s) 100.29 Current children cumulated vsize (KiB) 150392 [startup+101.608 s] /proc/loadavg: 1.10 1.05 1.01 2/97 17594 /proc/meminfo: memFree=1111872/2097152 swapFree=2055620/2097144 [pid=17558] ppid=17557 vsize=2384 CPUtime=0 /proc/17558/stat : 17558 (sh) S 17557 17558 13759 34823 13904 4202496 389 308 0 0 0 0 0 0 22 0 1 0 418054513 2441216 264 1283457024 134512640 135191968 4287392064 18446744073709551615 4159498894 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/17558/statm: 596 264 226 166 0 28 0 [pid=17561] ppid=17558 vsize=88496 CPUtime=77.4 /proc/17561/stat : 17561 (apt-pbo) S 17558 17558 13759 34823 13904 4202496 28140 81513 0 293 3077 24 4544 95 18 0 1 0 418054514 90619904 21284 1283457024 134512640 135758360 4289788608 18446744073709551615 4160230734 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/17561/statm: 22124 21284 5560 305 0 15760 0 [pid=17593] ppid=17561 vsize=62632 CPUtime=23.68 /proc/17593/stat : 17593 (wbo) R 17561 17558 13759 34823 13904 4202496 29297 0 0 0 2349 19 0 0 18 0 1 0 418062298 64135168 15131 1283457024 134512640 135709839 4290380784 18446744073709551615 134529856 0 0 0 3 0 0 0 17 1 0 0 0 /proc/17593/statm: 15658 15131 133 293 0 15363 0 Current children cumulated CPU time (s) 101.08 Current children cumulated vsize (KiB) 153512 [startup+102.009 s] /proc/loadavg: 1.10 1.05 1.01 2/97 17594 /proc/meminfo: memFree=1111872/2097152 swapFree=2055620/2097144 [pid=17558] ppid=17557 vsize=2384 CPUtime=0 /proc/17558/stat : 17558 (sh) S 17557 17558 13759 34823 13904 4202496 389 308 0 0 0 0 0 0 22 0 1 0 418054513 2441216 264 1283457024 134512640 135191968 4287392064 18446744073709551615 4159498894 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/17558/statm: 596 264 226 166 0 28 0 [pid=17561] ppid=17558 vsize=88496 CPUtime=77.63 /proc/17561/stat : 17561 (apt-pbo) R 17558 17558 13759 34823 13904 4202496 29270 81513 0 293 3100 24 4544 95 18 0 1 0 418054514 90619904 21284 1283457024 134512640 135758360 4289788608 18446744073709551615 134969813 0 0 128 0 0 0 0 17 0 0 0 0 /proc/17561/statm: 22124 21284 5560 305 0 15760 0 [pid=17593] ppid=17561 vsize=0 CPUtime=23.85 /proc/17593/stat : 17593 (wbo) Z 17561 17558 13759 34823 13904 4202508 29439 0 0 0 2364 21 0 0 18 0 1 0 418062298 0 0 1283457024 0 0 0 0 0 0 0 0 3 18446744071564254338 0 0 17 1 0 0 0 /proc/17593/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 101.48 Current children cumulated vsize (KiB) 90880 [startup+102.109 s] /proc/loadavg: 1.10 1.05 1.01 2/97 17594 /proc/meminfo: memFree=1111872/2097152 swapFree=2055620/2097144 [pid=17558] ppid=17557 vsize=2384 CPUtime=0 /proc/17558/stat : 17558 (sh) S 17557 17558 13759 34823 13904 4202496 389 308 0 0 0 0 0 0 22 0 1 0 418054513 2441216 264 1283457024 134512640 135191968 4287392064 18446744073709551615 4159498894 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/17558/statm: 596 264 226 166 0 28 0 [pid=17561] ppid=17558 vsize=88496 CPUtime=77.73 /proc/17561/stat : 17561 (apt-pbo) R 17558 17558 13759 34823 13904 4202496 29282 81513 0 293 3110 24 4544 95 18 0 1 0 418054514 90619904 21284 1283457024 134512640 135758360 4289788608 18446744073709551615 134963502 0 0 128 0 0 0 0 17 0 0 0 0 /proc/17561/statm: 22124 21284 5560 305 0 15760 0 [pid=17593] ppid=17561 vsize=0 CPUtime=23.85 /proc/17593/stat : 17593 (wbo) Z 17561 17558 13759 34823 13904 4202508 29439 0 0 0 2364 21 0 0 18 0 1 0 418062298 0 0 1283457024 0 0 0 0 0 0 0 0 3 18446744071564254338 0 0 17 1 0 0 0 /proc/17593/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 101.58 Current children cumulated vsize (KiB) 90880 Child status: 0 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 17558 and gives # childrusage.ru_utime.tv_sec=76 # childrusage.ru_utime.tv_usec=612788 # childrusage.ru_stime.tv_sec=1 # childrusage.ru_stime.tv_usec=212075 # CPU time returned by wait4() is 77.8249 # while last known CPU time is 101.58 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 102.184 CPU time (s): 101.58 CPU user time (s): 100.18 CPU system time (s): 1.4 CPU usage (%): 99.4092 Max. virtual memory (cumulated for all children) (KiB): 153832 getrusage(RUSAGE_CHILDREN,...) data: user time used= 76.6128 system time used= 1.21208 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 114625 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= 17922 involuntary context switches= 8342 runsolver used 0.008 second user time and 0.012 second system time The end