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: runsolver -s SIGUSR1 -M 1124 -C 300 -d 10 -w /tmp/misc2012/2012-09-02-22:42/full/aspcud-full-1.7/trendy-size/install/rand446.cudf.log.runsolver /home/competition/aspcud-full-1.7/aspcud-full /home/competition/data/install/rand446.cudf /tmp/misc2012/2012-09-02-22:42/full/aspcud-full-1.7/trendy-size/install/rand446.cudf.result -count(removed),-sum(solution,installedsize),-notuptodate(solution),-unsat_recommends(solution),-count(new) 

Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 300 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 330 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

[startup+0 s]
/proc/loadavg: 0.88 0.97 0.99 2/56 21161
/proc/meminfo: memFree=674548/1022884 swapFree=0/0
[pid=21161] ppid=21160 vsize=3152 CPUtime=0
/proc/21161/stat : 21161 (runsolver) R 21160 32685 32685 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 1 0 40667152 3227648 33 18446744073709551615 134512640 134586868 4290905584 4290903632 4151436336 0 0 16781316 24578 0 0 0 17 0 0 0 0 0 0
/proc/21161/statm: 788 33 0 19 0 73 0
Current StackSize limit: 8192 KiB


[startup+0.199151 s]
/proc/loadavg: 0.88 0.97 0.99 2/56 21161
/proc/meminfo: memFree=674548/1022884 swapFree=0/0
[pid=21161] ppid=21160 vsize=9212 CPUtime=0.03
/proc/21161/stat : 21161 (aspcud-full) S 21160 21161 32685 0 -1 4202496 734 3624 0 0 0 0 3 0 20 0 1 0 40667152 9433088 364 18446744073709551615 4194304 5129932 140734881172704 140734881171360 140066671830110 0 65536 16781316 1115778811 0 0 0 17 0 0 0 0 0 0
/proc/21161/statm: 2303 364 303 229 0 63 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 9212

[startup+0.200264 s]
/proc/loadavg: 0.88 0.97 0.99 2/56 21161
/proc/meminfo: memFree=674548/1022884 swapFree=0/0
[pid=21161] ppid=21160 vsize=9212 CPUtime=0.03
/proc/21161/stat : 21161 (aspcud-full) S 21160 21161 32685 0 -1 4202496 734 3624 0 0 0 0 3 0 20 0 1 0 40667152 9433088 364 18446744073709551615 4194304 5129932 140734881172704 140734881171360 140066671830110 0 65536 16781316 1115778811 0 0 0 17 0 0 0 0 0 0
/proc/21161/statm: 2303 364 303 229 0 63 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 9212

[startup+0.30019 s]
/proc/loadavg: 0.88 0.97 0.99 2/56 21161
/proc/meminfo: memFree=674548/1022884 swapFree=0/0
[pid=21161] ppid=21160 vsize=9212 CPUtime=0.03
/proc/21161/stat : 21161 (aspcud-full) S 21160 21161 32685 0 -1 4202496 734 3624 0 0 0 0 3 0 20 0 1 0 40667152 9433088 364 18446744073709551615 4194304 5129932 140734881172704 140734881171360 140066671830110 0 65536 16781316 1115778811 0 0 0 17 0 0 0 0 0 0
/proc/21161/statm: 2303 364 303 229 0 63 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 9212

[startup+0.700191 s]
/proc/loadavg: 0.88 0.97 0.99 2/56 21161
/proc/meminfo: memFree=674548/1022884 swapFree=0/0
[pid=21161] ppid=21160 vsize=9212 CPUtime=0.03
/proc/21161/stat : 21161 (aspcud-full) S 21160 21161 32685 0 -1 4202496 734 3624 0 0 0 0 3 0 20 0 1 0 40667152 9433088 364 18446744073709551615 4194304 5129932 140734881172704 140734881171360 140066671830110 0 65536 16781316 1115778811 0 0 0 17 0 0 0 0 0 0
/proc/21161/statm: 2303 364 303 229 0 63 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 9212

