c array.sh: col: /home/froleyks/reconf/2022benchmark/benchmark/color04/wap07a.col c array.sh: dat: /home/froleyks/reconf/2022benchmark/benchmark/color04/wap07a_02.dat c array.sh: name: wap07a_02 c array.sh: task: 198 c array.sh: host: c3n05 c array.sh: uname: Linux c3n05 5.4.0-104-generic #118-Ubuntu SMP Wed Mar 2 19:02:41 UTC 2022 x86_64 x86_64 x86_64 GNU/Linux c array.sh: start: Thu 24 Mar 2022 02:10:28 PM CET c array.sh: noturbo: 1 c array.sh: governor: 32 performance c array.sh: tmp: 1% c 0.1270: solving existent 21701617-198-wap07a_02 c 0.2610: Wrote /tmp/21701617-198-wap07a_02.aag c 0.3630: Wrote /tmp/21701617-198-wap07a_02.aig c 8.6560: Wrote /tmp/21701617-198-wap07a_02.trace c 8.6580: Found solution, Length: 52 s 5 7 22 23 34 35 53 55 56 57 77 79 81 83 85 86 91 95 97 100 101 106 109 115 117 119 126 136 137 141 142 149 152 153 169 171 177 179 181 185 186 190 207 208 209 211 215 217 218 223 226 229 238 239 247 249 251 255 256 261 263 266 267 275 293 297 298 301 302 307 309 311 312 317 321 323 325 333 339 355 364 371 372 374 401 402 405 407 417 420 426 427 431 441 445 447 455 463 471 475 487 490 493 500 502 514 519 522 558 559 565 581 586 593 609 615 619 651 660 699 701 704 751 755 785 817 819 857 901 931 955 1025 1113 1194 1338 1398 1586 t 5 6 21 22 34 35 40 45 54 55 77 79 81 83 85 86 89 95 97 99 101 106 109 115 119 127 136 137 141 142 147 148 149 169 171 177 179 181 186 190 208 209 210 215 217 218 223 229 233 239 247 249 251 254 255 261 263 265 266 274 293 297 301 307 309 311 312 316 321 323 325 333 339 353 361 364 369 374 375 401 402 405 407 417 419 426 427 431 441 445 455 463 471 474 477 487 489 493 500 501 514 519 522 531 558 565 581 586 593 609 615 619 647 651 659 699 701 704 751 785 819 835 839 857 876 931 955 1025 1113 1194 1234 1279 1296 1338 1341 1443 1586 a YES a 5 7 22 23 34 35 53 55 56 57 77 79 81 83 85 86 91 95 97 100 101 106 109 115 117 119 126 136 137 141 142 149 152 153 169 171 177 179 181 185 186 190 207 208 209 211 215 217 218 223 226 229 238 239 247 249 251 255 256 261 263 266 267 275 293 297 298 301 302 307 309 311 312 317 321 323 325 333 339 355 364 371 372 374 401 402 405 407 417 420 426 427 431 441 445 447 455 463 471 475 487 490 493 500 502 514 519 522 558 559 565 581 586 593 609 615 619 651 660 699 701 704 751 755 785 817 819 857 901 931 955 1025 1113 1194 1338 1398 1586 a 5 7 22 23 34 35 53 55 56 57 77 79 81 83 85 86 91 95 97 100 101 106 109 115 117 119 126 136 137 141 142 149 152 153 169 171 177 179 181 185 186 190 207 208 209 211 215 217 218 223 226 229 238 239 247 249 251 255 256 261 263 266 267 275 293 297 298 301 302 307 309 311 312 317 321 323 325 333 339 355 361 364 372 374 401 402 405 407 417 420 426 427 431 441 445 447 455 463 471 475 487 490 493 500 502 514 519 522 558 559 565 581 586 593 609 615 619 651 660 699 701 704 751 755 785 817 819 857 901 931 955 1025 1113 1194 1338 1398 1586 a 5 7 22 23 34 35 53 55 56 57 77 79 81 83 85 86 91 95 97 100 101 106 109 115 117 119 126 136 137 141 142 149 152 153 169 171 177 179 181 185 186 190 207 208 209 211 215 217 218 223 226 229 238 239 247 249 251 255 256 261 263 266 267 275 293 297 298 301 302 307 309 311 312 317 321 323 325 333 339 355 361 364 372 374 401 402 405 407 417 420 426 427 431 441 445 447 455 463 471 475 476 487 490 493 500 502 514 519 522 558 559 565 581 586 593 609 615 619 651 660 699 701 704 751 755 785 817 819 857 901 931 955 1025 1113 1194 1338 1586 a 5 7 22 23 34 35 53 55 56 57 77 79 81 83 85 86 91 95 97 100 101 106 109 115 117 119 126 136 137 141 142 149 152 153 169 171 177 179 181 185 186 190 207 208 209 211 215 217 218 223 226 229 238 239 247 249 251 255 256 261 263 266 267 275 293 297 298 301 302 307 309 311 312 317 321 323 325 333 339 355 361 364 372 374 401 402 405 407 417 420 426 427 431 441 445 447 455 463 471 475 487 490 493 500 502 514 519 522 558 559 565 581 586 593 609 615 619 651 660 699 701 704 751 755 785 817 819 857 901 931 955 1025 1113 1194 1296 1338 1586 a 5 7 22 23 34 35 53 55 56 57 77 79 81 83 85 86 91 95 97 100 101 106 109 115 117 119 126 136 137 141 142 149 152 153 169 171 177 179 181 185 186 190 207 208 209 211 215 217 218 223 226 229 238 239 247 249 251 255 256 261 263 266 267 275 293 297 298 301 302 307 309 311 312 317 321 323 325 333 339 355 361 364 372 374 401 402 405 407 417 420 426 427 431 441 445 447 455 463 471 475 487 490 493 500 502 514 519 522 558 559 565 581 586 593 609 615 619 651 660 699 701 704 751 755 785 817 819 857 876 931 955 1025 1113 1194 1296 1338 1586 a 5 7 22 23 34 35 53 55 56 57 77 79 81 83 85 86 91 95 97 100 101 106 109 115 117 119 126 136 137 141 142 149 152 153 169 171 177 179 181 185 186 190 207 208 209 211 215 217 218 223 226 229 238 239 247 249 251 255 256 261 263 266 267 275 293 297 298 301 302 307 309 311 312 317 321 323 325 333 339 355 361 364 372 374 401 402 405 407 417 420 426 427 431 441 445 447 455 463 471 475 487 490 493 500 502 514 519 522 558 559 565 581 586 593 609 615 619 651 660 699 701 704 751 785 817 819 857 876 931 955 1025 1113 1194 1234 1296 1338 1586 a 5 7 22 23 34 35 53 55 56 57 77 79 81 83 85 86 91 95 97 100 101 106 109 115 117 119 126 136 137 141 142 149 152 153 169 171 177 179 181 185 186 190 207 208 209 211 215 217 218 223 226 229 238 239 247 249 251 255 256 261 263 266 267 275 293 297 298 301 302 307 309 311 312 317 321 323 325 333 339 355 361 364 372 374 401 402 405 407 417 420 426 427 431 441 445 447 455 463 471 475 487 490 493 500 502 514 519 522 558 559 565 581 586 593 609 615 619 651 659 699 701 704 751 785 817 819 857 876 931 955 1025 1113 1194 1234 1296 1338 1586 a 5 7 22 23 34 35 53 55 56 57 77 79 81 83 85 86 91 95 97 100 101 106 109 115 117 119 126 136 137 141 142 149 152 153 169 171 177 179 181 185 186 190 207 208 209 211 215 217 218 223 226 229 238 239 247 249 251 255 256 261 263 266 267 275 293 297 298 301 302 307 309 311 312 317 321 323 325 333 339 355 361 364 372 374 401 402 405 407 417 420 426 427 431 441 445 447 455 463 471 475 487 490 493 500 502 514 519 522 558 565 581 586 593 609 615 619 651 659 699 701 704 751 785 817 819 857 876 931 955 1025 1113 1194 1234 1296 1338 1443 1586 a 5 7 22 23 34 35 53 55 56 57 77 79 81 83 85 86 91 95 97 100 101 106 109 115 117 119 126 136 137 141 142 149 152 153 169 171 177 179 181 185 186 190 207 208 209 211 215 217 218 223 226 229 238 239 247 249 251 255 256 261 263 266 267 275 293 297 298 301 302 307 309 311 312 317 321 323 325 333 339 355 361 364 372 374 401 402 405 407 417 420 426 427 431 441 445 447 455 463 471 475 487 490 493 500 514 519 522 558 565 581 586 593 609 615 619 651 659 699 701 704 751 781 785 817 819 857 876 931 955 1025 1113 1194 1234 1296 1338 1443 1586 a 5 7 22 23 34 35 53 55 56 57 77 79 81 83 85 86 91 95 97 100 101 106 109 115 117 119 126 136 137 141 142 149 152 153 169 171 177 179 181 185 186 190 207 208 209 211 215 217 218 223 226 229 238 239 247 249 251 255 256 261 263 266 267 275 293 297 298 301 302 307 309 311 312 317 321 323 325 333 339 355 361 364 372 374 401 402 405 407 417 420 426 427 431 441 445 447 455 463 471 475 487 490 493 500 501 514 519 522 558 565 581 586 593 609 615 619 651 659 699 701 704 751 785 817 819 857 876 931 955 1025 1113 1194 1234 1296 1338 1443 1586 a 5 7 22 23 34 35 53 55 56 57 77 79 81 83 85 86 91 95 97 100 101 106 109 115 117 119 126 136 137 141 142 149 152 153 169 171 177 179 181 185 186 190 207 208 209 211 215 217 218 223 226 229 238 239 247 249 251 255 256 261 263 266 267 275 293 297 298 301 302 307 309 311 312 317 321 323 325 333 339 355 361 364 372 374 401 402 405 407 417 420 426 427 431 441 445 447 455 463 471 475 487 489 493 500 501 514 519 522 558 565 581 586 593 609 615 619 651 659 699 701 704 751 785 817 819 857 876 931 955 1025 1113 1194 1234 1296 1338 1443 1586 a 5 7 22 23 34 35 53 55 56 57 77 79 81 83 85 86 91 95 97 100 101 106 109 115 117 119 126 136 137 141 142 149 152 153 169 171 177 179 181 185 186 190 207 208 209 211 215 217 218 223 226 229 238 239 247 249 251 255 256 261 263 266 267 275 293 297 298 301 302 307 309 311 312 317 321 323 325 333 339 355 361 364 372 374 401 402 405 407 417 420 426 427 431 441 445 447 455 463 471 475 477 487 489 493 500 501 514 519 522 558 565 581 586 593 609 615 619 651 659 699 701 704 751 785 819 857 876 931 955 1025 1113 1194 1234 1296 1338 1443 1586 a 5 7 22 23 34 35 53 55 56 57 77 79 81 83 85 86 91 95 97 100 101 106 109 115 117 119 126 136 137 141 142 149 152 153 169 171 177 179 181 185 186 190 207 209 211 215 217 218 223 226 229 238 239 247 249 251 255 256 261 263 266 267 275 293 297 298 301 302 307 309 311 312 317 321 323 325 333 339 355 361 364 372 374 401 402 405 407 417 420 426 427 431 441 445 447 455 463 471 475 477 487 489 493 500 501 514 519 522 558 565 581 586 593 609 615 619 651 659 699 701 704 751 785 817 819 857 876 931 955 1025 1113 1194 1234 1296 1338 1443 1586 a 5 7 22 23 34 35 53 55 56 57 77 79 81 83 85 86 91 95 97 100 101 106 109 115 117 119 126 136 137 141 142 149 152 153 169 171 177 179 181 185 186 190 207 208 209 211 217 218 223 226 229 238 239 247 249 251 255 256 261 263 266 267 275 293 297 298 301 302 307 309 311 312 317 321 323 325 333 339 355 361 364 372 374 401 402 405 407 417 420 426 427 431 441 445 447 455 463 471 475 477 487 489 493 500 501 514 519 522 558 565 581 586 593 609 615 619 651 659 699 701 704 751 785 817 819 857 876 931 955 1025 1113 1194 1234 1296 1338 1443 1586 a 5 7 22 23 34 35 53 55 56 57 77 79 81 83 85 86 91 95 97 100 101 106 109 115 117 119 126 136 137 141 142 149 152 153 169 171 177 179 181 185 186 190 207 208 209 211 215 217 218 223 226 229 238 239 247 249 251 255 256 261 263 266 267 275 293 297 298 301 302 307 309 311 312 317 321 323 325 333 339 355 361 364 372 374 401 402 405 407 417 420 426 427 431 441 445 447 455 463 471 477 487 489 493 500 501 514 519 522 558 565 581 586 593 609 615 619 651 659 699 701 704 751 785 817 819 857 876 931 955 1025 1113 1194 1234 1296 1338 1443 1586 a 5 7 22 23 34 35 53 55 56 57 77 79 81 83 85 86 91 95 97 100 101 106 109 115 117 119 126 136 137 141 142 149 152 153 169 171 177 179 181 185 186 190 207 208 209 211 215 217 218 223 226 229 238 239 247 249 251 255 256 261 263 266 267 275 293 297 298 301 302 307 309 311 312 317 321 323 325 333 339 355 361 364 372 374 401 402 405 407 417 420 426 427 431 441 445 455 463 471 477 487 489 493 500 501 514 519 522 558 565 581 586 593 609 615 619 651 659 699 701 704 751 785 817 819 857 876 931 955 1025 1113 1194 1234 1279 1296 1338 1443 1586 a 5 7 22 23 34 35 53 55 56 57 77 79 81 83 85 86 91 95 97 100 101 106 109 115 117 119 126 136 137 141 142 149 152 153 169 171 177 179 181 185 186 190 207 208 209 211 215 217 218 223 226 229 238 239 247 249 251 255 256 261 263 267 275 293 297 298 301 302 307 309 311 312 317 321 323 325 333 339 355 361 364 372 374 401 402 405 407 417 420 426 427 431 441 445 455 463 471 474 477 487 489 493 500 501 514 519 522 558 565 581 586 593 609 615 619 651 659 699 701 704 751 785 817 819 857 876 931 955 1025 1113 1194 1234 1279 1296 1338 1443 1586 a 5 7 22 23 34 35 53 55 56 57 77 79 81 83 85 86 91 95 97 100 101 106 109 115 117 119 126 136 137 141 142 149 152 153 169 171 177 179 181 185 186 190 207 208 209 211 215 217 218 223 226 229 238 239 247 249 251 255 256 261 263 266 267 275 293 297 298 301 302 307 309 311 312 317 321 323 325 333 339 355 361 364 372 374 401 402 405 407 417 420 426 427 441 445 455 463 471 474 477 487 489 493 500 501 514 519 522 558 565 581 586 593 609 615 619 651 659 699 701 704 751 785 817 819 857 876 931 955 1025 1113 1194 1234 1279 1296 1338 1443 1586 a 5 7 22 23 34 35 53 55 56 57 77 79 81 83 85 86 91 95 97 100 101 106 109 115 117 119 126 136 141 142 149 152 153 169 171 177 179 181 185 186 190 207 208 209 211 215 217 218 223 226 229 238 239 247 249 251 255 256 261 263 266 267 275 293 297 298 301 302 307 309 311 312 317 321 323 325 333 339 355 361 364 372 374 401 402 405 407 417 420 426 427 431 441 445 455 463 471 474 477 487 489 493 500 501 514 519 522 558 565 581 586 593 609 615 619 651 659 699 701 704 751 785 817 819 857 876 931 955 1025 1113 1194 1234 1279 1296 1338 1443 1586 a 5 7 22 23 34 35 53 55 56 57 77 79 81 83 85 86 91 95 97 100 101 106 109 115 117 119 126 136 137 141 142 149 152 153 169 171 177 179 181 185 186 190 207 208 209 211 215 217 218 223 226 229 238 239 247 249 251 255 256 261 263 266 267 275 293 297 298 301 302 307 309 311 312 317 321 323 325 333 339 355 361 364 372 374 401 405 407 417 420 426 427 431 441 445 455 463 471 474 477 487 489 493 500 501 514 519 522 558 565 581 586 593 609 615 619 651 659 699 701 704 751 785 817 819 857 876 931 955 1025 1113 1194 1234 1279 1296 1338 1443 1586 a 5 7 22 23 34 35 53 55 56 57 77 79 81 83 85 86 91 95 97 100 101 106 109 115 117 119 126 136 137 141 142 149 152 153 169 171 177 179 181 185 186 190 207 208 209 211 215 217 218 223 226 229 238 239 247 249 251 255 256 261 263 266 267 275 293 297 298 301 302 307 309 311 312 317 321 323 325 333 339 355 361 364 372 374 401 402 405 407 417 420 426 427 431 441 455 463 471 474 477 487 489 493 500 501 514 519 522 558 565 581 586 593 609 615 619 651 659 699 701 704 751 785 817 819 857 876 931 955 1025 1113 1194 1234 1279 1296 1338 1443 1586 a 5 7 22 23 34 35 53 55 56 57 77 79 81 83 85 86 91 95 97 100 106 109 115 117 119 126 136 137 141 142 149 152 153 169 171 177 179 181 185 186 190 207 208 209 211 215 217 218 223 226 229 238 239 247 249 251 255 256 261 263 266 267 275 293 297 298 301 302 307 309 311 312 317 321 323 325 333 339 355 361 364 372 374 401 402 405 407 417 420 426 427 431 441 445 455 463 471 474 477 487 489 493 500 501 514 519 522 558 565 581 586 593 609 615 619 651 659 699 701 704 751 785 817 819 857 876 931 955 1025 1113 1194 1234 1279 1296 1338 1443 1586 a 5 7 22 23 34 35 53 55 56 57 77 79 81 83 85 86 91 95 97 100 101 106 109 115 117 119 126 136 137 141 142 149 152 153 169 171 177 179 181 185 186 190 207 208 209 211 215 217 218 223 226 229 238 239 247 249 251 255 256 261 263 266 267 275 293 297 298 301 302 307 309 311 312 317 321 323 325 333 339 355 361 364 372 374 401 402 405 407 417 426 427 431 441 445 455 463 471 474 477 487 489 493 500 501 514 519 522 558 565 581 586 593 609 615 619 651 659 699 701 704 751 785 817 819 857 876 931 955 1025 1113 1194 1234 1279 1296 1338 1443 1586 a 5 7 22 23 34 35 53 55 56 57 77 79 81 83 85 86 91 95 97 100 101 106 109 115 117 119 126 136 137 141 142 149 152 153 169 171 177 179 181 185 186 190 207 208 209 211 215 217 218 223 226 229 238 239 247 249 251 255 256 261 263 266 267 275 293 297 298 301 302 307 309 311 312 317 321 323 325 333 339 355 361 364 372 374 401 402 405 407 417 419 426 427 431 441 445 455 463 471 474 477 487 489 493 500 501 514 519 522 558 565 581 586 593 609 615 619 651 659 699 701 704 751 785 819 857 876 931 955 1025 1113 1194 1234 1279 1296 1338 1443 1586 a 5 7 22 23 34 35 53 55 56 57 77 79 81 83 85 86 91 95 97 100 101 106 109 115 117 119 126 136 137 141 142 149 152 153 169 171 177 179 181 185 186 190 208 209 211 215 217 218 223 226 229 238 239 247 249 251 255 256 261 263 266 267 275 293 297 298 301 302 307 309 311 312 317 321 323 325 333 339 355 361 364 372 374 401 402 405 407 417 419 426 427 431 441 445 455 463 471 474 477 487 489 493 500 501 514 519 522 531 558 565 581 586 593 609 615 619 651 659 699 701 704 751 785 819 857 876 931 955 1025 1113 1194 1234 1279 1296 1338 1443 1586 a 5 7 22 23 34 35 53 55 56 57 77 79 81 83 85 86 91 95 97 100 101 106 109 115 117 119 126 136 137 141 142 149 152 153 169 171 177 179 181 185 186 190 208 209 211 215 217 218 223 226 229 238 239 247 249 251 255 256 261 263 266 267 275 293 297 298 301 302 307 309 311 312 317 321 323 325 333 339 355 361 364 369 374 401 402 405 407 417 419 426 427 431 441 445 455 463 471 474 477 487 489 493 500 501 514 519 522 531 558 565 581 586 593 609 615 619 651 659 699 701 704 751 785 819 857 876 931 955 1025 1113 1194 1234 1279 1296 1338 1443 1586 a 5 7 22 23 34 35 53 55 56 57 77 79 81 83 85 86 91 95 97 100 101 106 109 115 117 119 126 136 137 141 142 149 152 153 169 171 177 179 181 185 186 190 208 209 211 215 217 218 223 226 229 238 239 247 249 251 255 256 261 263 266 267 275 293 297 298 301 302 307 309 311 312 317 321 323 325 333 339 361 364 369 374 401 402 405 407 417 419 426 427 431 441 445 455 463 471 474 477 487 489 493 500 501 514 519 522 531 558 565 581 586 593 609 615 619 651 659 699 701 704 751 785 819 857 876 931 955 1025 1113 1194 1234 1279 1296 1338 1341 1443 1586 a 5 7 22 23 34 35 53 55 56 57 77 79 81 83 85 86 91 95 97 100 101 106 109 115 117 119 126 136 137 141 142 149 152 153 169 171 177 179 181 185 186 190 208 209 211 215 217 218 223 226 229 238 239 247 249 251 255 256 261 263 266 267 275 293 297 298 301 302 307 309 311 312 316 321 323 325 333 339 361 364 369 374 401 402 405 407 417 419 426 427 431 441 445 455 463 471 474 477 487 489 493 500 501 514 519 522 531 558 565 581 586 593 609 615 619 651 659 699 701 704 751 785 819 857 876 931 955 1025 1113 1194 1234 1279 1296 1338 1341 1443 1586 a 5 7 22 23 34 35 53 55 56 57 77 79 81 83 85 86 91 95 97 100 101 106 109 115 117 119 126 136 137 141 142 149 152 153 169 171 177 179 181 185 186 190 208 209 211 215 217 218 223 226 229 238 239 247 249 251 255 256 261 263 266 267 275 293 297 298 301 307 309 311 312 316 321 323 325 333 339 361 364 369 374 375 401 402 405 407 417 419 426 427 431 441 445 455 463 471 474 477 487 489 493 500 501 514 519 522 531 558 565 581 586 593 609 615 619 651 659 699 701 704 751 785 819 857 876 931 955 1025 1113 1194 1234 1279 1296 1338 1341 1443 1586 a 5 7 22 23 34 35 53 55 56 57 77 79 81 83 85 86 91 95 97 100 101 106 109 115 117 119 126 136 137 141 142 149 152 153 169 171 177 179 181 185 186 190 208 209 211 215 217 218 223 226 229 238 239 247 249 251 255 256 261 263 266 267 275 293 297 301 307 309 311 312 316 321 323 325 333 339 361 364 369 374 375 401 402 405 407 417 419 426 427 431 441 445 455 463 471 474 477 487 489 493 500 501 514 519 522 531 558 565 581 586 593 609 615 619 651 659 699 701 704 751 785 819 839 857 876 931 955 1025 1113 1194 1234 1279 1296 1338 1341 1443 1586 a 5 7 22 23 34 35 53 55 56 57 77 79 81 83 85 86 91 95 97 100 101 106 109 115 117 119 126 136 137 141 142 149 152 153 169 171 177 179 181 185 186 190 208 209 211 215 217 218 223 226 229 238 239 247 249 251 255 256 261 263 266 267 274 293 297 301 307 309 311 312 316 321 323 325 333 339 361 364 369 374 375 401 402 405 407 417 419 426 427 431 441 445 455 463 471 474 477 487 489 493 500 501 514 519 522 531 558 565 581 586 593 609 615 619 651 659 699 701 704 751 785 819 839 857 876 931 955 1025 1113 1194 1234 1279 1296 1338 1341 1443 1586 a 5 7 22 23 34 35 53 55 56 57 77 79 81 83 85 86 91 95 97 100 101 106 109 115 117 119 126 136 137 141 142 149 152 153 169 171 177 179 181 185 186 190 208 209 211 215 217 218 223 226 229 238 239 247 249 251 255 256 261 263 265 266 274 293 297 301 307 309 311 312 316 321 323 325 333 339 361 364 369 374 375 401 402 405 407 417 419 426 427 431 441 445 455 463 471 474 477 487 489 493 500 501 514 519 522 531 558 565 581 586 593 609 615 619 651 659 699 701 704 751 785 819 839 857 876 931 955 1025 1113 1194 1234 1279 1296 1338 1341 1443 1586 a 5 7 22 23 34 35 53 55 56 57 77 79 81 83 85 86 91 95 97 100 101 106 109 115 117 119 126 136 137 141 142 149 152 153 169 171 177 179 181 185 186 190 208 209 211 215 217 218 223 226 229 238 239 247 249 251 254 255 261 263 265 266 274 293 297 301 307 309 311 312 316 321 323 325 333 339 361 364 369 374 375 401 402 405 407 417 419 426 427 431 441 445 455 463 471 474 477 487 489 493 500 501 514 519 522 531 558 565 581 586 593 609 615 619 651 659 699 701 704 751 785 819 839 857 876 931 955 1025 1113 1194 1234 1279 1296 1338 1341 1443 1586 a 5 7 22 23 34 35 53 55 56 57 77 79 81 83 85 86 91 95 97 100 101 106 109 115 117 119 126 136 137 141 142 149 152 153 169 171 177 179 181 185 186 190 208 209 211 215 217 218 223 226 229 233 239 247 249 251 254 255 261 263 265 266 274 293 297 301 307 309 311 312 316 321 323 325 333 339 361 364 369 374 375 401 402 405 407 417 419 426 427 431 441 445 455 463 471 474 477 487 489 493 500 501 514 519 522 531 558 565 581 586 593 609 615 619 651 659 699 701 704 751 785 819 839 857 876 931 955 1025 1113 1194 1234 1279 1296 1338 1341 1443 1586 a 5 7 22 23 34 35 53 55 56 57 77 79 81 83 85 86 91 95 97 100 101 106 109 115 117 119 126 136 137 141 142 149 152 153 169 171 177 179 181 185 186 190 208 209 211 215 217 218 223 229 233 239 247 249 251 254 255 261 263 265 266 274 293 297 301 307 309 311 312 316 321 323 325 333 339 353 361 364 369 374 375 401 402 405 407 417 419 426 427 431 441 445 455 463 471 474 477 487 489 493 500 501 514 519 522 531 558 565 581 586 593 609 615 619 651 659 699 701 704 751 785 819 839 857 876 931 955 1025 1113 1194 1234 1279 1296 1338 1341 1443 1586 a 5 7 22 23 34 35 53 55 56 57 77 79 81 83 85 86 91 95 97 100 101 106 109 115 117 119 126 136 137 141 142 149 152 153 169 171 177 179 181 185 186 190 208 209 210 215 217 218 223 229 233 239 247 249 251 254 255 261 263 265 266 274 293 297 301 307 309 311 312 316 321 323 325 333 339 353 361 364 369 374 375 401 402 405 407 417 419 426 427 431 441 445 455 463 471 474 477 487 489 493 500 501 514 519 522 531 558 565 581 586 593 609 615 619 651 659 699 701 704 751 785 819 839 857 876 931 955 1025 1113 1194 1234 1279 1296 1338 1341 1443 1586 a 5 7 22 23 34 35 53 55 56 57 77 79 81 83 85 86 91 95 97 100 101 106 109 115 117 119 126 136 137 141 142 149 152 153 169 171 177 179 181 186 190 208 209 210 215 217 218 223 229 233 239 247 249 251 254 255 261 263 265 266 274 293 297 301 307 309 311 312 316 321 323 325 333 339 353 361 364 369 374 375 401 402 405 407 417 419 426 427 431 441 445 455 463 471 474 477 487 489 493 500 501 514 519 522 531 558 565 581 586 593 609 615 619 651 659 699 701 704 751 785 819 835 839 857 876 931 955 1025 1113 1194 1234 1279 1296 1338 1341 1443 1586 a 5 6 22 23 34 35 53 55 56 57 77 79 81 83 85 86 91 95 97 100 101 106 109 115 117 119 126 136 137 141 142 149 152 153 169 171 177 179 181 186 190 208 209 210 215 217 218 223 229 233 239 247 249 251 254 255 261 263 265 266 274 293 297 301 307 309 311 312 316 321 323 325 333 339 353 361 364 369 374 375 401 402 405 407 417 419 426 427 431 441 445 455 463 471 474 477 487 489 493 500 501 514 519 522 531 558 565 581 586 593 609 615 619 651 659 699 701 704 751 785 819 835 839 857 876 931 955 1025 1113 1194 1234 1279 1296 1338 1341 1443 1586 a 5 6 22 23 34 35 53 55 56 57 77 79 81 83 85 86 91 95 97 100 101 106 109 115 117 119 126 136 137 141 142 148 149 152 169 171 177 179 181 186 190 208 209 210 215 217 218 223 229 233 239 247 249 251 254 255 261 263 265 266 274 293 297 301 307 309 311 312 316 321 323 325 333 339 353 361 364 369 374 375 401 402 405 407 417 419 426 427 431 441 445 455 463 471 474 477 487 489 493 500 501 514 519 522 531 558 565 581 586 593 609 615 619 651 659 699 701 704 751 785 819 835 839 857 876 931 955 1025 1113 1194 1234 1279 1296 1338 1341 1443 1586 a 5 6 22 23 34 35 53 55 56 57 77 79 81 83 85 86 91 95 97 100 101 106 109 115 117 119 126 136 137 141 142 147 148 149 169 171 177 179 181 186 190 208 209 210 215 217 218 223 229 233 239 247 249 251 254 255 261 263 265 266 274 293 297 301 307 309 311 312 316 321 323 325 333 339 353 361 364 369 374 375 401 402 405 407 417 419 426 427 431 441 445 455 463 471 474 477 487 489 493 500 501 514 519 522 531 558 565 581 586 593 609 615 619 651 659 699 701 704 751 785 819 835 839 857 876 931 955 1025 1113 1194 1234 1279 1296 1338 1341 1443 1586 a 5 6 22 23 34 35 53 55 56 57 77 79 81 83 85 86 91 95 97 100 101 106 109 115 117 119 127 136 137 141 142 147 148 149 169 171 177 179 181 186 190 208 209 210 215 217 218 223 229 233 239 247 249 251 254 255 261 263 265 266 274 293 297 301 307 309 311 312 316 321 323 325 333 339 353 361 364 369 374 375 401 402 405 407 417 419 426 427 431 441 445 455 463 471 474 477 487 489 493 500 501 514 519 522 531 558 565 581 586 593 609 615 619 651 659 699 701 704 751 785 819 835 839 857 876 931 955 1025 1113 1194 1234 1279 1296 1338 1341 1443 1586 a 5 6 22 23 34 35 53 55 56 57 77 79 81 83 85 86 91 95 97 100 101 106 109 115 119 127 136 137 141 142 147 148 149 169 171 177 179 181 186 190 208 209 210 215 217 218 223 229 233 239 247 249 251 254 255 261 263 265 266 274 293 297 301 307 309 311 312 316 321 323 325 333 339 353 361 364 369 374 375 401 402 405 407 417 419 426 427 431 441 445 455 463 471 474 477 487 489 493 500 501 514 519 522 531 558 565 581 586 593 609 615 619 647 651 659 699 701 704 751 785 819 835 839 857 876 931 955 1025 1113 1194 1234 1279 1296 1338 1341 1443 1586 a 5 6 22 23 34 35 53 55 56 57 77 79 81 83 85 86 91 95 97 99 101 106 109 115 119 127 136 137 141 142 147 148 149 169 171 177 179 181 186 190 208 209 210 215 217 218 223 229 233 239 247 249 251 254 255 261 263 265 266 274 293 297 301 307 309 311 312 316 321 323 325 333 339 353 361 364 369 374 375 401 402 405 407 417 419 426 427 431 441 445 455 463 471 474 477 487 489 493 500 501 514 519 522 531 558 565 581 586 593 609 615 619 647 651 659 699 701 704 751 785 819 835 839 857 876 931 955 1025 1113 1194 1234 1279 1296 1338 1341 1443 1586 a 5 6 22 23 34 35 53 55 56 57 77 79 81 83 85 86 89 95 97 99 101 106 109 115 119 127 136 137 141 142 147 148 149 169 171 177 179 181 186 190 208 209 210 215 217 218 223 229 233 239 247 249 251 254 255 261 263 265 266 274 293 297 301 307 309 311 312 316 321 323 325 333 339 353 361 364 369 374 375 401 402 405 407 417 419 426 427 431 441 445 455 463 471 474 477 487 489 493 500 501 514 519 522 531 558 565 581 586 593 609 615 619 647 651 659 699 701 704 751 785 819 835 839 857 876 931 955 1025 1113 1194 1234 1279 1296 1338 1341 1443 1586 a 5 6 22 23 34 35 53 54 55 56 77 79 81 83 85 86 89 95 97 99 101 106 109 115 119 127 136 137 141 142 147 148 149 169 171 177 179 181 186 190 208 209 210 215 217 218 223 229 233 239 247 249 251 254 255 261 263 265 266 274 293 297 301 307 309 311 312 316 321 323 325 333 339 353 361 364 369 374 375 401 402 405 407 417 419 426 427 431 441 445 455 463 471 474 477 487 489 493 500 501 514 519 522 531 558 565 581 586 593 609 615 619 647 651 659 699 701 704 751 785 819 835 839 857 876 931 955 1025 1113 1194 1234 1279 1296 1338 1341 1443 1586 a 5 6 22 23 34 35 52 54 55 56 77 79 81 83 85 86 89 95 97 99 101 106 109 115 119 127 136 137 141 142 147 148 149 169 171 177 179 181 186 190 208 209 210 215 217 218 223 229 233 239 247 249 251 254 255 261 263 265 266 274 293 297 301 307 309 311 312 316 321 323 325 333 339 353 361 364 369 374 375 401 402 405 407 417 419 426 427 431 441 445 455 463 471 474 477 487 489 493 500 501 514 519 522 531 558 565 581 586 593 609 615 619 647 651 659 699 701 704 751 785 819 835 839 857 876 931 955 1025 1113 1194 1234 1279 1296 1338 1341 1443 1586 a 5 6 22 23 34 35 51 52 54 55 77 79 81 83 85 86 89 95 97 99 101 106 109 115 119 127 136 137 141 142 147 148 149 169 171 177 179 181 186 190 208 209 210 215 217 218 223 229 233 239 247 249 251 254 255 261 263 265 266 274 293 297 301 307 309 311 312 316 321 323 325 333 339 353 361 364 369 374 375 401 402 405 407 417 419 426 427 431 441 445 455 463 471 474 477 487 489 493 500 501 514 519 522 531 558 565 581 586 593 609 615 619 647 651 659 699 701 704 751 785 819 835 839 857 876 931 955 1025 1113 1194 1234 1279 1296 1338 1341 1443 1586 a 5 6 22 23 34 35 47 51 54 55 77 79 81 83 85 86 89 95 97 99 101 106 109 115 119 127 136 137 141 142 147 148 149 169 171 177 179 181 186 190 208 209 210 215 217 218 223 229 233 239 247 249 251 254 255 261 263 265 266 274 293 297 301 307 309 311 312 316 321 323 325 333 339 353 361 364 369 374 375 401 402 405 407 417 419 426 427 431 441 445 455 463 471 474 477 487 489 493 500 501 514 519 522 531 558 565 581 586 593 609 615 619 647 651 659 699 701 704 751 785 819 835 839 857 876 931 955 1025 1113 1194 1234 1279 1296 1338 1341 1443 1586 a 5 6 22 23 34 35 46 51 54 55 77 79 81 83 85 86 89 95 97 99 101 106 109 115 119 127 136 137 141 142 147 148 149 169 171 177 179 181 186 190 208 209 210 215 217 218 223 229 233 239 247 249 251 254 255 261 263 265 266 274 293 297 301 307 309 311 312 316 321 323 325 333 339 353 361 364 369 374 375 401 402 405 407 417 419 426 427 431 441 445 455 463 471 474 477 487 489 493 500 501 514 519 522 531 558 565 581 586 593 609 615 619 647 651 659 699 701 704 751 785 819 835 839 857 876 931 955 1025 1113 1194 1234 1279 1296 1338 1341 1443 1586 a 5 6 22 23 34 35 45 46 54 55 77 79 81 83 85 86 89 95 97 99 101 106 109 115 119 127 136 137 141 142 147 148 149 169 171 177 179 181 186 190 208 209 210 215 217 218 223 229 233 239 247 249 251 254 255 261 263 265 266 274 293 297 301 307 309 311 312 316 321 323 325 333 339 353 361 364 369 374 375 401 402 405 407 417 419 426 427 431 441 445 455 463 471 474 477 487 489 493 500 501 514 519 522 531 558 565 581 586 593 609 615 619 647 651 659 699 701 704 751 785 819 835 839 857 876 931 955 1025 1113 1194 1234 1279 1296 1338 1341 1443 1586 a 5 6 22 23 34 35 40 45 54 55 77 79 81 83 85 86 89 95 97 99 101 106 109 115 119 127 136 137 141 142 147 148 149 169 171 177 179 181 186 190 208 209 210 215 217 218 223 229 233 239 247 249 251 254 255 261 263 265 266 274 293 297 301 307 309 311 312 316 321 323 325 333 339 353 361 364 369 374 375 401 402 405 407 417 419 426 427 431 441 445 455 463 471 474 477 487 489 493 500 501 514 519 522 531 558 565 581 586 593 609 615 619 647 651 659 699 701 704 751 785 819 835 839 857 876 931 955 1025 1113 1194 1234 1279 1296 1338 1341 1443 1586 a 5 6 21 22 34 35 40 45 54 55 77 79 81 83 85 86 89 95 97 99 101 106 109 115 119 127 136 137 141 142 147 148 149 169 171 177 179 181 186 190 208 209 210 215 217 218 223 229 233 239 247 249 251 254 255 261 263 265 266 274 293 297 301 307 309 311 312 316 321 323 325 333 339 353 361 364 369 374 375 401 402 405 407 417 419 426 427 431 441 445 455 463 471 474 477 487 489 493 500 501 514 519 522 531 558 565 581 586 593 609 615 619 647 651 659 699 701 704 751 785 819 835 839 857 876 931 955 1025 1113 1194 1234 1279 1296 1338 1341 1443 1586 c array.sh: end: Thu 24 Mar 2022 02:10:37 PM CET confaigeration /tmp/21701617-198-wap07a_02.col /tmp/21701617-198-wap07a_02.dat existent" User time (seconds): 36.45 System time (seconds): 2.57 Percent of CPU this job got: 448% Elapsed (wall clock) time (h:mm:ss or m:ss): 0:08.70 Average shared text size (kbytes): 0 Average unshared data size (kbytes): 0 Average stack size (kbytes): 0 Average total size (kbytes): 0 Maximum resident set size (kbytes): 243348 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 369617 Voluntary context switches: 971 Involuntary context switches: 74 Swaps: 0 File system inputs: 16 File system outputs: 29432 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0