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/e2f6303a-4fe9-11e0-aa4f-00163e1e087d.cudf.dudf-real.log.runsolver ./packup2hy4tr-0.6 /home/misc2010/data/2011/dudf-real//e2f6303a-4fe9-11e0-aa4f-00163e1e087d.cudf /home/misc2010/tmp/201108281254/packup2hy4tr-0.6/e2f6303a-4fe9-11e0-aa4f-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.06 1.05 1.00 3/38 24078
/proc/meminfo: memFree=158160/1048576 swapFree=0/0
[pid=24077] ppid=24076 vsize=2568 CPUtime=0
/proc/24077/stat : 24077 (packup2hy4tr-0.) S 24076 24077 17551 34817 17551 4202496 377 0 0 0 0 0 0 0 18 0 1 0 36045056 2629632 274 1283457024 134512640 135304128 4288842784 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/24077/statm: 642 274 233 194 0 29 0
[pid=24078] ppid=24077 vsize=3712 CPUtime=0
/proc/24078/stat : 24078 (packup) D 24077 24077 17551 34817 17551 4202496 388 0 0 0 0 0 0 0 18 0 1 0 36045056 3801088 317 1283457024 134512640 134752139 4292542336 18446744073709551615 4294960130 0 0 18944 8192 18446744071564332000 0 0 17 0 0 0 0
/proc/24078/statm: 928 317 273 59 0 92 0

[startup+0.188336 s]
/proc/loadavg: 1.06 1.05 1.00 3/38 24078
/proc/meminfo: memFree=158160/1048576 swapFree=0/0
[pid=24077] ppid=24076 vsize=2568 CPUtime=0
/proc/24077/stat : 24077 (packup2hy4tr-0.) S 24076 24077 17551 34817 17551 4202496 377 0 0 0 0 0 0 0 18 0 1 0 36045056 2629632 274 1283457024 134512640 135304128 4288842784 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/24077/statm: 642 274 233 194 0 29 0
[pid=24078] ppid=24077 vsize=9616 CPUtime=0.15
/proc/24078/stat : 24078 (packup) R 24077 24077 17551 34817 17551 4202496 1883 0 0 0 15 0 0 0 25 0 1 0 36045056 9846784 1812 1283457024 134512640 134752139 4292542336 18446744073709551615 4156916451 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/24078/statm: 2404 1812 286 59 0 1568 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 12184

[startup+0.204642 s]
/proc/loadavg: 1.06 1.05 1.00 3/38 24078
/proc/meminfo: memFree=158160/1048576 swapFree=0/0
[pid=24077] ppid=24076 vsize=2568 CPUtime=0
/proc/24077/stat : 24077 (packup2hy4tr-0.) S 24076 24077 17551 34817 17551 4202496 377 0 0 0 0 0 0 0 18 0 1 0 36045056 2629632 274 1283457024 134512640 135304128 4288842784 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/24077/statm: 642 274 233 194 0 29 0
[pid=24078] ppid=24077 vsize=10012 CPUtime=0.16
/proc/24078/stat : 24078 (packup) R 24077 24077 17551 34817 17551 4202496 1997 0 0 0 16 0 0 0 25 0 1 0 36045056 10252288 1926 1283457024 134512640 134752139 4292542336 18446744073709551615 134681798 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/24078/statm: 2503 1926 286 59 0 1667 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 12580

[startup+0.30435 s]
/proc/loadavg: 1.06 1.05 1.00 3/38 24078
/proc/meminfo: memFree=158160/1048576 swapFree=0/0
[pid=24077] ppid=24076 vsize=2568 CPUtime=0
/proc/24077/stat : 24077 (packup2hy4tr-0.) S 24076 24077 17551 34817 17551 4202496 377 0 0 0 0 0 0 0 18 0 1 0 36045056 2629632 274 1283457024 134512640 135304128 4288842784 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/24077/statm: 642 274 233 194 0 29 0
[pid=24078] ppid=24077 vsize=12716 CPUtime=0.26
/proc/24078/stat : 24078 (packup) R 24077 24077 17551 34817 17551 4202496 2676 0 0 0 26 0 0 0 25 0 1 0 36045056 13021184 2605 1283457024 134512640 134752139 4292542336 18446744073709551615 134643656 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/24078/statm: 3179 2605 286 59 0 2343 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 15284