[startup+1.50025 s]
/proc/loadavg: 0.88 0.97 0.99 2/58 21177
/proc/meminfo: memFree=616120/1022884 swapFree=0/0
[pid=21161] ppid=21160 vsize=9212 CPUtime=0.03
/proc/21161/stat : 21161 (aspcud-full) S 21160 21161 32685 0 -1 4202496 734 3624 0 0 0 0 3 0 20 0 1 0 40667152 9433088 364 18446744073709551615 4194304 5129932 140734881172704 140734881171360 140066671830110 0 65536 16781316 1115778811 0 0 0 17 0 0 0 0 0 0
/proc/21161/statm: 2303 364 303 229 0 63 0
[pid=21177] ppid=21161 vsize=50676 CPUtime=1.43
/proc/21177/stat : 21177 (cudf2lp) R 21161 21161 32685 0 -1 4202496 15143 0 0 0 139 4 0 0 20 0 1 0 40667154 51892224 11745 18446744073709551615 4194304 5690517 140735199937984 140735199935640 4811178 0 0 16781316 0 0 0 0 17 0 0 0 3 0 0
/proc/21177/statm: 12669 11745 160 366 0 12300 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 59888

[startup+3.10027 s]
/proc/loadavg: 0.88 0.97 0.99 2/58 21177
/proc/meminfo: memFree=563172/1022884 swapFree=0/0
[pid=21161] ppid=21160 vsize=9212 CPUtime=0.03
/proc/21161/stat : 21161 (aspcud-full) S 21160 21161 32685 0 -1 4202496 734 3624 0 0 0 0 3 0 20 0 1 0 40667152 9433088 364 18446744073709551615 4194304 5129932 140734881172704 140734881171360 140066671830110 0 65536 16781316 1115778811 0 0 0 17 0 0 0 0 0 0
/proc/21161/statm: 2303 364 303 229 0 63 0
[pid=21177] ppid=21161 vsize=114764 CPUtime=3.01
/proc/21177/stat : 21177 (cudf2lp) R 21161 21161 32685 0 -1 4202496 39318 0 0 0 287 14 0 0 20 0 1 0 40667154 117518336 28362 18446744073709551615 4194304 5690517 140735199937984 140735199935192 5058496 0 0 16781316 0 0 0 0 17 0 0 0 4 0 0
/proc/21177/statm: 28691 28362 174 366 0 28322 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 123976

[startup+6.30025 s]
/proc/loadavg: 0.89 0.97 0.99 2/58 21178
/proc/meminfo: memFree=498568/1022884 swapFree=0/0
[pid=21161] ppid=21160 vsize=9212 CPUtime=3.39
/proc/21161/stat : 21161 (aspcud-full) S 21160 21161 32685 0 -1 4202496 760 42944 0 0 0 0 319 20 20 0 1 0 40667152 9433088 364 18446744073709551615 4194304 5129932 140734881172704 140734881171360 140066671830110 0 65536 16781316 1115778811 0 0 0 17 0 0 0 0 0 0
/proc/21161/statm: 2303 364 303 229 0 63 0
[pid=21178] ppid=21161 vsize=213952 CPUtime=2.84
/proc/21178/stat : 21178 (gringo) R 21161 21161 32685 0 -1 4202496 53190 0 0 0 266 18 0 0 20 0 1 0 40667496 219086848 44908 18446744073709551615 4194304 6531320 140737060531344 140737060527960 4586177 0 0 16781316 16386 0 0 0 17 0 0 0 0 0 0
/proc/21178/statm: 53488 44908 279 571 0 52909 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 223164

