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/rand50a937.cudf.difficult.log.runsolver ./apt-pbo-paranoid-1.0.5 /home/misc2010/data/2010/difficult//rand50a937.cudf /home/misc2010/tmp/201007051419/apt-pbo-paranoid-1.0.5/rand50a937.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.02 1.05 1.07 1/97 24438 /proc/meminfo: memFree=1178200/2097152 swapFree=2055620/2097144 [pid=24438] ppid=24437 vsize=2376 CPUtime=0 /proc/24438/stat : 24438 (sh) S 24437 24438 13759 34823 13904 4202496 387 308 0 0 0 0 0 0 18 0 1 0 416890756 2433024 263 1283457024 134512640 135191968 4290239472 18446744073709551615 4158831246 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/24438/statm: 594 263 226 166 0 26 0 [pid=24440] ppid=24438 vsize=1352 CPUtime=0 /proc/24440/stat : 24440 (apt-pbo) R 24438 24438 13759 34823 13904 4194304 60 0 0 0 0 0 0 0 20 0 1 0 416890757 1384448 4 1283457024 134512640 135758360 4291622016 18446744073709551615 4160354320 0 0 0 0 0 0 0 17 1 0 0 0 /proc/24440/statm: 339 13 7 305 0 4 0 [startup+0.172952 s] /proc/loadavg: 1.02 1.05 1.07 1/97 24438 /proc/meminfo: memFree=1178200/2097152 swapFree=2055620/2097144 [pid=24438] ppid=24437 vsize=2376 CPUtime=0 /proc/24438/stat : 24438 (sh) S 24437 24438 13759 34823 13904 4202496 387 308 0 0 0 0 0 0 18 0 1 0 416890756 2433024 263 1283457024 134512640 135191968 4290239472 18446744073709551615 4158831246 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/24438/statm: 594 263 226 166 0 26 0 [pid=24440] ppid=24438 vsize=8188 CPUtime=0.11 /proc/24440/stat : 24440 (apt-pbo) R 24438 24438 13759 34823 13904 4202496 1657 718 0 0 11 0 0 0 20 0 1 0 416890757 8384512 1425 1283457024 134512640 135758360 4291622016 18446744073709551615 4159216823 0 0 128 0 0 0 0 17 0 0 0 0 /proc/24440/statm: 2047 1425 628 305 0 820 0 Current children cumulated CPU time (s) 0.11 Current children cumulated vsize (KiB) 10564 [startup+0.289226 s] /proc/loadavg: 1.02 1.05 1.07 1/97 24438 /proc/meminfo: memFree=1178200/2097152 swapFree=2055620/2097144 [pid=24438] ppid=24437 vsize=2376 CPUtime=0 /proc/24438/stat : 24438 (sh) S 24437 24438 13759 34823 13904 4202496 387 308 0 0 0 0 0 0 18 0 1 0 416890756 2433024 263 1283457024 134512640 135191968 4290239472 18446744073709551615 4158831246 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/24438/statm: 594 263 226 166 0 26 0 [pid=24440] ppid=24438 vsize=8980 CPUtime=0.22 /proc/24440/stat : 24440 (apt-pbo) R 24438 24438 13759 34823 13904 4202496 2022 718 0 0 22 0 0 0 20 0 1 0 416890757 9195520 1615 1283457024 134512640 135758360 4291622016 18446744073709551615 4159193445 0 0 128 0 0 0 0 17 0 0 0 0 /proc/24440/statm: 2245 1615 628 305 0 1018 0 Current children cumulated CPU time (s) 0.22 Current children cumulated vsize (KiB) 11356 [startup+0.305177 s] /proc/loadavg: 1.02 1.05 1.07 1/97 24438 /proc/meminfo: memFree=1178200/2097152 swapFree=2055620/2097144 [pid=24438] ppid=24437 vsize=2376 CPUtime=0 /proc/24438/stat : 24438 (sh) S 24437 24438 13759 34823 13904 4202496 387 308 0 0 0 0 0 0 18 0 1 0 416890756 2433024 263 1283457024 134512640 135191968 4290239472 18446744073709551615 4158831246 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/24438/statm: 594 263 226 166 0 26 0 [pid=24440] ppid=24438 vsize=9112 CPUtime=0.24 /proc/24440/stat : 24440 (apt-pbo) R 24438 24438 13759 34823 13904 4202496 2047 718 0 0 24 0 0 0 20 0 1 0 416890757 9330688 1640 1283457024 134512640 135758360 4291622016 18446744073709551615 4159193445 0 0 128 0 0 0 0 17 0 0 0 0 /proc/24440/statm: 2278 1640 628 305 0 1051 0 Current children cumulated CPU time (s) 0.24 Current children cumulated vsize (KiB) 11488 [startup+0.705197 s] /proc/loadavg: 1.02 1.05 1.07 1/97 24438 /proc/meminfo: memFree=1178200/2097152 swapFree=2055620/2097144 [pid=24438] ppid=24437 vsize=2376 CPUtime=0 /proc/24438/stat : 24438 (sh) S 24437 24438 13759 34823 13904 4202496 387 308 0 0 0 0 0 0 18 0 1 0 416890756 2433024 263 1283457024 134512640 135191968 4290239472 18446744073709551615 4158831246 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/24438/statm: 594 263 226 166 0 26 0 [pid=24440] ppid=24438 vsize=11784 CPUtime=0.64 /proc/24440/stat : 24440 (apt-pbo) R 24438 24438 13759 34823 13904 4202496 2760 718 0 0 62 2 0 0 22 0 1 0 416890757 12066816 2320 1283457024 134512640 135758360 4291622016 18446744073709551615 4160099662 0 0 128 0 0 0 0 17 0 0 0 0 /proc/24440/statm: 2946 2320 628 305 0 1719 0 Current children cumulated CPU time (s) 0.64 Current children cumulated vsize (KiB) 14160 [startup+1.50523 s] /proc/loadavg: 1.02 1.05 1.07 2/99 24443 /proc/meminfo: memFree=1164544/2097152 swapFree=2055620/2097144 [pid=24438] ppid=24437 vsize=2376 CPUtime=0 /proc/24438/stat : 24438 (sh) S 24437 24438 13759 34823 13904 4202496 387 308 0 0 0 0 0 0 18 0 1 0 416890756 2433024 263 1283457024 134512640 135191968 4290239472 18446744073709551615 4158831246 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/24438/statm: 594 263 226 166 0 26 0 [pid=24440] ppid=24438 vsize=17080 CPUtime=1.44 /proc/24440/stat : 24440 (apt-pbo) R 24438 24438 13759 34823 13904 4202496 4092 718 0 0 142 2 0 0 25 0 1 0 416890757 17489920 3646 1283457024 134512640 135758360 4291622016 18446744073709551615 4159193445 0 0 128 0 0 0 0 17 0 0 0 0 /proc/24440/statm: 4270 3646 628 305 0 3043 0 Current children cumulated CPU time (s) 1.44 Current children cumulated vsize (KiB) 19456 [startup+3.1053 s] /proc/loadavg: 1.02 1.05 1.07 2/99 24443 /proc/meminfo: memFree=1151672/2097152 swapFree=2055620/2097144 [pid=24438] ppid=24437 vsize=2376 CPUtime=0 /proc/24438/stat : 24438 (sh) S 24437 24438 13759 34823 13904 4202496 387 308 0 0 0 0 0 0 18 0 1 0 416890756 2433024 263 1283457024 134512640 135191968 4290239472 18446744073709551615 4158831246 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/24438/statm: 594 263 226 166 0 26 0 [pid=24440] ppid=24438 vsize=27616 CPUtime=3.03 /proc/24440/stat : 24440 (apt-pbo) R 24438 24438 13759 34823 13904 4202496 6739 718 0 0 298 5 0 0 25 0 1 0 416890757 28278784 6286 1283457024 134512640 135758360 4291622016 18446744073709551615 4160099550 0 0 128 0 0 0 0 17 0 0 0 0 /proc/24440/statm: 6904 6286 628 305 0 5677 0 Current children cumulated CPU time (s) 3.03 Current children cumulated vsize (KiB) 29992 [startup+6.30545 s] /proc/loadavg: 1.02 1.05 1.07 2/99 24443 /proc/meminfo: memFree=1114292/2097152 swapFree=2055620/2097144 [pid=24438] ppid=24437 vsize=2376 CPUtime=0 /proc/24438/stat : 24438 (sh) S 24437 24438 13759 34823 13904 4202496 387 308 0 0 0 0 0 0 18 0 1 0 416890756 2433024 263 1283457024 134512640 135191968 4290239472 18446744073709551615 4158831246 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/24438/statm: 594 263 226 166 0 26 0 [pid=24440] ppid=24438 vsize=44032 CPUtime=5.46 /proc/24440/stat : 24440 (apt-pbo) S 24438 24438 13759 34823 13904 4202496 10872 718 0 0 538 8 0 0 22 0 1 0 416890757 45088768 10381 1283457024 134512640 135758360 4291622016 18446744073709551615 4160099662 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/24440/statm: 11008 10381 628 305 0 9781 0 Current children cumulated CPU time (s) 5.46 Current children cumulated vsize (KiB) 46408 [startup+12.7057 s] /proc/loadavg: 1.10 1.07 1.07 2/100 24458 /proc/meminfo: memFree=1046452/2097152 swapFree=2055620/2097144 [pid=24438] ppid=24437 vsize=2376 CPUtime=0 /proc/24438/stat : 24438 (sh) S 24437 24438 13759 34823 13904 4202496 387 308 0 0 0 0 0 0 18 0 1 0 416890756 2433024 263 1283457024 134512640 135191968 4290239472 18446744073709551615 4158831246 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/24438/statm: 594 263 226 166 0 26 0 [pid=24440] ppid=24438 vsize=67824 CPUtime=7.78 /proc/24440/stat : 24440 (apt-pbo) S 24438 24438 13759 34823 13904 4202496 17028 16715 0 293 554 11 187 26 18 0 1 0 416890757 69451776 16114 1283457024 134512640 135758360 4291622016 18446744073709551615 4160099662 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/24440/statm: 16956 16114 5558 305 0 10592 0 [pid=24457] ppid=24440 vsize=19440 CPUtime=4.65 /proc/24457/stat : 24457 (wbo) R 24440 24438 13759 34823 13904 4202496 6588 0 0 0 463 2 0 0 18 0 1 0 416891555 19906560 4370 1283457024 134512640 135709839 4294430672 18446744073709551615 135182831 0 0 0 3 0 0 0 17 1 0 0 0 /proc/24457/statm: 4860 4370 133 293 0 4565 0 Current children cumulated CPU time (s) 12.43 Current children cumulated vsize (KiB) 89640 [startup+25.5069 s] /proc/loadavg: 1.22 1.09 1.08 2/100 24459 /proc/meminfo: memFree=1041416/2097152 swapFree=2055620/2097144 [pid=24438] ppid=24437 vsize=2376 CPUtime=0 /proc/24438/stat : 24438 (sh) S 24437 24438 13759 34823 13904 4202496 387 308 0 0 0 0 0 0 18 0 1 0 416890756 2433024 263 1283457024 134512640 135191968 4290239472 18446744073709551615 4158831246 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/24438/statm: 594 263 226 166 0 26 0 [pid=24440] ppid=24438 vsize=86632 CPUtime=18.72 /proc/24440/stat : 24440 (apt-pbo) R 24438 24438 13759 34823 13904 4202496 21993 16715 0 293 1646 13 187 26 25 0 1 0 416890757 88711168 20829 1283457024 134512640 135758360 4291622016 18446744073709551615 134946475 0 0 128 0 0 0 0 17 0 0 0 0 /proc/24440/statm: 21658 20829 5562 305 0 15294 0 [pid=24457] ppid=24440 vsize=0 CPUtime=6.5 /proc/24457/stat : 24457 (wbo) Z 24440 24438 13759 34823 13904 4202508 9780 0 0 0 642 8 0 0 18 0 1 0 416891555 0 0 1283457024 0 0 0 0 0 0 0 0 3 18446744071564254338 0 0 17 1 0 0 0 /proc/24457/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 25.22 Current children cumulated vsize (KiB) 89008 [startup+51.1098 s] /proc/loadavg: 1.22 1.10 1.08 2/97 24465 /proc/meminfo: memFree=1008000/2097152 swapFree=2055620/2097144 [pid=24438] ppid=24437 vsize=2376 CPUtime=0 /proc/24438/stat : 24438 (sh) S 24437 24438 13759 34823 13904 4202496 387 308 0 0 0 0 0 0 18 0 1 0 416890756 2433024 263 1283457024 134512640 135191968 4290239472 18446744073709551615 4158831246 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/24438/statm: 594 263 226 166 0 26 0 [pid=24440] ppid=24438 vsize=86976 CPUtime=40.82 /proc/24440/stat : 24440 (apt-pbo) S 24438 24438 13759 34823 13904 4202496 22847 33618 0 293 3102 15 923 42 18 0 1 0 416890757 89063424 20910 1283457024 134512640 135758360 4291622016 18446744073709551615 4160099662 0 0 128 0 18446744071564457842 0 0 17 1 0 0 0 /proc/24440/statm: 21744 20910 5563 305 0 15380 0 [pid=24465] ppid=24440 vsize=39592 CPUtime=9.86 /proc/24465/stat : 24465 (wbo) R 24440 24438 13759 34823 13904 4202496 13864 0 0 0 974 12 0 0 18 0 1 0 416894869 40542208 9417 1283457024 134512640 135709839 4288469840 18446744073709551615 134605372 0 0 0 3 0 0 0 17 0 0 0 0 /proc/24465/statm: 9898 9417 133 293 0 9603 0 Current children cumulated CPU time (s) 50.68 Current children cumulated vsize (KiB) 128944 Solver just ended. Dumping a history of the last processes samples [startup+51.2098 s] /proc/loadavg: 1.22 1.10 1.08 2/97 24465 /proc/meminfo: memFree=1008000/2097152 swapFree=2055620/2097144 [pid=24438] ppid=24437 vsize=2376 CPUtime=0 /proc/24438/stat : 24438 (sh) S 24437 24438 13759 34823 13904 4202496 387 308 0 0 0 0 0 0 18 0 1 0 416890756 2433024 263 1283457024 134512640 135191968 4290239472 18446744073709551615 4158831246 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/24438/statm: 594 263 226 166 0 26 0 [pid=24440] ppid=24438 vsize=86976 CPUtime=40.82 /proc/24440/stat : 24440 (apt-pbo) S 24438 24438 13759 34823 13904 4202496 22847 33618 0 293 3102 15 923 42 18 0 1 0 416890757 89063424 20910 1283457024 134512640 135758360 4291622016 18446744073709551615 4160099662 0 0 128 0 18446744071564457842 0 0 17 1 0 0 0 /proc/24440/statm: 21744 20910 5563 305 0 15380 0 [pid=24465] ppid=24440 vsize=40316 CPUtime=9.96 /proc/24465/stat : 24465 (wbo) R 24440 24438 13759 34823 13904 4202496 14037 0 0 0 984 12 0 0 18 0 1 0 416894869 41283584 9548 1283457024 134512640 135709839 4288469840 18446744073709551615 135182873 0 0 0 3 0 0 0 17 0 0 0 0 /proc/24465/statm: 10079 9548 133 293 0 9784 0 Current children cumulated CPU time (s) 50.78 Current children cumulated vsize (KiB) 129668 [startup+64.0094 s] /proc/loadavg: 1.26 1.11 1.09 2/97 24471 /proc/meminfo: memFree=1003528/2097152 swapFree=2055620/2097144 [pid=24438] ppid=24437 vsize=2376 CPUtime=0 /proc/24438/stat : 24438 (sh) S 24437 24438 13759 34823 13904 4202496 387 308 0 0 0 0 0 0 18 0 1 0 416890756 2433024 263 1283457024 134512640 135191968 4290239472 18446744073709551615 4158831246 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/24438/statm: 594 263 226 166 0 26 0 [pid=24440] ppid=24438 vsize=86988 CPUtime=52.9 /proc/24440/stat : 24440 (apt-pbo) S 24438 24438 13759 34823 13904 4202496 26714 55749 0 293 3155 18 2049 68 18 0 1 0 416890757 89075712 20913 1283457024 134512640 135758360 4291622016 18446744073709551615 4160099662 0 0 128 0 18446744071564457842 0 0 17 1 0 0 0 /proc/24440/statm: 21747 20913 5563 305 0 15383 0 [pid=24470] ppid=24440 vsize=40948 CPUtime=10.54 /proc/24470/stat : 24470 (wbo) R 24440 24438 13759 34823 13904 4202496 15299 0 0 0 1045 9 0 0 18 0 1 0 416896090 41930752 9725 1283457024 134512640 135709839 4289569584 18446744073709551615 135166068 0 0 0 3 0 0 0 17 0 0 0 0 /proc/24470/statm: 10237 9725 133 293 0 9942 0 Current children cumulated CPU time (s) 63.44 Current children cumulated vsize (KiB) 130312 [startup+70.4064 s] /proc/loadavg: 1.22 1.11 1.09 2/97 24477 /proc/meminfo: memFree=1033652/2097152 swapFree=2055620/2097144 [pid=24438] ppid=24437 vsize=2376 CPUtime=0 /proc/24438/stat : 24438 (sh) S 24437 24438 13759 34823 13904 4202496 387 308 0 0 0 0 0 0 18 0 1 0 416890756 2433024 263 1283457024 134512640 135191968 4290239472 18446744073709551615 4158831246 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/24438/statm: 594 263 226 166 0 26 0 [pid=24440] ppid=24438 vsize=86988 CPUtime=68.29 /proc/24440/stat : 24440 (apt-pbo) S 24438 24438 13759 34823 13904 4202496 29930 82618 0 293 3185 20 3529 95 18 0 1 0 416890757 89075712 20913 1283457024 134512640 135758360 4291622016 18446744073709551615 4160099662 0 0 128 0 18446744071564457842 0 0 17 1 0 0 0 /proc/24440/statm: 21747 20913 5563 305 0 15383 0 [pid=24476] ppid=24440 vsize=8468 CPUtime=1.49 /proc/24476/stat : 24476 (wbo) R 24440 24438 13759 34823 13904 4202496 2737 0 0 0 148 1 0 0 18 0 1 0 416897645 8671232 1649 1283457024 134512640 135709839 4293754672 18446744073709551615 134529856 0 0 0 3 0 0 0 17 0 0 0 0 /proc/24476/statm: 2117 1649 132 293 0 1822 0 Current children cumulated CPU time (s) 69.78 Current children cumulated vsize (KiB) 97832 [startup+76.8088 s] /proc/loadavg: 1.28 1.12 1.09 2/97 24477 /proc/meminfo: memFree=1016912/2097152 swapFree=2055620/2097144 [pid=24438] ppid=24437 vsize=2376 CPUtime=0 /proc/24438/stat : 24438 (sh) S 24437 24438 13759 34823 13904 4202496 387 308 0 0 0 0 0 0 18 0 1 0 416890756 2433024 263 1283457024 134512640 135191968 4290239472 18446744073709551615 4158831246 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/24438/statm: 594 263 226 166 0 26 0 [pid=24440] ppid=24438 vsize=86988 CPUtime=68.3 /proc/24440/stat : 24440 (apt-pbo) S 24438 24438 13759 34823 13904 4202496 29930 82618 0 293 3185 21 3529 95 18 0 1 0 416890757 89075712 20913 1283457024 134512640 135758360 4291622016 18446744073709551615 4160099662 0 0 128 0 18446744071564457842 0 0 17 1 0 0 0 /proc/24440/statm: 21747 20913 5563 305 0 15383 0 [pid=24476] ppid=24440 vsize=29060 CPUtime=7.87 /proc/24476/stat : 24476 (wbo) R 24440 24438 13759 34823 13904 4202496 11412 0 0 0 779 8 0 0 18 0 1 0 416897645 29757440 6795 1283457024 134512640 135709839 4293754672 18446744073709551615 135190367 0 0 0 3 0 0 0 17 0 0 0 0 /proc/24476/statm: 7265 6795 132 293 0 6970 0 Current children cumulated CPU time (s) 76.17 Current children cumulated vsize (KiB) 118424 [startup+80.0047 s] /proc/loadavg: 1.28 1.12 1.09 2/97 24477 /proc/meminfo: memFree=1001296/2097152 swapFree=2055620/2097144 [pid=24438] ppid=24437 vsize=2376 CPUtime=0 /proc/24438/stat : 24438 (sh) S 24437 24438 13759 34823 13904 4202496 387 308 0 0 0 0 0 0 18 0 1 0 416890756 2433024 263 1283457024 134512640 135191968 4290239472 18446744073709551615 4158831246 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/24438/statm: 594 263 226 166 0 26 0 [pid=24440] ppid=24438 vsize=86988 CPUtime=68.3 /proc/24440/stat : 24440 (apt-pbo) S 24438 24438 13759 34823 13904 4202496 29930 82618 0 293 3185 21 3529 95 18 0 1 0 416890757 89075712 20913 1283457024 134512640 135758360 4291622016 18446744073709551615 4160099662 0 0 128 0 18446744071564457842 0 0 17 1 0 0 0 /proc/24440/statm: 21747 20913 5563 305 0 15383 0 [pid=24476] ppid=24440 vsize=44876 CPUtime=11.05 /proc/24476/stat : 24476 (wbo) R 24440 24438 13759 34823 13904 4202496 16902 0 0 0 1094 11 0 0 18 0 1 0 416897645 45953024 10728 1283457024 134512640 135709839 4293754672 18446744073709551615 135182831 0 0 0 3 0 0 0 17 0 0 0 0 /proc/24476/statm: 11219 10728 133 293 0 10924 0 Current children cumulated CPU time (s) 79.35 Current children cumulated vsize (KiB) 134240 [startup+81.6114 s] /proc/loadavg: 1.34 1.14 1.10 2/97 24477 /proc/meminfo: memFree=990880/2097152 swapFree=2055620/2097144 [pid=24438] ppid=24437 vsize=2376 CPUtime=0 /proc/24438/stat : 24438 (sh) S 24437 24438 13759 34823 13904 4202496 387 308 0 0 0 0 0 0 18 0 1 0 416890756 2433024 263 1283457024 134512640 135191968 4290239472 18446744073709551615 4158831246 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/24438/statm: 594 263 226 166 0 26 0 [pid=24440] ppid=24438 vsize=86988 CPUtime=68.3 /proc/24440/stat : 24440 (apt-pbo) S 24438 24438 13759 34823 13904 4202496 29930 82618 0 293 3185 21 3529 95 18 0 1 0 416890757 89075712 20913 1283457024 134512640 135758360 4291622016 18446744073709551615 4160099662 0 0 128 0 18446744071564457842 0 0 17 1 0 0 0 /proc/24440/statm: 21747 20913 5563 305 0 15383 0 [pid=24476] ppid=24440 vsize=51184 CPUtime=12.65 /proc/24476/stat : 24476 (wbo) R 24440 24438 13759 34823 13904 4202496 18889 0 0 0 1241 24 0 0 18 0 1 0 416897645 52412416 12309 1283457024 134512640 135709839 4293754672 18446744073709551615 134577661 0 0 0 3 0 0 0 17 0 0 0 0 /proc/24476/statm: 12796 12309 134 293 0 12501 0 Current children cumulated CPU time (s) 80.95 Current children cumulated vsize (KiB) 140548 [startup+82.4115 s] /proc/loadavg: 1.34 1.14 1.10 2/97 24477 /proc/meminfo: memFree=990880/2097152 swapFree=2055620/2097144 [pid=24438] ppid=24437 vsize=2376 CPUtime=0 /proc/24438/stat : 24438 (sh) S 24437 24438 13759 34823 13904 4202496 387 308 0 0 0 0 0 0 18 0 1 0 416890756 2433024 263 1283457024 134512640 135191968 4290239472 18446744073709551615 4158831246 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/24438/statm: 594 263 226 166 0 26 0 [pid=24440] ppid=24438 vsize=86988 CPUtime=68.3 /proc/24440/stat : 24440 (apt-pbo) S 24438 24438 13759 34823 13904 4202496 29930 82618 0 293 3185 21 3529 95 18 0 1 0 416890757 89075712 20913 1283457024 134512640 135758360 4291622016 18446744073709551615 4160099662 0 0 128 0 18446744071564457842 0 0 17 1 0 0 0 /proc/24440/statm: 21747 20913 5563 305 0 15383 0 [pid=24476] ppid=24440 vsize=53428 CPUtime=13.44 /proc/24476/stat : 24476 (wbo) R 24440 24438 13759 34823 13904 4202496 19460 0 0 0 1320 24 0 0 18 0 1 0 416897645 54710272 12880 1283457024 134512640 135709839 4293754672 18446744073709551615 134517504 0 0 0 3 0 0 0 17 0 0 0 0 /proc/24476/statm: 13357 12880 134 293 0 13062 0 Current children cumulated CPU time (s) 81.74 Current children cumulated vsize (KiB) 142792 [startup+82.8083 s] /proc/loadavg: 1.34 1.14 1.10 2/97 24477 /proc/meminfo: memFree=988160/2097152 swapFree=2055620/2097144 [pid=24438] ppid=24437 vsize=2376 CPUtime=0 /proc/24438/stat : 24438 (sh) S 24437 24438 13759 34823 13904 4202496 387 308 0 0 0 0 0 0 18 0 1 0 416890756 2433024 263 1283457024 134512640 135191968 4290239472 18446744073709551615 4158831246 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/24438/statm: 594 263 226 166 0 26 0 [pid=24440] ppid=24438 vsize=86988 CPUtime=68.49 /proc/24440/stat : 24440 (apt-pbo) R 24438 24438 13759 34823 13904 4202496 30832 82618 0 293 3203 22 3529 95 18 0 1 0 416890757 89075712 20913 1283457024 134512640 135758360 4291622016 18446744073709551615 135143191 0 0 128 0 0 0 0 17 1 0 0 0 /proc/24440/statm: 21747 20913 5563 305 0 15383 0 [pid=24476] ppid=24440 vsize=0 CPUtime=13.65 /proc/24476/stat : 24476 (wbo) Z 24440 24438 13759 34823 13904 4202508 19736 0 0 0 1339 26 0 0 19 0 1 0 416897645 0 0 1283457024 0 0 0 0 0 0 0 0 3 18446744071564254338 0 0 17 0 0 0 0 /proc/24476/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 82.14 Current children cumulated vsize (KiB) 89364 [startup+82.9083 s] /proc/loadavg: 1.34 1.14 1.10 2/97 24477 /proc/meminfo: memFree=988160/2097152 swapFree=2055620/2097144 [pid=24438] ppid=24437 vsize=2376 CPUtime=0 /proc/24438/stat : 24438 (sh) S 24437 24438 13759 34823 13904 4202496 387 308 0 0 0 0 0 0 18 0 1 0 416890756 2433024 263 1283457024 134512640 135191968 4290239472 18446744073709551615 4158831246 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/24438/statm: 594 263 226 166 0 26 0 [pid=24440] ppid=24438 vsize=86988 CPUtime=68.59 /proc/24440/stat : 24440 (apt-pbo) R 24438 24438 13759 34823 13904 4202496 30833 82618 0 293 3213 22 3529 95 18 0 1 0 416890757 89075712 20913 1283457024 134512640 135758360 4291622016 18446744073709551615 4159215343 0 0 128 0 0 0 0 17 1 0 0 0 /proc/24440/statm: 21747 20913 5563 305 0 15383 0 [pid=24476] ppid=24440 vsize=0 CPUtime=13.65 /proc/24476/stat : 24476 (wbo) Z 24440 24438 13759 34823 13904 4202508 19736 0 0 0 1339 26 0 0 19 0 1 0 416897645 0 0 1283457024 0 0 0 0 0 0 0 0 3 18446744071564254338 0 0 17 0 0 0 0 /proc/24476/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 82.24 Current children cumulated vsize (KiB) 89364 Child status: 0 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 24438 and gives # childrusage.ru_utime.tv_sec=67 # childrusage.ru_utime.tv_usec=496218 # childrusage.ru_stime.tv_sec=1 # childrusage.ru_stime.tv_usec=196074 # CPU time returned by wait4() is 68.6923 # while last known CPU time is 82.24 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 83.0014 CPU time (s): 82.24 CPU user time (s): 80.81 CPU system time (s): 1.43 CPU usage (%): 99.0827 Max. virtual memory (cumulated for all children) (KiB): 143584 getrusage(RUSAGE_CHILDREN,...) data: user time used= 67.4962 system time used= 1.19607 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 117399 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= 8230 involuntary context switches= 2916 runsolver used 0.008 second user time and 0.012 second system time The end