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/rand0695fb.cudf.impossible.log.runsolver ./apt-pbo-trendy-1.0.5 /home/misc2010/data/2010/impossible//rand0695fb.cudf /home/misc2010/tmp/201007051419/apt-pbo-trendy-1.0.5/rand0695fb.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.38 1.19 0.79 1/106 16504 /proc/meminfo: memFree=1089012/2097152 swapFree=2055676/2097144 [pid=16504] ppid=16503 vsize=2380 CPUtime=0 /proc/16504/stat : 16504 (sh) S 16503 16504 13759 34823 13904 4202496 390 308 0 0 0 0 0 0 18 0 1 0 415122912 2437120 264 1283457024 134512640 135191968 4291060928 18446744073709551615 4159646350 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/16504/statm: 595 264 226 166 0 27 0 [pid=16506] ppid=16504 vsize=1396 CPUtime=0 /proc/16506/stat : 16506 (apt-pbo) S 16504 16504 13759 34823 13904 4194304 98 0 0 0 0 0 0 0 20 0 1 0 415122912 1429504 38 1283457024 134512640 135758360 4288950768 18446744073709551615 4160106628 0 2147483391 0 0 18446744071697298955 0 0 17 1 0 0 0 /proc/16506/statm: 349 38 28 305 0 5 0 [startup+0.121289 s] /proc/loadavg: 1.38 1.19 0.79 1/106 16504 /proc/meminfo: memFree=1089012/2097152 swapFree=2055676/2097144 [pid=16504] ppid=16503 vsize=2380 CPUtime=0 /proc/16504/stat : 16504 (sh) S 16503 16504 13759 34823 13904 4202496 390 308 0 0 0 0 0 0 18 0 1 0 415122912 2437120 264 1283457024 134512640 135191968 4291060928 18446744073709551615 4159646350 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/16504/statm: 595 264 226 166 0 27 0 [pid=16506] ppid=16504 vsize=7920 CPUtime=0.06 /proc/16506/stat : 16506 (apt-pbo) R 16504 16504 13759 34823 13904 4202496 1577 716 0 0 6 0 0 0 20 0 1 0 415122912 8110080 1346 1283457024 134512640 135758360 4288950768 18446744073709551615 134909363 0 0 128 0 0 0 0 17 0 0 0 0 /proc/16506/statm: 1980 1346 628 305 0 753 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 10300 [startup+0.211311 s] /proc/loadavg: 1.38 1.19 0.79 1/106 16504 /proc/meminfo: memFree=1089012/2097152 swapFree=2055676/2097144 [pid=16504] ppid=16503 vsize=2380 CPUtime=0 /proc/16504/stat : 16504 (sh) S 16503 16504 13759 34823 13904 4202496 390 308 0 0 0 0 0 0 18 0 1 0 415122912 2437120 264 1283457024 134512640 135191968 4291060928 18446744073709551615 4159646350 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/16504/statm: 595 264 226 166 0 27 0 [pid=16506] ppid=16504 vsize=8580 CPUtime=0.14 /proc/16506/stat : 16506 (apt-pbo) R 16504 16504 13759 34823 13904 4202496 1905 716 0 0 14 0 0 0 21 0 1 0 415122912 8785920 1499 1283457024 134512640 135758360 4288950768 18446744073709551615 135304261 0 0 128 0 0 0 0 17 0 0 0 0 /proc/16506/statm: 2145 1499 628 305 0 918 0 Current children cumulated CPU time (s) 0.14 Current children cumulated vsize (KiB) 10960 [startup+0.311325 s] /proc/loadavg: 1.38 1.19 0.79 1/106 16504 /proc/meminfo: memFree=1089012/2097152 swapFree=2055676/2097144 [pid=16504] ppid=16503 vsize=2380 CPUtime=0 /proc/16504/stat : 16504 (sh) S 16503 16504 13759 34823 13904 4202496 390 308 0 0 0 0 0 0 18 0 1 0 415122912 2437120 264 1283457024 134512640 135191968 4291060928 18446744073709551615 4159646350 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/16504/statm: 595 264 226 166 0 27 0 [pid=16506] ppid=16504 vsize=9240 CPUtime=0.24 /proc/16506/stat : 16506 (apt-pbo) R 16504 16504 13759 34823 13904 4202496 2082 716 0 0 24 0 0 0 21 0 1 0 415122912 9461760 1676 1283457024 134512640 135758360 4288950768 18446744073709551615 4158885039 0 0 128 0 0 0 0 17 0 0 0 0 /proc/16506/statm: 2310 1676 628 305 0 1083 0 Current children cumulated CPU time (s) 0.24 Current children cumulated vsize (KiB) 11620 [startup+0.71139 s] /proc/loadavg: 1.38 1.19 0.79 1/106 16504 /proc/meminfo: memFree=1089012/2097152 swapFree=2055676/2097144 [pid=16504] ppid=16503 vsize=2380 CPUtime=0 /proc/16504/stat : 16504 (sh) S 16503 16504 13759 34823 13904 4202496 390 308 0 0 0 0 0 0 18 0 1 0 415122912 2437120 264 1283457024 134512640 135191968 4291060928 18446744073709551615 4159646350 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/16504/statm: 595 264 226 166 0 27 0 [pid=16506] ppid=16504 vsize=11788 CPUtime=0.63 /proc/16506/stat : 16506 (apt-pbo) R 16504 16504 13759 34823 13904 4202496 2765 716 0 0 60 3 0 0 22 0 1 0 415122912 12070912 2326 1283457024 134512640 135758360 4288950768 18446744073709551615 4158883568 0 0 128 0 0 0 0 17 0 0 0 0 /proc/16506/statm: 2947 2326 628 305 0 1720 0 Current children cumulated CPU time (s) 0.63 Current children cumulated vsize (KiB) 14168 [startup+1.51155 s] /proc/loadavg: 1.38 1.19 0.79 2/108 16509 /proc/meminfo: memFree=1078048/2097152 swapFree=2055676/2097144 [pid=16504] ppid=16503 vsize=2380 CPUtime=0 /proc/16504/stat : 16504 (sh) S 16503 16504 13759 34823 13904 4202496 390 308 0 0 0 0 0 0 18 0 1 0 415122912 2437120 264 1283457024 134512640 135191968 4291060928 18446744073709551615 4159646350 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/16504/statm: 595 264 226 166 0 27 0 [pid=16506] ppid=16504 vsize=16816 CPUtime=1.42 /proc/16506/stat : 16506 (apt-pbo) R 16504 16504 13759 34823 13904 4202496 4021 716 0 0 139 3 0 0 25 0 1 0 415122912 17219584 3576 1283457024 134512640 135758360 4288950768 18446744073709551615 135121342 0 0 128 0 0 0 0 17 0 0 0 0 /proc/16506/statm: 4204 3576 628 305 0 2977 0 Current children cumulated CPU time (s) 1.42 Current children cumulated vsize (KiB) 19196 [startup+3.11184 s] /proc/loadavg: 1.38 1.19 0.79 2/108 16509 /proc/meminfo: memFree=1067880/2097152 swapFree=2055676/2097144 [pid=16504] ppid=16503 vsize=2380 CPUtime=0 /proc/16504/stat : 16504 (sh) S 16503 16504 13759 34823 13904 4202496 390 308 0 0 0 0 0 0 18 0 1 0 415122912 2437120 264 1283457024 134512640 135191968 4291060928 18446744073709551615 4159646350 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/16504/statm: 595 264 226 166 0 27 0 [pid=16506] ppid=16504 vsize=26992 CPUtime=3.01 /proc/16506/stat : 16506 (apt-pbo) R 16504 16504 13759 34823 13904 4202496 6579 716 0 0 294 7 0 0 25 0 1 0 415122912 27639808 6127 1283457024 134512640 135758360 4288950768 18446744073709551615 135357025 0 0 128 0 0 0 0 17 0 0 0 0 /proc/16506/statm: 6748 6127 628 305 0 5521 0 Current children cumulated CPU time (s) 3.01 Current children cumulated vsize (KiB) 29372 [startup+6.30239 s] /proc/loadavg: 1.35 1.18 0.79 2/108 16509 /proc/meminfo: memFree=1038864/2097152 swapFree=2055676/2097144 [pid=16504] ppid=16503 vsize=2380 CPUtime=0 /proc/16504/stat : 16504 (sh) S 16503 16504 13759 34823 13904 4202496 390 308 0 0 0 0 0 0 18 0 1 0 415122912 2437120 264 1283457024 134512640 135191968 4291060928 18446744073709551615 4159646350 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/16504/statm: 595 264 226 166 0 27 0 [pid=16506] ppid=16504 vsize=47760 CPUtime=6.19 /proc/16506/stat : 16506 (apt-pbo) R 16504 16504 13759 34823 13904 4202496 11750 716 0 0 609 10 0 0 25 0 1 0 415122912 48906240 11296 1283457024 134512640 135758360 4288950768 18446744073709551615 135402214 0 0 128 0 0 0 0 17 0 0 0 0 /proc/16506/statm: 11940 11296 628 305 0 10713 0 Current children cumulated CPU time (s) 6.19 Current children cumulated vsize (KiB) 50140 [startup+12.7159 s] /proc/loadavg: 1.32 1.18 0.79 2/112 16518 /proc/meminfo: memFree=956224/2097152 swapFree=2055676/2097144 [pid=16504] ppid=16503 vsize=2380 CPUtime=0 /proc/16504/stat : 16504 (sh) S 16503 16504 13759 34823 13904 4202496 390 308 0 0 0 0 0 0 18 0 1 0 415122912 2437120 264 1283457024 134512640 135191968 4291060928 18446744073709551615 4159646350 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/16504/statm: 595 264 226 166 0 27 0 [pid=16506] ppid=16504 vsize=82220 CPUtime=11.45 /proc/16506/stat : 16506 (apt-pbo) S 16504 16504 13759 34823 13904 4202496 20923 716 0 0 1126 19 0 0 20 0 1 0 415122912 84193280 19923 1283457024 134512640 135758360 4288950768 18446744073709551615 4159767886 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/16506/statm: 20555 19923 628 305 0 19328 0 [pid=16510] ppid=16506 vsize=2376 CPUtime=0 /proc/16510/stat : 16510 (apt-get.sh) S 16506 16504 13759 34823 13904 4202496 385 611 0 0 0 0 0 0 18 0 1 0 415124067 2433024 259 1283457024 134512640 135191968 4288274912 18446744073709551615 4159048334 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/16510/statm: 594 259 223 166 0 26 0 [pid=16513] ppid=16510 vsize=52604 CPUtime=1.07 /proc/16513/stat : 16513 (apt-get) R 16510 16504 13759 34823 13904 4202496 3989 1614 207 0 52 2 49 4 17 0 1 0 415124071 53866496 4058 1283457024 134512640 134646397 4292847184 18446744073709551615 4159266286 0 0 4096 134217728 0 0 0 17 0 0 0 0 /proc/16513/statm: 13151 4058 4005 33 0 67 0 Current children cumulated CPU time (s) 12.52 Current children cumulated vsize (KiB) 139580 [startup+25.5072 s] /proc/loadavg: 1.32 1.19 0.80 2/110 16523 /proc/meminfo: memFree=859372/2097152 swapFree=2055676/2097144 [pid=16504] ppid=16503 vsize=2380 CPUtime=0 /proc/16504/stat : 16504 (sh) S 16503 16504 13759 34823 13904 4202496 390 308 0 0 0 0 0 0 18 0 1 0 415122912 2437120 264 1283457024 134512640 135191968 4291060928 18446744073709551615 4159646350 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/16504/statm: 595 264 226 166 0 27 0 [pid=16506] ppid=16504 vsize=126116 CPUtime=14.67 /proc/16506/stat : 16506 (apt-pbo) S 16504 16504 13759 34823 13904 4202496 31809 14366 0 588 1159 22 256 30 18 0 1 0 415122912 129142784 30422 1283457024 134512640 135758360 4288950768 18446744073709551615 4159767886 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/16506/statm: 31529 30422 10360 305 0 20099 0 [pid=16520] ppid=16506 vsize=2384 CPUtime=0.01 /proc/16520/stat : 16520 (apt-get.sh) S 16506 16504 13759 34823 13904 4202496 440 615 0 0 0 1 0 0 19 0 1 0 415124407 2441216 262 1283457024 134512640 135191968 4294530720 18446744073709551615 4159347342 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/16520/statm: 596 262 223 166 0 28 0 [pid=16523] ppid=16520 vsize=48456 CPUtime=10.42 /proc/16523/stat : 16523 (apt-get) R 16520 16504 13759 34823 13904 4202496 11255 0 0 0 986 56 0 0 18 0 1 0 415124411 49618944 11067 1283457024 134512640 134646397 4289175952 18446744073709551615 4157792254 0 0 4096 134217728 0 0 0 17 1 0 0 0 /proc/16523/statm: 12114 11067 10073 33 0 1035 0 Current children cumulated CPU time (s) 25.1 Current children cumulated vsize (KiB) 179336 [startup+51.1043 s] /proc/loadavg: 1.21 1.17 0.80 2/109 16526 /proc/meminfo: memFree=715680/2097152 swapFree=2055676/2097144 [pid=16504] ppid=16503 vsize=2380 CPUtime=0 /proc/16504/stat : 16504 (sh) S 16503 16504 13759 34823 13904 4202496 390 308 0 0 0 0 0 0 18 0 1 0 415122912 2437120 264 1283457024 134512640 135191968 4291060928 18446744073709551615 4159646350 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/16504/statm: 595 264 226 166 0 27 0 [pid=16506] ppid=16504 vsize=128168 CPUtime=25.24 /proc/16506/stat : 16506 (apt-pbo) S 16504 16504 13759 34823 13904 4202496 32437 26688 0 588 1159 25 1245 95 18 0 1 0 415122912 131244032 30938 1283457024 134512640 135758360 4288950768 18446744073709551615 4159767886 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/16506/statm: 32042 30938 10363 305 0 20612 0 [pid=16524] ppid=16506 vsize=123380 CPUtime=25.43 /proc/16524/stat : 16524 (wbo) R 16506 16504 13759 34823 13904 4202496 71757 0 0 0 2511 32 0 0 19 0 1 0 415125476 126341120 30162 1283457024 134512640 135709839 4289721168 18446744073709551615 134605451 0 0 0 3 0 0 0 17 1 0 0 0 /proc/16524/statm: 30845 30162 132 293 0 30550 0 Current children cumulated CPU time (s) 50.67 Current children cumulated vsize (KiB) 253928 [startup+102.303 s] /proc/loadavg: 1.09 1.14 0.81 2/110 16531 /proc/meminfo: memFree=828752/2097152 swapFree=2055676/2097144 [pid=16504] ppid=16503 vsize=2380 CPUtime=0 /proc/16504/stat : 16504 (sh) S 16503 16504 13759 34823 13904 4202496 390 308 0 0 0 0 0 0 18 0 1 0 415122912 2437120 264 1283457024 134512640 135191968 4291060928 18446744073709551615 4159646350 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/16504/statm: 595 264 226 166 0 27 0 [pid=16506] ppid=16504 vsize=134724 CPUtime=26.68 /proc/16506/stat : 16506 (apt-pbo) R 16504 16504 13759 34823 13904 4202496 34396 26688 0 588 1300 28 1245 95 19 0 1 0 415122912 137957376 32580 1283457024 134512640 135758360 4288950768 18446744073709551615 134901857 0 0 128 0 0 0 0 17 0 0 0 0 /proc/16506/statm: 33681 32580 10367 305 0 22251 0 [pid=16524] ppid=16506 vsize=0 CPUtime=75.18 /proc/16524/stat : 16524 (wbo) Z 16506 16504 13759 34823 13904 4202508 251084 0 0 0 7388 130 0 0 18 0 1 0 415125476 0 0 1283457024 0 0 0 0 0 0 0 0 3 18446744071564254338 0 0 17 1 0 0 0 /proc/16524/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 101.86 Current children cumulated vsize (KiB) 137104 [startup+162.302 s] /proc/loadavg: 1.16 1.14 0.83 2/112 16547 /proc/meminfo: memFree=812672/2097152 swapFree=2055676/2097144 [pid=16504] ppid=16503 vsize=2380 CPUtime=0 /proc/16504/stat : 16504 (sh) S 16503 16504 13759 34823 13904 4202496 390 308 0 0 0 0 0 0 18 0 1 0 415122912 2437120 264 1283457024 134512640 135191968 4291060928 18446744073709551615 4159646350 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/16504/statm: 595 264 226 166 0 27 0 [pid=16506] ppid=16504 vsize=170704 CPUtime=82.67 /proc/16506/stat : 16506 (apt-pbo) S 16504 16504 13759 34823 13904 4202496 43390 26688 0 588 6893 34 1245 95 18 0 1 0 415122912 174800896 41537 1283457024 134512640 135758360 4288950768 18446744073709551615 4159767886 0 0 128 0 18446744071564457842 0 0 17 1 0 0 0 /proc/16506/statm: 42676 41537 10367 305 0 31246 0 [pid=16524] ppid=16506 vsize=0 CPUtime=75.18 /proc/16524/stat : 16524 (wbo) Z 16506 16504 13759 34823 13904 4202508 251084 0 0 0 7388 130 0 0 18 0 1 0 415125476 0 0 1283457024 0 0 0 0 0 0 0 0 3 18446744071564254338 0 0 17 1 0 0 0 /proc/16524/statm: 0 0 0 0 0 0 0 [pid=16544] ppid=16506 vsize=2488 CPUtime=0.01 /proc/16544/stat : 16544 (apt-get.sh) S 16506 16504 13759 34823 13904 4202496 447 622 0 0 0 1 0 0 25 0 1 0 415138761 2547712 287 1283457024 134512640 135191968 4288753392 18446744073709551615 4158794382 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/16544/statm: 622 287 223 166 0 54 0 [pid=16547] ppid=16544 vsize=47944 CPUtime=3.64 /proc/16547/stat : 16547 (apt-get) R 16544 16504 13759 34823 13904 4202496 11106 0 0 0 353 11 0 0 18 0 1 0 415138766 49094656 10982 1283457024 134512640 134646397 4291856720 18446744073709551615 4156758412 0 0 4096 134217728 0 0 0 17 0 0 0 0 /proc/16547/statm: 11986 10982 10073 33 0 907 0 Current children cumulated CPU time (s) 161.5 Current children cumulated vsize (KiB) 223516 [startup+222.305 s] /proc/loadavg: 1.21 1.16 0.85 2/110 17026 /proc/meminfo: memFree=546096/2097152 swapFree=2055676/2097144 [pid=16504] ppid=16503 vsize=2380 CPUtime=0 /proc/16504/stat : 16504 (sh) S 16503 16504 13759 34823 13904 4202496 390 308 0 0 0 0 0 0 18 0 1 0 415122912 2437120 264 1283457024 134512640 135191968 4291060928 18446744073709551615 4159646350 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/16504/statm: 595 264 226 166 0 27 0 [pid=16506] ppid=16504 vsize=170704 CPUtime=168.81 /proc/16506/stat : 16506 (apt-pbo) S 16504 16504 13759 34823 13904 4202496 45250 290112 0 588 6893 41 9655 292 18 0 1 0 415122912 174800896 41537 1283457024 134512640 135758360 4288950768 18446744073709551615 4159767886 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/16506/statm: 42676 41537 10367 305 0 31246 0 [pid=16549] ppid=16506 vsize=233824 CPUtime=51.91 /proc/16549/stat : 16549 (wbo) R 16506 16504 13759 34823 13904 4202496 139686 0 0 0 5111 80 0 0 24 0 1 0 415139895 239435776 57747 1283457024 134512640 135709839 4294705184 18446744073709551615 134606605 0 0 0 3 0 0 0 17 1 0 0 0 /proc/16549/statm: 58456 57747 132 293 0 58161 0 Current children cumulated CPU time (s) 220.72 Current children cumulated vsize (KiB) 406908 [startup+282.308 s] /proc/loadavg: 1.11 1.14 0.87 2/109 17030 /proc/meminfo: memFree=297184/2097152 swapFree=2055676/2097144 [pid=16504] ppid=16503 vsize=2380 CPUtime=0 /proc/16504/stat : 16504 (sh) S 16503 16504 13759 34823 13904 4202496 390 308 0 0 0 0 0 0 18 0 1 0 415122912 2437120 264 1283457024 134512640 135191968 4291060928 18446744073709551615 4159646350 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/16504/statm: 595 264 226 166 0 27 0 [pid=16506] ppid=16504 vsize=170704 CPUtime=168.81 /proc/16506/stat : 16506 (apt-pbo) S 16504 16504 13759 34823 13904 4202496 45250 290112 0 588 6893 41 9655 292 18 0 1 0 415122912 174800896 41537 1283457024 134512640 135758360 4288950768 18446744073709551615 4159767886 0 0 128 0 18446744071564457842 0 0 17 1 0 0 0 /proc/16506/statm: 42676 41537 10367 305 0 31246 0 [pid=16549] ppid=16506 vsize=484924 CPUtime=111.91 /proc/16549/stat : 16549 (wbo) R 16506 16504 13759 34823 13904 4202496 356037 0 0 0 11004 187 0 0 25 0 1 0 415139895 496562176 120449 1283457024 134512640 135709839 4294705184 18446744073709551615 135162139 0 0 0 3 0 0 0 17 1 0 0 0 /proc/16549/statm: 121231 120449 132 293 0 120936 0 Current children cumulated CPU time (s) 280.72 Current children cumulated vsize (KiB) 658008 Maximum CPU time exceeded: sending signal-name then SIGKILL [startup+291.604 s] /proc/loadavg: 1.09 1.14 0.87 2/109 17031 /proc/meminfo: memFree=254040/2097152 swapFree=2055676/2097144 [pid=16504] ppid=16503 vsize=2380 CPUtime=0 /proc/16504/stat : 16504 (sh) S 16503 16504 13759 34823 13904 4202496 390 308 0 0 0 0 0 0 18 0 1 0 415122912 2437120 264 1283457024 134512640 135191968 4291060928 18446744073709551615 4159646350 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/16504/statm: 595 264 226 166 0 27 0 [pid=16506] ppid=16504 vsize=170704 CPUtime=168.81 /proc/16506/stat : 16506 (apt-pbo) S 16504 16504 13759 34823 13904 4202496 45250 290112 0 588 6893 41 9655 292 18 0 1 0 415122912 174800896 41537 1283457024 134512640 135758360 4288950768 18446744073709551615 4159767886 0 0 128 0 18446744071564457842 0 0 17 1 0 0 0 /proc/16506/statm: 42676 41537 10367 305 0 31246 0 [pid=16549] ppid=16506 vsize=525080 CPUtime=121.21 /proc/16549/stat : 16549 (wbo) R 16506 16504 13759 34823 13904 4202496 402217 0 0 0 11921 200 0 0 25 0 1 0 415139895 537681920 130414 1283457024 134512640 135709839 4294705184 18446744073709551615 134605451 0 0 0 3 0 0 0 17 1 0 0 0 /proc/16549/statm: 131270 130414 132 293 0 130975 0 Current children cumulated CPU time (s) 290.02 Current children cumulated vsize (KiB) 698164 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+291.604 s] /proc/loadavg: 1.09 1.14 0.87 2/109 17031 /proc/meminfo: memFree=254040/2097152 swapFree=2055676/2097144 [pid=16504] ppid=16503 vsize=2380 CPUtime=0 /proc/16504/stat : 16504 (sh) S 16503 16504 13759 34823 13904 4202496 390 308 0 0 0 0 0 0 18 0 1 0 415122912 2437120 264 1283457024 134512640 135191968 4291060928 18446744073709551615 4159646350 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/16504/statm: 595 264 226 166 0 27 0 [pid=16506] ppid=16504 vsize=170704 CPUtime=168.81 /proc/16506/stat : 16506 (apt-pbo) S 16504 16504 13759 34823 13904 4202496 45250 290112 0 588 6893 41 9655 292 18 0 1 0 415122912 174800896 41537 1283457024 134512640 135758360 4288950768 18446744073709551615 4159767886 0 0 128 0 18446744071564457842 0 0 17 1 0 0 0 /proc/16506/statm: 42676 41537 10367 305 0 31246 0 [pid=16549] ppid=16506 vsize=525080 CPUtime=121.21 /proc/16549/stat : 16549 (wbo) R 16506 16504 13759 34823 13904 4202496 402217 0 0 0 11921 200 0 0 25 0 1 0 415139895 537681920 130414 1283457024 134512640 135709839 4294705184 18446744073709551615 134605451 0 0 0 3 0 0 0 17 1 0 0 0 /proc/16549/statm: 131270 130414 132 293 0 130975 0 Current children cumulated CPU time (s) 290.02 Current children cumulated vsize (KiB) 698164 Child ended because it received signal 10 (SIGUSR1) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 16504 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=0 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=4000 # CPU time returned by wait4() is 0.004 # while last known CPU time is 290.02 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 291.636 CPU time (s): 290.02 CPU user time (s): 284.69 CPU system time (s): 5.33 CPU usage (%): 99.446 Max. virtual memory (cumulated for all children) (KiB): 698164 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0 system time used= 0.004 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 698 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 17 involuntary context switches= 4 runsolver used 0.036002 second user time and 0.108006 second system time The end