[startup+0.704375 s]
/proc/loadavg: 1.06 1.05 1.00 3/38 24078
/proc/meminfo: memFree=158160/1048576 swapFree=0/0
[pid=24077] ppid=24076 vsize=2568 CPUtime=0
/proc/24077/stat : 24077 (packup2hy4tr-0.) S 24076 24077 17551 34817 17551 4202496 377 0 0 0 0 0 0 0 18 0 1 0 36045056 2629632 274 1283457024 134512640 135304128 4288842784 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/24077/statm: 642 274 233 194 0 29 0
[pid=24078] ppid=24077 vsize=22692 CPUtime=0.62
/proc/24078/stat : 24078 (packup) R 24077 24077 17551 34817 17551 4202496 5167 0 0 0 61 1 0 0 25 0 1 0 36045056 23236608 5096 1283457024 134512640 134752139 4292542336 18446744073709551615 134681631 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/24078/statm: 5673 5096 286 59 0 4837 0
Current children cumulated CPU time (s) 0.62
Current children cumulated vsize (KiB) 25260

[startup+1.50507 s]
/proc/loadavg: 1.06 1.05 1.00 2/39 24079
/proc/meminfo: memFree=109112/1048576 swapFree=0/0
[pid=24077] ppid=24076 vsize=2568 CPUtime=0
/proc/24077/stat : 24077 (packup2hy4tr-0.) S 24076 24077 17551 34817 17551 4202496 377 0 0 0 0 0 0 0 18 0 1 0 36045056 2629632 274 1283457024 134512640 135304128 4288842784 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/24077/statm: 642 274 233 194 0 29 0
[pid=24078] ppid=24077 vsize=35376 CPUtime=1.09
/proc/24078/stat : 24078 (packup) S 24077 24077 17551 34817 17551 4202496 8375 0 0 0 96 13 0 0 25 0 1 0 36045056 36225024 8185 1283457024 134512640 134752139 4292542336 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/24078/statm: 8844 8185 324 59 0 8008 0
Current children cumulated CPU time (s) 1.09
Current children cumulated vsize (KiB) 37944

[startup+3.10533 s]
/proc/loadavg: 1.06 1.05 1.00 2/42 24085
/proc/meminfo: memFree=69508/1048576 swapFree=0/0
[pid=24077] ppid=24076 vsize=2568 CPUtime=0
/proc/24077/stat : 24077 (packup2hy4tr-0.) S 24076 24077 17551 34817 17551 4202496 377 0 0 0 0 0 0 0 18 0 1 0 36045056 2629632 274 1283457024 134512640 135304128 4288842784 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/24077/statm: 642 274 233 194 0 29 0
[pid=24078] ppid=24077 vsize=35380 CPUtime=3.01
/proc/24078/stat : 24078 (packup) R 24077 24077 17551 34817 17551 4202496 8440 19698 0 0 105 17 163 16 18 0 1 0 36045056 36229120 8197 1283457024 134512640 134752139 4292542336 18446744073709551615 4158696592 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/24078/statm: 8845 8197 332 59 0 8009 0
Current children cumulated CPU time (s) 3.01
Current children cumulated vsize (KiB) 37948

[startup+6.3062 s]
/proc/loadavg: 1.06 1.05 1.00 2/42 24097
/proc/meminfo: memFree=80048/1048576 swapFree=0/0
[pid=24077] ppid=24076 vsize=2568 CPUtime=0
/proc/24077/stat : 24077 (packup2hy4tr-0.) S 24076 24077 17551 34817 17551 4202496 377 0 0 0 0 0 0 0 18 0 1 0 36045056 2629632 274 1283457024 134512640 135304128 4288842784 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/24077/statm: 642 274 233 194 0 29 0
[pid=24078] ppid=24077 vsize=35388 CPUtime=6.05
/proc/24078/stat : 24078 (packup) S 24077 24077 17551 34817 17551 4202496 8567 44633 0 0 124 38 400 43 18 0 1 0 36045056 36237312 8205 1283457024 134512640 134752139 4292542336 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/24078/statm: 8847 8205 332 59 0 8011 0
Current children cumulated CPU time (s) 6.05
Current children cumulated vsize (KiB) 37956

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

