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/rand06f749.cudf.difficult.log.runsolver ./apt-pbo-trendy-1.0.5 /home/misc2010/data/2010/difficult//rand06f749.cudf /home/misc2010/tmp/201007051419/apt-pbo-trendy-1.0.5/rand06f749.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.76 0.30 0.15 2/106 14507 /proc/meminfo: memFree=476576/2097152 swapFree=2055676/2097144 [pid=14507] ppid=14506 vsize=2380 CPUtime=0 /proc/14507/stat : 14507 (sh) S 14506 14507 13759 34823 13904 4202496 388 308 0 0 0 0 0 0 20 0 1 0 415027657 2437120 263 1283457024 134512640 135191968 4291693920 18446744073709551615 4158786190 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/14507/statm: 595 263 226 166 0 27 0 [pid=14509] ppid=14507 vsize=0 CPUtime=0 /proc/14509/stat : 14509 (sh) R 14507 14507 13759 34823 13904 4202560 57 0 0 0 0 0 0 0 21 0 1 0 415027658 0 0 1283457024 0 0 0 18446744073709551615 4158788890 0 0 0 0 0 0 0 17 1 0 0 0 /proc/14509/statm: 1 1 0 0 0 1 0 [startup+0.135752 s] /proc/loadavg: 0.76 0.30 0.15 2/106 14507 /proc/meminfo: memFree=476576/2097152 swapFree=2055676/2097144 [pid=14507] ppid=14506 vsize=2380 CPUtime=0 /proc/14507/stat : 14507 (sh) S 14506 14507 13759 34823 13904 4202496 388 308 0 0 0 0 0 0 20 0 1 0 415027657 2437120 263 1283457024 134512640 135191968 4291693920 18446744073709551615 4158786190 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/14507/statm: 595 263 226 166 0 27 0 [pid=14509] ppid=14507 vsize=7928 CPUtime=0.07 /proc/14509/stat : 14509 (apt-pbo) R 14507 14507 13759 34823 13904 4202496 1584 717 0 0 7 0 0 0 21 0 1 0 415027658 8118272 1355 1283457024 134512640 135758360 4290005760 18446744073709551615 4158905519 0 0 128 0 0 0 0 17 0 0 0 0 /proc/14509/statm: 1982 1355 628 305 0 755 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 10308 [startup+0.215746 s] /proc/loadavg: 0.76 0.30 0.15 2/106 14507 /proc/meminfo: memFree=476576/2097152 swapFree=2055676/2097144 [pid=14507] ppid=14506 vsize=2380 CPUtime=0 /proc/14507/stat : 14507 (sh) S 14506 14507 13759 34823 13904 4202496 388 308 0 0 0 0 0 0 20 0 1 0 415027657 2437120 263 1283457024 134512640 135191968 4291693920 18446744073709551615 4158786190 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/14507/statm: 595 263 226 166 0 27 0 [pid=14509] ppid=14507 vsize=8456 CPUtime=0.15 /proc/14509/stat : 14509 (apt-pbo) R 14507 14507 13759 34823 13904 4202496 1900 717 0 0 15 0 0 0 22 0 1 0 415027658 8658944 1496 1283457024 134512640 135758360 4290005760 18446744073709551615 135510736 0 0 128 0 0 0 0 17 0 0 0 0 /proc/14509/statm: 2114 1496 628 305 0 887 0 Current children cumulated CPU time (s) 0.15 Current children cumulated vsize (KiB) 10836 [startup+0.315738 s] /proc/loadavg: 0.76 0.30 0.15 2/106 14507 /proc/meminfo: memFree=476576/2097152 swapFree=2055676/2097144 [pid=14507] ppid=14506 vsize=2380 CPUtime=0 /proc/14507/stat : 14507 (sh) S 14506 14507 13759 34823 13904 4202496 388 308 0 0 0 0 0 0 20 0 1 0 415027657 2437120 263 1283457024 134512640 135191968 4291693920 18446744073709551615 4158786190 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/14507/statm: 595 263 226 166 0 27 0 [pid=14509] ppid=14507 vsize=9252 CPUtime=0.25 /proc/14509/stat : 14509 (apt-pbo) R 14507 14507 13759 34823 13904 4202496 2077 717 0 0 25 0 0 0 22 0 1 0 415027658 9474048 1673 1283457024 134512640 135758360 4290005760 18446744073709551615 135311596 0 0 128 0 0 0 0 17 0 0 0 0 /proc/14509/statm: 2313 1673 628 305 0 1086 0 Current children cumulated CPU time (s) 0.25 Current children cumulated vsize (KiB) 11632 [startup+0.705794 s] /proc/loadavg: 0.76 0.30 0.15 2/106 14507 /proc/meminfo: memFree=476576/2097152 swapFree=2055676/2097144 [pid=14507] ppid=14506 vsize=2380 CPUtime=0 /proc/14507/stat : 14507 (sh) S 14506 14507 13759 34823 13904 4202496 388 308 0 0 0 0 0 0 20 0 1 0 415027657 2437120 263 1283457024 134512640 135191968 4291693920 18446744073709551615 4158786190 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/14507/statm: 595 263 226 166 0 27 0 [pid=14509] ppid=14507 vsize=11788 CPUtime=0.64 /proc/14509/stat : 14509 (apt-pbo) R 14507 14507 13759 34823 13904 4202496 2755 717 0 0 64 0 0 0 24 0 1 0 415027658 12070912 2318 1283457024 134512640 135758360 4290005760 18446744073709551615 135304512 0 0 128 0 0 0 0 17 0 0 0 0 /proc/14509/statm: 2947 2318 628 305 0 1720 0 Current children cumulated CPU time (s) 0.64 Current children cumulated vsize (KiB) 14168 [startup+1.50596 s] /proc/loadavg: 0.70 0.29 0.15 2/108 14512 /proc/meminfo: memFree=464904/2097152 swapFree=2055676/2097144 [pid=14507] ppid=14506 vsize=2380 CPUtime=0 /proc/14507/stat : 14507 (sh) S 14506 14507 13759 34823 13904 4202496 388 308 0 0 0 0 0 0 20 0 1 0 415027657 2437120 263 1283457024 134512640 135191968 4291693920 18446744073709551615 4158786190 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/14507/statm: 595 263 226 166 0 27 0 [pid=14509] ppid=14507 vsize=17080 CPUtime=1.44 /proc/14509/stat : 14509 (apt-pbo) R 14507 14507 13759 34823 13904 4202496 4080 717 0 0 143 1 0 0 25 0 1 0 415027658 17489920 3637 1283457024 134512640 135758360 4290005760 18446744073709551615 134944889 0 0 128 0 0 0 0 17 0 0 0 0 /proc/14509/statm: 4270 3637 628 305 0 3043 0 Current children cumulated CPU time (s) 1.44 Current children cumulated vsize (KiB) 19460 [startup+3.1063 s] /proc/loadavg: 0.70 0.29 0.15 2/108 14512 /proc/meminfo: memFree=454364/2097152 swapFree=2055676/2097144 [pid=14507] ppid=14506 vsize=2380 CPUtime=0 /proc/14507/stat : 14507 (sh) S 14506 14507 13759 34823 13904 4202496 388 308 0 0 0 0 0 0 20 0 1 0 415027657 2437120 263 1283457024 134512640 135191968 4291693920 18446744073709551615 4158786190 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/14507/statm: 595 263 226 166 0 27 0 [pid=14509] ppid=14507 vsize=27608 CPUtime=3.04 /proc/14509/stat : 14509 (apt-pbo) R 14507 14507 13759 34823 13904 4202496 6722 717 0 0 300 4 0 0 25 0 1 0 415027658 28270592 6272 1283457024 134512640 135758360 4290005760 18446744073709551615 134957229 0 0 128 0 0 0 0 17 0 0 0 0 /proc/14509/statm: 6902 6272 628 305 0 5675 0 Current children cumulated CPU time (s) 3.04 Current children cumulated vsize (KiB) 29988 [startup+6.30688 s] /proc/loadavg: 0.73 0.30 0.16 2/108 14513 /proc/meminfo: memFree=424604/2097152 swapFree=2055676/2097144 [pid=14507] ppid=14506 vsize=2380 CPUtime=0 /proc/14507/stat : 14507 (sh) S 14506 14507 13759 34823 13904 4202496 388 308 0 0 0 0 0 0 20 0 1 0 415027657 2437120 263 1283457024 134512640 135191968 4291693920 18446744073709551615 4158786190 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/14507/statm: 595 263 226 166 0 27 0 [pid=14509] ppid=14507 vsize=44028 CPUtime=5.48 /proc/14509/stat : 14509 (apt-pbo) S 14507 14507 13759 34823 13904 4202496 10867 717 0 0 542 6 0 0 23 0 1 0 415027658 45084672 10380 1283457024 134512640 135758360 4290005760 18446744073709551615 4160066894 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/14509/statm: 11007 10380 628 305 0 9780 0 Current children cumulated CPU time (s) 5.48 Current children cumulated vsize (KiB) 46408 [startup+12.7063 s] /proc/loadavg: 0.75 0.31 0.16 2/109 14527 /proc/meminfo: memFree=357368/2097152 swapFree=2055676/2097144 [pid=14507] ppid=14506 vsize=2380 CPUtime=0 /proc/14507/stat : 14507 (sh) S 14506 14507 13759 34823 13904 4202496 388 308 0 0 0 0 0 0 20 0 1 0 415027657 2437120 263 1283457024 134512640 135191968 4291693920 18446744073709551615 4158786190 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/14507/statm: 595 263 226 166 0 27 0 [pid=14509] ppid=14507 vsize=68860 CPUtime=8.69 /proc/14509/stat : 14509 (apt-pbo) R 14507 14507 13759 34823 13904 4202496 17288 16719 0 293 559 9 272 29 18 0 1 0 415027658 70512640 16373 1283457024 134512640 135758360 4290005760 18446744073709551615 4160066894 0 0 128 0 0 0 0 17 0 0 0 0 /proc/14509/statm: 17215 16373 5556 305 0 10851 0 [pid=14527] ppid=14509 vsize=14464 CPUtime=3.82 /proc/14527/stat : 14527 (wbo) R 14509 14507 13759 34823 13904 4202496 7375 0 0 0 377 5 0 0 18 0 1 0 415028544 14811136 3151 1283457024 134512640 135709839 4287963568 18446744073709551615 135230974 0 0 0 3 0 0 0 17 1 0 0 0 /proc/14527/statm: 3616 3151 132 293 0 3321 0 Current children cumulated CPU time (s) 12.51 Current children cumulated vsize (KiB) 85704 [startup+25.5044 s] /proc/loadavg: 0.88 0.36 0.18 2/108 14533 /proc/meminfo: memFree=347092/2097152 swapFree=2055676/2097144 [pid=14507] ppid=14506 vsize=2380 CPUtime=0 /proc/14507/stat : 14507 (sh) S 14506 14507 13759 34823 13904 4202496 388 308 0 0 0 0 0 0 20 0 1 0 415027657 2437120 263 1283457024 134512640 135191968 4291693920 18446744073709551615 4158786190 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/14507/statm: 595 263 226 166 0 27 0 [pid=14509] ppid=14507 vsize=71404 CPUtime=19.22 /proc/14509/stat : 14509 (apt-pbo) S 14507 14507 13759 34823 13904 4202496 19307 31960 0 293 971 12 884 55 18 0 1 0 415027658 73117696 16997 1283457024 134512640 135758360 4290005760 18446744073709551615 4160066894 0 0 128 0 18446744071564457842 0 0 17 1 0 0 0 /proc/14509/statm: 17851 16997 5561 305 0 11487 0 [pid=14532] ppid=14509 vsize=18128 CPUtime=5.99 /proc/14532/stat : 14532 (wbo) R 14509 14507 13759 34823 13904 4202496 9245 0 0 0 599 0 0 0 19 0 1 0 415029606 18563072 4053 1283457024 134512640 135709839 4289909632 18446744073709551615 134517175 0 0 0 3 0 0 0 17 0 0 0 0 /proc/14532/statm: 4532 4053 132 293 0 4237 0 Current children cumulated CPU time (s) 25.21 Current children cumulated vsize (KiB) 91912 Solver just ended. Dumping a history of the last processes samples [startup+25.6045 s] /proc/loadavg: 0.88 0.36 0.18 2/108 14533 /proc/meminfo: memFree=347092/2097152 swapFree=2055676/2097144 [pid=14507] ppid=14506 vsize=2380 CPUtime=0 /proc/14507/stat : 14507 (sh) S 14506 14507 13759 34823 13904 4202496 388 308 0 0 0 0 0 0 20 0 1 0 415027657 2437120 263 1283457024 134512640 135191968 4291693920 18446744073709551615 4158786190 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/14507/statm: 595 263 226 166 0 27 0 [pid=14509] ppid=14507 vsize=71404 CPUtime=19.22 /proc/14509/stat : 14509 (apt-pbo) S 14507 14507 13759 34823 13904 4202496 19307 31960 0 293 971 12 884 55 18 0 1 0 415027658 73117696 16997 1283457024 134512640 135758360 4290005760 18446744073709551615 4160066894 0 0 128 0 18446744071564457842 0 0 17 1 0 0 0 /proc/14509/statm: 17851 16997 5561 305 0 11487 0 [pid=14532] ppid=14509 vsize=18180 CPUtime=6.09 /proc/14532/stat : 14532 (wbo) R 14509 14507 13759 34823 13904 4202496 9359 0 0 0 609 0 0 0 19 0 1 0 415029606 18616320 4089 1283457024 134512640 135709839 4289909632 18446744073709551615 134529856 0 0 0 3 0 0 0 17 0 0 0 0 /proc/14532/statm: 4545 4089 132 293 0 4250 0 Current children cumulated CPU time (s) 25.31 Current children cumulated vsize (KiB) 91964 [startup+32.0072 s] /proc/loadavg: 0.89 0.37 0.18 2/110 14537 /proc/meminfo: memFree=361832/2097152 swapFree=2055676/2097144 [pid=14507] ppid=14506 vsize=2380 CPUtime=0 /proc/14507/stat : 14507 (sh) S 14506 14507 13759 34823 13904 4202496 388 308 0 0 0 0 0 0 20 0 1 0 415027657 2437120 263 1283457024 134512640 135191968 4291693920 18446744073709551615 4158786190 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/14507/statm: 595 263 226 166 0 27 0 [pid=14509] ppid=14507 vsize=71564 CPUtime=19.62 /proc/14509/stat : 14509 (apt-pbo) S 14507 14507 13759 34823 13904 4202496 19952 31960 0 293 1011 12 884 55 18 0 1 0 415027658 73281536 17037 1283457024 134512640 135758360 4290005760 18446744073709551615 4160066894 0 0 128 0 18446744071564457842 0 0 17 1 0 0 0 /proc/14509/statm: 17891 17037 5561 305 0 11527 0 [pid=14532] ppid=14509 vsize=0 CPUtime=10.55 /proc/14532/stat : 14532 (wbo) Z 14509 14507 13759 34823 13904 4202508 15325 0 0 0 1052 3 0 0 18 0 1 0 415029606 0 0 1283457024 0 0 0 0 0 0 0 0 3 18446744071564254338 0 0 17 0 0 0 0 /proc/14532/statm: 0 0 0 0 0 0 0 [pid=14534] ppid=14509 vsize=2444 CPUtime=0 /proc/14534/stat : 14534 (apt-get.sh) S 14509 14507 13759 34823 13904 4202496 433 619 0 0 0 0 0 0 19 0 1 0 415030705 2502656 277 1283457024 134512640 135191968 4290688832 18446744073709551615 4158696078 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/14534/statm: 611 277 223 166 0 43 0 [pid=14537] ppid=14534 vsize=26976 CPUtime=1.46 /proc/14537/stat : 14537 (apt-get) R 14534 14507 13759 34823 13904 4202496 6080 0 0 0 142 4 0 0 18 0 1 0 415030707 27623424 5965 1283457024 134512640 134646397 4294650576 18446744073709551615 4157614450 0 0 4096 134217728 0 0 0 17 0 0 0 0 /proc/14537/statm: 6744 5965 5266 33 0 731 0 Current children cumulated CPU time (s) 31.63 Current children cumulated vsize (KiB) 103364 [startup+38.4044 s] /proc/loadavg: 0.89 0.38 0.19 2/108 14539 /proc/meminfo: memFree=346208/2097152 swapFree=2055676/2097144 [pid=14507] ppid=14506 vsize=2380 CPUtime=0 /proc/14507/stat : 14507 (sh) S 14506 14507 13759 34823 13904 4202496 388 308 0 0 0 0 0 0 20 0 1 0 415027657 2437120 263 1283457024 134512640 135191968 4291693920 18446744073709551615 4158786190 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/14507/statm: 595 263 226 166 0 27 0 [pid=14509] ppid=14507 vsize=71564 CPUtime=32.14 /proc/14509/stat : 14509 (apt-pbo) S 14507 14507 13759 34823 13904 4202496 21425 54436 0 293 1011 14 2115 74 18 0 1 0 415027658 73281536 17037 1283457024 134512640 135758360 4290005760 18446744073709551615 4160066894 0 0 128 0 18446744071564457842 0 0 17 1 0 0 0 /proc/14509/statm: 17891 17037 5561 305 0 11527 0 [pid=14538] ppid=14509 vsize=18096 CPUtime=5.92 /proc/14538/stat : 14538 (wbo) R 14509 14507 13759 34823 13904 4202496 9709 0 0 0 584 8 0 0 25 0 1 0 415030905 18530304 4032 1283457024 134512640 135709839 4290077616 18446744073709551615 135165961 0 0 0 3 0 0 0 17 0 0 0 0 /proc/14538/statm: 4524 4032 132 293 0 4229 0 Current children cumulated CPU time (s) 38.06 Current children cumulated vsize (KiB) 92040 [startup+41.615 s] /proc/loadavg: 0.90 0.39 0.19 2/108 14539 /proc/meminfo: memFree=339644/2097152 swapFree=2055676/2097144 [pid=14507] ppid=14506 vsize=2380 CPUtime=0 /proc/14507/stat : 14507 (sh) S 14506 14507 13759 34823 13904 4202496 388 308 0 0 0 0 0 0 20 0 1 0 415027657 2437120 263 1283457024 134512640 135191968 4291693920 18446744073709551615 4158786190 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/14507/statm: 595 263 226 166 0 27 0 [pid=14509] ppid=14507 vsize=71564 CPUtime=32.14 /proc/14509/stat : 14509 (apt-pbo) S 14507 14507 13759 34823 13904 4202496 21425 54436 0 293 1011 14 2115 74 18 0 1 0 415027658 73281536 17037 1283457024 134512640 135758360 4290005760 18446744073709551615 4160066894 0 0 128 0 18446744071564457842 0 0 17 1 0 0 0 /proc/14509/statm: 17891 17037 5561 305 0 11527 0 [pid=14538] ppid=14509 vsize=24776 CPUtime=9.13 /proc/14538/stat : 14538 (wbo) R 14509 14507 13759 34823 13904 4202496 13568 0 0 0 903 10 0 0 18 0 1 0 415030905 25370624 5680 1283457024 134512640 135709839 4290077616 18446744073709551615 134570925 0 0 0 3 0 0 0 17 0 0 0 0 /proc/14538/statm: 6194 5680 132 293 0 5899 0 Current children cumulated CPU time (s) 41.27 Current children cumulated vsize (KiB) 98720 [startup+43.2052 s] /proc/loadavg: 0.90 0.39 0.19 2/108 14539 /proc/meminfo: memFree=335056/2097152 swapFree=2055676/2097144 [pid=14507] ppid=14506 vsize=2380 CPUtime=0 /proc/14507/stat : 14507 (sh) S 14506 14507 13759 34823 13904 4202496 388 308 0 0 0 0 0 0 20 0 1 0 415027657 2437120 263 1283457024 134512640 135191968 4291693920 18446744073709551615 4158786190 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/14507/statm: 595 263 226 166 0 27 0 [pid=14509] ppid=14507 vsize=71564 CPUtime=32.14 /proc/14509/stat : 14509 (apt-pbo) S 14507 14507 13759 34823 13904 4202496 21425 54436 0 293 1011 14 2115 74 18 0 1 0 415027658 73281536 17037 1283457024 134512640 135758360 4290005760 18446744073709551615 4160066894 0 0 128 0 18446744071564457842 0 0 17 1 0 0 0 /proc/14509/statm: 17891 17037 5561 305 0 11527 0 [pid=14538] ppid=14509 vsize=28452 CPUtime=10.72 /proc/14538/stat : 14538 (wbo) R 14509 14507 13759 34823 13904 4202496 15176 0 0 0 1062 10 0 0 18 0 1 0 415030905 29134848 6593 1283457024 134512640 135709839 4290077616 18446744073709551615 135162139 0 0 0 3 0 0 0 17 0 0 0 0 /proc/14538/statm: 7113 6593 132 293 0 6818 0 Current children cumulated CPU time (s) 42.86 Current children cumulated vsize (KiB) 102396 [startup+44.0077 s] /proc/loadavg: 0.90 0.39 0.19 2/108 14539 /proc/meminfo: memFree=331832/2097152 swapFree=2055676/2097144 [pid=14507] ppid=14506 vsize=2380 CPUtime=0 /proc/14507/stat : 14507 (sh) S 14506 14507 13759 34823 13904 4202496 388 308 0 0 0 0 0 0 20 0 1 0 415027657 2437120 263 1283457024 134512640 135191968 4291693920 18446744073709551615 4158786190 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/14507/statm: 595 263 226 166 0 27 0 [pid=14509] ppid=14507 vsize=71564 CPUtime=32.14 /proc/14509/stat : 14509 (apt-pbo) S 14507 14507 13759 34823 13904 4202496 21425 54436 0 293 1011 14 2115 74 18 0 1 0 415027658 73281536 17037 1283457024 134512640 135758360 4290005760 18446744073709551615 4160066894 0 0 128 0 18446744071564457842 0 0 17 1 0 0 0 /proc/14509/statm: 17891 17037 5561 305 0 11527 0 [pid=14538] ppid=14509 vsize=30832 CPUtime=11.51 /proc/14538/stat : 14538 (wbo) R 14509 14507 13759 34823 13904 4202496 15932 0 0 0 1141 10 0 0 18 0 1 0 415030905 31571968 7206 1283457024 134512640 135709839 4290077616 18446744073709551615 134570427 0 0 0 3 0 0 0 17 0 0 0 0 /proc/14538/statm: 7708 7206 133 293 0 7413 0 Current children cumulated CPU time (s) 43.65 Current children cumulated vsize (KiB) 104776 [startup+44.2077 s] /proc/loadavg: 0.90 0.39 0.19 2/108 14539 /proc/meminfo: memFree=331832/2097152 swapFree=2055676/2097144 [pid=14507] ppid=14506 vsize=2380 CPUtime=0 /proc/14507/stat : 14507 (sh) S 14506 14507 13759 34823 13904 4202496 388 308 0 0 0 0 0 0 20 0 1 0 415027657 2437120 263 1283457024 134512640 135191968 4291693920 18446744073709551615 4158786190 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/14507/statm: 595 263 226 166 0 27 0 [pid=14509] ppid=14507 vsize=71720 CPUtime=32.23 /proc/14509/stat : 14509 (apt-pbo) R 14507 14507 13759 34823 13904 4202496 21863 54436 0 293 1020 14 2115 74 18 0 1 0 415027658 73441280 17096 1283457024 134512640 135758360 4290005760 18446744073709551615 135202508 0 0 128 0 0 0 0 17 1 0 0 0 /proc/14509/statm: 17930 17096 5561 305 0 11566 0 [pid=14538] ppid=14509 vsize=0 CPUtime=11.6 /proc/14538/stat : 14538 (wbo) Z 14509 14507 13759 34823 13904 4202508 15975 0 0 0 1150 10 0 0 18 0 1 0 415030905 0 0 1283457024 0 0 0 0 0 0 0 0 3 18446744071564254338 0 0 17 0 0 0 0 /proc/14538/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 43.83 Current children cumulated vsize (KiB) 74100 [startup+44.3077 s] /proc/loadavg: 0.90 0.39 0.19 2/108 14539 /proc/meminfo: memFree=331832/2097152 swapFree=2055676/2097144 [pid=14507] ppid=14506 vsize=2380 CPUtime=0 /proc/14507/stat : 14507 (sh) S 14506 14507 13759 34823 13904 4202496 388 308 0 0 0 0 0 0 20 0 1 0 415027657 2437120 263 1283457024 134512640 135191968 4291693920 18446744073709551615 4158786190 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/14507/statm: 595 263 226 166 0 27 0 [pid=14509] ppid=14507 vsize=71720 CPUtime=32.33 /proc/14509/stat : 14509 (apt-pbo) R 14507 14507 13759 34823 13904 4202496 21868 54436 0 293 1030 14 2115 74 18 0 1 0 415027658 73441280 17096 1283457024 134512640 135758360 4290005760 18446744073709551615 135043789 0 0 128 0 0 0 0 17 1 0 0 0 /proc/14509/statm: 17930 17096 5561 305 0 11566 0 [pid=14538] ppid=14509 vsize=0 CPUtime=11.6 /proc/14538/stat : 14538 (wbo) Z 14509 14507 13759 34823 13904 4202508 15975 0 0 0 1150 10 0 0 18 0 1 0 415030905 0 0 1283457024 0 0 0 0 0 0 0 0 3 18446744071564254338 0 0 17 0 0 0 0 /proc/14538/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 43.93 Current children cumulated vsize (KiB) 74100 Child status: 0 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 14507 and gives # childrusage.ru_utime.tv_sec=31 # childrusage.ru_utime.tv_usec=545971 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=904056 # CPU time returned by wait4() is 32.45 # while last known CPU time is 43.93 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 44.3957 CPU time (s): 43.93 CPU user time (s): 42.95 CPU system time (s): 0.98 CPU usage (%): 98.951 Max. virtual memory (cumulated for all children) (KiB): 104776 getrusage(RUSAGE_CHILDREN,...) data: user time used= 31.546 system time used= 0.904056 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 79756 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= 13412 involuntary context switches= 5207 runsolver used 0 second user time and 0 second system time The end