c array.sh: col: /home/froleyks/reconf/2022benchmark/benchmark/color04/qg.order30.col c array.sh: dat: /home/froleyks/reconf/2022benchmark/benchmark/color04/qg.order30_01.dat c array.sh: name: qg.order30_01 c array.sh: task: 33 c array.sh: host: c3n18 c array.sh: uname: Linux c3n18 5.4.0-110-generic #124-Ubuntu SMP Thu Apr 14 19:46:19 UTC 2022 x86_64 x86_64 x86_64 GNU/Linux c array.sh: start: Fri 27 May 2022 03:13:11 PM CEST c array.sh: noturbo: 1 c array.sh: governor: 32 performance c array.sh: tmp: 1% c 0.0510: solving existent 21950101-33-qg_order30_01 c 0.0920: Wrote /tmp/21950101-33-qg_order30_01.aag c 0.1230: Wrote /tmp/21950101-33-qg_order30_01.aig c 10.6330: Wrote /tmp/21950101-33-qg_order30_01.trace c 10.6350: Found solution, Length: 74 s 21 55 87 99 150 168 226 251 282 329 358 382 391 435 470 499 534 543 584 605 637 686 700 722 756 793 814 863 878 t 4 49 85 103 142 174 215 250 276 323 344 378 393 447 458 501 538 557 600 620 631 675 697 746 752 791 826 869 879 a YES a 21 55 87 99 150 168 226 251 282 329 358 382 391 435 470 499 534 543 584 605 637 686 700 722 756 793 814 863 878 a 21 55 87 99 150 168 226 251 282 317 358 382 391 435 470 499 534 543 584 605 637 686 700 722 756 793 814 863 878 a 21 55 87 99 150 168 226 251 299 317 358 382 391 435 470 499 534 543 584 605 637 686 700 722 756 793 814 863 878 a 21 55 87 99 150 168 226 251 299 317 358 372 391 435 470 499 534 543 584 605 637 686 700 722 756 793 814 863 878 a 21 55 87 99 150 168 226 262 299 317 358 372 391 435 470 499 534 543 584 605 637 686 700 722 756 793 814 863 878 a 21 55 87 99 150 168 226 262 299 317 358 372 401 435 470 499 534 543 584 605 637 686 700 722 756 793 814 863 878 a 21 55 87 99 150 168 226 262 299 317 358 372 401 435 470 499 534 543 571 605 637 686 700 722 756 793 814 863 878 a 21 55 87 99 150 168 181 226 262 299 317 358 372 401 435 470 499 534 543 605 637 686 700 722 756 793 814 863 878 a 21 55 87 99 150 168 181 226 262 299 317 358 372 401 470 499 534 543 584 605 637 686 700 722 756 793 814 863 878 a 21 55 87 99 150 168 181 226 262 317 358 372 401 449 470 499 534 543 584 605 637 686 700 722 756 793 814 863 878 a 21 55 87 99 150 168 181 226 292 317 358 372 401 449 470 499 534 543 584 605 637 686 700 722 756 793 814 863 878 a 21 55 87 99 150 168 226 241 292 317 358 372 401 449 470 499 534 543 584 605 637 686 700 722 756 793 814 863 878 a 21 55 87 105 150 168 226 241 292 317 358 372 401 449 470 499 534 543 584 605 637 686 700 722 756 793 814 863 878 a 21 55 87 105 150 168 226 241 292 317 358 369 401 449 470 499 534 543 584 605 637 686 700 722 756 793 814 863 878 a 21 55 87 105 150 168 226 241 292 317 342 369 401 449 470 499 534 543 584 605 637 686 700 722 756 793 814 863 878 a 21 55 87 105 150 168 208 226 241 292 317 342 369 401 470 499 534 543 584 605 637 686 700 722 756 793 814 863 878 a 21 87 105 150 168 208 226 241 292 317 342 369 401 445 470 499 534 543 584 605 637 686 700 722 756 793 814 863 878 a 21 57 105 150 168 208 226 241 292 317 342 369 401 445 470 499 534 543 584 605 637 686 700 722 756 793 814 863 878 a 21 57 85 105 150 168 208 226 241 292 317 342 369 401 470 499 534 543 584 605 637 686 700 722 756 793 814 863 878 a 21 85 105 150 168 208 226 241 292 317 342 369 401 447 470 499 534 543 584 605 637 686 700 722 756 793 814 863 878 a 21 59 85 105 150 168 226 241 292 317 342 369 401 447 470 499 534 543 584 605 637 686 700 722 756 793 814 863 878 a 21 85 105 150 168 209 226 241 292 317 342 369 401 447 470 499 534 543 584 605 637 686 700 722 756 793 814 863 878 a 21 58 85 105 150 209 226 241 292 317 342 369 401 447 470 499 534 543 584 605 637 686 700 722 756 793 814 863 878 a 58 85 105 150 171 209 226 241 292 317 342 369 401 447 470 499 534 543 584 605 637 686 700 722 756 793 814 863 878 a 15 58 85 150 171 209 226 241 292 317 342 369 401 447 470 499 534 543 584 605 637 686 700 722 756 793 814 863 878 a 15 58 85 106 150 171 209 241 292 317 342 369 401 447 470 499 534 543 584 605 637 686 700 722 756 793 814 863 878 a 15 58 85 106 150 209 228 241 292 317 342 369 401 447 470 499 534 543 584 605 637 686 700 722 756 793 814 863 878 a 15 58 85 106 150 167 209 228 241 292 342 369 401 447 470 499 534 543 584 605 637 686 700 722 756 793 814 863 878 a 15 58 85 106 150 167 209 241 292 321 342 369 401 447 470 499 534 543 584 605 637 686 700 722 756 793 814 863 878 a 15 58 85 106 150 167 209 241 292 321 342 378 401 447 470 499 534 543 584 605 637 686 700 722 756 793 814 863 878 a 15 58 85 106 150 167 209 241 292 321 342 378 401 447 470 499 534 543 584 605 637 686 700 722 756 793 814 863 879 a 15 58 85 106 150 167 188 241 292 321 342 378 401 447 470 499 534 543 584 605 637 686 700 722 756 793 814 863 879 a 15 58 85 106 167 188 240 241 292 321 342 378 401 447 470 499 534 543 584 605 637 686 700 722 756 793 814 863 879 a 15 58 85 106 142 167 188 240 241 321 342 378 401 447 470 499 534 543 584 605 637 686 700 722 756 793 814 863 879 a 15 58 85 119 142 167 188 240 241 321 342 378 401 447 470 499 534 543 584 605 637 686 700 722 756 793 814 863 879 a 15 58 85 119 142 167 188 240 241 276 321 342 378 401 447 470 499 534 543 584 605 637 686 700 722 793 814 863 879 a 15 58 85 119 142 167 188 240 241 276 321 342 378 401 447 470 499 534 543 584 605 637 686 700 752 793 814 863 879 a 15 58 85 119 142 167 188 240 276 321 342 378 401 447 470 499 534 543 584 605 637 686 700 721 752 793 814 863 879 a 15 58 85 119 142 167 188 240 250 276 321 342 378 401 447 470 499 534 543 584 605 637 686 721 752 793 814 863 879 a 15 58 85 119 142 167 188 240 250 276 321 342 378 401 447 470 499 534 543 584 605 637 686 691 752 793 814 863 879 a 15 58 85 119 142 167 188 240 250 276 321 342 378 401 447 470 499 534 543 584 605 637 691 746 752 793 814 863 879 a 15 58 85 119 142 167 188 240 250 276 342 378 401 447 470 499 534 543 584 605 637 676 691 746 752 793 814 863 879 a 15 58 85 119 142 167 188 240 250 276 342 378 401 447 470 499 534 543 584 605 637 681 691 746 752 793 814 863 879 a 15 58 85 119 142 167 188 240 250 276 323 342 378 401 447 470 499 534 543 584 605 637 681 691 746 752 793 814 879 a 15 58 85 142 167 188 240 250 276 323 342 378 401 447 470 499 534 543 584 605 637 681 691 746 752 793 814 869 879 a 15 58 85 142 167 188 240 250 276 323 342 378 401 447 470 499 534 543 584 605 637 681 691 746 752 793 826 869 879 a 15 58 85 142 154 188 240 250 276 323 342 378 401 447 470 499 534 543 584 605 637 681 691 746 752 793 826 869 879 a 15 58 85 103 142 154 188 240 250 276 323 342 378 401 447 470 499 534 543 584 605 637 681 691 746 752 826 869 879 a 15 58 85 103 142 154 188 240 250 276 323 342 378 401 447 470 499 534 557 584 605 637 681 691 746 752 826 869 879 a 15 58 85 103 142 154 188 240 250 276 323 342 378 393 447 470 499 534 557 584 605 637 681 691 746 752 826 869 879 a 58 85 103 142 154 188 240 250 276 323 342 378 393 447 470 499 534 557 584 605 637 681 691 746 752 791 826 869 879 a 4 58 85 103 142 188 240 250 276 323 342 378 393 447 470 499 534 557 584 605 637 681 691 746 752 791 826 869 879 a 4 58 85 103 142 174 188 240 250 276 323 342 378 393 447 470 499 557 584 605 637 681 691 746 752 791 826 869 879 a 4 58 85 103 142 174 188 240 250 276 323 342 378 393 447 470 499 531 557 584 605 637 691 746 752 791 826 869 879 a 4 58 85 103 142 174 188 240 250 276 323 342 378 393 447 470 499 525 557 584 605 637 691 746 752 791 826 869 879 a 4 58 85 103 142 174 188 240 250 276 323 342 378 393 447 470 499 557 584 605 637 675 691 746 752 791 826 869 879 a 4 85 103 142 174 188 240 250 276 323 342 378 393 447 470 499 538 557 584 605 637 675 691 746 752 791 826 869 879 a 4 85 103 142 174 188 240 250 276 323 342 378 393 447 470 501 538 557 584 605 637 675 691 746 752 791 826 869 879 a 4 49 85 103 142 174 188 240 250 276 323 342 378 393 447 470 501 538 557 584 605 637 691 746 752 791 826 869 879 a 4 49 85 103 142 174 240 250 276 323 342 378 393 447 470 501 538 557 584 605 637 675 691 746 752 791 826 869 879 a 4 49 85 103 142 174 185 240 250 276 323 342 378 393 447 470 501 538 557 584 637 675 691 746 752 791 826 869 879 a 4 49 85 103 142 174 185 240 250 276 323 342 378 393 447 458 501 538 557 584 637 675 691 746 752 791 826 869 879 a 4 49 85 103 142 174 185 240 250 276 323 342 378 393 447 458 501 538 557 584 615 637 691 746 752 791 826 869 879 a 4 49 85 103 142 174 185 240 250 276 323 342 378 393 447 501 538 557 584 615 637 668 691 746 752 791 826 869 879 a 4 49 85 103 142 174 185 240 250 276 323 342 378 393 447 465 501 538 557 584 637 668 691 746 752 791 826 869 879 a 4 49 85 103 142 174 185 240 250 276 323 342 378 393 447 465 501 538 557 584 620 637 691 746 752 791 826 869 879 a 4 49 85 103 142 174 185 240 250 276 323 342 378 393 447 501 538 557 584 620 637 668 691 746 752 791 826 869 879 a 4 49 85 103 142 174 185 240 250 276 323 342 378 393 447 458 501 538 557 584 620 637 691 746 752 791 826 869 879 a 4 49 85 103 142 174 185 240 250 276 323 342 378 393 447 458 501 538 557 584 620 637 675 746 752 791 826 869 879 a 4 49 85 103 142 174 185 240 250 276 323 342 378 393 447 458 501 538 557 584 620 675 697 746 752 791 826 869 879 a 4 49 85 103 142 174 240 250 276 323 342 378 393 447 458 501 538 557 584 620 631 675 697 746 752 791 826 869 879 a 4 49 85 103 142 174 215 250 276 323 342 378 393 447 458 501 538 557 584 620 631 675 697 746 752 791 826 869 879 a 4 49 85 103 142 174 215 250 276 323 342 378 393 447 458 501 538 557 600 620 631 675 697 746 752 791 826 869 879 a 4 49 85 103 142 174 215 250 276 323 344 378 393 447 458 501 538 557 600 620 631 675 697 746 752 791 826 869 879 c array.sh: end: Fri 27 May 2022 03:13:22 PM CEST ration/reconfaigeration /tmp/21950101-33-qg.order30_01.col /tmp/21950101-33-qg.order30_01.dat existent" User time (seconds): 87.06 System time (seconds): 4.32 Percent of CPU this job got: 856% Elapsed (wall clock) time (h:mm:ss or m:ss): 0:10.67 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): 105000 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 1 Minor (reclaiming a frame) page faults: 213515 Voluntary context switches: 1019 Involuntary context switches: 154 Swaps: 0 File system inputs: 344 File system outputs: 13184 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0