[startup+6.40622 s]
/proc/loadavg: 1.06 1.05 1.00 2/42 24097
/proc/meminfo: memFree=80048/1048576 swapFree=0/0
[pid=24077] ppid=24076 vsize=2568 CPUtime=0
/proc/24077/stat : 24077 (packup2hy4tr-0.) S 24076 24077 17551 34817 17551 4202496 377 0 0 0 0 0 0 0 18 0 1 0 36045056 2629632 274 1283457024 134512640 135304128 4288842784 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/24077/statm: 642 274 233 194 0 29 0
[pid=24078] ppid=24077 vsize=35388 CPUtime=6.05
/proc/24078/stat : 24078 (packup) S 24077 24077 17551 34817 17551 4202496 8567 44633 0 0 124 38 400 43 18 0 1 0 36045056 36237312 8205 1283457024 134512640 134752139 4292542336 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/24078/statm: 8847 8205 332 59 0 8011 0
Current children cumulated CPU time (s) 6.05
Current children cumulated vsize (KiB) 37956

[startup+8.00666 s]
/proc/loadavg: 1.05 1.05 1.00 2/44 24108
/proc/meminfo: memFree=45048/1048576 swapFree=0/0
[pid=24077] ppid=24076 vsize=2568 CPUtime=0
/proc/24077/stat : 24077 (packup2hy4tr-0.) S 24076 24077 17551 34817 17551 4202496 377 0 0 0 0 0 0 0 18 0 1 0 36045056 2629632 274 1283457024 134512640 135304128 4288842784 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/24077/statm: 642 274 233 194 0 29 0
[pid=24078] ppid=24077 vsize=35388 CPUtime=6.05
/proc/24078/stat : 24078 (packup) S 24077 24077 17551 34817 17551 4202496 8567 44633 0 0 124 38 400 43 18 0 1 0 36045056 36237312 8205 1283457024 134512640 134752139 4292542336 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/24078/statm: 8847 8205 332 59 0 8011 0
[pid=24098] ppid=24078 vsize=1668 CPUtime=0
/proc/24098/stat : 24098 (sh) S 24078 24077 17551 34817 17551 4202496 145 0 0 0 0 0 0 0 18 0 1 0 36045672 1708032 123 1283457024 134512640 134593992 4287224656 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/24098/statm: 417 123 108 20 0 44 0
[pid=24099] ppid=24098 vsize=2572 CPUtime=0
/proc/24099/stat : 24099 (run_h) S 24098 24077 17551 34817 17551 4202496 365 611 0 0 0 0 0 0 21 0 1 0 36045672 2633728 272 1283457024 134512640 135304128 4288863488 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/24099/statm: 643 272 232 194 0 30 0
[pid=24103] ppid=24099 vsize=2568 CPUtime=0
/proc/24103/stat : 24103 (run_scip) S 24099 24077 17551 34817 17551 4202496 394 752 0 0 0 0 0 0 21 0 1 0 36045672 2629632 269 1283457024 134512640 135304128 4288345200 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/24103/statm: 642 269 228 194 0 29 0
[pid=24107] ppid=24103 vsize=71276 CPUtime=1.82
/proc/24107/stat : 24107 (scip-2.0.1.linu) R 24103 24077 17551 34817 17551 4202496 17629 0 0 0 160 22 0 0 25 0 1 0 36045673 72986624 15659 1283457024 134512640 143279753 4294011296 18446744073709551615 135062884 0 0 18944 2 0 0 0 17 0 0 0 0
/proc/24107/statm: 17819 15659 610 2141 0 15675 0
[pid=24108] ppid=24103 vsize=7196 CPUtime=0
/proc/24108/stat : 24108 (scip2v) S 24103 24077 17551 34817 17551 4202496 1009 0 0 0 0 0 0 0 18 0 1 0 36045679 7368704 847 1283457024 134512640 136477024 4290184768 18446744073709551615 4294960130 0 0 16800256 2 18446744071564457842 0 0 17 0 0 0 0
/proc/24108/statm: 1799 847 474 480 0 384 0
Current children cumulated CPU time (s) 7.87
Current children cumulated vsize (KiB) 123236

