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/rand6b4d6e.cudf.impossible.log.runsolver ./apt-pbo-trendy-1.0.5 /home/misc2010/data/2010/impossible//rand6b4d6e.cudf /home/misc2010/tmp/201007051419/apt-pbo-trendy-1.0.5/rand6b4d6e.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.07 1.04 1.05 2/94 7002 /proc/meminfo: memFree=1194060/2097152 swapFree=2055676/2097144 [pid=7002] ppid=7001 vsize=2876 CPUtime=0 /proc/7002/stat : 7002 (runsolver) R 7001 7002 13759 34823 13904 4202560 74 0 0 0 0 0 0 0 25 0 1 0 416127591 2945024 93 1283457024 134512640 134586868 4294729584 18446744073709551615 4157842714 0 2147483391 0 24578 0 0 0 17 0 0 0 0 /proc/7002/statm: 719 93 63 19 0 51 0 [startup+0.161208 s] /proc/loadavg: 1.07 1.04 1.05 2/94 7002 /proc/meminfo: memFree=1194060/2097152 swapFree=2055676/2097144 [pid=7002] ppid=7001 vsize=2380 CPUtime=0 /proc/7002/stat : 7002 (sh) S 7001 7002 13759 34823 13904 4202496 388 309 0 0 0 0 0 0 25 0 1 0 416127591 2437120 264 1283457024 134512640 135191968 4287285536 18446744073709551615 4159363726 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/7002/statm: 595 264 226 166 0 27 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2380 [startup+0.211235 s] /proc/loadavg: 1.07 1.04 1.05 2/94 7002 /proc/meminfo: memFree=1194060/2097152 swapFree=2055676/2097144 [pid=7002] ppid=7001 vsize=2380 CPUtime=0 /proc/7002/stat : 7002 (sh) S 7001 7002 13759 34823 13904 4202496 388 309 0 0 0 0 0 0 25 0 1 0 416127591 2437120 264 1283457024 134512640 135191968 4287285536 18446744073709551615 4159363726 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/7002/statm: 595 264 226 166 0 27 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2380 [startup+0.311232 s] /proc/loadavg: 1.07 1.04 1.05 2/94 7002 /proc/meminfo: memFree=1194060/2097152 swapFree=2055676/2097144 [pid=7002] ppid=7001 vsize=2380 CPUtime=0 /proc/7002/stat : 7002 (sh) S 7001 7002 13759 34823 13904 4202496 388 309 0 0 0 0 0 0 25 0 1 0 416127591 2437120 264 1283457024 134512640 135191968 4287285536 18446744073709551615 4159363726 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/7002/statm: 595 264 226 166 0 27 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2380 [startup+0.711302 s] /proc/loadavg: 1.07 1.04 1.05 2/94 7002 /proc/meminfo: memFree=1194060/2097152 swapFree=2055676/2097144 [pid=7002] ppid=7001 vsize=2380 CPUtime=0 /proc/7002/stat : 7002 (sh) S 7001 7002 13759 34823 13904 4202496 388 309 0 0 0 0 0 0 25 0 1 0 416127591 2437120 264 1283457024 134512640 135191968 4287285536 18446744073709551615 4159363726 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/7002/statm: 595 264 226 166 0 27 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2380 [startup+1.51146 s] /proc/loadavg: 1.07 1.04 1.05 2/96 7007 /proc/meminfo: memFree=1182396/2097152 swapFree=2055676/2097144 [pid=7002] ppid=7001 vsize=2380 CPUtime=0 /proc/7002/stat : 7002 (sh) S 7001 7002 13759 34823 13904 4202496 388 309 0 0 0 0 0 0 25 0 1 0 416127591 2437120 264 1283457024 134512640 135191968 4287285536 18446744073709551615 4159363726 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/7002/statm: 595 264 226 166 0 27 0 [pid=7005] ppid=7002 vsize=17084 CPUtime=1.46 /proc/7005/stat : 7005 (apt-pbo) R 7002 7002 13759 34823 13904 4202496 4095 715 0 0 143 3 0 0 25 0 1 0 416127592 17494016 3652 1283457024 134512640 135758360 4290362192 18446744073709551615 135086890 0 0 128 0 0 0 0 17 0 0 0 0 /proc/7005/statm: 4271 3652 628 305 0 3044 0 Current children cumulated CPU time (s) 1.46 Current children cumulated vsize (KiB) 19464 [startup+3.11176 s] /proc/loadavg: 1.15 1.05 1.06 2/96 7007 /proc/meminfo: memFree=1172104/2097152 swapFree=2055676/2097144 [pid=7002] ppid=7001 vsize=2380 CPUtime=0 /proc/7002/stat : 7002 (sh) S 7001 7002 13759 34823 13904 4202496 388 309 0 0 0 0 0 0 25 0 1 0 416127591 2437120 264 1283457024 134512640 135191968 4287285536 18446744073709551615 4159363726 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/7002/statm: 595 264 226 166 0 27 0 [pid=7005] ppid=7002 vsize=27780 CPUtime=3.05 /proc/7005/stat : 7005 (apt-pbo) R 7002 7002 13759 34823 13904 4202496 6752 715 0 0 300 5 0 0 25 0 1 0 416127592 28446720 6302 1283457024 134512640 135758360 4290362192 18446744073709551615 135352342 0 0 128 0 0 0 0 17 0 0 0 0 /proc/7005/statm: 6945 6302 628 305 0 5718 0 Current children cumulated CPU time (s) 3.05 Current children cumulated vsize (KiB) 30160 [startup+6.31238 s] /proc/loadavg: 1.15 1.05 1.06 2/96 7008 /proc/meminfo: memFree=1142220/2097152 swapFree=2055676/2097144 [pid=7002] ppid=7001 vsize=2380 CPUtime=0 /proc/7002/stat : 7002 (sh) S 7001 7002 13759 34823 13904 4202496 388 309 0 0 0 0 0 0 25 0 1 0 416127591 2437120 264 1283457024 134512640 135191968 4287285536 18446744073709551615 4159363726 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/7002/statm: 595 264 226 166 0 27 0 [pid=7005] ppid=7002 vsize=48808 CPUtime=6.25 /proc/7005/stat : 7005 (apt-pbo) R 7002 7002 13759 34823 13904 4202496 12038 715 0 0 615 10 0 0 25 0 1 0 416127592 49979392 11586 1283457024 134512640 135758360 4290362192 18446744073709551615 135064647 0 0 128 0 0 0 0 17 0 0 0 0 /proc/7005/statm: 12202 11586 628 305 0 10975 0 Current children cumulated CPU time (s) 6.25 Current children cumulated vsize (KiB) 51188 [startup+12.7093 s] /proc/loadavg: 1.12 1.05 1.06 2/98 7016 /proc/meminfo: memFree=1053668/2097152 swapFree=2055676/2097144 [pid=7002] ppid=7001 vsize=2380 CPUtime=0 /proc/7002/stat : 7002 (sh) S 7001 7002 13759 34823 13904 4202496 388 309 0 0 0 0 0 0 25 0 1 0 416127591 2437120 264 1283457024 134512640 135191968 4287285536 18446744073709551615 4159363726 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/7002/statm: 595 264 226 166 0 27 0 [pid=7005] ppid=7002 vsize=82216 CPUtime=11.22 /proc/7005/stat : 7005 (apt-pbo) S 7002 7002 13759 34823 13904 4202496 20921 715 0 0 1105 17 0 0 19 0 1 0 416127592 84189184 19923 1283457024 134512640 135758360 4290362192 18446744073709551615 4159931726 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/7005/statm: 20554 19923 628 305 0 19327 0 [pid=7009] ppid=7005 vsize=2376 CPUtime=0 /proc/7009/stat : 7009 (apt-get.sh) S 7005 7002 13759 34823 13904 4202496 389 613 0 0 0 0 0 0 19 0 1 0 416128718 2433024 260 1283457024 134512640 135191968 4290538512 18446744073709551615 4159482510 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/7009/statm: 594 260 223 166 0 26 0 [pid=7012] ppid=7009 vsize=52604 CPUtime=1.35 /proc/7012/stat : 7012 (apt-get) R 7009 7002 13759 34823 13904 4202496 5254 1619 284 0 82 0 49 4 17 0 1 0 416128722 53866496 5400 1283457024 134512640 134646397 4292724272 18446744073709551615 4159667902 0 0 4096 134217728 0 0 0 17 0 0 0 0 /proc/7012/statm: 13151 5400 5347 33 0 67 0 Current children cumulated CPU time (s) 12.57 Current children cumulated vsize (KiB) 139576 [startup+25.5024 s] /proc/loadavg: 1.10 1.05 1.05 2/98 7022 /proc/meminfo: memFree=951576/2097152 swapFree=2055676/2097144 [pid=7002] ppid=7001 vsize=2380 CPUtime=0 /proc/7002/stat : 7002 (sh) S 7001 7002 13759 34823 13904 4202496 388 309 0 0 0 0 0 0 25 0 1 0 416127591 2437120 264 1283457024 134512640 135191968 4287285536 18446744073709551615 4159363726 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/7002/statm: 595 264 226 166 0 27 0 [pid=7005] ppid=7002 vsize=128164 CPUtime=25.15 /proc/7005/stat : 7005 (apt-pbo) S 7002 7002 13759 34823 13904 4202496 32432 26700 0 588 1138 25 1270 82 18 0 1 0 416127592 131239936 30938 1283457024 134512640 135758360 4290362192 18446744073709551615 4159931726 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/7005/statm: 32041 30938 10363 305 0 20611 0 Current children cumulated CPU time (s) 25.15 Current children cumulated vsize (KiB) 130544 [startup+51.1074 s] /proc/loadavg: 1.13 1.06 1.06 2/97 7025 /proc/meminfo: memFree=820656/2097152 swapFree=2055676/2097144 [pid=7002] ppid=7001 vsize=2380 CPUtime=0 /proc/7002/stat : 7002 (sh) S 7001 7002 13759 34823 13904 4202496 388 309 0 0 0 0 0 0 25 0 1 0 416127591 2437120 264 1283457024 134512640 135191968 4287285536 18446744073709551615 4159363726 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/7002/statm: 595 264 226 166 0 27 0 [pid=7005] ppid=7002 vsize=128164 CPUtime=25.15 /proc/7005/stat : 7005 (apt-pbo) S 7002 7002 13759 34823 13904 4202496 32432 26700 0 588 1138 25 1270 82 18 0 1 0 416127592 131239936 30938 1283457024 134512640 135758360 4290362192 18446744073709551615 4159931726 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/7005/statm: 32041 30938 10363 305 0 20611 0 [pid=7023] ppid=7005 vsize=124296 CPUtime=25.63 /proc/7023/stat : 7023 (wbo) R 7005 7002 13759 34823 13904 4202496 73644 0 0 0 2528 35 0 0 25 0 1 0 416130131 127279104 30343 1283457024 134512640 135709839 4288045504 18446744073709551615 135182831 0 0 0 3 0 0 0 17 1 0 0 0 /proc/7023/statm: 31074 30343 132 293 0 30779 0 Current children cumulated CPU time (s) 50.78 Current children cumulated vsize (KiB) 254840 [startup+102.306 s] /proc/loadavg: 1.09 1.06 1.06 2/98 7510 /proc/meminfo: memFree=597084/2097152 swapFree=2055676/2097144 [pid=7002] ppid=7001 vsize=2380 CPUtime=0 /proc/7002/stat : 7002 (sh) S 7001 7002 13759 34823 13904 4202496 388 309 0 0 0 0 0 0 25 0 1 0 416127591 2437120 264 1283457024 134512640 135191968 4287285536 18446744073709551615 4159363726 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/7002/statm: 595 264 226 166 0 27 0 [pid=7005] ppid=7002 vsize=128164 CPUtime=25.19 /proc/7005/stat : 7005 (apt-pbo) S 7002 7002 13759 34823 13904 4202496 32432 26700 0 588 1140 27 1270 82 18 0 1 0 416127592 131239936 30938 1283457024 134512640 135758360 4290362192 18446744073709551615 4159931726 0 0 128 0 18446744071564457842 0 0 17 1 0 0 0 /proc/7005/statm: 32041 30938 10363 305 0 20611 0 [pid=7023] ppid=7005 vsize=344504 CPUtime=76.38 /proc/7023/stat : 7023 (wbo) R 7005 7002 13759 34823 13904 4202496 268683 0 0 0 7524 114 0 0 25 0 1 0 416130131 352772096 85420 1283457024 134512640 135709839 4288045504 18446744073709551615 135166305 0 0 0 3 0 0 0 17 1 0 0 0 /proc/7023/statm: 86126 85420 133 293 0 85831 0 Current children cumulated CPU time (s) 101.57 Current children cumulated vsize (KiB) 475048 [startup+162.304 s] /proc/loadavg: 1.03 1.05 1.05 2/98 7516 /proc/meminfo: memFree=897156/2097152 swapFree=2055676/2097144 [pid=7002] ppid=7001 vsize=2380 CPUtime=0 /proc/7002/stat : 7002 (sh) S 7001 7002 13759 34823 13904 4202496 388 309 0 0 0 0 0 0 25 0 1 0 416127591 2437120 264 1283457024 134512640 135191968 4287285536 18446744073709551615 4159363726 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/7002/statm: 595 264 226 166 0 27 0 [pid=7005] ppid=7002 vsize=170480 CPUtime=54.75 /proc/7005/stat : 7005 (apt-pbo) R 7002 7002 13759 34823 13904 4202496 43324 26700 0 588 4094 29 1270 82 25 0 1 0 416127592 174571520 41514 1283457024 134512640 135758360 4290362192 18446744073709551615 134951258 0 0 128 0 0 0 0 17 1 0 0 0 /proc/7005/statm: 42620 41514 10367 305 0 31190 0 [pid=7023] ppid=7005 vsize=0 CPUtime=106.81 /proc/7023/stat : 7023 (wbo) Z 7005 7002 13759 34823 13904 4202508 302599 0 0 0 10529 152 0 0 25 0 1 0 416130131 0 0 1283457024 0 0 0 0 0 0 0 0 3 18446744071564254338 0 0 17 1 0 0 0 /proc/7023/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 161.56 Current children cumulated vsize (KiB) 172860 [startup+222.307 s] /proc/loadavg: 1.01 1.04 1.05 2/97 7525 /proc/meminfo: memFree=840488/2097152 swapFree=2055676/2097144 [pid=7002] ppid=7001 vsize=2380 CPUtime=0 /proc/7002/stat : 7002 (sh) S 7001 7002 13759 34823 13904 4202496 388 309 0 0 0 0 0 0 25 0 1 0 416127591 2437120 264 1283457024 134512640 135191968 4287285536 18446744073709551615 4159363726 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/7002/statm: 595 264 226 166 0 27 0 [pid=7005] ppid=7002 vsize=170804 CPUtime=216.06 /proc/7005/stat : 7005 (apt-pbo) S 7002 7002 13759 34823 13904 4202496 45563 341636 0 588 8436 37 12832 301 18 0 1 0 416127592 174903296 41563 1283457024 134512640 135758360 4290362192 18446744073709551615 4159931726 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/7005/statm: 42701 41563 10367 305 0 31271 0 [pid=7525] ppid=7005 vsize=43240 CPUtime=5.15 /proc/7525/stat : 7525 (wbo) R 7005 7002 13759 34823 13904 4202496 22197 0 0 0 503 12 0 0 20 0 1 0 416149303 44277760 10160 1283457024 134512640 135709839 4288430624 18446744073709551615 135236193 0 0 0 3 0 0 0 17 1 0 0 0 /proc/7525/statm: 10810 10160 132 293 0 10515 0 Current children cumulated CPU time (s) 221.21 Current children cumulated vsize (KiB) 216424 [startup+282.306 s] /proc/loadavg: 1.00 1.03 1.04 2/97 7529 /proc/meminfo: memFree=615188/2097152 swapFree=2055676/2097144 [pid=7002] ppid=7001 vsize=2380 CPUtime=0 /proc/7002/stat : 7002 (sh) S 7001 7002 13759 34823 13904 4202496 388 309 0 0 0 0 0 0 25 0 1 0 416127591 2437120 264 1283457024 134512640 135191968 4287285536 18446744073709551615 4159363726 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/7002/statm: 595 264 226 166 0 27 0 [pid=7005] ppid=7002 vsize=170804 CPUtime=216.06 /proc/7005/stat : 7005 (apt-pbo) S 7002 7002 13759 34823 13904 4202496 45563 341636 0 588 8436 37 12832 301 18 0 1 0 416127592 174903296 41563 1283457024 134512640 135758360 4290362192 18446744073709551615 4159931726 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/7005/statm: 42701 41563 10367 305 0 31271 0 [pid=7525] ppid=7005 vsize=270940 CPUtime=65.03 /proc/7525/stat : 7525 (wbo) R 7005 7002 13759 34823 13904 4202496 166905 0 0 0 6428 75 0 0 21 0 1 0 416149303 277442560 67093 1283457024 134512640 135709839 4288430624 18446744073709551615 135239454 0 0 0 3 0 0 0 17 1 0 0 0 /proc/7525/statm: 67735 67093 132 293 0 67440 0 Current children cumulated CPU time (s) 281.09 Current children cumulated vsize (KiB) 444124 Maximum CPU time exceeded: sending signal-name then SIGKILL [startup+291.306 s] /proc/loadavg: 1.00 1.03 1.04 2/97 7530 /proc/meminfo: memFree=577624/2097152 swapFree=2055676/2097144 [pid=7002] ppid=7001 vsize=2380 CPUtime=0 /proc/7002/stat : 7002 (sh) S 7001 7002 13759 34823 13904 4202496 388 309 0 0 0 0 0 0 25 0 1 0 416127591 2437120 264 1283457024 134512640 135191968 4287285536 18446744073709551615 4159363726 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/7002/statm: 595 264 226 166 0 27 0 [pid=7005] ppid=7002 vsize=170804 CPUtime=216.06 /proc/7005/stat : 7005 (apt-pbo) S 7002 7002 13759 34823 13904 4202496 45563 341636 0 588 8436 37 12832 301 18 0 1 0 416127592 174903296 41563 1283457024 134512640 135758360 4290362192 18446744073709551615 4159931726 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/7005/statm: 42701 41563 10367 305 0 31271 0 [pid=7525] ppid=7005 vsize=305840 CPUtime=74.03 /proc/7525/stat : 7525 (wbo) R 7005 7002 13759 34823 13904 4202496 188649 0 0 0 7321 82 0 0 25 0 1 0 416149303 313180160 75766 1283457024 134512640 135709839 4288430624 18446744073709551615 134605451 0 0 0 3 0 0 0 17 1 0 0 0 /proc/7525/statm: 76460 75766 132 293 0 76165 0 Current children cumulated CPU time (s) 290.09 Current children cumulated vsize (KiB) 479024 Sending User defined signal 1 to process tree (bottom up) Sleeping 10 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 10 (SIGUSR1) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 7002 and gives # childrusage.ru_utime.tv_sec=212 # childrusage.ru_utime.tv_usec=693292 # childrusage.ru_stime.tv_sec=3 # childrusage.ru_stime.tv_usec=420213 # CPU time returned by wait4() is 216.113 # while last known CPU time is 290.09 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 291.35 CPU time (s): 290.09 CPU user time (s): 285.89 CPU system time (s): 4.2 CPU usage (%): 99.5674 Max. virtual memory (cumulated for all children) (KiB): 546848 getrusage(RUSAGE_CHILDREN,...) data: user time used= 212.693 system time used= 3.42021 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 387896 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= 64671 involuntary context switches= 5165 runsolver used 0.036002 second user time and 0.16001 second system time The end