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/201108281254/packup2hy4tr-0.6/cff22854-9512-11e0-8001-00163e1e087d.cudf.dudf-real.log.runsolver ./packup2hy4tr-0.6 /home/misc2010/data/2011/dudf-real//cff22854-9512-11e0-8001-00163e1e087d.cudf /home/misc2010/tmp/201108281254/packup2hy4tr-0.6/cff22854-9512-11e0-8001-00163e1e087d.cudf.dudf-real.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.11 1.05 1.01 3/39 23655
/proc/meminfo: memFree=96708/1048576 swapFree=0/0
[pid=23654] ppid=23653 vsize=2572 CPUtime=0
/proc/23654/stat : 23654 (packup2hy4tr-0.) S 23653 23654 17551 34817 17551 4202496 378 0 0 0 0 0 0 0 17 0 1 0 36034026 2633728 274 1283457024 134512640 135304128 4287042144 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/23654/statm: 643 274 233 194 0 30 0
[pid=23655] ppid=23654 vsize=3708 CPUtime=0
/proc/23655/stat : 23655 (packup) D 23654 23654 17551 34817 17551 4202496 388 0 0 0 0 0 0 0 17 0 1 0 36034026 3796992 316 1283457024 134512640 134752139 4293812400 18446744073709551615 4294960130 0 0 18944 8192 18446744071564332000 0 0 17 0 0 0 0
/proc/23655/statm: 927 316 273 59 0 91 0

[startup+0.132644 s]
/proc/loadavg: 1.11 1.05 1.01 3/39 23655
/proc/meminfo: memFree=96708/1048576 swapFree=0/0
[pid=23654] ppid=23653 vsize=2572 CPUtime=0
/proc/23654/stat : 23654 (packup2hy4tr-0.) S 23653 23654 17551 34817 17551 4202496 378 0 0 0 0 0 0 0 17 0 1 0 36034026 2633728 274 1283457024 134512640 135304128 4287042144 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/23654/statm: 643 274 233 194 0 30 0
[pid=23655] ppid=23654 vsize=7640 CPUtime=0.1
/proc/23655/stat : 23655 (packup) R 23654 23654 17551 34817 17551 4202496 1415 0 0 0 10 0 0 0 25 0 1 0 36034026 7823360 1343 1283457024 134512640 134752139 4293812400 18446744073709551615 134681499 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/23655/statm: 1910 1343 286 59 0 1074 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10212

[startup+0.204662 s]
/proc/loadavg: 1.11 1.05 1.01 3/39 23655
/proc/meminfo: memFree=96708/1048576 swapFree=0/0
[pid=23654] ppid=23653 vsize=2572 CPUtime=0
/proc/23654/stat : 23654 (packup2hy4tr-0.) S 23653 23654 17551 34817 17551 4202496 378 0 0 0 0 0 0 0 17 0 1 0 36034026 2633728 274 1283457024 134512640 135304128 4287042144 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/23654/statm: 643 274 233 194 0 30 0
[pid=23655] ppid=23654 vsize=10048 CPUtime=0.16
/proc/23655/stat : 23655 (packup) R 23654 23654 17551 34817 17551 4202496 2011 0 0 0 16 0 0 0 25 0 1 0 36034026 10289152 1939 1283457024 134512640 134752139 4293812400 18446744073709551615 134643180 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/23655/statm: 2512 1939 286 59 0 1676 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 12620

[startup+0.304663 s]
/proc/loadavg: 1.11 1.05 1.01 3/39 23655
/proc/meminfo: memFree=96708/1048576 swapFree=0/0
[pid=23654] ppid=23653 vsize=2572 CPUtime=0
/proc/23654/stat : 23654 (packup2hy4tr-0.) S 23653 23654 17551 34817 17551 4202496 378 0 0 0 0 0 0 0 17 0 1 0 36034026 2633728 274 1283457024 134512640 135304128 4287042144 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/23654/statm: 643 274 233 194 0 30 0
[pid=23655] ppid=23654 vsize=13108 CPUtime=0.24
/proc/23655/stat : 23655 (packup) R 23654 23654 17551 34817 17551 4202496 2782 0 0 0 22 2 0 0 25 0 1 0 36034026 13422592 2710 1283457024 134512640 134752139 4293812400 18446744073709551615 4157388207 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/23655/statm: 3277 2710 286 59 0 2441 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 15680

