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/201108291842/aspcud-1.5/rand662.cudf.dudf-random.log.runsolver ./aspcud-1.5 /home/misc2010/data/2011/dudf-random//rand662.cudf /home/misc2010/tmp/201108291842/aspcud-1.5/rand662.cudf.dudf-random.result -notuptodate,-removed,-changed 

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.19 1.26 1.18 5/37 23355
/proc/meminfo: memFree=322116/1048576 swapFree=0/0
[pid=23353] ppid=23352 vsize=2588 CPUtime=0
/proc/23353/stat : 23353 (aspcud-1.5) S 23352 23353 17511 34816 17511 4202496 372 0 0 0 0 0 0 0 18 0 1 0 46264967 2650112 279 1283457024 134512640 135304128 4287916896 18446744073709551615 4294960130 0 0 4 65536 18446744071564457842 0 0 17 0 0 0 0
/proc/23353/statm: 647 279 234 194 0 34 0
[pid=23354] ppid=23353 vsize=2588 CPUtime=0
/proc/23354/stat : 23354 (aspcud-1.5) R 23353 23353 17511 34816 17511 4202560 110 0 0 0 0 0 0 0 25 0 1 0 46264967 2650112 132 1283457024 134512640 135304128 4287916896 18446744073709551615 4294960130 0 65538 0 65538 0 0 0 17 0 0 0 0
/proc/23354/statm: 647 132 86 194 0 34 0
[pid=23355] ppid=23354 vsize=2588 CPUtime=0
/proc/23355/stat : 23355 (aspcud-1.5) R 23354 23353 17511 34816 17511 4202560 0 0 0 0 0 0 0 0 25 0 1 0 46264967 2650112 46 1283457024 134512640 135304128 4287916896 18446744073709551615 4294960130 0 65538 0 65538 0 0 0 17 0 0 0 0
/proc/23355/statm: 647 46 0 194 0 34 0

[startup+0.154519 s]
/proc/loadavg: 1.19 1.26 1.18 5/37 23355
/proc/meminfo: memFree=322116/1048576 swapFree=0/0
[pid=23353] ppid=23352 vsize=2596 CPUtime=0.01
/proc/23353/stat : 23353 (aspcud-1.5) S 23352 23353 17511 34816 17511 4202496 583 1516 0 0 0 0 0 1 25 0 1 0 46264967 2658304 298 1283457024 134512640 135304128 4287916896 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/23353/statm: 649 298 251 194 0 36 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2596

[startup+0.266507 s]
/proc/loadavg: 1.19 1.26 1.18 5/37 23355
/proc/meminfo: memFree=322116/1048576 swapFree=0/0
[pid=23353] ppid=23352 vsize=2596 CPUtime=0.01
/proc/23353/stat : 23353 (aspcud-1.5) S 23352 23353 17511 34816 17511 4202496 583 1516 0 0 0 0 0 1 25 0 1 0 46264967 2658304 298 1283457024 134512640 135304128 4287916896 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/23353/statm: 649 298 251 194 0 36 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2596

[startup+0.306503 s]
/proc/loadavg: 1.19 1.26 1.18 5/37 23355
/proc/meminfo: memFree=322116/1048576 swapFree=0/0
[pid=23353] ppid=23352 vsize=2596 CPUtime=0.01
/proc/23353/stat : 23353 (aspcud-1.5) S 23352 23353 17511 34816 17511 4202496 583 1516 0 0 0 0 0 1 25 0 1 0 46264967 2658304 298 1283457024 134512640 135304128 4287916896 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/23353/statm: 649 298 251 194 0 36 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2596

[startup+0.713595 s]
/proc/loadavg: 1.19 1.26 1.18 5/37 23355
/proc/meminfo: memFree=322116/1048576 swapFree=0/0
[pid=23353] ppid=23352 vsize=2596 CPUtime=0.01
/proc/23353/stat : 23353 (aspcud-1.5) S 23352 23353 17511 34816 17511 4202496 583 1516 0 0 0 0 0 1 25 0 1 0 46264967 2658304 298 1283457024 134512640 135304128 4287916896 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/23353/statm: 649 298 251 194 0 36 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2596