[startup+8.40674 s]
/proc/loadavg: 1.05 1.05 1.00 2/44 24108
/proc/meminfo: memFree=45048/1048576 swapFree=0/0
[pid=24077] ppid=24076 vsize=2568 CPUtime=0
/proc/24077/stat : 24077 (packup2hy4tr-0.) S 24076 24077 17551 34817 17551 4202496 377 0 0 0 0 0 0 0 18 0 1 0 36045056 2629632 274 1283457024 134512640 135304128 4288842784 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/24077/statm: 642 274 233 194 0 29 0
[pid=24078] ppid=24077 vsize=35388 CPUtime=6.05
/proc/24078/stat : 24078 (packup) S 24077 24077 17551 34817 17551 4202496 8567 44633 0 0 124 38 400 43 18 0 1 0 36045056 36237312 8205 1283457024 134512640 134752139 4292542336 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/24078/statm: 8847 8205 332 59 0 8011 0
[pid=24098] ppid=24078 vsize=1668 CPUtime=0
/proc/24098/stat : 24098 (sh) S 24078 24077 17551 34817 17551 4202496 145 0 0 0 0 0 0 0 18 0 1 0 36045672 1708032 123 1283457024 134512640 134593992 4287224656 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/24098/statm: 417 123 108 20 0 44 0
[pid=24099] ppid=24098 vsize=2572 CPUtime=0
/proc/24099/stat : 24099 (run_h) S 24098 24077 17551 34817 17551 4202496 365 611 0 0 0 0 0 0 21 0 1 0 36045672 2633728 272 1283457024 134512640 135304128 4288863488 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/24099/statm: 643 272 232 194 0 30 0
[pid=24103] ppid=24099 vsize=2568 CPUtime=0
/proc/24103/stat : 24103 (run_scip) S 24099 24077 17551 34817 17551 4202496 394 752 0 0 0 0 0 0 21 0 1 0 36045672 2629632 269 1283457024 134512640 135304128 4288345200 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/24103/statm: 642 269 228 194 0 29 0
[pid=24107] ppid=24103 vsize=72968 CPUtime=2.22
/proc/24107/stat : 24107 (scip-2.0.1.linu) R 24103 24077 17551 34817 17551 4202496 24795 0 0 0 192 30 0 0 25 0 1 0 36045673 74719232 16117 1283457024 134512640 143279753 4294011296 18446744073709551615 134605015 0 0 18944 2 0 0 0 17 0 0 0 0
/proc/24107/statm: 18242 16117 641 2141 0 16098 0
[pid=24108] ppid=24103 vsize=7196 CPUtime=0
/proc/24108/stat : 24108 (scip2v) S 24103 24077 17551 34817 17551 4202496 1010 0 0 0 0 0 0 0 18 0 1 0 36045679 7368704 848 1283457024 134512640 136477024 4290184768 18446744073709551615 4294960130 0 0 16800256 2 18446744071564457842 0 0 17 0 0 0 0
/proc/24108/statm: 1799 848 474 480 0 384 0
Current children cumulated CPU time (s) 8.27
Current children cumulated vsize (KiB) 124928