[startup+0.704702 s]
/proc/loadavg: 1.11 1.05 1.01 3/39 23655
/proc/meminfo: memFree=96708/1048576 swapFree=0/0
[pid=23654] ppid=23653 vsize=2572 CPUtime=0
/proc/23654/stat : 23654 (packup2hy4tr-0.) S 23653 23654 17551 34817 17551 4202496 378 0 0 0 0 0 0 0 17 0 1 0 36034026 2633728 274 1283457024 134512640 135304128 4287042144 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/23654/statm: 643 274 233 194 0 30 0
[pid=23655] ppid=23654 vsize=22544 CPUtime=0.54
/proc/23655/stat : 23655 (packup) R 23654 23654 17551 34817 17551 4202496 5135 0 0 0 49 5 0 0 25 0 1 0 36034026 23085056 5063 1283457024 134512640 134752139 4293812400 18446744073709551615 134681493 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/23655/statm: 5636 5063 286 59 0 4800 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 25116

[startup+1.51398 s]
/proc/loadavg: 1.11 1.05 1.01 2/40 23657
/proc/meminfo: memFree=46836/1048576 swapFree=0/0
[pid=23654] ppid=23653 vsize=2572 CPUtime=0
/proc/23654/stat : 23654 (packup2hy4tr-0.) S 23653 23654 17551 34817 17551 4202496 378 0 0 0 0 0 0 0 17 0 1 0 36034026 2633728 274 1283457024 134512640 135304128 4287042144 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/23654/statm: 643 274 233 194 0 30 0
[pid=23655] ppid=23654 vsize=39804 CPUtime=1.15
/proc/23655/stat : 23655 (packup) S 23654 23654 17551 34817 17551 4202496 9492 0 0 0 99 16 0 0 25 0 1 0 36034026 40759296 9298 1283457024 134512640 134752139 4293812400 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/23655/statm: 9951 9298 325 59 0 9115 0
Current children cumulated CPU time (s) 1.15
Current children cumulated vsize (KiB) 42376

[startup+3.11427 s]
/proc/loadavg: 1.11 1.05 1.01 2/43 23663
/proc/meminfo: memFree=23236/1048576 swapFree=0/0
[pid=23654] ppid=23653 vsize=2572 CPUtime=0
/proc/23654/stat : 23654 (packup2hy4tr-0.) S 23653 23654 17551 34817 17551 4202496 378 0 0 0 0 0 0 0 17 0 1 0 36034026 2633728 274 1283457024 134512640 135304128 4287042144 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/23654/statm: 643 274 233 194 0 30 0
[pid=23655] ppid=23654 vsize=39808 CPUtime=2.4
/proc/23655/stat : 23655 (packup) S 23654 23654 17551 34817 17551 4202496 9567 9826 0 0 110 24 94 12 18 0 1 0 36034026 40763392 9322 1283457024 134512640 134752139 4293812400 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/23655/statm: 9952 9322 333 59 0 9116 0
Current children cumulated CPU time (s) 2.4
Current children cumulated vsize (KiB) 42380
heavy processes:

[startup+6.30504 s]
/proc/loadavg: 1.10 1.05 1.01 2/43 23675
/proc/meminfo: memFree=9472/1048576 swapFree=0/0
[pid=23654] ppid=23653 vsize=2572 CPUtime=0
/proc/23654/stat : 23654 (packup2hy4tr-0.) S 23653 23654 17551 34817 17551 4202496 378 0 0 0 0 0 0 0 17 0 1 0 36034026 2633728 274 1283457024 134512640 135304128 4287042144 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/23654/statm: 643 274 233 194 0 30 0
[pid=23655] ppid=23654 vsize=39816 CPUtime=5.98
/proc/23655/stat : 23655 (packup) S 23654 23654 17551 34817 17551 4202496 9688 41304 0 0 124 48 388 38 18 0 1 0 36034026 40771584 9328 1283457024 134512640 134752139 4293812400 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/23655/statm: 9954 9328 333 59 0 9118 0
Current children cumulated CPU time (s) 5.98
Current children cumulated vsize (KiB) 42388