[startup+1.50659 s]
/proc/loadavg: 1.19 1.26 1.18 2/39 23364
/proc/meminfo: memFree=282432/1048576 swapFree=0/0
[pid=23353] ppid=23352 vsize=2596 CPUtime=0.01
/proc/23353/stat : 23353 (aspcud-1.5) S 23352 23353 17511 34816 17511 4202496 583 1516 0 0 0 0 0 1 25 0 1 0 46264967 2658304 298 1283457024 134512640 135304128 4287916896 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/23353/statm: 649 298 251 194 0 36 0
[pid=23362] ppid=23353 vsize=1928 CPUtime=0
/proc/23362/stat : 23362 (clasp) S 23353 23353 17511 34816 17511 4202496 292 0 0 0 0 0 0 0 25 0 1 0 46264968 1974272 160 1283457024 134512640 136285277 4288816160 18446744073709551615 4294960130 0 0 6 18944 18446744071564457842 0 0 17 0 0 0 0
/proc/23362/statm: 482 160 144 433 0 47 0
[pid=23363] ppid=23353 vsize=2588 CPUtime=0
/proc/23363/stat : 23363 (gringo) S 23353 23353 17511 34816 17511 4202496 404 0 0 0 0 0 0 0 25 0 1 0 46264968 2650112 272 1283457024 134512640 136933539 4289715568 18446744073709551615 135633806 0 0 6 16384 18446744071564457842 0 0 17 0 0 0 0
/proc/23363/statm: 647 272 242 592 0 52 0
[pid=23364] ppid=23353 vsize=25000 CPUtime=1.32
/proc/23364/stat : 23364 (cudf2lp) R 23353 23353 17511 34816 17511 4202496 7184 0 0 0 130 2 0 0 25 0 1 0 46264968 25600000 5586 1283457024 134512640 135786343 4294746688 18446744073709551615 134583864 0 0 6 0 0 0 0 17 0 0 0 0
/proc/23364/statm: 6250 5586 128 311 0 5937 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 32112

[startup+3.11293 s]
/proc/loadavg: 1.19 1.26 1.18 2/39 23364
/proc/meminfo: memFree=254128/1048576 swapFree=0/0
[pid=23353] ppid=23352 vsize=2596 CPUtime=2.24
/proc/23353/stat : 23353 (aspcud-1.5) S 23352 23353 17511 34816 17511 4202496 584 14422 0 0 0 0 218 6 18 0 1 0 46264967 2658304 298 1283457024 134512640 135304128 4287916896 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/23353/statm: 649 298 251 194 0 36 0
[pid=23362] ppid=23353 vsize=15072 CPUtime=0.07
/proc/23362/stat : 23362 (clasp) R 23353 23353 17511 34816 17511 4202496 4159 0 0 0 6 1 0 0 18 0 1 0 46264968 15433728 3369 1283457024 134512640 136285277 4288816160 18446744073709551615 4294960130 0 0 6 18944 0 0 0 17 0 0 0 0
/proc/23362/statm: 3768 3369 177 433 0 3333 0
[pid=23363] ppid=23353 vsize=22628 CPUtime=0.58
/proc/23363/stat : 23363 (gringo) R 23353 23353 17511 34816 17511 4202496 6467 0 0 0 52 6 0 0 18 0 1 0 46264968 23171072 4516 1283457024 134512640 136933539 4289715568 18446744073709551615 134688021 0 0 6 16384 0 0 0 17 0 0 0 0
/proc/23363/statm: 5657 4516 253 592 0 5062 0
Current children cumulated CPU time (s) 2.89
Current children cumulated vsize (KiB) 40296

[startup+6.31363 s]
/proc/loadavg: 1.17 1.26 1.18 2/37 23364
/proc/meminfo: memFree=262228/1048576 swapFree=0/0
[pid=23353] ppid=23352 vsize=2596 CPUtime=3.28
/proc/23353/stat : 23353 (aspcud-1.5) S 23352 23353 17511 34816 17511 4202496 584 25661 0 0 0 0 310 18 15 0 1 0 46264967 2658304 298 1283457024 134512640 135304128 4287916896 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/23353/statm: 649 298 251 194 0 36 0
[pid=23362] ppid=23353 vsize=33720 CPUtime=2.81
/proc/23362/stat : 23362 (clasp) R 23353 23353 17511 34816 17511 4202496 10047 0 0 0 278 3 0 0 23 0 1 0 46264968 34529280 8186 1283457024 134512640 136285277 4288816160 18446744073709551615 134930861 0 0 6 18944 0 0 0 17 0 0 0 0
/proc/23362/statm: 8430 8186 234 433 0 7995 0
Current children cumulated CPU time (s) 6.09
Current children cumulated vsize (KiB) 36316

