c array.sh: col: /home/froleyks/reconf/2022benchmark/benchmark/color04/DSJR500.1.col c array.sh: dat: /home/froleyks/reconf/2022benchmark/benchmark/color04/DSJR500.1_02.dat c array.sh: name: DSJR500.1_02 c array.sh: task: 26 c array.sh: host: c3n24 c array.sh: uname: Linux c3n24 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.0040: solving existent 21950101-26-DSJR500_1_02 c 0.0130: Wrote /tmp/21950101-26-DSJR500_1_02.aag c 0.0340: Wrote /tmp/21950101-26-DSJR500_1_02.aig c 1.2840: Wrote /tmp/21950101-26-DSJR500_1_02.trace c 1.2850: Found solution, Length: 15 s 1 19 20 22 26 29 37 44 47 52 53 55 59 64 78 81 88 92 99 114 115 128 132 148 155 165 167 169 174 180 185 186 193 198 202 203 206 215 249 255 269 295 298 301 306 319 323 324 326 331 332 349 359 370 376 394 399 407 408 409 415 416 421 425 429 434 437 443 445 446 453 460 465 470 481 488 489 492 493 497 498 t 1 8 19 20 22 26 29 44 47 52 53 55 57 62 64 73 78 81 88 92 99 105 106 114 115 128 148 155 160 165 167 169 174 175 180 185 186 193 198 202 203 215 249 255 269 270 295 298 306 309 310 319 324 326 349 359 361 370 376 394 399 407 408 409 415 416 418 421 425 429 437 443 445 446 453 460 465 470 488 489 492 a YES a 1 19 20 22 26 29 37 44 47 52 53 55 59 64 78 81 88 92 99 114 115 128 132 148 155 165 167 169 174 180 185 186 193 198 202 203 206 215 249 255 269 295 298 301 306 319 323 324 326 331 332 349 359 370 376 394 399 407 408 409 415 416 421 425 429 434 437 443 445 446 453 460 465 470 481 488 489 492 493 497 498 a 1 19 20 22 26 29 37 44 47 52 53 55 57 59 64 78 81 88 92 99 114 115 128 132 148 155 165 167 169 174 180 185 186 193 198 202 203 206 215 249 255 269 295 298 301 306 319 323 324 326 331 349 359 370 376 394 399 407 408 409 415 416 421 425 429 434 437 443 445 446 453 460 465 470 481 488 489 492 493 497 498 a 1 19 20 22 26 29 37 44 47 52 53 55 57 59 64 78 81 88 92 99 114 115 128 132 148 155 165 167 169 174 180 185 186 193 198 202 203 206 215 249 255 269 295 298 301 306 319 323 324 326 331 349 359 370 376 394 399 407 408 409 415 416 418 421 425 429 434 437 443 445 446 453 460 465 470 481 488 489 492 493 498 a 1 19 20 22 26 29 37 44 47 52 53 55 57 59 64 78 81 88 92 99 114 115 128 132 148 155 165 167 169 174 180 185 186 193 198 202 203 206 215 249 255 269 295 298 301 306 319 323 324 326 331 349 359 361 370 376 394 399 407 408 409 415 416 418 421 425 429 434 437 443 445 446 453 460 465 470 488 489 492 493 498 a 1 19 20 22 26 29 37 44 47 52 53 55 57 59 64 78 81 88 92 99 114 115 128 148 155 165 167 169 174 180 185 186 193 198 202 203 206 215 249 255 269 295 298 301 306 310 319 323 324 326 331 349 359 361 370 376 394 399 407 408 409 415 416 418 421 425 429 434 437 443 445 446 453 460 465 470 488 489 492 493 498 a 1 19 20 22 26 29 37 44 47 52 53 55 57 59 64 78 81 88 92 99 114 115 128 148 155 165 167 169 174 180 185 186 193 198 202 203 206 215 240 249 255 269 295 298 301 306 310 319 323 324 326 349 359 361 370 376 394 399 407 408 409 415 416 418 421 425 429 434 437 443 445 446 453 460 465 470 488 489 492 493 498 a 1 19 20 22 26 29 37 44 47 52 53 55 57 59 64 78 81 88 92 99 114 115 128 148 155 165 167 169 174 180 185 186 193 198 202 203 206 215 249 255 269 295 298 301 306 309 310 319 323 324 326 349 359 361 370 376 394 399 407 408 409 415 416 418 421 425 429 434 437 443 445 446 453 460 465 470 488 489 492 493 498 a 1 19 20 22 26 29 37 44 47 52 53 55 57 59 64 78 81 88 92 99 114 115 128 148 155 165 167 169 174 180 185 186 193 198 202 203 206 215 249 255 269 270 295 298 306 309 310 319 323 324 326 349 359 361 370 376 394 399 407 408 409 415 416 418 421 425 429 434 437 443 445 446 453 460 465 470 488 489 492 493 498 a 1 19 20 22 26 29 37 44 47 52 53 55 57 59 64 78 81 88 92 99 114 115 128 148 155 160 165 167 169 174 180 185 186 193 198 202 203 215 249 255 269 270 295 298 306 309 310 319 323 324 326 349 359 361 370 376 394 399 407 408 409 415 416 418 421 425 429 434 437 443 445 446 453 460 465 470 488 489 492 493 498 a 1 19 20 22 26 29 37 44 47 52 53 55 57 64 78 81 88 92 99 114 115 128 148 155 160 165 167 169 174 175 180 185 186 193 198 202 203 215 249 255 269 270 295 298 306 309 310 319 323 324 326 349 359 361 370 376 394 399 407 408 409 415 416 418 421 425 429 434 437 443 445 446 453 460 465 470 488 489 492 493 498 a 1 19 20 22 26 29 37 44 47 52 53 55 57 64 78 81 88 92 99 106 114 115 128 148 155 160 165 167 169 174 175 180 185 186 193 198 202 203 215 249 255 269 270 295 298 306 309 310 319 323 324 326 349 359 361 370 376 394 399 407 408 409 415 416 418 421 425 429 434 437 443 445 446 453 460 465 470 488 489 492 498 a 1 19 20 22 26 29 37 44 47 52 53 55 57 64 78 81 88 92 99 105 106 114 115 128 148 155 160 165 167 169 174 175 180 185 186 193 198 202 203 215 249 255 269 270 295 298 306 309 310 319 324 326 349 359 361 370 376 394 399 407 408 409 415 416 418 421 425 429 434 437 443 445 446 453 460 465 470 488 489 492 498 a 1 19 20 22 26 29 37 44 47 52 53 55 57 64 73 78 81 88 92 99 105 106 114 115 128 148 155 160 165 167 169 174 175 180 185 186 193 198 202 203 215 249 255 269 270 295 298 306 309 310 319 324 326 349 359 361 370 376 394 399 407 408 409 415 416 418 421 425 429 437 443 445 446 453 460 465 470 488 489 492 498 a 1 19 20 22 26 29 44 47 52 53 55 57 62 64 73 78 81 88 92 99 105 106 114 115 128 148 155 160 165 167 169 174 175 180 185 186 193 198 202 203 215 249 255 269 270 295 298 306 309 310 319 324 326 349 359 361 370 376 394 399 407 408 409 415 416 418 421 425 429 437 443 445 446 453 460 465 470 488 489 492 498 a 1 8 19 20 22 26 29 44 47 52 53 55 57 62 64 73 78 81 88 92 99 105 106 114 115 128 148 155 160 165 167 169 174 175 180 185 186 193 198 202 203 215 249 255 269 270 295 298 306 309 310 319 324 326 349 359 361 370 376 394 399 407 408 409 415 416 418 421 425 429 437 443 445 446 453 460 465 470 488 489 492 c array.sh: end: Fri 27 May 2022 03:13:12 PM CEST ration/reconfaigeration /tmp/21950101-26-DSJR500.1_02.col /tmp/21950101-26-DSJR500.1_02.dat existent" User time (seconds): 1.66 System time (seconds): 0.32 Percent of CPU this job got: 149% Elapsed (wall clock) time (h:mm:ss or m:ss): 0:01.32 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): 44792 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 2 Minor (reclaiming a frame) page faults: 54217 Voluntary context switches: 942 Involuntary context switches: 9 Swaps: 0 File system inputs: 384 File system outputs: 2112 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0