[startup+12.7003 s]
/proc/loadavg: 0.90 0.97 0.99 3/59 21180
/proc/meminfo: memFree=647880/1022884 swapFree=0/0
[pid=21161] ppid=21160 vsize=9212 CPUtime=11.76
/proc/21161/stat : 21161 (aspcud-full) S 21160 21161 32685 0 -1 4202496 800 221912 0 0 0 0 1088 88 20 0 1 0 40667152 9433088 364 18446744073709551615 4194304 5129932 140734881172704 140734881170768 140066671830110 0 65536 16781316 1115778811 0 0 0 17 0 0 0 0 0 0
/proc/21161/statm: 2303 364 303 229 0 63 0
[pid=21179] ppid=21161 vsize=189580 CPUtime=0.62
/proc/21179/stat : 21179 (clasp) R 21161 21161 32685 0 -1 4202496 52928 0 1 0 46 16 0 0 20 0 1 0 40668352 194129920 46692 18446744073709551615 4194304 6238623 140733799279744 140733799275240 4526213 0 0 16781316 18946 0 0 0 17 0 0 0 4 0 0
/proc/21179/statm: 47395 46692 199 500 0 46892 0
[pid=21180] ppid=21161 vsize=22040 CPUtime=0.02
/proc/21180/stat : 21180 (parse.py) S 21161 21161 32685 0 -1 4202496 1307 0 10 0 1 1 0 0 20 0 1 0 40668352 22568960 1127 18446744073709551615 4194304 6642060 140737362814176 140737362812536 140367842649888 0 0 16777220 20994 0 0 0 17 0 0 0 10 0 0
/proc/21180/statm: 5510 1127 508 598 0 596 0
Current children cumulated CPU time (s) 12.4
Current children cumulated vsize (KiB) 220832

[startup+25.5004 s]
/proc/loadavg: 0.92 0.97 0.99 2/59 21180
/proc/meminfo: memFree=424804/1022884 swapFree=0/0
[pid=21161] ppid=21160 vsize=9212 CPUtime=11.76
/proc/21161/stat : 21161 (aspcud-full) S 21160 21161 32685 0 -1 4202496 800 221912 0 0 0 0 1088 88 20 0 1 0 40667152 9433088 364 18446744073709551615 4194304 5129932 140734881172704 140734881170768 140066671830110 0 65536 16781316 1115778811 0 0 0 17 0 0 0 0 0 0
/proc/21161/statm: 2303 364 303 229 0 63 0
[pid=21179] ppid=21161 vsize=233844 CPUtime=13.35
/proc/21179/stat : 21179 (clasp) R 21161 21161 32685 0 -1 4202496 71074 0 1 0 1313 22 0 0 20 0 1 0 40668352 239456256 57964 18446744073709551615 4194304 6238623 140733799279744 140733799276768 4331873 0 0 16781316 18946 0 0 0 17 0 0 0 4 0 0
/proc/21179/statm: 58461 57964 264 500 0 57958 0
[pid=21180] ppid=21161 vsize=22040 CPUtime=0.02
/proc/21180/stat : 21180 (parse.py) S 21161 21161 32685 0 -1 4202496 1307 0 10 0 1 1 0 0 20 0 1 0 40668352 22568960 1127 18446744073709551615 4194304 6642060 140737362814176 140737362812536 140367842649888 0 0 16777220 20994 0 0 0 17 0 0 0 10 0 0
/proc/21180/statm: 5510 1127 508 598 0 596 0
Current children cumulated CPU time (s) 25.13
Current children cumulated vsize (KiB) 265096

[startup+51.1003 s]
/proc/loadavg: 0.95 0.97 0.99 2/59 21180
/proc/meminfo: memFree=424804/1022884 swapFree=0/0
[pid=21161] ppid=21160 vsize=9212 CPUtime=11.76
/proc/21161/stat : 21161 (aspcud-full) S 21160 21161 32685 0 -1 4202496 800 221912 0 0 0 0 1088 88 20 0 1 0 40667152 9433088 364 18446744073709551615 4194304 5129932 140734881172704 140734881170768 140066671830110 0 65536 16781316 1115778811 0 0 0 17 0 0 0 0 0 0
/proc/21161/statm: 2303 364 303 229 0 63 0
[pid=21179] ppid=21161 vsize=233844 CPUtime=38.77
/proc/21179/stat : 21179 (clasp) R 21161 21161 32685 0 -1 4202496 71079 0 1 0 3855 22 0 0 20 0 1 0 40668352 239456256 57969 18446744073709551615 4194304 6238623 140733799279744 140733799276768 4421891 0 0 16781316 18946 0 0 0 17 0 0 0 4 0 0
/proc/21179/statm: 58461 57969 264 500 0 57958 0
[pid=21180] ppid=21161 vsize=22040 CPUtime=0.02
/proc/21180/stat : 21180 (parse.py) S 21161 21161 32685 0 -1 4202496 1307 0 10 0 1 1 0 0 20 0 1 0 40668352 22568960 1127 18446744073709551615 4194304 6642060 140737362814176 140737362812536 140367842649888 0 0 16777220 20994 0 0 0 17 0 0 0 10 0 0
/proc/21180/statm: 5510 1127 508 598 0 596 0
Current children cumulated CPU time (s) 50.55
Current children cumulated vsize (KiB) 265096