[startup+12.7053 s]
/proc/loadavg: 1.16 1.26 1.18 2/37 23365
/proc/meminfo: memFree=177288/1048576 swapFree=0/0
[pid=23353] ppid=23352 vsize=2596 CPUtime=3.28
/proc/23353/stat : 23353 (aspcud-1.5) S 23352 23353 17511 34816 17511 4202496 584 25661 0 0 0 0 310 18 15 0 1 0 46264967 2658304 298 1283457024 134512640 135304128 4287916896 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/23353/statm: 649 298 251 194 0 36 0
[pid=23362] ppid=23353 vsize=118860 CPUtime=9.19
/proc/23362/stat : 23362 (clasp) R 23353 23353 17511 34816 17511 4202496 31352 0 0 0 910 9 0 0 25 0 1 0 46264968 121712640 29491 1283457024 134512640 136285277 4288816160 18446744073709551615 134650670 0 0 6 18944 0 0 0 17 0 0 0 0
/proc/23362/statm: 29715 29491 234 433 0 29280 0
Current children cumulated CPU time (s) 12.47
Current children cumulated vsize (KiB) 121456

[startup+25.5082 s]
/proc/loadavg: 1.12 1.24 1.17 2/37 23366
/proc/meminfo: memFree=168236/1048576 swapFree=0/0
[pid=23353] ppid=23352 vsize=2596 CPUtime=3.28
/proc/23353/stat : 23353 (aspcud-1.5) S 23352 23353 17511 34816 17511 4202496 584 25661 0 0 0 0 310 18 15 0 1 0 46264967 2658304 298 1283457024 134512640 135304128 4287916896 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/23353/statm: 649 298 251 194 0 36 0
[pid=23362] ppid=23353 vsize=127880 CPUtime=21.98
/proc/23362/stat : 23362 (clasp) R 23353 23353 17511 34816 17511 4202496 33594 0 0 0 2186 12 0 0 25 0 1 0 46264968 130949120 31733 1283457024 134512640 136285277 4288816160 18446744073709551615 134623661 0 0 6 18944 0 0 0 17 0 0 0 0
/proc/23362/statm: 31970 31733 234 433 0 31535 0
Current children cumulated CPU time (s) 25.26
Current children cumulated vsize (KiB) 130476

[startup+51.1035 s]
/proc/loadavg: 1.08 1.22 1.17 2/37 23369
/proc/meminfo: memFree=28364/1048576 swapFree=0/0
[pid=23353] ppid=23352 vsize=2596 CPUtime=3.28
/proc/23353/stat : 23353 (aspcud-1.5) S 23352 23353 17511 34816 17511 4202496 584 25661 0 0 0 0 310 18 15 0 1 0 46264967 2658304 298 1283457024 134512640 135304128 4287916896 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/23353/statm: 649 298 251 194 0 36 0
[pid=23362] ppid=23353 vsize=275324 CPUtime=47.55
/proc/23362/stat : 23362 (clasp) R 23353 23353 17511 34816 17511 4202496 70435 0 0 0 4727 28 0 0 25 0 1 0 46264968 281931776 68574 1283457024 134512640 136285277 4288816160 18446744073709551615 134733718 0 0 6 18944 0 0 0 17 0 0 0 0
/proc/23362/statm: 68831 68574 234 433 0 68396 0
Current children cumulated CPU time (s) 50.83
Current children cumulated vsize (KiB) 277920

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

[startup+51.2135 s]
/proc/loadavg: 1.08 1.22 1.17 2/37 23369
/proc/meminfo: memFree=28364/1048576 swapFree=0/0
[pid=23353] ppid=23352 vsize=2596 CPUtime=3.28
/proc/23353/stat : 23353 (aspcud-1.5) S 23352 23353 17511 34816 17511 4202496 584 25661 0 0 0 0 310 18 15 0 1 0 46264967 2658304 298 1283457024 134512640 135304128 4287916896 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/23353/statm: 649 298 251 194 0 36 0
[pid=23362] ppid=23353 vsize=276784 CPUtime=47.67
/proc/23362/stat : 23362 (clasp) R 23353 23353 17511 34816 17511 4202496 70813 0 0 0 4739 28 0 0 25 0 1 0 46264968 283426816 68952 1283457024 134512640 136285277 4288816160 18446744073709551615 134723291 0 0 6 18944 0 0 0 17 0 0 0 0
/proc/23362/statm: 69196 68952 234 433 0 68761 0
Current children cumulated CPU time (s) 50.95
Current children cumulated vsize (KiB) 279380