Solver just ended. Dumping a history of the last processes samples

[startup+6.40505 s]
/proc/loadavg: 1.10 1.05 1.01 2/43 23675
/proc/meminfo: memFree=9472/1048576 swapFree=0/0
[pid=23654] ppid=23653 vsize=2572 CPUtime=0
/proc/23654/stat : 23654 (packup2hy4tr-0.) S 23653 23654 17551 34817 17551 4202496 378 0 0 0 0 0 0 0 17 0 1 0 36034026 2633728 274 1283457024 134512640 135304128 4287042144 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/23654/statm: 643 274 233 194 0 30 0
[pid=23655] ppid=23654 vsize=39816 CPUtime=5.98
/proc/23655/stat : 23655 (packup) S 23654 23654 17551 34817 17551 4202496 9688 41304 0 0 124 48 388 38 18 0 1 0 36034026 40771584 9328 1283457024 134512640 134752139 4293812400 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/23655/statm: 9954 9328 333 59 0 9118 0
Current children cumulated CPU time (s) 5.98
Current children cumulated vsize (KiB) 42388

[startup+7.20527 s]
/proc/loadavg: 1.10 1.05 1.01 2/45 23686
/proc/meminfo: memFree=29220/1048576 swapFree=0/0
[pid=23654] ppid=23653 vsize=2572 CPUtime=0
/proc/23654/stat : 23654 (packup2hy4tr-0.) S 23653 23654 17551 34817 17551 4202496 378 0 0 0 0 0 0 0 17 0 1 0 36034026 2633728 274 1283457024 134512640 135304128 4287042144 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/23654/statm: 643 274 233 194 0 30 0
[pid=23655] ppid=23654 vsize=39816 CPUtime=5.98
/proc/23655/stat : 23655 (packup) S 23654 23654 17551 34817 17551 4202496 9688 41304 0 0 124 48 388 38 18 0 1 0 36034026 40771584 9328 1283457024 134512640 134752139 4293812400 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/23655/statm: 9954 9328 333 59 0 9118 0
[pid=23676] ppid=23655 vsize=1676 CPUtime=0
/proc/23676/stat : 23676 (sh) S 23655 23654 17551 34817 17551 4202496 147 0 0 0 0 0 0 0 18 0 1 0 36034645 1716224 124 1283457024 134512640 134593992 4291839920 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/23676/statm: 419 124 108 20 0 46 0
[pid=23677] ppid=23676 vsize=2568 CPUtime=0
/proc/23677/stat : 23677 (run_h) S 23676 23654 17551 34817 17551 4202496 367 615 0 0 0 0 0 0 20 0 1 0 36034646 2629632 273 1283457024 134512640 135304128 4292913360 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/23677/statm: 642 273 232 194 0 29 0
[pid=23681] ppid=23677 vsize=2568 CPUtime=0
/proc/23681/stat : 23681 (run_scip) S 23677 23654 17551 34817 17551 4202496 391 754 0 0 0 0 0 0 22 0 1 0 36034646 2629632 268 1283457024 134512640 135304128 4294517328 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/23681/statm: 642 268 228 194 0 29 0
[pid=23685] ppid=23681 vsize=72028 CPUtime=0.99
/proc/23685/stat : 23685 (scip-2.0.1.linu) R 23681 23654 17551 34817 17551 4202496 16291 0 0 0 88 11 0 0 25 0 1 0 36034647 73756672 15878 1283457024 134512640 143279753 4293951888 18446744073709551615 134902487 0 0 18944 2 0 0 0 17 0 0 0 0
/proc/23685/statm: 18007 15878 608 2141 0 15863 0
[pid=23686] ppid=23681 vsize=7192 CPUtime=0
/proc/23686/stat : 23686 (scip2v) S 23681 23654 17551 34817 17551 4202496 1008 0 0 0 0 0 0 0 18 0 1 0 36034659 7364608 847 1283457024 134512640 136477024 4287915040 18446744073709551615 4294960130 0 0 16800256 2 18446744071564457842 0 0 17 0 0 0 0
/proc/23686/statm: 1798 847 474 480 0 383 0
Current children cumulated CPU time (s) 6.97
Current children cumulated vsize (KiB) 128420