[startup+8.60678 s]
/proc/loadavg: 1.05 1.05 1.00 2/44 24108
/proc/meminfo: memFree=45048/1048576 swapFree=0/0
[pid=24077] ppid=24076 vsize=2568 CPUtime=0
/proc/24077/stat : 24077 (packup2hy4tr-0.) S 24076 24077 17551 34817 17551 4202496 377 0 0 0 0 0 0 0 18 0 1 0 36045056 2629632 274 1283457024 134512640 135304128 4288842784 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/24077/statm: 642 274 233 194 0 29 0
[pid=24078] ppid=24077 vsize=35388 CPUtime=6.05
/proc/24078/stat : 24078 (packup) S 24077 24077 17551 34817 17551 4202496 8567 44633 0 0 124 38 400 43 18 0 1 0 36045056 36237312 8205 1283457024 134512640 134752139 4292542336 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/24078/statm: 8847 8205 332 59 0 8011 0
[pid=24098] ppid=24078 vsize=1668 CPUtime=0
/proc/24098/stat : 24098 (sh) S 24078 24077 17551 34817 17551 4202496 145 0 0 0 0 0 0 0 18 0 1 0 36045672 1708032 123 1283457024 134512640 134593992 4287224656 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/24098/statm: 417 123 108 20 0 44 0
[pid=24099] ppid=24098 vsize=2572 CPUtime=0
/proc/24099/stat : 24099 (run_h) S 24098 24077 17551 34817 17551 4202496 365 611 0 0 0 0 0 0 21 0 1 0 36045672 2633728 272 1283457024 134512640 135304128 4288863488 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/24099/statm: 643 272 232 194 0 30 0
[pid=24103] ppid=24099 vsize=2568 CPUtime=0
/proc/24103/stat : 24103 (run_scip) S 24099 24077 17551 34817 17551 4202496 394 752 0 0 0 0 0 0 21 0 1 0 36045672 2629632 269 1283457024 134512640 135304128 4288345200 18446744073709551615 4294960130 0 65536 18948 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/24103/statm: 642 269 228 194 0 29 0
[pid=24107] ppid=24103 vsize=73512 CPUtime=2.4
/proc/24107/stat : 24107 (scip-2.0.1.linu) R 24103 24077 17551 34817 17551 4202496 25293 0 0 0 208 32 0 0 25 0 1 0 36045673 75276288 16313 1283457024 134512640 143279753 4294011296 18446744073709551615 4294960130 0 0 18944 0 0 0 0 17 0 0 0 0
/proc/24107/statm: 18378 16313 733 2141 0 16234 0
[pid=24108] ppid=24103 vsize=7388 CPUtime=0.02
/proc/24108/stat : 24108 (scip2v) S 24103 24077 17551 34817 17551 4202496 1045 0 0 0 0 2 0 0 18 0 1 0 36045679 7565312 883 1283457024 134512640 136477024 4290184768 18446744073709551615 4294960130 0 0 16800256 2 18446744071564457842 0 0 17 0 0 0 0
/proc/24108/statm: 1847 883 479 480 0 432 0
Current children cumulated CPU time (s) 8.47
Current children cumulated vsize (KiB) 125664

[startup+8.70684 s]
/proc/loadavg: 1.05 1.05 1.00 2/44 24108
/proc/meminfo: memFree=45048/1048576 swapFree=0/0
[pid=24077] ppid=24076 vsize=2568 CPUtime=0
/proc/24077/stat : 24077 (packup2hy4tr-0.) S 24076 24077 17551 34817 17551 4202496 377 0 0 0 0 0 0 0 18 0 1 0 36045056 2629632 274 1283457024 134512640 135304128 4288842784 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/24077/statm: 642 274 233 194 0 29 0
[pid=24078] ppid=24077 vsize=35392 CPUtime=8.59
/proc/24078/stat : 24078 (packup) R 24077 24077 17551 34817 17551 4202496 8637 73318 0 0 126 39 614 80 18 0 1 0 36045056 36241408 8219 1283457024 134512640 134752139 4292542336 18446744073709551615 4294960130 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/24078/statm: 8848 8219 345 59 0 8012 0
Current children cumulated CPU time (s) 8.59
Current children cumulated vsize (KiB) 37960

Child status: 0
Real time (s): 8.79043
CPU time (s): 8.69254
CPU user time (s): 7.45647
CPU system time (s): 1.23608
CPU usage (%): 98.8865
Max. virtual memory (cumulated for all children) (KiB): 125664

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.45647
system time used= 1.23608
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 89798
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= 13319
involuntary context switches= 13447

runsolver used 0.008 second user time and 0.004 second system time

The end