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/rand7b4167.cudf.difficult.log.runsolver ./apt-pbo-trendy-1.0.5 /home/misc2010/data/2010/difficult//rand7b4167.cudf /home/misc2010/tmp/201007051419/apt-pbo-trendy-1.0.5/rand7b4167.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: 0.91 0.99 1.04 2/94 31267 /proc/meminfo: memFree=1283024/2097152 swapFree=2055620/2097144 [pid=31267] ppid=31266 vsize=2380 CPUtime=0 /proc/31267/stat : 31267 (sh) R 31266 31267 13759 34823 13904 4202496 382 309 0 0 0 0 0 0 22 0 1 0 417195640 2437120 264 1283457024 134512640 135191968 4294092704 18446744073709551615 4158826399 0 0 4 65536 0 0 0 17 1 0 0 0 /proc/31267/statm: 595 264 226 166 0 27 0 [pid=31269] ppid=31267 vsize=2380 CPUtime=0 /proc/31269/stat : 31269 (sh) S 31267 31267 13759 34823 13904 4202560 57 0 0 0 0 0 0 0 25 0 1 0 417195641 2437120 82 1283457024 134512640 135191968 4294092704 18446744073709551615 4158969114 0 2147483391 0 0 18446744071697298955 0 0 17 1 0 0 0 /proc/31269/statm: 595 82 43 166 0 27 0 [startup+0.184772 s] /proc/loadavg: 0.91 0.99 1.04 2/94 31267 /proc/meminfo: memFree=1283024/2097152 swapFree=2055620/2097144 [pid=31267] ppid=31266 vsize=2380 CPUtime=0 /proc/31267/stat : 31267 (sh) S 31266 31267 13759 34823 13904 4202496 388 309 0 0 0 0 0 0 22 0 1 0 417195640 2437120 264 1283457024 134512640 135191968 4294092704 18446744073709551615 4158966414 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/31267/statm: 595 264 226 166 0 27 0 [pid=31269] ppid=31267 vsize=8320 CPUtime=0.14 /proc/31269/stat : 31269 (apt-pbo) R 31267 31267 13759 34823 13904 4202496 1854 718 0 0 13 1 0 0 25 0 1 0 417195641 8519680 1449 1283457024 134512640 135758360 4292711824 18446744073709551615 4158651260 0 0 128 0 0 0 0 17 0 0 0 0 /proc/31269/statm: 2080 1449 628 305 0 853 0 Current children cumulated CPU time (s) 0.14 Current children cumulated vsize (KiB) 10700 [startup+0.20477 s] /proc/loadavg: 0.91 0.99 1.04 2/94 31267 /proc/meminfo: memFree=1283024/2097152 swapFree=2055620/2097144 [pid=31267] ppid=31266 vsize=2380 CPUtime=0 /proc/31267/stat : 31267 (sh) S 31266 31267 13759 34823 13904 4202496 388 309 0 0 0 0 0 0 22 0 1 0 417195640 2437120 264 1283457024 134512640 135191968 4294092704 18446744073709551615 4158966414 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/31267/statm: 595 264 226 166 0 27 0 [pid=31269] ppid=31267 vsize=8452 CPUtime=0.16 /proc/31269/stat : 31269 (apt-pbo) R 31267 31267 13759 34823 13904 4202496 1893 718 0 0 15 1 0 0 25 0 1 0 417195641 8654848 1488 1283457024 134512640 135758360 4292711824 18446744073709551615 135145168 0 0 128 0 0 0 0 17 0 0 0 0 /proc/31269/statm: 2113 1488 628 305 0 886 0 Current children cumulated CPU time (s) 0.16 Current children cumulated vsize (KiB) 10832 [startup+0.304785 s] /proc/loadavg: 0.91 0.99 1.04 2/94 31267 /proc/meminfo: memFree=1283024/2097152 swapFree=2055620/2097144 [pid=31267] ppid=31266 vsize=2380 CPUtime=0 /proc/31267/stat : 31267 (sh) S 31266 31267 13759 34823 13904 4202496 388 309 0 0 0 0 0 0 22 0 1 0 417195640 2437120 264 1283457024 134512640 135191968 4294092704 18446744073709551615 4158966414 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/31267/statm: 595 264 226 166 0 27 0 [pid=31269] ppid=31267 vsize=9112 CPUtime=0.26 /proc/31269/stat : 31269 (apt-pbo) R 31267 31267 13759 34823 13904 4202496 2049 718 0 0 25 1 0 0 25 0 1 0 417195641 9330688 1644 1283457024 134512640 135758360 4292711824 18446744073709551615 135016144 0 0 128 0 0 0 0 17 0 0 0 0 /proc/31269/statm: 2278 1644 628 305 0 1051 0 Current children cumulated CPU time (s) 0.26 Current children cumulated vsize (KiB) 11492 [startup+0.704854 s] /proc/loadavg: 0.91 0.99 1.04 2/94 31267 /proc/meminfo: memFree=1283024/2097152 swapFree=2055620/2097144 [pid=31267] ppid=31266 vsize=2380 CPUtime=0 /proc/31267/stat : 31267 (sh) S 31266 31267 13759 34823 13904 4202496 388 309 0 0 0 0 0 0 22 0 1 0 417195640 2437120 264 1283457024 134512640 135191968 4294092704 18446744073709551615 4158966414 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/31267/statm: 595 264 226 166 0 27 0 [pid=31269] ppid=31267 vsize=11784 CPUtime=0.66 /proc/31269/stat : 31269 (apt-pbo) R 31267 31267 13759 34823 13904 4202496 2767 718 0 0 65 1 0 0 25 0 1 0 417195641 12066816 2329 1283457024 134512640 135758360 4292711824 18446744073709551615 134909377 0 0 128 0 0 0 0 17 0 0 0 0 /proc/31269/statm: 2946 2329 628 305 0 1719 0 Current children cumulated CPU time (s) 0.66 Current children cumulated vsize (KiB) 14164 [startup+1.50503 s] /proc/loadavg: 0.91 0.99 1.04 2/96 31272 /proc/meminfo: memFree=1271484/2097152 swapFree=2055620/2097144 [pid=31267] ppid=31266 vsize=2380 CPUtime=0 /proc/31267/stat : 31267 (sh) S 31266 31267 13759 34823 13904 4202496 388 309 0 0 0 0 0 0 22 0 1 0 417195640 2437120 264 1283457024 134512640 135191968 4294092704 18446744073709551615 4158966414 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/31267/statm: 595 264 226 166 0 27 0 [pid=31269] ppid=31267 vsize=17080 CPUtime=1.46 /proc/31269/stat : 31269 (apt-pbo) R 31267 31267 13759 34823 13904 4202496 4099 718 0 0 142 4 0 0 25 0 1 0 417195641 17489920 3655 1283457024 134512640 135758360 4292711824 18446744073709551615 135510489 0 0 128 0 0 0 0 17 0 0 0 0 /proc/31269/statm: 4270 3655 628 305 0 3043 0 Current children cumulated CPU time (s) 1.46 Current children cumulated vsize (KiB) 19460 [startup+3.10522 s] /proc/loadavg: 0.91 0.99 1.04 2/96 31272 /proc/meminfo: memFree=1261068/2097152 swapFree=2055620/2097144 [pid=31267] ppid=31266 vsize=2380 CPUtime=0 /proc/31267/stat : 31267 (sh) S 31266 31267 13759 34823 13904 4202496 388 309 0 0 0 0 0 0 22 0 1 0 417195640 2437120 264 1283457024 134512640 135191968 4294092704 18446744073709551615 4158966414 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/31267/statm: 595 264 226 166 0 27 0 [pid=31269] ppid=31267 vsize=27752 CPUtime=3.06 /proc/31269/stat : 31269 (apt-pbo) R 31267 31267 13759 34823 13904 4202496 6758 718 0 0 302 4 0 0 25 0 1 0 417195641 28418048 6307 1283457024 134512640 135758360 4292711824 18446744073709551615 135344063 0 0 128 0 0 0 0 17 0 0 0 0 /proc/31269/statm: 6938 6307 628 305 0 5711 0 Current children cumulated CPU time (s) 3.06 Current children cumulated vsize (KiB) 30132 [startup+6.30682 s] /proc/loadavg: 0.91 0.99 1.04 2/96 31272 /proc/meminfo: memFree=1231184/2097152 swapFree=2055620/2097144 [pid=31267] ppid=31266 vsize=2380 CPUtime=0 /proc/31267/stat : 31267 (sh) S 31266 31267 13759 34823 13904 4202496 388 309 0 0 0 0 0 0 22 0 1 0 417195640 2437120 264 1283457024 134512640 135191968 4294092704 18446744073709551615 4158966414 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/31267/statm: 595 264 226 166 0 27 0 [pid=31269] ppid=31267 vsize=44048 CPUtime=5.47 /proc/31269/stat : 31269 (apt-pbo) S 31267 31267 13759 34823 13904 4202496 10868 718 0 0 541 6 0 0 23 0 1 0 417195641 45105152 10381 1283457024 134512640 135758360 4292711824 18446744073709551615 4159550798 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/31269/statm: 11012 10381 628 305 0 9785 0 Current children cumulated CPU time (s) 5.47 Current children cumulated vsize (KiB) 46428 [startup+12.7058 s] /proc/loadavg: 1.09 1.02 1.05 2/97 31287 /proc/meminfo: memFree=1163716/2097152 swapFree=2055620/2097144 [pid=31267] ppid=31266 vsize=2380 CPUtime=0 /proc/31267/stat : 31267 (sh) S 31266 31267 13759 34823 13904 4202496 388 309 0 0 0 0 0 0 22 0 1 0 417195640 2437120 264 1283457024 134512640 135191968 4294092704 18446744073709551615 4158966414 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/31267/statm: 595 264 226 166 0 27 0 [pid=31269] ppid=31267 vsize=68984 CPUtime=8.84 /proc/31269/stat : 31269 (apt-pbo) S 31267 31267 13759 34823 13904 4202496 17315 16686 0 293 558 10 290 26 18 0 1 0 417195641 70639616 16400 1283457024 134512640 135758360 4292711824 18446744073709551615 4159550798 0 0 128 0 18446744071564457842 0 0 17 1 0 0 0 /proc/31269/statm: 17246 16400 5557 305 0 10882 0 [pid=31287] ppid=31269 vsize=14024 CPUtime=3.66 /proc/31287/stat : 31287 (wbo) R 31269 31267 13759 34823 13904 4202496 5634 0 0 0 358 8 0 0 20 0 1 0 417196542 14360576 3005 1283457024 134512640 135709839 4293504752 18446744073709551615 135190367 0 0 0 3 0 0 0 17 0 0 0 0 /proc/31287/statm: 3506 3005 132 293 0 3211 0 Current children cumulated CPU time (s) 12.5 Current children cumulated vsize (KiB) 85388 [startup+25.5055 s] /proc/loadavg: 1.15 1.04 1.06 2/97 31293 /proc/meminfo: memFree=1155556/2097152 swapFree=2055620/2097144 [pid=31267] ppid=31266 vsize=2380 CPUtime=0 /proc/31267/stat : 31267 (sh) S 31266 31267 13759 34823 13904 4202496 388 309 0 0 0 0 0 0 22 0 1 0 417195640 2437120 264 1283457024 134512640 135191968 4294092704 18446744073709551615 4158966414 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/31267/statm: 595 264 226 166 0 27 0 [pid=31269] ppid=31267 vsize=71448 CPUtime=20.79 /proc/31269/stat : 31269 (apt-pbo) S 31267 31267 13759 34823 13904 4202496 19366 31893 0 293 1028 12 986 53 18 0 1 0 417195641 73162752 17027 1283457024 134512640 135758360 4292711824 18446744073709551615 4159550798 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/31269/statm: 17862 17027 5561 305 0 11498 0 [pid=31292] ppid=31269 vsize=15684 CPUtime=4.42 /proc/31292/stat : 31292 (wbo) R 31269 31267 13759 34823 13904 4202496 6963 0 0 0 438 4 0 0 18 0 1 0 417197744 16060416 3436 1283457024 134512640 135709839 4292607504 18446744073709551615 134607456 0 0 0 3 0 0 0 17 1 0 0 0 /proc/31292/statm: 3921 3436 132 293 0 3626 0 Current children cumulated CPU time (s) 25.21 Current children cumulated vsize (KiB) 89512 [startup+51.1067 s] /proc/loadavg: 1.10 1.04 1.05 2/97 31294 /proc/meminfo: memFree=1117892/2097152 swapFree=2055620/2097144 [pid=31267] ppid=31266 vsize=2380 CPUtime=0 /proc/31267/stat : 31267 (sh) S 31266 31267 13759 34823 13904 4202496 388 309 0 0 0 0 0 0 22 0 1 0 417195640 2437120 264 1283457024 134512640 135191968 4294092704 18446744073709551615 4158966414 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/31267/statm: 595 264 226 166 0 27 0 [pid=31269] ppid=31267 vsize=71448 CPUtime=20.79 /proc/31269/stat : 31269 (apt-pbo) S 31267 31267 13759 34823 13904 4202496 19366 31893 0 293 1028 12 986 53 18 0 1 0 417195641 73162752 17027 1283457024 134512640 135758360 4292711824 18446744073709551615 4159550798 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/31269/statm: 17862 17027 5561 305 0 11498 0 [pid=31292] ppid=31269 vsize=54096 CPUtime=29.98 /proc/31292/stat : 31292 (wbo) R 31269 31267 13759 34823 13904 4202496 21795 0 0 0 2977 21 0 0 25 0 1 0 417197744 55394304 13049 1283457024 134512640 135709839 4292607504 18446744073709551615 135232529 0 0 0 3 0 0 0 17 1 0 0 0 /proc/31292/statm: 13524 13049 134 293 0 13229 0 Current children cumulated CPU time (s) 50.77 Current children cumulated vsize (KiB) 127924 [startup+102.305 s] /proc/loadavg: 1.04 1.03 1.05 2/97 31298 /proc/meminfo: memFree=1062356/2097152 swapFree=2055620/2097144 [pid=31267] ppid=31266 vsize=2380 CPUtime=0 /proc/31267/stat : 31267 (sh) S 31266 31267 13759 34823 13904 4202496 388 309 0 0 0 0 0 0 22 0 1 0 417195640 2437120 264 1283457024 134512640 135191968 4294092704 18446744073709551615 4158966414 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/31267/statm: 595 264 226 166 0 27 0 [pid=31269] ppid=31267 vsize=71448 CPUtime=20.79 /proc/31269/stat : 31269 (apt-pbo) S 31267 31267 13759 34823 13904 4202496 19366 31893 0 293 1028 12 986 53 18 0 1 0 417195641 73162752 17027 1283457024 134512640 135758360 4292711824 18446744073709551615 4159550798 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/31269/statm: 17862 17027 5561 305 0 11498 0 [pid=31292] ppid=31269 vsize=108384 CPUtime=81.11 /proc/31292/stat : 31292 (wbo) R 31269 31267 13759 34823 13904 4202496 35233 0 0 0 8053 58 0 0 25 0 1 0 417197744 110985216 26487 1283457024 134512640 135709839 4292607504 18446744073709551615 135232529 0 0 0 3 0 0 0 17 1 0 0 0 /proc/31292/statm: 27096 26487 134 293 0 26801 0 Current children cumulated CPU time (s) 101.9 Current children cumulated vsize (KiB) 182212 [startup+162.308 s] /proc/loadavg: 1.01 1.02 1.04 2/98 31304 /proc/meminfo: memFree=981128/2097152 swapFree=2055620/2097144 [pid=31267] ppid=31266 vsize=2380 CPUtime=0 /proc/31267/stat : 31267 (sh) S 31266 31267 13759 34823 13904 4202496 388 309 0 0 0 0 0 0 22 0 1 0 417195640 2437120 264 1283457024 134512640 135191968 4294092704 18446744073709551615 4158966414 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/31267/statm: 595 264 226 166 0 27 0 [pid=31269] ppid=31267 vsize=71448 CPUtime=20.79 /proc/31269/stat : 31269 (apt-pbo) S 31267 31267 13759 34823 13904 4202496 19366 31893 0 293 1028 12 986 53 18 0 1 0 417195641 73162752 17027 1283457024 134512640 135758360 4292711824 18446744073709551615 4159550798 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/31269/statm: 17862 17027 5561 305 0 11498 0 [pid=31292] ppid=31269 vsize=191756 CPUtime=141.04 /proc/31292/stat : 31292 (wbo) R 31269 31267 13759 34823 13904 4202496 56033 0 0 0 13988 116 0 0 25 0 1 0 417197744 196358144 47287 1283457024 134512640 135709839 4292607504 18446744073709551615 135232529 0 0 0 3 0 0 0 17 1 0 0 0 /proc/31292/statm: 47939 47287 134 293 0 47644 0 Current children cumulated CPU time (s) 161.83 Current children cumulated vsize (KiB) 265584 [startup+222.306 s] /proc/loadavg: 1.00 1.02 1.04 2/98 31788 /proc/meminfo: memFree=939340/2097152 swapFree=2055620/2097144 [pid=31267] ppid=31266 vsize=2380 CPUtime=0 /proc/31267/stat : 31267 (sh) S 31266 31267 13759 34823 13904 4202496 388 309 0 0 0 0 0 0 22 0 1 0 417195640 2437120 264 1283457024 134512640 135191968 4294092704 18446744073709551615 4158966414 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/31267/statm: 595 264 226 166 0 27 0 [pid=31269] ppid=31267 vsize=71448 CPUtime=20.79 /proc/31269/stat : 31269 (apt-pbo) S 31267 31267 13759 34823 13904 4202496 19366 31893 0 293 1028 12 986 53 18 0 1 0 417195641 73162752 17027 1283457024 134512640 135758360 4292711824 18446744073709551615 4159550798 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/31269/statm: 17862 17027 5561 305 0 11498 0 [pid=31292] ppid=31269 vsize=230944 CPUtime=200.52 /proc/31292/stat : 31292 (wbo) R 31269 31267 13759 34823 13904 4202496 65909 0 0 0 19905 147 0 0 25 0 1 0 417197744 236486656 57087 1283457024 134512640 135709839 4292607504 18446744073709551615 135232529 0 0 0 3 0 0 0 17 1 0 0 0 /proc/31292/statm: 57736 57087 134 293 0 57441 0 Current children cumulated CPU time (s) 221.31 Current children cumulated vsize (KiB) 304772 [startup+282.305 s] /proc/loadavg: 1.00 1.01 1.03 2/97 31792 /proc/meminfo: memFree=932528/2097152 swapFree=2055620/2097144 [pid=31267] ppid=31266 vsize=2380 CPUtime=0 /proc/31267/stat : 31267 (sh) S 31266 31267 13759 34823 13904 4202496 388 309 0 0 0 0 0 0 22 0 1 0 417195640 2437120 264 1283457024 134512640 135191968 4294092704 18446744073709551615 4158966414 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/31267/statm: 595 264 226 166 0 27 0 [pid=31269] ppid=31267 vsize=71448 CPUtime=20.79 /proc/31269/stat : 31269 (apt-pbo) S 31267 31267 13759 34823 13904 4202496 19366 31893 0 293 1028 12 986 53 18 0 1 0 417195641 73162752 17027 1283457024 134512640 135758360 4292711824 18446744073709551615 4159550798 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/31269/statm: 17862 17027 5561 305 0 11498 0 [pid=31292] ppid=31269 vsize=238548 CPUtime=260.45 /proc/31292/stat : 31292 (wbo) R 31269 31267 13759 34823 13904 4202496 67882 0 0 0 25889 156 0 0 25 0 1 0 417197744 244273152 59060 1283457024 134512640 135709839 4292607504 18446744073709551615 135232529 0 0 0 3 0 0 0 17 1 0 0 0 /proc/31292/statm: 59637 59060 134 293 0 59342 0 Current children cumulated CPU time (s) 281.24 Current children cumulated vsize (KiB) 312376 Maximum CPU time exceeded: sending signal-name then SIGKILL [startup+291.105 s] /proc/loadavg: 1.00 1.01 1.03 2/97 31793 /proc/meminfo: memFree=927436/2097152 swapFree=2055620/2097144 [pid=31267] ppid=31266 vsize=2380 CPUtime=0 /proc/31267/stat : 31267 (sh) S 31266 31267 13759 34823 13904 4202496 388 309 0 0 0 0 0 0 22 0 1 0 417195640 2437120 264 1283457024 134512640 135191968 4294092704 18446744073709551615 4158966414 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/31267/statm: 595 264 226 166 0 27 0 [pid=31269] ppid=31267 vsize=71448 CPUtime=20.79 /proc/31269/stat : 31269 (apt-pbo) S 31267 31267 13759 34823 13904 4202496 19366 31893 0 293 1028 12 986 53 18 0 1 0 417195641 73162752 17027 1283457024 134512640 135758360 4292711824 18446744073709551615 4159550798 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/31269/statm: 17862 17027 5561 305 0 11498 0 [pid=31292] ppid=31269 vsize=243148 CPUtime=269.23 /proc/31292/stat : 31292 (wbo) R 31269 31267 13759 34823 13904 4202496 69012 0 0 0 26765 158 0 0 25 0 1 0 417197744 248983552 60190 1283457024 134512640 135709839 4292607504 18446744073709551615 135232529 0 0 0 3 0 0 0 17 1 0 0 0 /proc/31292/statm: 60787 60190 134 293 0 60492 0 Current children cumulated CPU time (s) 290.02 Current children cumulated vsize (KiB) 316976 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 status: 138 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 31267 and gives # childrusage.ru_utime.tv_sec=20 # childrusage.ru_utime.tv_usec=149259 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=672042 # CPU time returned by wait4() is 20.8213 # 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.132 CPU time (s): 290.02 CPU user time (s): 287.79 CPU system time (s): 2.23 CPU usage (%): 99.6179 Max. virtual memory (cumulated for all children) (KiB): 316976 getrusage(RUSAGE_CHILDREN,...) data: user time used= 20.1493 system time used= 0.672042 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 51968 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= 8964 involuntary context switches= 722 runsolver used 0.040002 second user time and 0.060003 second system time The end