[startup+76.8099 s]
/proc/loadavg: 1.05 1.20 1.16 2/37 23371
/proc/meminfo: memFree=20800/1048576 swapFree=0/0
[pid=23353] ppid=23352 vsize=2596 CPUtime=3.28
/proc/23353/stat : 23353 (aspcud-1.5) S 23352 23353 17511 34816 17511 4202496 584 25661 0 0 0 0 310 18 15 0 1 0 46264967 2658304 298 1283457024 134512640 135304128 4287916896 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/23353/statm: 649 298 251 194 0 36 0
[pid=23362] ppid=23353 vsize=274484 CPUtime=73.23
/proc/23362/stat : 23362 (clasp) R 23353 23353 17511 34816 17511 4202496 71128 0 0 0 7294 29 0 0 25 0 1 0 46264968 281071616 68394 1283457024 134512640 136285277 4288816160 18446744073709551615 134734701 0 0 6 18944 0 0 0 17 0 0 0 0
/proc/23362/statm: 68621 68394 234 433 0 68186 0
Current children cumulated CPU time (s) 76.51
Current children cumulated vsize (KiB) 277080

[startup+83.2114 s]
/proc/loadavg: 1.05 1.20 1.16 2/37 23372
/proc/meminfo: memFree=20800/1048576 swapFree=0/0
[pid=23353] ppid=23352 vsize=2596 CPUtime=3.28
/proc/23353/stat : 23353 (aspcud-1.5) S 23352 23353 17511 34816 17511 4202496 584 25661 0 0 0 0 310 18 15 0 1 0 46264967 2658304 298 1283457024 134512640 135304128 4287916896 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/23353/statm: 649 298 251 194 0 36 0
[pid=23362] ppid=23353 vsize=274484 CPUtime=79.63
/proc/23362/stat : 23362 (clasp) R 23353 23353 17511 34816 17511 4202496 71128 0 0 0 7934 29 0 0 25 0 1 0 46264968 281071616 68394 1283457024 134512640 136285277 4288816160 18446744073709551615 134623648 0 0 6 18944 0 0 0 17 0 0 0 0
/proc/23362/statm: 68621 68394 234 433 0 68186 0
Current children cumulated CPU time (s) 82.91
Current children cumulated vsize (KiB) 277080

[startup+86.4122 s]
/proc/loadavg: 1.04 1.20 1.16 2/37 23372
/proc/meminfo: memFree=20800/1048576 swapFree=0/0
[pid=23353] ppid=23352 vsize=2596 CPUtime=3.28
/proc/23353/stat : 23353 (aspcud-1.5) S 23352 23353 17511 34816 17511 4202496 584 25661 0 0 0 0 310 18 15 0 1 0 46264967 2658304 298 1283457024 134512640 135304128 4287916896 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/23353/statm: 649 298 251 194 0 36 0
[pid=23362] ppid=23353 vsize=274484 CPUtime=82.83
/proc/23362/stat : 23362 (clasp) R 23353 23353 17511 34816 17511 4202496 71128 0 0 0 8254 29 0 0 25 0 1 0 46264968 281071616 68394 1283457024 134512640 136285277 4288816160 18446744073709551615 134963464 0 0 6 18944 0 0 0 17 0 0 0 0
/proc/23362/statm: 68621 68394 234 433 0 68186 0
Current children cumulated CPU time (s) 86.11
Current children cumulated vsize (KiB) 277080

[startup+89.613 s]
/proc/loadavg: 1.04 1.20 1.16 2/39 23374
/proc/meminfo: memFree=19348/1048576 swapFree=0/0
[pid=23353] ppid=23352 vsize=2596 CPUtime=3.28
/proc/23353/stat : 23353 (aspcud-1.5) S 23352 23353 17511 34816 17511 4202496 584 25661 0 0 0 0 310 18 15 0 1 0 46264967 2658304 298 1283457024 134512640 135304128 4287916896 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/23353/statm: 649 298 251 194 0 36 0
[pid=23362] ppid=23353 vsize=274484 CPUtime=85.97
/proc/23362/stat : 23362 (clasp) R 23353 23353 17511 34816 17511 4202496 71128 0 0 0 8568 29 0 0 25 0 1 0 46264968 281071616 68394 1283457024 134512640 136285277 4288816160 18446744073709551615 134723341 0 0 6 18944 0 0 0 17 0 0 0 0
/proc/23362/statm: 68621 68394 234 433 0 68186 0
Current children cumulated CPU time (s) 89.25
Current children cumulated vsize (KiB) 277080

