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/rand394916.cudf.difficult.log.runsolver ./apt-pbo-trendy-1.0.5 /home/misc2010/data/2010/difficult//rand394916.cudf /home/misc2010/tmp/201007051419/apt-pbo-trendy-1.0.5/rand394916.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.00 1.02 1.01 1/95 9397 /proc/meminfo: memFree=1278212/2097152 swapFree=2055676/2097144 [pid=9397] ppid=9396 vsize=2380 CPUtime=0 /proc/9397/stat : 9397 (sh) R 9396 9397 13759 34823 13904 4202496 368 309 0 0 0 0 0 0 25 0 1 0 416239335 2437120 263 1283457024 134512640 135191968 4294479872 18446744073709551615 135099388 0 0 4 65536 0 0 0 17 0 0 0 0 /proc/9397/statm: 595 263 226 166 0 27 0 [startup+0.171426 s] /proc/loadavg: 1.00 1.02 1.01 1/95 9397 /proc/meminfo: memFree=1278212/2097152 swapFree=2055676/2097144 [pid=9397] ppid=9396 vsize=2380 CPUtime=0 /proc/9397/stat : 9397 (sh) S 9396 9397 13759 34823 13904 4202496 386 309 0 0 0 0 0 0 25 0 1 0 416239335 2437120 263 1283457024 134512640 135191968 4294479872 18446744073709551615 4159105678 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9397/statm: 595 263 226 166 0 27 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2380 [startup+0.20743 s] /proc/loadavg: 1.00 1.02 1.01 1/95 9397 /proc/meminfo: memFree=1278212/2097152 swapFree=2055676/2097144 [pid=9397] ppid=9396 vsize=2380 CPUtime=0 /proc/9397/stat : 9397 (sh) S 9396 9397 13759 34823 13904 4202496 386 309 0 0 0 0 0 0 25 0 1 0 416239335 2437120 263 1283457024 134512640 135191968 4294479872 18446744073709551615 4159105678 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9397/statm: 595 263 226 166 0 27 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2380 [startup+0.307441 s] /proc/loadavg: 1.00 1.02 1.01 1/95 9397 /proc/meminfo: memFree=1278212/2097152 swapFree=2055676/2097144 [pid=9397] ppid=9396 vsize=2380 CPUtime=0 /proc/9397/stat : 9397 (sh) S 9396 9397 13759 34823 13904 4202496 386 309 0 0 0 0 0 0 25 0 1 0 416239335 2437120 263 1283457024 134512640 135191968 4294479872 18446744073709551615 4159105678 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9397/statm: 595 263 226 166 0 27 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2380 [startup+0.707478 s] /proc/loadavg: 1.00 1.02 1.01 1/95 9397 /proc/meminfo: memFree=1278212/2097152 swapFree=2055676/2097144 [pid=9397] ppid=9396 vsize=2380 CPUtime=0 /proc/9397/stat : 9397 (sh) S 9396 9397 13759 34823 13904 4202496 386 309 0 0 0 0 0 0 25 0 1 0 416239335 2437120 263 1283457024 134512640 135191968 4294479872 18446744073709551615 4159105678 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9397/statm: 595 263 226 166 0 27 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2380 [startup+1.50748 s] /proc/loadavg: 1.00 1.02 1.01 2/96 9402 /proc/meminfo: memFree=1266928/2097152 swapFree=2055676/2097144 [pid=9397] ppid=9396 vsize=2380 CPUtime=0 /proc/9397/stat : 9397 (sh) S 9396 9397 13759 34823 13904 4202496 386 309 0 0 0 0 0 0 25 0 1 0 416239335 2437120 263 1283457024 134512640 135191968 4294479872 18446744073709551615 4159105678 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9397/statm: 595 263 226 166 0 27 0 [pid=9399] ppid=9397 vsize=17208 CPUtime=1.47 /proc/9399/stat : 9399 (apt-pbo) R 9397 9397 13759 34823 13904 4202496 4125 715 0 0 143 4 0 0 25 0 1 0 416239335 17620992 3681 1283457024 134512640 135758360 4288999936 18446744073709551615 4159181157 0 0 128 0 0 0 0 17 0 0 0 0 /proc/9399/statm: 4302 3681 628 305 0 3075 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 19588 [startup+3.10754 s] /proc/loadavg: 1.00 1.02 1.01 2/96 9402 /proc/meminfo: memFree=1256636/2097152 swapFree=2055676/2097144 [pid=9397] ppid=9396 vsize=2380 CPUtime=0 /proc/9397/stat : 9397 (sh) S 9396 9397 13759 34823 13904 4202496 386 309 0 0 0 0 0 0 25 0 1 0 416239335 2437120 263 1283457024 134512640 135191968 4294479872 18446744073709551615 4159105678 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9397/statm: 595 263 226 166 0 27 0 [pid=9399] ppid=9397 vsize=27872 CPUtime=3.07 /proc/9399/stat : 9399 (apt-pbo) R 9397 9397 13759 34823 13904 4202496 6774 715 0 0 298 9 0 0 25 0 1 0 416239335 28540928 6323 1283457024 134512640 135758360 4288999936 18446744073709551615 4159181157 0 0 128 0 0 0 0 17 0 0 0 0 /proc/9399/statm: 6968 6323 628 305 0 5741 0 Current children cumulated CPU time (s) 3.07 Current children cumulated vsize (KiB) 30252 [startup+6.31577 s] /proc/loadavg: 1.00 1.02 1.01 1/96 9402 /proc/meminfo: memFree=1226752/2097152 swapFree=2055676/2097144 [pid=9397] ppid=9396 vsize=2380 CPUtime=0 /proc/9397/stat : 9397 (sh) S 9396 9397 13759 34823 13904 4202496 386 309 0 0 0 0 0 0 25 0 1 0 416239335 2437120 263 1283457024 134512640 135191968 4294479872 18446744073709551615 4159105678 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9397/statm: 595 263 226 166 0 27 0 [pid=9399] ppid=9397 vsize=44028 CPUtime=5.47 /proc/9399/stat : 9399 (apt-pbo) S 9397 9397 13759 34823 13904 4202496 10867 715 0 0 536 11 0 0 22 0 1 0 416239335 45084672 10380 1283457024 134512640 135758360 4288999936 18446744073709551615 4160087374 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/9399/statm: 11007 10380 628 305 0 9780 0 Current children cumulated CPU time (s) 5.47 Current children cumulated vsize (KiB) 46408 [startup+12.708 s] /proc/loadavg: 1.00 1.02 1.01 2/97 9417 /proc/meminfo: memFree=1158804/2097152 swapFree=2055676/2097144 [pid=9397] ppid=9396 vsize=2380 CPUtime=0 /proc/9397/stat : 9397 (sh) S 9396 9397 13759 34823 13904 4202496 386 309 0 0 0 0 0 0 25 0 1 0 416239335 2437120 263 1283457024 134512640 135191968 4294479872 18446744073709551615 4159105678 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9397/statm: 595 263 226 166 0 27 0 [pid=9399] ppid=9397 vsize=68964 CPUtime=8.9 /proc/9399/stat : 9399 (apt-pbo) S 9397 9397 13759 34823 13904 4202496 17320 16727 0 293 555 13 288 34 18 0 1 0 416239335 70619136 16399 1283457024 134512640 135758360 4288999936 18446744073709551615 4160087374 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/9399/statm: 17241 16399 5557 305 0 10877 0 [pid=9416] ppid=9399 vsize=13928 CPUtime=3.61 /proc/9416/stat : 9416 (wbo) R 9399 9397 13759 34823 13904 4202496 5817 0 0 0 360 1 0 0 18 0 1 0 416240241 14262272 2982 1283457024 134512640 135709839 4291419376 18446744073709551615 134605451 0 0 0 3 0 0 0 17 1 0 0 0 /proc/9416/statm: 3482 2983 132 293 0 3187 0 Current children cumulated CPU time (s) 12.51 Current children cumulated vsize (KiB) 85272 [startup+25.5062 s] /proc/loadavg: 1.00 1.02 1.00 2/97 9417 /proc/meminfo: memFree=1162440/2097152 swapFree=2055676/2097144 [pid=9397] ppid=9396 vsize=2380 CPUtime=0 /proc/9397/stat : 9397 (sh) S 9396 9397 13759 34823 13904 4202496 386 309 0 0 0 0 0 0 25 0 1 0 416239335 2437120 263 1283457024 134512640 135191968 4294479872 18446744073709551615 4159105678 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9397/statm: 595 263 226 166 0 27 0 [pid=9399] ppid=9397 vsize=75408 CPUtime=13.04 /proc/9399/stat : 9399 (apt-pbo) R 9397 9397 13759 34823 13904 4202496 19196 16727 0 293 968 14 288 34 25 0 1 0 416239335 77217792 18026 1283457024 134512640 135758360 4288999936 18446744073709551615 135510299 0 0 128 0 0 0 0 17 0 0 0 0 /proc/9399/statm: 18852 18026 5561 305 0 12488 0 [pid=9416] ppid=9399 vsize=0 CPUtime=12.26 /proc/9416/stat : 9416 (wbo) Z 9399 9397 13759 34823 13904 4202508 15694 0 0 0 1218 8 0 0 18 0 1 0 416240241 0 0 1283457024 0 0 0 0 0 0 0 0 3 18446744071564254338 0 0 17 1 0 0 0 /proc/9416/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 25.3 Current children cumulated vsize (KiB) 77788 [startup+51.1057 s] /proc/loadavg: 1.06 1.03 1.01 2/97 9424 /proc/meminfo: memFree=1119932/2097152 swapFree=2055676/2097144 [pid=9397] ppid=9396 vsize=2380 CPUtime=0 /proc/9397/stat : 9397 (sh) S 9396 9397 13759 34823 13904 4202496 386 309 0 0 0 0 0 0 25 0 1 0 416239335 2437120 263 1283457024 134512640 135191968 4294479872 18446744073709551615 4159105678 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9397/statm: 595 263 226 166 0 27 0 [pid=9399] ppid=9397 vsize=75548 CPUtime=33.04 /proc/9399/stat : 9399 (apt-pbo) S 9397 9397 13759 34823 13904 4202496 20429 39576 0 293 1526 18 1700 60 18 0 1 0 416239335 77361152 18040 1283457024 134512640 135758360 4288999936 18446744073709551615 4160087374 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/9399/statm: 18887 18040 5561 305 0 12523 0 [pid=9423] ppid=9399 vsize=43104 CPUtime=17.69 /proc/9423/stat : 9423 (wbo) R 9399 9397 13759 34823 13904 4202496 23897 0 0 0 1754 15 0 0 18 0 1 0 416242670 44138496 10310 1283457024 134512640 135709839 4286642272 18446744073709551615 134605425 0 0 0 3 0 0 0 17 1 0 0 0 /proc/9423/statm: 10776 10310 132 293 0 10481 0 Current children cumulated CPU time (s) 50.73 Current children cumulated vsize (KiB) 121032 Solver just ended. Dumping a history of the last processes samples [startup+51.2057 s] /proc/loadavg: 1.06 1.03 1.01 2/97 9424 /proc/meminfo: memFree=1119932/2097152 swapFree=2055676/2097144 [pid=9397] ppid=9396 vsize=2380 CPUtime=0 /proc/9397/stat : 9397 (sh) S 9396 9397 13759 34823 13904 4202496 386 309 0 0 0 0 0 0 25 0 1 0 416239335 2437120 263 1283457024 134512640 135191968 4294479872 18446744073709551615 4159105678 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9397/statm: 595 263 226 166 0 27 0 [pid=9399] ppid=9397 vsize=75548 CPUtime=33.04 /proc/9399/stat : 9399 (apt-pbo) S 9397 9397 13759 34823 13904 4202496 20429 39576 0 293 1526 18 1700 60 18 0 1 0 416239335 77361152 18040 1283457024 134512640 135758360 4288999936 18446744073709551615 4160087374 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/9399/statm: 18887 18040 5561 305 0 12523 0 [pid=9423] ppid=9399 vsize=43548 CPUtime=17.79 /proc/9423/stat : 9423 (wbo) R 9399 9397 13759 34823 13904 4202496 23985 0 0 0 1764 15 0 0 18 0 1 0 416242670 44593152 10398 1283457024 134512640 135709839 4286642272 18446744073709551615 135166305 0 0 0 3 0 0 0 17 1 0 0 0 /proc/9423/statm: 10887 10398 132 293 0 10592 0 Current children cumulated CPU time (s) 50.83 Current children cumulated vsize (KiB) 121476 [startup+64.0062 s] /proc/loadavg: 1.04 1.03 1.01 2/97 9430 /proc/meminfo: memFree=1137284/2097152 swapFree=2055676/2097144 [pid=9397] ppid=9396 vsize=2380 CPUtime=0 /proc/9397/stat : 9397 (sh) S 9396 9397 13759 34823 13904 4202496 386 309 0 0 0 0 0 0 25 0 1 0 416239335 2437120 263 1283457024 134512640 135191968 4294479872 18446744073709551615 4159105678 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9397/statm: 595 263 226 166 0 27 0 [pid=9399] ppid=9397 vsize=75720 CPUtime=55.45 /proc/9399/stat : 9399 (apt-pbo) S 9397 9397 13759 34823 13904 4202496 23376 72567 0 293 1574 22 3858 91 18 0 1 0 416239335 77537280 18076 1283457024 134512640 135758360 4288999936 18446744073709551615 4160087374 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/9399/statm: 18930 18076 5561 305 0 12566 0 [pid=9429] ppid=9399 vsize=22584 CPUtime=8.1 /proc/9429/stat : 9429 (wbo) R 9399 9397 13759 34823 13904 4202496 11274 0 0 0 806 4 0 0 18 0 1 0 416244919 23126016 5133 1283457024 134512640 135709839 4287090896 18446744073709551615 134570352 0 0 0 3 0 0 0 17 1 0 0 0 /proc/9429/statm: 5646 5133 132 293 0 5351 0 Current children cumulated CPU time (s) 63.55 Current children cumulated vsize (KiB) 100684 [startup+70.4065 s] /proc/loadavg: 1.04 1.03 1.01 2/97 9430 /proc/meminfo: memFree=1123520/2097152 swapFree=2055676/2097144 [pid=9397] ppid=9396 vsize=2380 CPUtime=0 /proc/9397/stat : 9397 (sh) S 9396 9397 13759 34823 13904 4202496 386 309 0 0 0 0 0 0 25 0 1 0 416239335 2437120 263 1283457024 134512640 135191968 4294479872 18446744073709551615 4159105678 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9397/statm: 595 263 226 166 0 27 0 [pid=9399] ppid=9397 vsize=75720 CPUtime=55.45 /proc/9399/stat : 9399 (apt-pbo) S 9397 9397 13759 34823 13904 4202496 23376 72567 0 293 1574 22 3858 91 18 0 1 0 416239335 77537280 18076 1283457024 134512640 135758360 4288999936 18446744073709551615 4160087374 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/9399/statm: 18930 18076 5561 305 0 12566 0 [pid=9429] ppid=9399 vsize=35992 CPUtime=14.47 /proc/9429/stat : 9429 (wbo) R 9399 9397 13759 34823 13904 4202496 18538 0 0 0 1441 6 0 0 18 0 1 0 416244919 36855808 8491 1283457024 134512640 135709839 4287090896 18446744073709551615 134605451 0 0 0 3 0 0 0 17 1 0 0 0 /proc/9429/statm: 8998 8491 132 293 0 8703 0 Current children cumulated CPU time (s) 69.92 Current children cumulated vsize (KiB) 114092 [startup+73.6067 s] /proc/loadavg: 1.04 1.03 1.01 2/97 9431 /proc/meminfo: memFree=1118932/2097152 swapFree=2055676/2097144 [pid=9397] ppid=9396 vsize=2380 CPUtime=0 /proc/9397/stat : 9397 (sh) S 9396 9397 13759 34823 13904 4202496 386 309 0 0 0 0 0 0 25 0 1 0 416239335 2437120 263 1283457024 134512640 135191968 4294479872 18446744073709551615 4159105678 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9397/statm: 595 263 226 166 0 27 0 [pid=9399] ppid=9397 vsize=75720 CPUtime=55.45 /proc/9399/stat : 9399 (apt-pbo) S 9397 9397 13759 34823 13904 4202496 23376 72567 0 293 1574 22 3858 91 18 0 1 0 416239335 77537280 18076 1283457024 134512640 135758360 4288999936 18446744073709551615 4160087374 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/9399/statm: 18930 18076 5561 305 0 12566 0 [pid=9429] ppid=9399 vsize=43000 CPUtime=17.66 /proc/9429/stat : 9429 (wbo) R 9399 9397 13759 34823 13904 4202496 22310 0 0 0 1758 8 0 0 18 0 1 0 416244919 44032000 10266 1283457024 134512640 135709839 4287090896 18446744073709551615 135173051 0 0 0 3 0 0 0 17 1 0 0 0 /proc/9429/statm: 10750 10266 132 293 0 10455 0 Current children cumulated CPU time (s) 73.11 Current children cumulated vsize (KiB) 121100 [startup+75.2067 s] /proc/loadavg: 1.04 1.03 1.00 2/97 9431 /proc/meminfo: memFree=1113476/2097152 swapFree=2055676/2097144 [pid=9397] ppid=9396 vsize=2380 CPUtime=0 /proc/9397/stat : 9397 (sh) S 9396 9397 13759 34823 13904 4202496 386 309 0 0 0 0 0 0 25 0 1 0 416239335 2437120 263 1283457024 134512640 135191968 4294479872 18446744073709551615 4159105678 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9397/statm: 595 263 226 166 0 27 0 [pid=9399] ppid=9397 vsize=75720 CPUtime=55.45 /proc/9399/stat : 9399 (apt-pbo) S 9397 9397 13759 34823 13904 4202496 23376 72567 0 293 1574 22 3858 91 18 0 1 0 416239335 77537280 18076 1283457024 134512640 135758360 4288999936 18446744073709551615 4160087374 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/9399/statm: 18930 18076 5561 305 0 12566 0 [pid=9429] ppid=9399 vsize=47028 CPUtime=19.25 /proc/9429/stat : 9429 (wbo) R 9399 9397 13759 34823 13904 4202496 23925 0 0 0 1916 9 0 0 18 0 1 0 416244919 48156672 11274 1283457024 134512640 135709839 4287090896 18446744073709551615 135173032 0 0 0 3 0 0 0 17 1 0 0 0 /proc/9429/statm: 11757 11274 132 293 0 11462 0 Current children cumulated CPU time (s) 74.7 Current children cumulated vsize (KiB) 125128 [startup+76.0108 s] /proc/loadavg: 1.04 1.03 1.00 2/97 9431 /proc/meminfo: memFree=1110376/2097152 swapFree=2055676/2097144 [pid=9397] ppid=9396 vsize=2380 CPUtime=0 /proc/9397/stat : 9397 (sh) S 9396 9397 13759 34823 13904 4202496 386 309 0 0 0 0 0 0 25 0 1 0 416239335 2437120 263 1283457024 134512640 135191968 4294479872 18446744073709551615 4159105678 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9397/statm: 595 263 226 166 0 27 0 [pid=9399] ppid=9397 vsize=75720 CPUtime=55.45 /proc/9399/stat : 9399 (apt-pbo) S 9397 9397 13759 34823 13904 4202496 23376 72567 0 293 1574 22 3858 91 18 0 1 0 416239335 77537280 18076 1283457024 134512640 135758360 4288999936 18446744073709551615 4160087374 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/9399/statm: 18930 18076 5561 305 0 12566 0 [pid=9429] ppid=9399 vsize=49484 CPUtime=20.05 /proc/9429/stat : 9429 (wbo) R 9399 9397 13759 34823 13904 4202496 24689 0 0 0 1996 9 0 0 18 0 1 0 416244919 50671616 11918 1283457024 134512640 135709839 4287090896 18446744073709551615 135166068 0 0 0 3 0 0 0 17 1 0 0 0 /proc/9429/statm: 12371 11918 132 293 0 12076 0 Current children cumulated CPU time (s) 75.5 Current children cumulated vsize (KiB) 127584 [startup+76.4088 s] /proc/loadavg: 1.04 1.03 1.00 2/97 9431 /proc/meminfo: memFree=1110376/2097152 swapFree=2055676/2097144 [pid=9397] ppid=9396 vsize=2380 CPUtime=0 /proc/9397/stat : 9397 (sh) S 9396 9397 13759 34823 13904 4202496 386 309 0 0 0 0 0 0 25 0 1 0 416239335 2437120 263 1283457024 134512640 135191968 4294479872 18446744073709551615 4159105678 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9397/statm: 595 263 226 166 0 27 0 [pid=9399] ppid=9397 vsize=75892 CPUtime=55.57 /proc/9399/stat : 9399 (apt-pbo) R 9397 9397 13759 34823 13904 4202496 24052 72567 0 293 1586 22 3858 91 18 0 1 0 416239335 77713408 18119 1283457024 134512640 135758360 4288999936 18446744073709551615 134983156 0 0 128 0 0 0 0 17 0 0 0 0 /proc/9399/statm: 18973 18119 5561 305 0 12609 0 [pid=9429] ppid=9399 vsize=0 CPUtime=20.32 /proc/9429/stat : 9429 (wbo) Z 9399 9397 13759 34823 13904 4202508 25036 0 0 0 2023 9 0 0 18 0 1 0 416244919 0 0 1283457024 0 0 0 0 0 0 0 0 3 18446744071564254338 0 0 17 1 0 0 0 /proc/9429/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 75.89 Current children cumulated vsize (KiB) 78272 [startup+76.6088 s] /proc/loadavg: 1.04 1.03 1.00 2/97 9431 /proc/meminfo: memFree=1110376/2097152 swapFree=2055676/2097144 [pid=9397] ppid=9396 vsize=2380 CPUtime=0 /proc/9397/stat : 9397 (sh) S 9396 9397 13759 34823 13904 4202496 386 309 0 0 0 0 0 0 25 0 1 0 416239335 2437120 263 1283457024 134512640 135191968 4294479872 18446744073709551615 4159105678 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9397/statm: 595 263 226 166 0 27 0 [pid=9399] ppid=9397 vsize=75892 CPUtime=55.77 /proc/9399/stat : 9399 (apt-pbo) R 9397 9397 13759 34823 13904 4202496 24061 72567 0 293 1606 22 3858 91 18 0 1 0 416239335 77713408 18119 1283457024 134512640 135758360 4288999936 18446744073709551615 135027942 0 0 128 0 0 0 0 17 0 0 0 0 /proc/9399/statm: 18973 18119 5561 305 0 12609 0 [pid=9429] ppid=9399 vsize=0 CPUtime=20.32 /proc/9429/stat : 9429 (wbo) Z 9399 9397 13759 34823 13904 4202508 25036 0 0 0 2023 9 0 0 18 0 1 0 416244919 0 0 1283457024 0 0 0 0 0 0 0 0 3 18446744071564254338 0 0 17 1 0 0 0 /proc/9429/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 76.09 Current children cumulated vsize (KiB) 78272 Child status: 0 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 9397 and gives # childrusage.ru_utime.tv_sec=54 # childrusage.ru_utime.tv_usec=691418 # childrusage.ru_stime.tv_sec=1 # childrusage.ru_stime.tv_usec=168073 # CPU time returned by wait4() is 55.8595 # while last known CPU time is 76.09 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 76.6849 CPU time (s): 76.09 CPU user time (s): 74.87 CPU system time (s): 1.22 CPU usage (%): 99.2242 Max. virtual memory (cumulated for all children) (KiB): 128400 getrusage(RUSAGE_CHILDREN,...) data: user time used= 54.6914 system time used= 1.16807 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 100587 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= 17060 involuntary context switches= 10977 runsolver used 0.004 second user time and 0.032002 second system time The end