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/rand835640.cudf.impossible.log.runsolver ./apt-pbo-trendy-1.0.5 /home/misc2010/data/2010/impossible//rand835640.cudf /home/misc2010/tmp/201007051419/apt-pbo-trendy-1.0.5/rand835640.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.16 1.11 2/94 27432 /proc/meminfo: memFree=1204136/2097152 swapFree=2055620/2097144 [pid=27432] ppid=27431 vsize=2380 CPUtime=0 /proc/27432/stat : 27432 (sh) S 27431 27432 13759 34823 13904 4194304 355 0 0 0 0 0 0 0 23 0 1 0 417058673 2437120 261 1283457024 134512640 135191968 4292767328 18446744073709551615 4158824334 0 0 4 65536 18446744071564457842 0 0 17 1 0 0 0 /proc/27432/statm: 595 261 225 166 0 27 0 [pid=27433] ppid=27432 vsize=1460 CPUtime=0 /proc/27433/stat : 27433 (dirname) R 27432 27432 13759 34823 13904 4194304 252 0 0 0 0 0 0 0 18 0 1 0 417058673 1495040 55 1283457024 134512640 134534096 4287480224 18446744073709551615 4160527631 0 0 0 0 0 0 0 17 1 0 0 0 /proc/27433/statm: 365 63 51 6 0 10 0 [startup+0.203418 s] /proc/loadavg: 1.38 1.16 1.11 2/94 27432 /proc/meminfo: memFree=1204136/2097152 swapFree=2055620/2097144 [pid=27432] ppid=27431 vsize=2380 CPUtime=0 /proc/27432/stat : 27432 (sh) S 27431 27432 13759 34823 13904 4202496 385 309 0 0 0 0 0 0 23 0 1 0 417058673 2437120 262 1283457024 134512640 135191968 4292767328 18446744073709551615 4158663310 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/27432/statm: 595 262 226 166 0 27 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2380 [startup+0.378711 s] /proc/loadavg: 1.38 1.16 1.11 2/94 27432 /proc/meminfo: memFree=1204136/2097152 swapFree=2055620/2097144 [pid=27432] ppid=27431 vsize=2380 CPUtime=0 /proc/27432/stat : 27432 (sh) S 27431 27432 13759 34823 13904 4202496 385 309 0 0 0 0 0 0 23 0 1 0 417058673 2437120 262 1283457024 134512640 135191968 4292767328 18446744073709551615 4158663310 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/27432/statm: 595 262 226 166 0 27 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2380 [startup+0.406672 s] /proc/loadavg: 1.38 1.16 1.11 2/94 27432 /proc/meminfo: memFree=1204136/2097152 swapFree=2055620/2097144 [pid=27432] ppid=27431 vsize=2380 CPUtime=0 /proc/27432/stat : 27432 (sh) S 27431 27432 13759 34823 13904 4202496 385 309 0 0 0 0 0 0 23 0 1 0 417058673 2437120 262 1283457024 134512640 135191968 4292767328 18446744073709551615 4158663310 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/27432/statm: 595 262 226 166 0 27 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2380 [startup+0.7067 s] /proc/loadavg: 1.38 1.16 1.11 2/94 27432 /proc/meminfo: memFree=1204136/2097152 swapFree=2055620/2097144 [pid=27432] ppid=27431 vsize=2380 CPUtime=0 /proc/27432/stat : 27432 (sh) S 27431 27432 13759 34823 13904 4202496 385 309 0 0 0 0 0 0 23 0 1 0 417058673 2437120 262 1283457024 134512640 135191968 4292767328 18446744073709551615 4158663310 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/27432/statm: 595 262 226 166 0 27 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2380 [startup+1.50672 s] /proc/loadavg: 1.35 1.16 1.11 2/96 27437 /proc/meminfo: memFree=1191364/2097152 swapFree=2055620/2097144 [pid=27432] ppid=27431 vsize=2380 CPUtime=0 /proc/27432/stat : 27432 (sh) S 27431 27432 13759 34823 13904 4202496 385 309 0 0 0 0 0 0 23 0 1 0 417058673 2437120 262 1283457024 134512640 135191968 4292767328 18446744073709551615 4158663310 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/27432/statm: 595 262 226 166 0 27 0 [pid=27435] ppid=27432 vsize=17084 CPUtime=1.44 /proc/27435/stat : 27435 (apt-pbo) R 27432 27432 13759 34823 13904 4202496 4100 715 0 0 142 2 0 0 21 0 1 0 417058673 17494016 3656 1283457024 134512640 135758360 4288018704 18446744073709551615 4159481054 0 0 128 0 0 0 0 17 0 0 0 0 /proc/27435/statm: 4271 3656 628 305 0 3044 0 Current children cumulated CPU time (s) 1.44 Current children cumulated vsize (KiB) 19464 [startup+3.10678 s] /proc/loadavg: 1.35 1.16 1.11 2/96 27437 /proc/meminfo: memFree=1181072/2097152 swapFree=2055620/2097144 [pid=27432] ppid=27431 vsize=2380 CPUtime=0 /proc/27432/stat : 27432 (sh) S 27431 27432 13759 34823 13904 4202496 385 309 0 0 0 0 0 0 23 0 1 0 417058673 2437120 262 1283457024 134512640 135191968 4292767328 18446744073709551615 4158663310 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/27432/statm: 595 262 226 166 0 27 0 [pid=27435] ppid=27432 vsize=27780 CPUtime=3.04 /proc/27435/stat : 27435 (apt-pbo) R 27432 27432 13759 34823 13904 4202496 6763 715 0 0 302 2 0 0 25 0 1 0 417058673 28446720 6312 1283457024 134512640 135758360 4288018704 18446744073709551615 4158574949 0 0 128 0 0 0 0 17 0 0 0 0 /proc/27435/statm: 6945 6312 628 305 0 5718 0 Current children cumulated CPU time (s) 3.04 Current children cumulated vsize (KiB) 30160 [startup+6.30693 s] /proc/loadavg: 1.35 1.16 1.11 2/96 27437 /proc/meminfo: memFree=1151064/2097152 swapFree=2055620/2097144 [pid=27432] ppid=27431 vsize=2380 CPUtime=0 /proc/27432/stat : 27432 (sh) S 27431 27432 13759 34823 13904 4202496 385 309 0 0 0 0 0 0 23 0 1 0 417058673 2437120 262 1283457024 134512640 135191968 4292767328 18446744073709551615 4158663310 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/27432/statm: 595 262 226 166 0 27 0 [pid=27435] ppid=27432 vsize=48940 CPUtime=6.24 /proc/27435/stat : 27435 (apt-pbo) R 27432 27432 13759 34823 13904 4202496 12069 715 0 0 614 10 0 0 25 0 1 0 417058673 50114560 11616 1283457024 134512640 135758360 4288018704 18446744073709551615 4158574949 0 0 128 0 0 0 0 17 0 0 0 0 /proc/27435/statm: 12235 11616 628 305 0 11008 0 Current children cumulated CPU time (s) 6.24 Current children cumulated vsize (KiB) 51320 [startup+12.7072 s] /proc/loadavg: 1.30 1.15 1.11 2/98 27448 /proc/meminfo: memFree=1062124/2097152 swapFree=2055620/2097144 [pid=27432] ppid=27431 vsize=2380 CPUtime=0 /proc/27432/stat : 27432 (sh) S 27431 27432 13759 34823 13904 4202496 385 309 0 0 0 0 0 0 23 0 1 0 417058673 2437120 262 1283457024 134512640 135191968 4292767328 18446744073709551615 4158663310 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/27432/statm: 595 262 226 166 0 27 0 [pid=27435] ppid=27432 vsize=82216 CPUtime=11.19 /proc/27435/stat : 27435 (apt-pbo) S 27432 27432 13759 34823 13904 4202496 20920 715 0 0 1104 15 0 0 20 0 1 0 417058673 84189184 19922 1283457024 134512640 135758360 4288018704 18446744073709551615 4159481166 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/27435/statm: 20554 19922 628 305 0 19327 0 [pid=27438] ppid=27435 vsize=2380 CPUtime=0 /proc/27438/stat : 27438 (apt-get.sh) S 27435 27432 13759 34823 13904 4202496 386 614 0 0 0 0 0 0 18 0 1 0 417059796 2437120 260 1283457024 134512640 135191968 4287193312 18446744073709551615 4159584910 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/27438/statm: 595 260 223 166 0 27 0 [pid=27443] ppid=27438 vsize=52604 CPUtime=1.32 /proc/27443/stat : 27443 (apt-get) R 27438 27432 13759 34823 13904 4202496 5112 1615 276 0 77 1 51 3 18 0 1 0 417059800 53866496 5249 1283457024 134512640 134646397 4294424528 18446744073709551615 4159808431 0 0 4096 134217728 0 0 0 17 0 0 0 0 /proc/27443/statm: 13151 5249 5196 33 0 67 0 Current children cumulated CPU time (s) 12.51 Current children cumulated vsize (KiB) 139580 [startup+25.5078 s] /proc/loadavg: 1.33 1.16 1.11 2/97 27454 /proc/meminfo: memFree=943864/2097152 swapFree=2055620/2097144 [pid=27432] ppid=27431 vsize=2380 CPUtime=0 /proc/27432/stat : 27432 (sh) S 27431 27432 13759 34823 13904 4202496 385 309 0 0 0 0 0 0 23 0 1 0 417058673 2437120 262 1283457024 134512640 135191968 4292767328 18446744073709551615 4158663310 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/27432/statm: 595 262 226 166 0 27 0 [pid=27435] ppid=27432 vsize=128164 CPUtime=24.73 /proc/27435/stat : 27435 (apt-pbo) S 27432 27432 13759 34823 13904 4202496 32440 26645 0 588 1135 22 1221 95 18 0 1 0 417058673 131239936 30938 1283457024 134512640 135758360 4288018704 18446744073709551615 4159481166 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/27435/statm: 32041 30938 10363 305 0 20611 0 [pid=27454] ppid=27435 vsize=24596 CPUtime=0.37 /proc/27454/stat : 27454 (wbo) R 27435 27432 13759 34823 13904 4202496 4804 0 0 0 34 3 0 0 18 0 1 0 417061184 25186304 4737 1283457024 134512640 135709839 4292795968 18446744073709551615 135168571 0 0 0 3 0 0 0 17 1 0 0 0 /proc/27454/statm: 6149 4737 2660 293 0 2446 0 Current children cumulated CPU time (s) 25.1 Current children cumulated vsize (KiB) 155140 [startup+51.1049 s] /proc/loadavg: 1.21 1.15 1.10 2/98 27938 /proc/meminfo: memFree=826304/2097152 swapFree=2055620/2097144 [pid=27432] ppid=27431 vsize=2380 CPUtime=0 /proc/27432/stat : 27432 (sh) S 27431 27432 13759 34823 13904 4202496 385 309 0 0 0 0 0 0 23 0 1 0 417058673 2437120 262 1283457024 134512640 135191968 4292767328 18446744073709551615 4158663310 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/27432/statm: 595 262 226 166 0 27 0 [pid=27435] ppid=27432 vsize=128164 CPUtime=24.73 /proc/27435/stat : 27435 (apt-pbo) S 27432 27432 13759 34823 13904 4202496 32440 26645 0 588 1135 22 1221 95 18 0 1 0 417058673 131239936 30938 1283457024 134512640 135758360 4288018704 18446744073709551615 4159481166 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/27435/statm: 32041 30938 10363 305 0 20611 0 [pid=27454] ppid=27435 vsize=127760 CPUtime=25.72 /proc/27454/stat : 27454 (wbo) R 27435 27432 13759 34823 13904 4202496 73572 0 0 0 2538 34 0 0 18 0 1 0 417061184 130826240 31269 1283457024 134512640 135709839 4292795968 18446744073709551615 134529856 0 0 0 3 0 0 0 17 1 0 0 0 /proc/27454/statm: 31940 31269 133 293 0 31645 0 Current children cumulated CPU time (s) 50.45 Current children cumulated vsize (KiB) 258304 [startup+102.303 s] /proc/loadavg: 1.27 1.17 1.11 2/98 27947 /proc/meminfo: memFree=825584/2097152 swapFree=2055620/2097144 [pid=27432] ppid=27431 vsize=2380 CPUtime=0 /proc/27432/stat : 27432 (sh) S 27431 27432 13759 34823 13904 4202496 385 309 0 0 0 0 0 0 23 0 1 0 417058673 2437120 262 1283457024 134512640 135191968 4292767328 18446744073709551615 4158663310 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/27432/statm: 595 262 226 166 0 27 0 [pid=27435] ppid=27432 vsize=170540 CPUtime=88.63 /proc/27435/stat : 27435 (apt-pbo) S 27432 27432 13759 34823 13904 4202496 45448 112957 0 588 3845 30 4783 205 18 0 1 0 417058673 174632960 41496 1283457024 134512640 135758360 4288018704 18446744073709551615 4159481166 0 0 128 0 18446744071564457842 0 0 17 1 0 0 0 /proc/27435/statm: 42635 41496 10367 305 0 31205 0 [pid=27946] ppid=27435 vsize=74116 CPUtime=12.64 /proc/27946/stat : 27946 (wbo) R 27435 27432 13759 34823 13904 4202496 41279 0 0 0 1250 14 0 0 21 0 1 0 417067635 75894784 17839 1283457024 134512640 135709839 4289466464 18446744073709551615 134607408 0 0 0 3 0 0 0 17 0 0 0 0 /proc/27946/statm: 18529 17839 132 293 0 18234 0 Current children cumulated CPU time (s) 101.27 Current children cumulated vsize (KiB) 247036 [startup+162.313 s] /proc/loadavg: 1.23 1.16 1.11 2/98 27954 /proc/meminfo: memFree=573492/2097152 swapFree=2055620/2097144 [pid=27432] ppid=27431 vsize=2380 CPUtime=0 /proc/27432/stat : 27432 (sh) S 27431 27432 13759 34823 13904 4202496 385 309 0 0 0 0 0 0 23 0 1 0 417058673 2437120 262 1283457024 134512640 135191968 4292767328 18446744073709551615 4158663310 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/27432/statm: 595 262 226 166 0 27 0 [pid=27435] ppid=27432 vsize=170540 CPUtime=88.63 /proc/27435/stat : 27435 (apt-pbo) S 27432 27432 13759 34823 13904 4202496 45448 112957 0 588 3845 30 4783 205 18 0 1 0 417058673 174632960 41496 1283457024 134512640 135758360 4288018704 18446744073709551615 4159481166 0 0 128 0 18446744071564457842 0 0 17 1 0 0 0 /proc/27435/statm: 42635 41496 10367 305 0 31205 0 [pid=27946] ppid=27435 vsize=322904 CPUtime=72.64 /proc/27946/stat : 27946 (wbo) R 27435 27432 13759 34823 13904 4202496 194325 0 0 0 7174 90 0 0 18 0 1 0 417067635 330653696 80080 1283457024 134512640 135709839 4289466464 18446744073709551615 134518598 0 0 0 3 0 0 0 17 0 0 0 0 /proc/27946/statm: 80726 80080 132 293 0 80431 0 Current children cumulated CPU time (s) 161.27 Current children cumulated vsize (KiB) 495824 [startup+222.309 s] /proc/loadavg: 1.31 1.21 1.12 2/102 28928 /proc/meminfo: memFree=310168/2097152 swapFree=2055620/2097144 [pid=27432] ppid=27431 vsize=2380 CPUtime=0 /proc/27432/stat : 27432 (sh) S 27431 27432 13759 34823 13904 4202496 385 309 0 0 0 0 0 0 23 0 1 0 417058673 2437120 262 1283457024 134512640 135191968 4292767328 18446744073709551615 4158663310 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/27432/statm: 595 262 226 166 0 27 0 [pid=27435] ppid=27432 vsize=170540 CPUtime=88.63 /proc/27435/stat : 27435 (apt-pbo) S 27432 27432 13759 34823 13904 4202496 45448 112957 0 588 3845 30 4783 205 18 0 1 0 417058673 174632960 41496 1283457024 134512640 135758360 4288018704 18446744073709551615 4159481166 0 0 128 0 18446744071564457842 0 0 17 1 0 0 0 /proc/27435/statm: 42635 41496 10367 305 0 31205 0 [pid=27946] ppid=27435 vsize=583128 CPUtime=130.66 /proc/27946/stat : 27946 (wbo) R 27435 27432 13759 34823 13904 4202496 424367 0 0 0 12863 203 0 0 25 0 1 0 417067635 597123072 144914 1283457024 134512640 135709839 4289466464 18446744073709551615 135162139 0 0 0 3 0 0 0 17 0 0 0 0 /proc/27946/statm: 145782 144914 132 293 0 145487 0 Current children cumulated CPU time (s) 219.29 Current children cumulated vsize (KiB) 756048 [startup+282.305 s] /proc/loadavg: 1.21 1.20 1.12 2/97 28932 /proc/meminfo: memFree=68080/2097152 swapFree=2055620/2097144 [pid=27432] ppid=27431 vsize=2380 CPUtime=0 /proc/27432/stat : 27432 (sh) S 27431 27432 13759 34823 13904 4202496 385 309 0 0 0 0 0 0 23 0 1 0 417058673 2437120 262 1283457024 134512640 135191968 4292767328 18446744073709551615 4158663310 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/27432/statm: 595 262 226 166 0 27 0 [pid=27435] ppid=27432 vsize=170540 CPUtime=88.63 /proc/27435/stat : 27435 (apt-pbo) S 27432 27432 13759 34823 13904 4202496 45448 112957 0 588 3845 30 4783 205 18 0 1 0 417058673 174632960 41496 1283457024 134512640 135758360 4288018704 18446744073709551615 4159481166 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/27435/statm: 42635 41496 10367 305 0 31205 0 [pid=27946] ppid=27435 vsize=824588 CPUtime=190.59 /proc/27946/stat : 27946 (wbo) R 27435 27432 13759 34823 13904 4202496 655967 0 0 0 18713 346 0 0 18 0 1 0 417067635 844378112 205517 1283457024 134512640 135709839 4289466464 18446744073709551615 135232529 0 0 0 3 0 0 0 17 1 0 0 0 /proc/27946/statm: 206147 205517 134 293 0 205852 0 Current children cumulated CPU time (s) 279.22 Current children cumulated vsize (KiB) 997508 Maximum CPU time exceeded: sending signal-name then SIGKILL [startup+293.105 s] /proc/loadavg: 1.18 1.19 1.12 2/97 28932 /proc/meminfo: memFree=67956/2097152 swapFree=2055620/2097144 [pid=27432] ppid=27431 vsize=2380 CPUtime=0 /proc/27432/stat : 27432 (sh) S 27431 27432 13759 34823 13904 4202496 385 309 0 0 0 0 0 0 23 0 1 0 417058673 2437120 262 1283457024 134512640 135191968 4292767328 18446744073709551615 4158663310 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/27432/statm: 595 262 226 166 0 27 0 [pid=27435] ppid=27432 vsize=170540 CPUtime=88.63 /proc/27435/stat : 27435 (apt-pbo) S 27432 27432 13759 34823 13904 4202496 45448 112957 0 588 3845 30 4783 205 18 0 1 0 417058673 174632960 41496 1283457024 134512640 135758360 4288018704 18446744073709551615 4159481166 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/27435/statm: 42635 41496 10367 305 0 31205 0 [pid=27946] ppid=27435 vsize=825416 CPUtime=201.39 /proc/27946/stat : 27946 (wbo) R 27435 27432 13759 34823 13904 4202496 656449 0 0 0 19784 355 0 0 25 0 1 0 417067635 845225984 205697 1283457024 134512640 135709839 4289466464 18446744073709551615 135232529 0 0 0 3 0 0 0 17 1 0 0 0 /proc/27946/statm: 206354 205697 134 293 0 206059 0 Current children cumulated CPU time (s) 290.02 Current children cumulated vsize (KiB) 998336 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+293.105 s] /proc/loadavg: 1.18 1.19 1.12 2/97 28932 /proc/meminfo: memFree=67956/2097152 swapFree=2055620/2097144 [pid=27432] ppid=27431 vsize=2380 CPUtime=0 /proc/27432/stat : 27432 (sh) S 27431 27432 13759 34823 13904 4202496 385 309 0 0 0 0 0 0 23 0 1 0 417058673 2437120 262 1283457024 134512640 135191968 4292767328 18446744073709551615 4158663310 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/27432/statm: 595 262 226 166 0 27 0 [pid=27435] ppid=27432 vsize=170540 CPUtime=88.63 /proc/27435/stat : 27435 (apt-pbo) S 27432 27432 13759 34823 13904 4202496 45448 112957 0 588 3845 30 4783 205 18 0 1 0 417058673 174632960 41496 1283457024 134512640 135758360 4288018704 18446744073709551615 4159481166 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/27435/statm: 42635 41496 10367 305 0 31205 0 [pid=27946] ppid=27435 vsize=825416 CPUtime=201.39 /proc/27946/stat : 27946 (wbo) R 27435 27432 13759 34823 13904 4202496 656449 0 0 0 19784 355 0 0 25 0 1 0 417067635 845225984 205697 1283457024 134512640 135709839 4289466464 18446744073709551615 135232529 0 0 0 3 0 0 0 17 1 0 0 0 /proc/27946/statm: 206354 205697 134 293 0 206059 0 Current children cumulated CPU time (s) 290.02 Current children cumulated vsize (KiB) 998336 Child ended because it received signal 10 (SIGUSR1) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 27432 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=0 # CPU time returned by wait4() is 0 # 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): 293.167 CPU time (s): 290.02 CPU user time (s): 284.12 CPU system time (s): 5.9 CPU usage (%): 98.9266 Max. virtual memory (cumulated for all children) (KiB): 999872 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0 system time used= 0 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 694 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= 16 involuntary context switches= 2 runsolver used 0.020001 second user time and 0.032002 second system time The end