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_02.dat c array.sh: name: qg.order30_02 c array.sh: task: 34 c array.sh: host: c3n04 c array.sh: uname: Linux c3n04 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:12 PM CEST c array.sh: noturbo: 1 c array.sh: governor: 32 performance c array.sh: tmp: 1% c 0.0570: solving existent 21950101-34-qg_order30_02 c 0.0960: Wrote /tmp/21950101-34-qg_order30_02.aag c 0.1460: Wrote /tmp/21950101-34-qg_order30_02.aig c 5.1760: Wrote /tmp/21950101-34-qg_order30_02.trace c 5.1770: Found solution, Length: 63 s 8 51 78 119 140 157 190 229 268 292 303 332 385 404 424 465 503 511 549 575 613 641 684 737 756 792 826 866 900 t 45 89 91 134 152 203 236 257 282 306 354 388 408 425 453 487 532 559 581 610 657 690 706 741 758 793 819 844 895 a YES a 8 51 78 119 140 157 190 229 268 292 303 332 385 404 424 465 503 511 549 575 613 641 684 737 756 792 826 866 900 a 8 51 78 119 140 157 190 229 268 292 303 332 385 404 424 465 503 511 549 575 613 641 684 737 756 792 826 867 900 a 8 51 78 119 140 157 190 229 268 292 303 332 385 404 424 465 503 511 549 575 613 641 684 737 756 792 836 867 900 a 8 51 78 119 140 157 190 229 268 292 303 332 385 404 424 465 503 511 549 575 613 641 684 736 756 792 836 867 900 a 8 51 78 119 140 157 190 229 268 292 303 332 385 404 424 465 503 511 549 575 613 641 684 736 756 792 836 867 887 a 8 51 78 119 140 157 190 229 268 292 303 332 385 404 424 465 503 511 549 575 613 641 684 736 756 792 840 867 887 a 8 51 78 119 140 157 190 229 268 292 303 332 385 404 424 465 503 511 549 575 613 641 684 736 756 806 840 867 887 a 8 51 78 119 140 157 190 229 268 292 303 332 385 404 424 465 503 511 549 575 613 641 684 736 756 806 822 867 887 a 8 51 78 119 140 157 190 229 268 292 303 332 385 404 424 465 503 511 549 575 613 641 690 736 756 806 822 867 887 a 8 51 78 119 140 157 190 229 268 292 303 332 385 404 424 465 503 511 549 575 613 641 690 714 736 756 806 822 887 a 8 51 78 119 140 157 190 229 268 292 303 332 385 404 424 465 503 511 549 575 613 641 690 736 756 806 822 864 887 a 8 51 78 119 140 157 190 229 268 292 303 332 385 404 424 465 503 511 549 575 613 641 690 706 756 806 822 864 887 a 8 51 78 119 140 157 190 229 268 292 303 332 385 404 424 465 503 511 549 613 641 690 706 725 756 806 822 864 887 a 8 51 78 119 140 157 190 229 268 292 303 332 385 404 424 465 503 511 549 581 613 690 706 725 756 806 822 864 887 a 8 51 78 119 140 157 190 229 268 292 303 332 385 404 424 465 503 511 549 581 613 656 690 706 725 756 822 864 887 a 8 51 78 119 140 157 190 229 268 292 303 332 385 404 424 465 503 511 549 581 613 657 690 706 725 756 822 864 887 a 8 51 78 119 140 157 190 229 268 292 303 332 385 404 424 465 503 511 549 581 657 690 706 725 756 793 822 864 887 a 8 51 78 119 140 157 190 229 268 292 303 332 385 404 424 465 503 511 549 581 626 657 690 706 725 756 793 864 887 a 8 51 78 119 140 157 190 229 268 292 303 332 385 404 424 465 503 511 552 581 626 657 690 706 725 756 793 864 887 a 8 51 78 119 140 157 190 229 268 292 303 332 385 404 424 465 503 511 552 581 626 657 690 706 725 756 793 849 887 a 8 51 78 119 140 157 190 229 268 292 303 332 385 404 424 465 503 511 552 581 626 657 690 706 725 756 793 819 887 a 8 51 78 119 140 157 190 229 268 292 303 332 385 414 424 465 503 511 552 581 626 657 690 706 725 756 793 819 887 a 8 51 78 119 140 157 190 229 268 292 303 332 385 414 424 465 503 511 552 581 626 657 690 706 725 764 793 819 887 a 8 51 78 119 140 157 190 229 268 292 303 332 385 414 424 465 503 516 552 581 626 657 690 706 725 764 793 819 887 a 8 51 78 119 140 157 190 229 268 292 303 332 385 391 424 465 503 516 552 581 626 657 690 706 725 764 793 819 887 a 8 51 78 119 140 157 190 229 268 292 303 332 385 391 424 465 504 516 552 581 626 657 690 706 725 764 793 819 887 a 8 51 78 119 140 157 190 229 268 292 303 332 385 391 424 465 504 516 563 581 626 657 690 706 725 764 793 819 887 a 8 51 78 119 140 157 190 229 268 292 303 332 385 391 424 462 504 516 563 581 626 657 690 706 725 764 793 819 887 a 8 51 78 119 140 157 190 229 268 292 303 332 385 391 435 462 504 516 563 581 626 657 690 706 725 764 793 819 887 a 8 51 78 119 140 157 190 229 268 292 303 332 385 391 435 462 504 516 563 581 626 657 690 706 764 793 819 844 887 a 8 51 78 119 140 157 190 229 268 292 303 332 385 391 425 462 504 516 563 581 626 657 690 706 764 793 819 844 887 a 8 78 119 140 157 190 229 268 292 303 332 385 391 425 462 504 516 563 581 626 657 690 706 741 764 793 819 844 887 a 8 47 78 119 140 157 190 229 268 292 303 332 385 391 425 462 504 516 563 581 626 657 690 706 741 764 793 819 844 a 8 45 78 119 140 157 190 229 268 292 303 332 385 391 425 462 504 516 563 581 626 657 690 706 741 764 793 819 844 a 8 45 78 119 140 157 190 229 268 292 303 332 391 425 462 504 516 563 581 626 657 690 706 741 764 793 819 844 895 a 8 45 78 119 140 157 190 229 268 292 303 332 384 391 425 462 516 563 581 626 657 690 706 741 764 793 819 844 895 a 8 45 78 119 140 157 190 229 268 292 303 332 377 391 425 462 516 563 581 626 657 690 706 741 764 793 819 844 895 a 8 45 78 119 140 157 190 229 268 292 303 377 391 425 462 482 516 563 581 626 657 690 706 741 764 793 819 844 895 a 8 45 78 119 140 157 190 229 268 292 303 336 377 391 425 462 482 563 581 626 657 690 706 741 764 793 819 844 895 a 8 45 78 119 140 157 190 229 268 292 303 354 377 391 425 462 482 563 581 626 657 690 706 741 764 793 819 844 895 a 8 45 78 119 140 157 190 229 268 292 306 354 377 391 425 462 482 563 581 626 657 690 706 741 764 793 819 844 895 a 8 45 78 119 140 157 190 229 268 292 306 354 377 391 425 482 513 563 581 626 657 690 706 741 764 793 819 844 895 a 8 45 78 119 140 157 190 229 268 292 306 354 377 391 425 453 482 563 581 626 657 690 706 741 764 793 819 844 895 a 8 45 78 119 140 157 190 229 268 306 354 377 391 425 453 482 532 563 581 626 657 690 706 741 764 793 819 844 895 a 8 45 78 119 140 157 190 229 268 287 306 354 391 425 453 482 532 563 581 626 657 690 706 741 764 793 819 844 895 a 8 45 78 119 140 157 190 229 268 282 306 354 391 425 453 482 532 563 581 626 657 690 706 741 764 793 819 844 895 a 8 45 78 119 140 157 190 229 282 306 354 388 391 425 453 482 532 563 581 626 657 690 706 741 764 793 819 844 895 a 8 45 78 119 140 157 190 229 266 282 306 354 388 391 425 453 482 532 563 581 657 690 706 741 764 793 819 844 895 a 8 45 78 119 140 157 190 229 257 282 306 354 388 391 425 453 482 532 563 581 657 690 706 741 764 793 819 844 895 a 8 45 78 119 140 157 190 236 257 282 306 354 388 391 425 453 482 532 563 581 657 690 706 741 764 793 819 844 895 a 8 45 78 119 140 157 190 236 257 282 306 354 388 391 425 453 482 532 559 581 657 690 706 741 764 793 819 844 895 a 8 45 78 119 140 157 203 236 257 282 306 354 388 391 425 453 482 532 559 581 657 690 706 741 764 793 819 844 895 a 8 45 78 119 140 157 203 236 257 282 306 354 388 391 425 453 490 532 559 581 657 690 706 741 764 793 819 844 895 a 8 45 78 119 140 157 203 236 257 282 306 354 388 391 425 453 532 559 581 610 657 690 706 741 764 793 819 844 895 a 8 45 78 119 140 203 236 257 282 306 354 388 391 425 453 487 532 559 581 610 657 690 706 741 764 793 819 844 895 a 8 45 78 119 140 151 203 236 257 282 306 354 388 425 453 487 532 559 581 610 657 690 706 741 764 793 819 844 895 a 8 45 78 119 140 152 203 236 257 282 306 354 388 425 453 487 532 559 581 610 657 690 706 741 764 793 819 844 895 a 8 45 78 119 152 203 236 257 282 306 354 388 410 425 453 487 532 559 581 610 657 690 706 741 764 793 819 844 895 a 8 45 78 119 134 152 203 236 257 282 306 354 388 410 425 453 487 532 559 581 610 657 690 706 741 793 819 844 895 a 8 45 78 91 134 152 203 236 257 282 306 354 388 410 425 453 487 532 559 581 610 657 690 706 741 793 819 844 895 a 8 45 89 91 134 152 203 236 257 282 306 354 388 410 425 453 487 532 559 581 610 657 690 706 741 793 819 844 895 a 45 89 91 134 152 203 236 257 282 306 354 388 410 425 453 487 532 559 581 610 657 690 706 741 758 793 819 844 895 a 45 89 91 134 152 203 236 257 282 306 354 388 408 425 453 487 532 559 581 610 657 690 706 741 758 793 819 844 895 c array.sh: end: Fri 27 May 2022 03:13:17 PM CEST ration/reconfaigeration /tmp/21950101-34-qg.order30_02.col /tmp/21950101-34-qg.order30_02.dat existent" User time (seconds): 24.23 System time (seconds): 1.59 Percent of CPU this job got: 494% Elapsed (wall clock) time (h:mm:ss or m:ss): 0:05.22 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): 124004 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 149088 Voluntary context switches: 942 Involuntary context switches: 90 Swaps: 0 File system inputs: 16 File system outputs: 9048 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0