c array.sh: col: /home/froleyks/reconf/2022benchmark/benchmark/color04/wap01a.col c array.sh: dat: /home/froleyks/reconf/2022benchmark/benchmark/color04/wap01a_01.dat c array.sh: name: wap01a_01 c array.sh: task: 185 c array.sh: host: c3n14 c array.sh: uname: Linux c3n14 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:16 PM CET c array.sh: noturbo: 1 c array.sh: governor: 32 performance c array.sh: tmp: 1% c 0.1360: solving existent 21701617-185-wap01a_01 c 0.2820: Wrote /tmp/21701617-185-wap01a_01.aag c 0.3950: Wrote /tmp/21701617-185-wap01a_01.aig c 11.9420: Wrote /tmp/21701617-185-wap01a_01.trace c 11.9430: Found solution, Length: 26 s 24 25 43 56 57 58 59 64 66 67 68 140 141 142 143 144 146 149 150 151 152 155 156 160 161 162 165 171 173 176 177 186 187 188 202 208 209 210 213 214 244 254 285 286 287 288 289 300 302 310 313 314 315 317 322 355 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 431 434 439 441 442 443 444 452 453 484 485 495 497 502 503 504 505 507 508 509 516 520 524 609 610 611 612 613 627 628 629 632 633 643 644 658 659 663 671 675 685 705 709 711 715 716 717 743 747 748 749 755 756 759 790 820 821 835 861 862 1023 1052 1103 1143 1144 1145 1171 1248 1307 1308 1315 1359 1394 1395 1581 1983 t 19 25 34 43 56 58 59 63 64 66 68 72 100 114 141 143 146 149 150 151 152 155 156 160 161 162 165 167 173 176 177 186 187 188 197 202 209 210 213 214 244 254 285 286 287 288 289 300 302 310 313 314 317 318 349 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 431 433 438 439 441 443 444 452 453 484 485 495 497 498 503 504 505 507 508 509 516 520 524 572 609 610 612 613 627 628 629 633 639 644 658 659 663 671 675 685 705 709 711 715 716 740 743 748 749 755 756 759 790 820 821 831 835 861 862 910 1023 1052 1102 1143 1144 1145 1171 1250 1300 1307 1315 1359 1394 1395 1581 1835 1983 a YES a 24 25 43 56 57 58 59 64 66 67 68 140 141 142 143 144 146 149 150 151 152 155 156 160 161 162 165 171 173 176 177 186 187 188 202 208 209 210 213 214 244 254 285 286 287 288 289 300 302 310 313 314 315 317 322 355 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 431 434 439 441 442 443 444 452 453 484 485 495 497 502 503 504 505 507 508 509 516 520 524 609 610 611 612 613 627 628 629 632 633 643 644 658 659 663 671 675 685 705 709 711 715 716 717 743 747 748 749 755 756 759 790 820 821 835 861 862 1023 1052 1103 1143 1144 1145 1171 1248 1307 1308 1315 1359 1394 1395 1581 1983 a 24 25 43 56 57 58 59 64 66 67 68 140 141 142 143 144 146 149 150 151 152 155 156 160 161 162 165 171 173 176 177 186 187 188 202 208 209 210 213 214 244 254 285 286 287 288 289 300 302 310 313 314 315 317 322 355 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 431 434 439 441 442 443 444 452 453 484 485 495 497 502 503 504 505 507 508 509 516 520 524 609 610 611 612 613 627 628 629 632 633 643 644 658 659 663 671 675 685 705 709 711 715 716 717 724 743 748 749 755 756 759 790 820 821 835 861 862 1023 1052 1103 1143 1144 1145 1171 1248 1307 1308 1315 1359 1394 1395 1581 1983 a 24 25 43 56 57 58 59 64 66 67 68 140 141 142 143 144 146 149 150 151 152 155 156 160 161 162 165 171 173 176 177 186 187 188 202 208 209 210 213 214 244 254 285 286 287 288 289 300 302 310 313 314 315 317 322 355 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 431 434 439 441 442 443 444 452 453 484 485 495 497 502 503 504 505 507 508 509 516 520 524 606 609 610 612 613 627 628 629 632 633 643 644 658 659 663 671 675 685 705 709 711 715 716 717 724 743 748 749 755 756 759 790 820 821 835 861 862 1023 1052 1103 1143 1144 1145 1171 1248 1307 1308 1315 1359 1394 1395 1581 1983 a 24 25 43 56 57 58 59 64 66 67 68 140 141 142 143 144 146 149 150 151 152 155 156 160 161 162 165 171 173 176 177 186 187 188 202 208 209 210 213 214 244 254 285 286 287 288 289 300 302 310 313 314 315 317 322 355 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 431 434 439 441 442 443 444 452 453 484 485 495 497 502 503 504 505 507 508 509 516 520 524 606 609 610 612 613 627 628 629 632 633 639 644 658 659 663 671 675 685 705 709 711 715 716 717 724 743 748 749 755 756 759 790 820 821 835 861 862 1023 1052 1103 1143 1144 1145 1171 1248 1307 1308 1315 1359 1394 1395 1581 1983 a 24 25 43 56 57 58 59 64 66 67 68 140 141 142 143 144 146 149 150 151 152 155 156 160 161 162 165 171 173 176 177 186 187 188 202 208 209 210 213 214 244 254 285 286 287 288 289 300 302 310 313 314 315 317 322 355 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 431 434 439 441 442 443 444 452 453 484 485 495 497 502 503 504 505 507 508 509 516 520 524 606 609 610 612 613 627 628 629 633 639 644 658 659 663 671 675 685 705 709 711 715 716 717 724 743 748 749 755 756 759 790 820 821 835 861 862 910 1023 1052 1103 1143 1144 1145 1171 1248 1307 1308 1315 1359 1394 1395 1581 1983 a 24 25 43 56 57 58 59 64 66 67 68 140 141 142 143 144 146 149 150 151 152 155 156 160 161 162 165 171 173 176 177 186 187 188 202 208 209 210 213 214 244 254 285 286 287 288 289 300 302 310 313 314 315 317 322 355 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 431 434 439 441 442 443 444 452 453 484 485 495 497 502 503 504 505 507 508 509 516 520 524 606 609 610 612 613 627 628 629 633 639 644 658 659 663 671 675 685 705 709 711 715 716 717 740 743 748 749 755 756 759 790 820 821 835 861 862 910 1023 1052 1103 1143 1144 1145 1171 1248 1307 1308 1315 1359 1394 1395 1581 1983 a 24 25 43 56 57 58 59 64 66 67 68 140 141 142 143 144 146 149 150 151 152 155 156 160 161 162 165 171 173 176 177 186 187 188 202 208 209 210 213 214 244 254 285 286 287 288 289 300 302 310 313 314 315 317 322 355 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 431 434 439 441 442 443 444 452 453 484 485 495 497 502 503 504 505 507 508 509 516 520 524 606 609 610 612 613 627 628 629 633 639 644 658 659 663 671 675 685 705 709 711 715 716 717 740 743 748 749 755 756 759 790 820 821 835 861 862 910 1023 1052 1102 1143 1144 1145 1171 1248 1307 1308 1315 1359 1394 1395 1581 1983 a 16 25 43 56 57 58 59 64 66 67 68 140 141 142 143 144 146 149 150 151 152 155 156 160 161 162 165 171 173 176 177 186 187 188 202 208 209 210 213 214 244 254 285 286 287 288 289 300 302 310 313 314 315 317 322 355 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 431 434 439 441 442 443 444 452 453 484 485 495 497 502 503 504 505 507 508 509 516 520 524 606 609 610 612 613 627 628 629 633 639 644 658 659 663 671 675 685 705 709 711 715 716 717 740 743 748 749 755 756 759 790 820 821 835 861 862 910 1023 1052 1102 1143 1144 1145 1171 1248 1307 1308 1315 1359 1394 1395 1581 1983 a 19 25 43 56 57 58 59 64 66 67 68 140 141 142 143 144 146 149 150 151 152 155 156 160 161 162 165 171 173 176 177 186 187 188 202 208 209 210 213 214 244 254 285 286 287 288 289 300 302 310 313 314 315 317 322 355 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 431 434 439 441 442 443 444 452 453 484 485 495 497 502 503 504 505 507 508 509 516 520 524 606 609 610 612 613 627 628 629 633 639 644 658 659 663 671 675 685 705 709 711 715 716 717 740 743 748 749 755 756 759 790 820 821 835 861 862 910 1023 1052 1102 1143 1144 1145 1171 1248 1307 1308 1315 1359 1394 1395 1581 1983 a 19 25 43 56 57 58 59 64 66 67 68 140 141 142 143 144 146 149 150 151 152 155 156 160 161 162 165 167 173 176 177 186 187 188 202 208 209 210 213 214 244 254 285 286 287 288 289 300 302 310 313 314 315 317 322 355 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 431 434 439 441 442 443 444 452 453 484 485 495 497 502 503 504 505 507 508 509 516 520 524 606 609 610 612 613 627 628 629 633 639 644 658 659 663 671 675 685 705 709 711 715 716 717 740 743 748 749 755 756 759 790 820 821 835 861 862 910 1023 1052 1102 1143 1144 1145 1171 1248 1307 1308 1315 1359 1394 1395 1581 1983 a 19 25 43 56 57 58 59 64 66 67 68 140 141 142 143 144 146 149 150 151 152 155 156 160 161 162 165 167 173 176 177 186 187 188 197 202 209 210 213 214 244 254 285 286 287 288 289 300 302 310 313 314 315 317 322 355 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 431 434 439 441 442 443 444 452 453 484 485 495 497 502 503 504 505 507 508 509 516 520 524 606 609 610 612 613 627 628 629 633 639 644 658 659 663 671 675 685 705 709 711 715 716 717 740 743 748 749 755 756 759 790 820 821 835 861 862 910 1023 1052 1102 1143 1144 1145 1171 1248 1307 1308 1315 1359 1394 1395 1581 1983 a 19 25 43 56 57 58 59 63 64 66 68 140 141 142 143 144 146 149 150 151 152 155 156 160 161 162 165 167 173 176 177 186 187 188 197 202 209 210 213 214 244 254 285 286 287 288 289 300 302 310 313 314 315 317 322 355 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 431 434 439 441 442 443 444 452 453 484 485 495 497 502 503 504 505 507 508 509 516 520 524 606 609 610 612 613 627 628 629 633 639 644 658 659 663 671 675 685 705 709 711 715 716 717 740 743 748 749 755 756 759 790 820 821 835 861 862 910 1023 1052 1102 1143 1144 1145 1171 1248 1307 1308 1315 1359 1394 1395 1581 1983 a 19 25 34 43 56 58 59 63 64 66 68 140 141 142 143 144 146 149 150 151 152 155 156 160 161 162 165 167 173 176 177 186 187 188 197 202 209 210 213 214 244 254 285 286 287 288 289 300 302 310 313 314 315 317 322 355 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 431 434 439 441 442 443 444 452 453 484 485 495 497 502 503 504 505 507 508 509 516 520 524 606 609 610 612 613 627 628 629 633 639 644 658 659 663 671 675 685 705 709 711 715 716 717 740 743 748 749 755 756 759 790 820 821 835 861 862 910 1023 1052 1102 1143 1144 1145 1171 1248 1307 1308 1315 1359 1394 1395 1581 1983 a 19 25 34 43 56 58 59 63 64 66 68 140 141 142 143 144 146 149 150 151 152 155 156 160 161 162 165 167 173 176 177 186 187 188 197 202 209 210 213 214 244 254 285 286 287 288 289 300 302 310 313 314 315 317 322 355 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 431 434 439 441 442 443 444 452 453 484 485 495 497 502 503 504 505 507 508 509 516 520 524 572 609 610 612 613 627 628 629 633 639 644 658 659 663 671 675 685 705 709 711 715 716 717 740 743 748 749 755 756 759 790 820 821 835 861 862 910 1023 1052 1102 1143 1144 1145 1171 1248 1307 1308 1315 1359 1394 1395 1581 1983 a 19 25 34 43 56 58 59 63 64 66 68 140 141 142 143 144 146 149 150 151 152 155 156 160 161 162 165 167 173 176 177 186 187 188 197 202 209 210 213 214 244 254 285 286 287 288 289 300 302 310 313 314 317 322 355 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 431 434 439 441 442 443 444 452 453 484 485 495 497 502 503 504 505 507 508 509 516 520 524 572 609 610 612 613 627 628 629 633 639 644 658 659 663 671 675 685 705 709 711 715 716 717 740 743 748 749 755 756 759 790 820 821 831 835 861 862 910 1023 1052 1102 1143 1144 1145 1171 1248 1307 1308 1315 1359 1394 1395 1581 1983 a 19 25 34 43 56 58 59 63 64 66 68 72 141 142 143 144 146 149 150 151 152 155 156 160 161 162 165 167 173 176 177 186 187 188 197 202 209 210 213 214 244 254 285 286 287 288 289 300 302 310 313 314 317 322 355 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 431 434 439 441 442 443 444 452 453 484 485 495 497 502 503 504 505 507 508 509 516 520 524 572 609 610 612 613 627 628 629 633 639 644 658 659 663 671 675 685 705 709 711 715 716 717 740 743 748 749 755 756 759 790 820 821 831 835 861 862 910 1023 1052 1102 1143 1144 1145 1171 1248 1307 1308 1315 1359 1394 1395 1581 1983 a 19 25 34 43 56 58 59 63 64 66 68 72 100 141 143 144 146 149 150 151 152 155 156 160 161 162 165 167 173 176 177 186 187 188 197 202 209 210 213 214 244 254 285 286 287 288 289 300 302 310 313 314 317 322 355 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 431 434 439 441 442 443 444 452 453 484 485 495 497 502 503 504 505 507 508 509 516 520 524 572 609 610 612 613 627 628 629 633 639 644 658 659 663 671 675 685 705 709 711 715 716 717 740 743 748 749 755 756 759 790 820 821 831 835 861 862 910 1023 1052 1102 1143 1144 1145 1171 1248 1307 1308 1315 1359 1394 1395 1581 1983 a 19 25 34 43 56 58 59 63 64 66 68 72 100 114 141 143 146 149 150 151 152 155 156 160 161 162 165 167 173 176 177 186 187 188 197 202 209 210 213 214 244 254 285 286 287 288 289 300 302 310 313 314 317 322 355 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 431 434 439 441 442 443 444 452 453 484 485 495 497 502 503 504 505 507 508 509 516 520 524 572 609 610 612 613 627 628 629 633 639 644 658 659 663 671 675 685 705 709 711 715 716 717 740 743 748 749 755 756 759 790 820 821 831 835 861 862 910 1023 1052 1102 1143 1144 1145 1171 1248 1307 1308 1315 1359 1394 1395 1581 1983 a 19 25 34 43 56 58 59 63 64 66 68 72 100 114 141 143 146 149 150 151 152 155 156 160 161 162 165 167 173 176 177 186 187 188 197 202 209 210 213 214 244 254 285 286 287 288 289 300 302 310 313 314 317 322 355 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 431 434 439 441 442 443 444 452 453 484 485 495 497 498 503 504 505 507 508 509 516 520 524 572 609 610 612 613 627 628 629 633 639 644 658 659 663 671 675 685 705 709 711 715 716 717 740 743 748 749 755 756 759 790 820 821 831 835 861 862 910 1023 1052 1102 1143 1144 1145 1171 1248 1307 1308 1315 1359 1394 1395 1581 1983 a 19 25 34 43 56 58 59 63 64 66 68 72 100 114 141 143 146 149 150 151 152 155 156 160 161 162 165 167 173 176 177 186 187 188 197 202 209 210 213 214 244 254 285 286 287 288 289 300 302 310 313 314 317 318 355 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 431 434 439 441 442 443 444 452 453 484 485 495 497 498 503 504 505 507 508 509 516 520 524 572 609 610 612 613 627 628 629 633 639 644 658 659 663 671 675 685 705 709 711 715 716 717 740 743 748 749 755 756 759 790 820 821 831 835 861 862 910 1023 1052 1102 1143 1144 1145 1171 1248 1307 1308 1315 1359 1394 1395 1581 1983 a 19 25 34 43 56 58 59 63 64 66 68 72 100 114 141 143 146 149 150 151 152 155 156 160 161 162 165 167 173 176 177 186 187 188 197 202 209 210 213 214 244 254 285 286 287 288 289 300 302 310 313 314 317 318 355 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 431 434 438 439 441 443 444 452 453 484 485 495 497 498 503 504 505 507 508 509 516 520 524 572 609 610 612 613 627 628 629 633 639 644 658 659 663 671 675 685 705 709 711 715 716 717 740 743 748 749 755 756 759 790 820 821 831 835 861 862 910 1023 1052 1102 1143 1144 1145 1171 1248 1307 1308 1315 1359 1394 1395 1581 1983 a 19 25 34 43 56 58 59 63 64 66 68 72 100 114 141 143 146 149 150 151 152 155 156 160 161 162 165 167 173 176 177 186 187 188 197 202 209 210 213 214 244 254 285 286 287 288 289 300 302 310 313 314 317 318 349 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 431 434 438 439 441 443 444 452 453 484 485 495 497 498 503 504 505 507 508 509 516 520 524 572 609 610 612 613 627 628 629 633 639 644 658 659 663 671 675 685 705 709 711 715 716 717 740 743 748 749 755 756 759 790 820 821 831 835 861 862 910 1023 1052 1102 1143 1144 1145 1171 1248 1307 1308 1315 1359 1394 1395 1581 1983 a 19 25 34 43 56 58 59 63 64 66 68 72 100 114 141 143 146 149 150 151 152 155 156 160 161 162 165 167 173 176 177 186 187 188 197 202 209 210 213 214 244 254 285 286 287 288 289 300 302 310 313 314 317 318 349 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 431 433 438 439 441 443 444 452 453 484 485 495 497 498 503 504 505 507 508 509 516 520 524 572 609 610 612 613 627 628 629 633 639 644 658 659 663 671 675 685 705 709 711 715 716 717 740 743 748 749 755 756 759 790 820 821 831 835 861 862 910 1023 1052 1102 1143 1144 1145 1171 1248 1307 1308 1315 1359 1394 1395 1581 1983 a 19 25 34 43 56 58 59 63 64 66 68 72 100 114 141 143 146 149 150 151 152 155 156 160 161 162 165 167 173 176 177 186 187 188 197 202 209 210 213 214 244 254 285 286 287 288 289 300 302 310 313 314 317 318 349 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 431 433 438 439 441 443 444 452 453 484 485 495 497 498 503 504 505 507 508 509 516 520 524 572 609 610 612 613 627 628 629 633 639 644 658 659 663 671 675 685 705 709 711 715 716 717 740 743 748 749 755 756 759 790 820 821 831 835 861 862 910 1023 1052 1102 1143 1144 1145 1171 1250 1307 1308 1315 1359 1394 1395 1581 1983 a 19 25 34 43 56 58 59 63 64 66 68 72 100 114 141 143 146 149 150 151 152 155 156 160 161 162 165 167 173 176 177 186 187 188 197 202 209 210 213 214 244 254 285 286 287 288 289 300 302 310 313 314 317 318 349 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 431 433 438 439 441 443 444 452 453 484 485 495 497 498 503 504 505 507 508 509 516 520 524 572 609 610 612 613 627 628 629 633 639 644 658 659 663 671 675 685 705 709 711 715 716 740 743 748 749 755 756 759 790 820 821 831 835 861 862 910 1023 1052 1102 1143 1144 1145 1171 1250 1307 1308 1315 1359 1394 1395 1581 1835 1983 a 19 25 34 43 56 58 59 63 64 66 68 72 100 114 141 143 146 149 150 151 152 155 156 160 161 162 165 167 173 176 177 186 187 188 197 202 209 210 213 214 244 254 285 286 287 288 289 300 302 310 313 314 317 318 349 367 368 371 375 376 380 402 403 404 405 408 409 422 423 424 425 426 427 428 429 431 433 438 439 441 443 444 452 453 484 485 495 497 498 503 504 505 507 508 509 516 520 524 572 609 610 612 613 627 628 629 633 639 644 658 659 663 671 675 685 705 709 711 715 716 740 743 748 749 755 756 759 790 820 821 831 835 861 862 910 1023 1052 1102 1143 1144 1145 1171 1250 1300 1307 1315 1359 1394 1395 1581 1835 1983 c array.sh: end: Thu 24 Mar 2022 02:10:29 PM CET confaigeration /tmp/21701617-185-wap01a_01.col /tmp/21701617-185-wap01a_01.dat existent" User time (seconds): 64.05 System time (seconds): 4.09 Percent of CPU this job got: 568% Elapsed (wall clock) time (h:mm:ss or m:ss): 0:11.99 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): 310464 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 478545 Voluntary context switches: 982 Involuntary context switches: 127 Swaps: 0 File system inputs: 16 File system outputs: 34384 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0