[startup+102.3 s]
/proc/loadavg: 1.06 0.99 0.99 3/61 21292
/proc/meminfo: memFree=361332/1022884 swapFree=0/0
[pid=21161] ppid=21160 vsize=9212 CPUtime=11.76
/proc/21161/stat : 21161 (aspcud-full) S 21160 21161 32685 0 -1 4202496 800 221912 0 0 0 0 1088 88 20 0 1 0 40667152 9433088 364 18446744073709551615 4194304 5129932 140734881172704 140734881170768 140066671830110 0 65536 16781316 1115778811 0 0 0 17 0 0 0 0 0 0
/proc/21161/statm: 2303 364 303 229 0 63 0
[pid=21179] ppid=21161 vsize=315040 CPUtime=87.33
/proc/21179/stat : 21179 (clasp) R 21161 21161 32685 0 -1 4202496 91493 0 1 0 8703 30 0 0 20 0 1 0 40668352 322600960 78383 18446744073709551615 4194304 6238623 140733799279744 140733799276296 4687690 0 0 16781316 18946 0 0 0 17 0 0 0 4 0 0
/proc/21179/statm: 78760 78383 264 500 0 78257 0
[pid=21180] ppid=21161 vsize=22040 CPUtime=0.02
/proc/21180/stat : 21180 (parse.py) S 21161 21161 32685 0 -1 4202496 1307 0 10 0 1 1 0 0 20 0 1 0 40668352 22568960 1127 18446744073709551615 4194304 6642060 140737362814176 140737362812536 140367842649888 0 0 16777220 20994 0 0 0 17 0 0 0 10 0 0
/proc/21180/statm: 5510 1127 508 598 0 596 0
Current children cumulated CPU time (s) 99.11
Current children cumulated vsize (KiB) 346292

[startup+162.3 s]
/proc/loadavg: 1.08 1.02 1.00 2/59 21428
/proc/meminfo: memFree=174964/1022884 swapFree=0/0
[pid=21161] ppid=21160 vsize=9212 CPUtime=11.76
/proc/21161/stat : 21161 (aspcud-full) S 21160 21161 32685 0 -1 4202496 800 221912 0 0 0 0 1088 88 20 0 1 0 40667152 9433088 364 18446744073709551615 4194304 5129932 140734881172704 140734881170768 140066671830110 0 65536 16781316 1115778811 0 0 0 17 0 0 0 0 0 0
/proc/21161/statm: 2303 364 303 229 0 63 0
[pid=21179] ppid=21161 vsize=352532 CPUtime=144.27
/proc/21179/stat : 21179 (clasp) R 21161 21161 32685 0 -1 4202496 100866 0 1 0 14391 36 0 0 20 0 1 0 40668352 360992768 87756 18446744073709551615 4194304 6238623 140733799279744 140733799276296 4689664 0 0 16781316 18946 0 0 0 17 0 0 0 4 0 0
/proc/21179/statm: 88133 87756 264 500 0 87630 0
[pid=21180] ppid=21161 vsize=22040 CPUtime=0.02
/proc/21180/stat : 21180 (parse.py) S 21161 21161 32685 0 -1 4202496 1307 0 10 0 1 1 0 0 20 0 1 0 40668352 22568960 1127 18446744073709551615 4194304 6642060 140737362814176 140737362812536 140367842649888 0 0 16777220 20994 0 0 0 17 0 0 0 10 0 0
/proc/21180/statm: 5510 1127 508 598 0 596 0
Current children cumulated CPU time (s) 156.05
Current children cumulated vsize (KiB) 383784