[startup+7.60538 s]
/proc/loadavg: 1.10 1.05 1.01 2/45 23686
/proc/meminfo: memFree=29220/1048576 swapFree=0/0
[pid=23654] ppid=23653 vsize=2572 CPUtime=0
/proc/23654/stat : 23654 (packup2hy4tr-0.) S 23653 23654 17551 34817 17551 4202496 378 0 0 0 0 0 0 0 17 0 1 0 36034026 2633728 274 1283457024 134512640 135304128 4287042144 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/23654/statm: 643 274 233 194 0 30 0
[pid=23655] ppid=23654 vsize=39816 CPUtime=5.98
/proc/23655/stat : 23655 (packup) S 23654 23654 17551 34817 17551 4202496 9688 41304 0 0 124 48 388 38 18 0 1 0 36034026 40771584 9328 1283457024 134512640 134752139 4293812400 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/23655/statm: 9954 9328 333 59 0 9118 0
[pid=23676] ppid=23655 vsize=1676 CPUtime=0
/proc/23676/stat : 23676 (sh) S 23655 23654 17551 34817 17551 4202496 147 0 0 0 0 0 0 0 18 0 1 0 36034645 1716224 124 1283457024 134512640 134593992 4291839920 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/23676/statm: 419 124 108 20 0 46 0
[pid=23677] ppid=23676 vsize=2568 CPUtime=0
/proc/23677/stat : 23677 (run_h) S 23676 23654 17551 34817 17551 4202496 367 615 0 0 0 0 0 0 20 0 1 0 36034646 2629632 273 1283457024 134512640 135304128 4292913360 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/23677/statm: 642 273 232 194 0 29 0
[pid=23681] ppid=23677 vsize=2568 CPUtime=0
/proc/23681/stat : 23681 (run_scip) S 23677 23654 17551 34817 17551 4202496 391 754 0 0 0 0 0 0 22 0 1 0 36034646 2629632 268 1283457024 134512640 135304128 4294517328 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/23681/statm: 642 268 228 194 0 29 0
[pid=23685] ppid=23681 vsize=72736 CPUtime=1.38
/proc/23685/stat : 23685 (scip-2.0.1.linu) R 23681 23654 17551 34817 17551 4202496 17103 0 0 0 124 14 0 0 25 0 1 0 36034647 74481664 16045 1283457024 134512640 143279753 4293951888 18446744073709551615 134665239 0 0 18944 2 0 0 0 17 0 0 0 0
/proc/23685/statm: 18184 16045 608 2141 0 16040 0
[pid=23686] ppid=23681 vsize=7192 CPUtime=0
/proc/23686/stat : 23686 (scip2v) S 23681 23654 17551 34817 17551 4202496 1008 0 0 0 0 0 0 0 18 0 1 0 36034659 7364608 847 1283457024 134512640 136477024 4287915040 18446744073709551615 4294960130 0 0 16800256 2 18446744071564457842 0 0 17 0 0 0 0
/proc/23686/statm: 1798 847 474 480 0 383 0
Current children cumulated CPU time (s) 7.36
Current children cumulated vsize (KiB) 129128

