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/randf406d5.cudf.difficult.log.runsolver ./apt-pbo-paranoid-1.0.5 /home/misc2010/data/2010/difficult//randf406d5.cudf /home/misc2010/tmp/201007051419/apt-pbo-paranoid-1.0.5/randf406d5.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.04 1.05 1/94 8403 /proc/meminfo: memFree=1291472/2097152 swapFree=2055620/2097144 [pid=8403] ppid=8402 vsize=2380 CPUtime=0 /proc/8403/stat : 8403 (sh) R 8402 8403 13759 34823 13904 4202496 370 309 0 0 0 0 0 0 19 0 1 0 419061625 2437120 262 1283457024 134512640 135191968 4292447760 18446744073709551615 4159230608 0 65538 4 65536 0 0 0 17 1 0 0 0 /proc/8403/statm: 595 262 226 166 0 27 0 [pid=8405] ppid=8403 vsize=2380 CPUtime=0 /proc/8405/stat : 8405 (sh) R 8403 8403 13759 34823 13904 4202560 57 0 0 0 0 0 0 0 19 0 1 0 419061626 2437120 80 1283457024 134512640 135191968 4292447760 18446744073709551615 4159231258 0 2147483391 0 0 0 0 0 17 1 0 0 0 /proc/8405/statm: 595 80 43 166 0 27 0 [startup+0.16277 s] /proc/loadavg: 1.02 1.04 1.05 1/94 8403 /proc/meminfo: memFree=1291472/2097152 swapFree=2055620/2097144 [pid=8403] ppid=8402 vsize=2380 CPUtime=0 /proc/8403/stat : 8403 (sh) S 8402 8403 13759 34823 13904 4202496 386 309 0 0 0 0 0 0 19 0 1 0 419061625 2437120 262 1283457024 134512640 135191968 4292447760 18446744073709551615 4159228558 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/8403/statm: 595 262 226 166 0 27 0 [pid=8405] ppid=8403 vsize=3384 CPUtime=0 /proc/8405/stat : 8405 (apt-pbo) S 8403 8403 13759 34823 13904 4202496 488 0 0 0 0 0 0 0 20 0 1 0 419061626 3465216 420 1283457024 134512640 135758360 4288864736 18446744073709551615 4159150894 0 2147483391 128 0 18446744071697298955 0 0 17 0 0 0 0 /proc/8405/statm: 846 420 345 305 0 121 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5764 [startup+0.206689 s] /proc/loadavg: 1.02 1.04 1.05 1/94 8403 /proc/meminfo: memFree=1291472/2097152 swapFree=2055620/2097144 [pid=8403] ppid=8402 vsize=2380 CPUtime=0 /proc/8403/stat : 8403 (sh) S 8402 8403 13759 34823 13904 4202496 386 309 0 0 0 0 0 0 19 0 1 0 419061625 2437120 262 1283457024 134512640 135191968 4292447760 18446744073709551615 4159228558 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/8403/statm: 595 262 226 166 0 27 0 [pid=8405] ppid=8403 vsize=3776 CPUtime=0 /proc/8405/stat : 8405 (apt-pbo) S 8403 8403 13759 34823 13904 4202496 631 0 0 0 0 0 0 0 19 0 1 0 419061626 3866624 563 1283457024 134512640 135758360 4288864736 18446744073709551615 4159150894 0 2147483391 128 0 18446744071697298955 0 0 17 0 0 0 0 /proc/8405/statm: 944 563 377 305 0 219 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 6156 [startup+0.306692 s] /proc/loadavg: 1.02 1.04 1.05 1/94 8403 /proc/meminfo: memFree=1291472/2097152 swapFree=2055620/2097144 [pid=8403] ppid=8402 vsize=2380 CPUtime=0 /proc/8403/stat : 8403 (sh) S 8402 8403 13759 34823 13904 4202496 386 309 0 0 0 0 0 0 19 0 1 0 419061625 2437120 262 1283457024 134512640 135191968 4292447760 18446744073709551615 4159228558 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/8403/statm: 595 262 226 166 0 27 0 [pid=8405] ppid=8403 vsize=4720 CPUtime=0.01 /proc/8405/stat : 8405 (apt-pbo) S 8403 8403 13759 34823 13904 4202496 878 0 0 0 1 0 0 0 19 0 1 0 419061626 4833280 803 1283457024 134512640 135758360 4288864736 18446744073709551615 4159150894 0 2147483391 128 0 18446744071697298955 0 0 17 0 0 0 0 /proc/8405/statm: 1180 803 392 305 0 451 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 7100 [startup+0.710821 s] /proc/loadavg: 1.02 1.04 1.05 1/94 8403 /proc/meminfo: memFree=1291472/2097152 swapFree=2055620/2097144 [pid=8403] ppid=8402 vsize=2380 CPUtime=0 /proc/8403/stat : 8403 (sh) S 8402 8403 13759 34823 13904 4202496 386 309 0 0 0 0 0 0 19 0 1 0 419061625 2437120 262 1283457024 134512640 135191968 4292447760 18446744073709551615 4159228558 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/8403/statm: 595 262 226 166 0 27 0 [pid=8405] ppid=8403 vsize=9776 CPUtime=0.33 /proc/8405/stat : 8405 (apt-pbo) R 8403 8403 13759 34823 13904 4202496 2252 716 0 0 33 0 0 0 18 0 1 0 419061626 10010624 1814 1283457024 134512640 135758360 4288864736 18446744073709551615 134970267 0 0 128 0 0 0 0 17 0 0 0 0 /proc/8405/statm: 2444 1814 628 305 0 1217 0 Current children cumulated CPU time (s) 0.33 Current children cumulated vsize (KiB) 12156 [startup+1.51107 s] /proc/loadavg: 1.02 1.04 1.05 2/96 8408 /proc/meminfo: memFree=1281304/2097152 swapFree=2055620/2097144 [pid=8403] ppid=8402 vsize=2380 CPUtime=0 /proc/8403/stat : 8403 (sh) S 8402 8403 13759 34823 13904 4202496 386 309 0 0 0 0 0 0 19 0 1 0 419061625 2437120 262 1283457024 134512640 135191968 4292447760 18446744073709551615 4159228558 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/8403/statm: 595 262 226 166 0 27 0 [pid=8405] ppid=8403 vsize=15096 CPUtime=1.12 /proc/8405/stat : 8405 (apt-pbo) R 8403 8403 13759 34823 13904 4202496 3597 716 0 0 109 3 0 0 20 0 1 0 419061626 15458304 3153 1283457024 134512640 135758360 4288864736 18446744073709551615 135510080 0 0 128 0 0 0 0 17 0 0 0 0 /proc/8405/statm: 3774 3153 628 305 0 2547 0 Current children cumulated CPU time (s) 1.12 Current children cumulated vsize (KiB) 17476 [startup+3.11132 s] /proc/loadavg: 1.02 1.04 1.05 2/96 8408 /proc/meminfo: memFree=1268180/2097152 swapFree=2055620/2097144 [pid=8403] ppid=8402 vsize=2380 CPUtime=0 /proc/8403/stat : 8403 (sh) S 8402 8403 13759 34823 13904 4202496 386 309 0 0 0 0 0 0 19 0 1 0 419061625 2437120 262 1283457024 134512640 135191968 4292447760 18446744073709551615 4159228558 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/8403/statm: 595 262 226 166 0 27 0 [pid=8405] ppid=8403 vsize=25628 CPUtime=2.72 /proc/8405/stat : 8405 (apt-pbo) R 8403 8403 13759 34823 13904 4202496 6235 716 0 0 267 5 0 0 25 0 1 0 419061626 26243072 5784 1283457024 134512640 135758360 4288864736 18446744073709551615 134980416 0 0 128 0 0 0 0 17 0 0 0 0 /proc/8405/statm: 6407 5784 628 305 0 5180 0 Current children cumulated CPU time (s) 2.72 Current children cumulated vsize (KiB) 28008 [startup+6.31434 s] /proc/loadavg: 1.02 1.04 1.05 2/96 8408 /proc/meminfo: memFree=1230760/2097152 swapFree=2055620/2097144 [pid=8403] ppid=8402 vsize=2380 CPUtime=0 /proc/8403/stat : 8403 (sh) S 8402 8403 13759 34823 13904 4202496 386 309 0 0 0 0 0 0 19 0 1 0 419061625 2437120 262 1283457024 134512640 135191968 4292447760 18446744073709551615 4159228558 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/8403/statm: 595 262 226 166 0 27 0 [pid=8405] ppid=8403 vsize=44020 CPUtime=5.49 /proc/8405/stat : 8405 (apt-pbo) S 8403 8403 13759 34823 13904 4202496 10867 716 0 0 539 10 0 0 22 0 1 0 419061626 45076480 10381 1283457024 134512640 135758360 4288864736 18446744073709551615 4159739214 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/8405/statm: 11005 10381 628 305 0 9778 0 Current children cumulated CPU time (s) 5.49 Current children cumulated vsize (KiB) 46400 [startup+12.7072 s] /proc/loadavg: 1.10 1.05 1.06 2/97 8423 /proc/meminfo: memFree=1168272/2097152 swapFree=2055620/2097144 [pid=8403] ppid=8402 vsize=2380 CPUtime=0 /proc/8403/stat : 8403 (sh) S 8402 8403 13759 34823 13904 4202496 386 309 0 0 0 0 0 0 19 0 1 0 419061625 2437120 262 1283457024 134512640 135191968 4292447760 18446744073709551615 4159228558 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/8403/statm: 595 262 226 166 0 27 0 [pid=8405] ppid=8403 vsize=73432 CPUtime=10.48 /proc/8405/stat : 8405 (apt-pbo) R 8403 8403 13759 34823 13904 4202496 18695 16653 0 293 827 12 190 19 22 0 1 0 419061626 75194368 17530 1283457024 134512640 135758360 4288864736 18446744073709551615 4158856375 0 0 128 0 0 0 0 17 1 0 0 0 /proc/8405/statm: 18358 17530 5559 305 0 11994 0 [pid=8422] ppid=8405 vsize=0 CPUtime=1.6 /proc/8422/stat : 8422 (wbo) Z 8405 8403 13759 34823 13904 4202508 2926 0 0 0 156 4 0 0 18 0 1 0 419062463 0 0 1283457024 0 0 0 0 0 0 0 0 3 18446744071564254338 0 0 17 0 0 0 0 /proc/8422/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 12.08 Current children cumulated vsize (KiB) 75812 [startup+25.5078 s] /proc/loadavg: 1.08 1.05 1.05 2/98 8435 /proc/meminfo: memFree=1162320/2097152 swapFree=2055620/2097144 [pid=8403] ppid=8402 vsize=2380 CPUtime=0 /proc/8403/stat : 8403 (sh) S 8402 8403 13759 34823 13904 4202496 386 309 0 0 0 0 0 0 19 0 1 0 419061625 2437120 262 1283457024 134512640 135191968 4292447760 18446744073709551615 4159228558 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/8403/statm: 595 262 226 166 0 27 0 [pid=8405] ppid=8403 vsize=73780 CPUtime=23.45 /proc/8405/stat : 8405 (apt-pbo) S 8403 8403 13759 34823 13904 4202496 21661 39838 0 293 1338 15 946 46 18 0 1 0 419061626 75550720 17602 1283457024 134512640 135758360 4288864736 18446744073709551615 4159739214 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/8405/statm: 18445 17602 5560 305 0 12081 0 [pid=8435] ppid=8405 vsize=6492 CPUtime=0.72 /proc/8435/stat : 8435 (wbo) R 8405 8403 13759 34823 13904 4202496 1629 0 0 0 72 0 0 0 18 0 1 0 419064102 6647808 1172 1283457024 134512640 135709839 4288547376 18446744073709551615 135230974 0 0 0 3 0 0 0 17 1 0 0 0 /proc/8435/statm: 1623 1172 132 293 0 1328 0 Current children cumulated CPU time (s) 24.17 Current children cumulated vsize (KiB) 82652 Solver just ended. Dumping a history of the last processes samples [startup+25.6078 s] /proc/loadavg: 1.08 1.05 1.05 2/98 8435 /proc/meminfo: memFree=1162320/2097152 swapFree=2055620/2097144 [pid=8403] ppid=8402 vsize=2380 CPUtime=0 /proc/8403/stat : 8403 (sh) S 8402 8403 13759 34823 13904 4202496 386 309 0 0 0 0 0 0 19 0 1 0 419061625 2437120 262 1283457024 134512640 135191968 4292447760 18446744073709551615 4159228558 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/8403/statm: 595 262 226 166 0 27 0 [pid=8405] ppid=8403 vsize=73780 CPUtime=23.45 /proc/8405/stat : 8405 (apt-pbo) R 8403 8403 13759 34823 13904 4202496 21661 39838 0 293 1338 15 946 46 18 0 1 0 419061626 75550720 17602 1283457024 134512640 135758360 4288864736 18446744073709551615 4159739214 0 0 128 0 0 0 0 17 0 0 0 0 /proc/8405/statm: 18445 17602 5560 305 0 12081 0 [pid=8435] ppid=8405 vsize=6880 CPUtime=0.82 /proc/8435/stat : 8435 (wbo) R 8405 8403 13759 34823 13904 4202496 1741 0 0 0 82 0 0 0 18 0 1 0 419064102 7045120 1270 1283457024 134512640 135709839 4288547376 18446744073709551615 135230974 0 0 0 3 0 0 0 17 1 0 0 0 /proc/8435/statm: 1720 1270 132 293 0 1425 0 Current children cumulated CPU time (s) 24.27 Current children cumulated vsize (KiB) 83040 [startup+27.2079 s] /proc/loadavg: 1.08 1.05 1.05 2/98 8435 /proc/meminfo: memFree=1159344/2097152 swapFree=2055620/2097144 [pid=8403] ppid=8402 vsize=2380 CPUtime=0 /proc/8403/stat : 8403 (sh) S 8402 8403 13759 34823 13904 4202496 386 309 0 0 0 0 0 0 19 0 1 0 419061625 2437120 262 1283457024 134512640 135191968 4292447760 18446744073709551615 4159228558 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/8403/statm: 595 262 226 166 0 27 0 [pid=8405] ppid=8403 vsize=73780 CPUtime=23.45 /proc/8405/stat : 8405 (apt-pbo) S 8403 8403 13759 34823 13904 4202496 21661 39838 0 293 1338 15 946 46 18 0 1 0 419061626 75550720 17602 1283457024 134512640 135758360 4288864736 18446744073709551615 4159739214 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/8405/statm: 18445 17602 5560 305 0 12081 0 [pid=8435] ppid=8405 vsize=11640 CPUtime=2.42 /proc/8435/stat : 8435 (wbo) R 8405 8403 13759 34823 13904 4202496 3489 0 0 0 240 2 0 0 18 0 1 0 419064102 11919360 2436 1283457024 134512640 135709839 4288547376 18446744073709551615 135165936 0 0 0 3 0 0 0 17 1 0 0 0 /proc/8435/statm: 2910 2436 132 293 0 2615 0 Current children cumulated CPU time (s) 25.87 Current children cumulated vsize (KiB) 87800 [startup+28.0079 s] /proc/loadavg: 1.07 1.05 1.05 2/98 8436 /proc/meminfo: memFree=1155252/2097152 swapFree=2055620/2097144 [pid=8403] ppid=8402 vsize=2380 CPUtime=0 /proc/8403/stat : 8403 (sh) S 8402 8403 13759 34823 13904 4202496 386 309 0 0 0 0 0 0 19 0 1 0 419061625 2437120 262 1283457024 134512640 135191968 4292447760 18446744073709551615 4159228558 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/8403/statm: 595 262 226 166 0 27 0 [pid=8405] ppid=8403 vsize=73780 CPUtime=23.46 /proc/8405/stat : 8405 (apt-pbo) S 8403 8403 13759 34823 13904 4202496 21661 39838 0 293 1339 15 946 46 18 0 1 0 419061626 75550720 17602 1283457024 134512640 135758360 4288864736 18446744073709551615 4159739214 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/8405/statm: 18445 17602 5560 305 0 12081 0 [pid=8435] ppid=8405 vsize=14308 CPUtime=3.21 /proc/8435/stat : 8435 (wbo) R 8405 8403 13759 34823 13904 4202496 4511 0 0 0 317 4 0 0 18 0 1 0 419064102 14651392 3120 1283457024 134512640 135709839 4288547376 18446744073709551615 135166305 0 0 0 3 0 0 0 17 1 0 0 0 /proc/8435/statm: 3577 3120 132 293 0 3282 0 Current children cumulated CPU time (s) 26.67 Current children cumulated vsize (KiB) 90468 [startup+28.808 s] /proc/loadavg: 1.07 1.05 1.05 3/98 8436 /proc/meminfo: memFree=1151036/2097152 swapFree=2055620/2097144 [pid=8403] ppid=8402 vsize=2380 CPUtime=0 /proc/8403/stat : 8403 (sh) S 8402 8403 13759 34823 13904 4202496 386 309 0 0 0 0 0 0 19 0 1 0 419061625 2437120 262 1283457024 134512640 135191968 4292447760 18446744073709551615 4159228558 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/8403/statm: 595 262 226 166 0 27 0 [pid=8405] ppid=8403 vsize=73780 CPUtime=23.46 /proc/8405/stat : 8405 (apt-pbo) S 8403 8403 13759 34823 13904 4202496 21661 39838 0 293 1339 15 946 46 18 0 1 0 419061626 75550720 17602 1283457024 134512640 135758360 4288864736 18446744073709551615 4159739214 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/8405/statm: 18445 17602 5560 305 0 12081 0 [pid=8435] ppid=8405 vsize=17548 CPUtime=4.01 /proc/8435/stat : 8435 (wbo) R 8405 8403 13759 34823 13904 4202496 5600 0 0 0 395 6 0 0 18 0 1 0 419064102 17969152 3915 1283457024 134512640 135709839 4288547376 18446744073709551615 135182774 0 0 0 3 0 0 0 17 1 0 0 0 /proc/8435/statm: 4387 3915 132 293 0 4092 0 Current children cumulated CPU time (s) 27.47 Current children cumulated vsize (KiB) 93708 [startup+29.204 s] /proc/loadavg: 1.07 1.05 1.05 3/98 8436 /proc/meminfo: memFree=1151036/2097152 swapFree=2055620/2097144 [pid=8403] ppid=8402 vsize=2380 CPUtime=0 /proc/8403/stat : 8403 (sh) S 8402 8403 13759 34823 13904 4202496 386 309 0 0 0 0 0 0 19 0 1 0 419061625 2437120 262 1283457024 134512640 135191968 4292447760 18446744073709551615 4159228558 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/8403/statm: 595 262 226 166 0 27 0 [pid=8405] ppid=8403 vsize=73944 CPUtime=23.53 /proc/8405/stat : 8405 (apt-pbo) R 8403 8403 13759 34823 13904 4202496 22233 39838 0 293 1346 15 946 46 18 0 1 0 419061626 75718656 17643 1283457024 134512640 135758360 4288864736 18446744073709551615 135356768 0 0 128 0 0 0 0 17 0 0 0 0 /proc/8405/statm: 18486 17643 5560 305 0 12122 0 [pid=8435] ppid=8405 vsize=0 CPUtime=4.33 /proc/8435/stat : 8435 (wbo) Z 8405 8403 13759 34823 13904 4202508 6035 0 0 0 427 6 0 0 18 0 1 0 419064102 0 0 1283457024 0 0 0 0 0 0 0 0 3 18446744071564254338 0 0 17 1 0 0 0 /proc/8435/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 27.86 Current children cumulated vsize (KiB) 76324 [startup+29.3141 s] /proc/loadavg: 1.07 1.05 1.05 3/98 8436 /proc/meminfo: memFree=1151036/2097152 swapFree=2055620/2097144 [pid=8403] ppid=8402 vsize=2380 CPUtime=0 /proc/8403/stat : 8403 (sh) S 8402 8403 13759 34823 13904 4202496 386 309 0 0 0 0 0 0 19 0 1 0 419061625 2437120 262 1283457024 134512640 135191968 4292447760 18446744073709551615 4159228558 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/8403/statm: 595 262 226 166 0 27 0 [pid=8405] ppid=8403 vsize=71868 CPUtime=23.64 /proc/8405/stat : 8405 (apt-pbo) R 8403 8403 13759 34823 13904 4202496 24603 39838 0 293 1356 16 946 46 18 0 1 0 419061626 73592832 14053 1283457024 134512640 135758360 4288864736 18446744073709551615 4159204049 0 0 128 0 0 0 0 17 0 0 0 0 /proc/8405/statm: 17967 14053 2489 305 0 11603 0 [pid=8435] ppid=8405 vsize=0 CPUtime=4.33 /proc/8435/stat : 8435 (wbo) Z 8405 8403 13759 34823 13904 4202508 6035 0 0 0 427 6 0 0 18 0 1 0 419064102 0 0 1283457024 0 0 0 0 0 0 0 0 3 18446744071564254338 0 0 17 1 0 0 0 /proc/8435/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 27.97 Current children cumulated vsize (KiB) 74248 Child status: 0 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 8403 and gives # childrusage.ru_utime.tv_sec=23 # childrusage.ru_utime.tv_usec=37439 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=640040 # CPU time returned by wait4() is 23.6775 # while last known CPU time is 27.97 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 29.33 CPU time (s): 27.97 CPU user time (s): 27.29 CPU system time (s): 0.68 CPU usage (%): 95.3631 Max. virtual memory (cumulated for all children) (KiB): 105328 getrusage(RUSAGE_CHILDREN,...) data: user time used= 23.0374 system time used= 0.64004 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 65251 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= 2926 involuntary context switches= 1551 runsolver used 0 second user time and 0.012 second system time The end