[startup+222.303 s]
/proc/loadavg: 1.07 1.03 1.00 2/59 21428
/proc/meminfo: memFree=171988/1022884 swapFree=0/0
[pid=21161] ppid=21160 vsize=9212 CPUtime=11.76
/proc/21161/stat : 21161 (aspcud-full) S 21160 21161 32685 0 -1 4202496 800 221912 0 0 0 0 1088 88 20 0 1 0 40667152 9433088 364 18446744073709551615 4194304 5129932 140734881172704 140734881170768 140066671830110 0 65536 16781316 1115778811 0 0 0 17 0 0 0 0 0 0
/proc/21161/statm: 2303 364 303 229 0 63 0
[pid=21179] ppid=21161 vsize=355460 CPUtime=203.96
/proc/21179/stat : 21179 (clasp) R 21161 21161 32685 0 -1 4202496 101627 0 1 0 20360 36 0 0 20 0 1 0 40668352 363991040 88517 18446744073709551615 4194304 6238623 140733799279744 140733799276296 4305123 0 0 16781316 18946 0 0 0 17 0 0 0 4 0 0
/proc/21179/statm: 88865 88517 264 500 0 88362 0
[pid=21180] ppid=21161 vsize=22040 CPUtime=0.02
/proc/21180/stat : 21180 (parse.py) S 21161 21161 32685 0 -1 4202496 1307 0 10 0 1 1 0 0 20 0 1 0 40668352 22568960 1127 18446744073709551615 4194304 6642060 140737362814176 140737362812536 140367842649888 0 0 16777220 20994 0 0 0 17 0 0 0 10 0 0
/proc/21180/statm: 5510 1127 508 598 0 596 0
Current children cumulated CPU time (s) 215.74
Current children cumulated vsize (KiB) 386712

[startup+282.3 s]
/proc/loadavg: 1.03 1.02 1.00 2/59 21428
/proc/meminfo: memFree=165416/1022884 swapFree=0/0
[pid=21161] ppid=21160 vsize=9212 CPUtime=11.76
/proc/21161/stat : 21161 (aspcud-full) S 21160 21161 32685 0 -1 4202496 800 221912 0 0 0 0 1088 88 20 0 1 0 40667152 9433088 364 18446744073709551615 4194304 5129932 140734881172704 140734881170768 140066671830110 0 65536 16781316 1115778811 0 0 0 17 0 0 0 0 0 0
/proc/21161/statm: 2303 364 303 229 0 63 0
[pid=21179] ppid=21161 vsize=362156 CPUtime=263.65
/proc/21179/stat : 21179 (clasp) R 21161 21161 32685 0 -1 4202496 103280 0 1 0 26328 37 0 0 20 0 1 0 40668352 370847744 90170 18446744073709551615 4194304 6238623 140733799279744 140733799276296 4677160 0 0 16781316 18946 0 0 0 17 0 0 0 4 0 0
/proc/21179/statm: 90539 90170 264 500 0 90036 0
[pid=21180] ppid=21161 vsize=22040 CPUtime=0.02
/proc/21180/stat : 21180 (parse.py) S 21161 21161 32685 0 -1 4202496 1307 0 10 0 1 1 0 0 20 0 1 0 40668352 22568960 1127 18446744073709551615 4194304 6642060 140737362814176 140737362812536 140367842649888 0 0 16777220 20994 0 0 0 17 0 0 0 10 0 0
/proc/21180/statm: 5510 1127 508 598 0 596 0
Current children cumulated CPU time (s) 275.43
Current children cumulated vsize (KiB) 393408



Maximum CPU time exceeded: sending signal-name then SIGKILL