[startup+8.00554 s]
/proc/loadavg: 1.09 1.05 1.01 2/45 23686
/proc/meminfo: memFree=6012/1048576 swapFree=0/0
[pid=23654] ppid=23653 vsize=2572 CPUtime=0
/proc/23654/stat : 23654 (packup2hy4tr-0.) S 23653 23654 17551 34817 17551 4202496 378 0 0 0 0 0 0 0 17 0 1 0 36034026 2633728 274 1283457024 134512640 135304128 4287042144 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/23654/statm: 643 274 233 194 0 30 0
[pid=23655] ppid=23654 vsize=39816 CPUtime=5.98
/proc/23655/stat : 23655 (packup) S 23654 23654 17551 34817 17551 4202496 9688 41304 0 0 124 48 388 38 18 0 1 0 36034026 40771584 9328 1283457024 134512640 134752139 4293812400 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/23655/statm: 9954 9328 333 59 0 9118 0
[pid=23676] ppid=23655 vsize=1676 CPUtime=0
/proc/23676/stat : 23676 (sh) S 23655 23654 17551 34817 17551 4202496 147 0 0 0 0 0 0 0 18 0 1 0 36034645 1716224 124 1283457024 134512640 134593992 4291839920 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/23676/statm: 419 124 108 20 0 46 0
[pid=23677] ppid=23676 vsize=2568 CPUtime=0
/proc/23677/stat : 23677 (run_h) S 23676 23654 17551 34817 17551 4202496 367 615 0 0 0 0 0 0 20 0 1 0 36034646 2629632 273 1283457024 134512640 135304128 4292913360 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/23677/statm: 642 273 232 194 0 29 0
[pid=23681] ppid=23677 vsize=2568 CPUtime=0
/proc/23681/stat : 23681 (run_scip) S 23677 23654 17551 34817 17551 4202496 391 754 0 0 0 0 0 0 22 0 1 0 36034646 2629632 268 1283457024 134512640 135304128 4294517328 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/23681/statm: 642 268 228 194 0 29 0
[pid=23685] ppid=23681 vsize=38488 CPUtime=1.71
/proc/23685/stat : 23685 (scip-2.0.1.linu) R 23681 23654 17551 34817 17551 4202496 20602 0 0 0 149 22 0 0 25 0 1 0 36034647 39411712 7816 1283457024 134512640 143279753 4293951888 18446744073709551615 4294960130 0 0 18944 0 0 0 0 17 0 0 0 0
/proc/23685/statm: 9622 7816 780 2141 0 7478 0
[pid=23686] ppid=23681 vsize=7372 CPUtime=0.07
/proc/23686/stat : 23686 (scip2v) S 23681 23654 17551 34817 17551 4202496 1047 0 0 0 3 4 0 0 18 0 1 0 36034659 7548928 886 1283457024 134512640 136477024 4287915040 18446744073709551615 4294960130 0 0 16800256 2 18446744071564457842 0 0 17 0 0 0 0
/proc/23686/statm: 1843 886 479 480 0 428 0
Current children cumulated CPU time (s) 7.76
Current children cumulated vsize (KiB) 95060

[startup+8.10551 s]
/proc/loadavg: 1.09 1.05 1.01 2/45 23686
/proc/meminfo: memFree=6012/1048576 swapFree=0/0
[pid=23654] ppid=23653 vsize=2572 CPUtime=0
/proc/23654/stat : 23654 (packup2hy4tr-0.) S 23653 23654 17551 34817 17551 4202496 378 0 0 0 0 0 0 0 17 0 1 0 36034026 2633728 274 1283457024 134512640 135304128 4287042144 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/23654/statm: 643 274 233 194 0 30 0
[pid=23655] ppid=23654 vsize=39036 CPUtime=7.89
/proc/23655/stat : 23655 (packup) R 23654 23654 17551 34817 17551 4202496 18062 65315 0 0 131 49 542 67 18 0 1 0 36034026 39972864 9146 1283457024 134512640 134752139 4293812400 18446744073709551615 4157351325 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/23655/statm: 9759 9146 346 59 0 8923 0
Current children cumulated CPU time (s) 7.89
Current children cumulated vsize (KiB) 41608

Child status: 0
Real time (s): 8.12415
CPU time (s): 7.91249
CPU user time (s): 6.74842
CPU system time (s): 1.16407
CPU usage (%): 97.3948
Max. virtual memory (cumulated for all children) (KiB): 130636

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.74842
system time used= 1.16407
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 84029
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= 11746
involuntary context switches= 11888

runsolver used 0 second user time and 0.008 second system time

The end