[startup+90.4131 s]
/proc/loadavg: 1.20 1.22 1.17 3/40 23427
/proc/meminfo: memFree=16436/1048576 swapFree=0/0
[pid=23353] ppid=23352 vsize=2596 CPUtime=3.28
/proc/23353/stat : 23353 (aspcud-1.5) S 23352 23353 17511 34816 17511 4202496 584 25661 0 0 0 0 310 18 15 0 1 0 46264967 2658304 298 1283457024 134512640 135304128 4287916896 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/23353/statm: 649 298 251 194 0 36 0
[pid=23362] ppid=23353 vsize=274484 CPUtime=86.72
/proc/23362/stat : 23362 (clasp) R 23353 23353 17511 34816 17511 4202496 71128 0 0 0 8643 29 0 0 25 0 1 0 46264968 281071616 68394 1283457024 134512640 136285277 4288816160 18446744073709551615 134650384 0 0 6 18944 0 0 0 17 0 0 0 0
/proc/23362/statm: 68621 68394 234 433 0 68186 0
Current children cumulated CPU time (s) 90
Current children cumulated vsize (KiB) 277080

[startup+90.8132 s]
/proc/loadavg: 1.20 1.22 1.17 3/40 23427
/proc/meminfo: memFree=16436/1048576 swapFree=0/0
[pid=23353] ppid=23352 vsize=2596 CPUtime=3.28
/proc/23353/stat : 23353 (aspcud-1.5) S 23352 23353 17511 34816 17511 4202496 584 25661 0 0 0 0 310 18 15 0 1 0 46264967 2658304 298 1283457024 134512640 135304128 4287916896 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/23353/statm: 649 298 251 194 0 36 0
[pid=23362] ppid=23353 vsize=274484 CPUtime=87.12
/proc/23362/stat : 23362 (clasp) R 23353 23353 17511 34816 17511 4202496 71128 0 0 0 8682 30 0 0 25 0 1 0 46264968 281071616 68394 1283457024 134512640 136285277 4288816160 18446744073709551615 134723339 0 0 6 18944 0 0 0 17 0 0 0 0
/proc/23362/statm: 68621 68394 234 433 0 68186 0
Current children cumulated CPU time (s) 90.4
Current children cumulated vsize (KiB) 277080

[startup+91.014 s]
/proc/loadavg: 1.20 1.22 1.17 3/40 23427
/proc/meminfo: memFree=16436/1048576 swapFree=0/0
[pid=23353] ppid=23352 vsize=2596 CPUtime=3.28
/proc/23353/stat : 23353 (aspcud-1.5) S 23352 23353 17511 34816 17511 4202496 584 25661 0 0 0 0 310 18 15 0 1 0 46264967 2658304 298 1283457024 134512640 135304128 4287916896 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/23353/statm: 649 298 251 194 0 36 0
[pid=23362] ppid=23353 vsize=23008 CPUtime=87.32
/proc/23362/stat : 23362 (clasp) R 23353 23353 17511 34816 17511 4202496 71136 0 0 0 8696 36 0 0 25 0 1 0 46264968 23560192 4532 1283457024 134512640 136285277 4288816160 18446744073709551615 4294960130 0 0 6 18944 0 0 0 17 0 0 0 0
/proc/23362/statm: 5752 4532 242 433 0 5317 0
Current children cumulated CPU time (s) 90.6
Current children cumulated vsize (KiB) 25604

Child status: 0
Real time (s): 91.0468
CPU time (s): 90.6497
CPU user time (s): 90.0776
CPU system time (s): 0.572035
CPU usage (%): 99.5638
Max. virtual memory (cumulated for all children) (KiB): 280700

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 90.0776
system time used= 0.572035
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 101332
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= 1330
involuntary context switches= 2258

runsolver used 0 second user time and 0 second system time

The end