[startup+307.003 s]
/proc/loadavg: 1.02 1.02 1.00 2/59 21428
/proc/meminfo: memFree=158844/1022884 swapFree=0/0
[pid=21161] ppid=21160 vsize=9212 CPUtime=11.76
/proc/21161/stat : 21161 (aspcud-full) S 21160 21161 32685 0 -1 4202496 800 221912 0 0 0 0 1088 88 20 0 1 0 40667152 9433088 364 18446744073709551615 4194304 5129932 140734881172704 140734881170768 140066671830110 0 65536 16781316 1115778811 0 0 0 17 0 0 0 0 0 0
/proc/21161/statm: 2303 364 303 229 0 63 0
[pid=21179] ppid=21161 vsize=368660 CPUtime=288.22
/proc/21179/stat : 21179 (clasp) R 21161 21161 32685 0 -1 4202496 104898 0 1 0 28783 39 0 0 20 0 1 0 40668352 377507840 91788 18446744073709551615 4194304 6238623 140733799279744 140733799276296 4635760 0 0 16781316 18946 0 0 0 17 0 0 0 4 0 0
/proc/21179/statm: 92165 91788 264 500 0 91662 0
[pid=21180] ppid=21161 vsize=22040 CPUtime=0.02
/proc/21180/stat : 21180 (parse.py) S 21161 21161 32685 0 -1 4202496 1307 0 10 0 1 1 0 0 20 0 1 0 40668352 22568960 1127 18446744073709551615 4194304 6642060 140737362814176 140737362812536 140367842649888 0 0 16777220 20994 0 0 0 17 0 0 0 10 0 0
/proc/21180/statm: 5510 1127 508 598 0 596 0
Current children cumulated CPU time (s) 300
Current children cumulated vsize (KiB) 399912

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+307.003 s]
/proc/loadavg: 1.02 1.02 1.00 2/59 21428
/proc/meminfo: memFree=158844/1022884 swapFree=0/0
[pid=21161] ppid=21160 vsize=9212 CPUtime=11.76
/proc/21161/stat : 21161 (aspcud-full) S 21160 21161 32685 0 -1 4202496 800 221912 0 0 0 0 1088 88 20 0 1 0 40667152 9433088 364 18446744073709551615 4194304 5129932 140734881172704 140734881170768 140066671830110 0 65536 16781316 1115778811 0 0 0 17 0 0 0 0 0 0
/proc/21161/statm: 2303 364 303 229 0 63 0
[pid=21179] ppid=21161 vsize=368660 CPUtime=288.22
/proc/21179/stat : 21179 (clasp) R 21161 21161 32685 0 -1 4202496 104898 0 1 0 28783 39 0 0 20 0 1 0 40668352 377507840 91788 18446744073709551615 4194304 6238623 140733799279744 140733799276296 4635760 0 0 16781316 18946 0 0 0 17 0 0 0 4 0 0
/proc/21179/statm: 92165 91788 264 500 0 91662 0
[pid=21180] ppid=21161 vsize=22040 CPUtime=0.02
/proc/21180/stat : 21180 (parse.py) S 21161 21161 32685 0 -1 4202496 1307 0 10 0 1 1 0 0 20 0 1 0 40668352 22568960 1127 18446744073709551615 4194304 6642060 140737362814176 140737362812536 140367842649888 0 0 16777220 20994 0 0 0 17 0 0 0 10 0 0
/proc/21180/statm: 5510 1127 508 598 0 596 0
Current children cumulated CPU time (s) 300
Current children cumulated vsize (KiB) 399912

Child status: 0
Real time (s): 307.069
CPU time (s): 300.079
CPU user time (s): 298.755
CPU system time (s): 1.32408
CPU usage (%): 97.7236
Max. virtual memory (cumulated for all children) (KiB): 784344

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 298.755
system time used= 1.32408
maximum resident set size= 649956
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 329234
page faults= 12
swaps= 0
block input operations= 69752
block output operations= 81896
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 100
involuntary context switches= 7832

runsolver used 0.48403 second user time and 1.14807 second system time

The end