c array.sh: col: /home/froleyks/reconf/2022benchmark/benchmark/queen/queen020x020.col c array.sh: dat: /home/froleyks/reconf/2022benchmark/benchmark/queen/queen020x020_02_4815.dat c array.sh: name: queen020x020_02_4815 c array.sh: task: 284 c array.sh: host: c3n08 c array.sh: uname: Linux c3n08 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 04:46:08 PM CET c array.sh: noturbo: 1 c array.sh: governor: 32 performance c array.sh: tmp: 1% c 0.0150: solving existent 21701617-284-queen020x020_02_4815 c 0.0320: Wrote /tmp/21701617-284-queen020x020_02_4815.aag c 0.0480: Wrote /tmp/21701617-284-queen020x020_02_4815.aig c 11.6250: Wrote /tmp/21701617-284-queen020x020_02_4815.trace c 11.6260: Found solution, Length: 136 s 12 34 49 71 86 119 127 158 168 193 216 240 255 285 303 321 344 362 397 t 13 35 47 88 106 129 157 179 196 212 240 258 270 285 303 321 344 362 394 a YES a 12 34 49 71 86 119 127 158 168 193 216 240 255 285 303 321 344 362 397 a 12 34 49 71 86 119 127 158 168 193 216 240 255 285 303 321 344 370 397 a 12 34 49 71 86 119 158 168 193 216 240 255 267 285 303 321 344 370 397 a 12 34 49 71 86 119 121 158 168 193 216 240 255 267 285 303 344 370 397 a 12 34 49 71 86 119 121 158 168 193 216 240 255 267 285 303 337 344 370 a 12 34 49 71 86 119 122 158 168 193 216 240 255 267 285 303 337 344 370 a 12 34 49 71 86 119 122 158 161 193 216 240 255 267 285 303 337 344 370 a 12 34 49 71 86 119 122 158 161 193 216 240 255 267 285 303 337 370 384 a 12 34 49 71 86 119 122 158 161 193 216 240 255 268 285 303 337 370 384 a 12 34 49 71 86 119 122 158 161 193 216 240 255 268 285 303 357 370 384 a 12 34 49 71 86 119 127 158 161 193 216 240 255 268 285 303 357 370 384 a 12 34 49 71 86 119 127 158 161 193 216 240 255 268 285 322 357 370 384 a 12 34 49 71 83 119 127 158 161 193 216 240 255 268 285 322 357 370 384 a 12 34 49 71 83 119 127 158 161 193 216 240 255 268 305 322 357 370 384 a 12 34 49 71 86 119 127 158 161 193 216 240 255 268 305 322 357 370 384 a 12 34 49 71 86 119 127 158 161 193 216 240 255 268 283 305 322 357 384 a 12 49 71 86 119 127 158 161 193 216 240 255 268 283 305 322 357 374 384 a 12 49 71 86 119 127 158 161 193 216 240 255 268 283 305 322 357 374 390 a 12 34 49 71 86 119 127 158 161 193 216 240 255 268 283 305 322 357 390 a 12 34 49 71 86 119 127 158 161 193 216 240 268 283 305 322 357 375 390 a 12 34 49 71 86 119 127 158 161 193 216 240 244 268 283 305 322 375 390 a 12 34 49 71 86 119 127 158 161 193 216 244 268 283 305 322 360 375 390 a 12 34 49 71 86 119 127 158 161 193 237 244 268 283 305 322 360 375 390 a 12 34 49 71 86 119 127 158 161 193 237 244 268 283 305 336 360 375 390 a 12 34 49 71 86 119 127 158 161 193 208 237 244 283 305 336 360 375 390 a 12 34 49 71 86 119 127 158 161 193 208 237 244 283 305 336 360 375 382 a 12 34 49 71 86 119 127 158 161 193 208 237 244 270 283 305 336 360 382 a 12 34 49 71 86 119 127 158 161 193 208 244 270 283 305 336 360 377 382 a 12 34 49 71 86 119 127 158 161 208 235 244 270 283 305 336 360 377 382 a 12 34 49 71 86 119 127 158 161 208 235 244 270 283 305 336 360 373 382 a 12 34 49 71 86 119 127 161 198 208 235 244 270 283 305 336 360 373 382 a 12 34 49 71 86 119 127 141 198 208 235 244 270 283 305 336 360 373 382 a 12 34 49 71 86 119 127 141 177 208 235 244 270 283 305 336 360 373 382 a 12 34 49 71 86 119 127 141 177 200 208 235 244 270 283 305 336 373 382 a 12 34 49 71 86 119 141 177 200 208 235 244 270 283 305 336 358 373 382 a 12 34 49 71 86 119 136 141 177 200 208 235 244 270 283 305 358 373 382 a 12 34 47 71 86 119 136 141 177 200 208 235 244 270 283 305 358 373 382 a 34 47 71 86 119 136 141 177 200 208 235 244 270 283 305 332 358 373 382 a 6 34 47 71 119 136 141 177 200 208 235 244 270 283 305 332 358 373 382 a 6 34 71 89 119 136 141 177 200 208 235 244 270 283 305 332 358 373 382 a 6 34 57 71 89 119 136 141 200 208 235 244 270 283 305 332 358 373 382 a 6 34 57 71 87 119 136 141 200 208 235 244 270 283 305 332 358 373 382 a 6 34 57 71 87 119 136 141 200 208 235 244 270 283 305 329 358 373 382 a 6 34 57 71 87 119 136 141 180 208 235 244 270 283 305 329 358 373 382 a 6 34 57 71 87 119 136 141 180 198 208 235 244 270 283 305 329 373 382 a 6 34 57 71 87 119 136 141 180 198 208 235 244 270 283 305 329 352 382 a 6 34 57 71 87 119 136 141 198 208 235 244 270 283 305 329 352 380 382 a 6 34 57 71 87 119 136 141 164 198 208 235 270 283 305 329 352 380 382 a 6 34 57 71 87 119 136 141 164 198 208 235 253 270 283 305 352 380 382 a 6 34 57 71 89 119 136 141 164 198 208 235 253 270 283 305 352 380 382 a 7 34 57 71 89 119 136 141 164 198 208 235 253 270 283 305 352 380 382 a 7 34 57 71 89 119 141 164 198 208 235 253 270 283 305 336 352 380 382 a 6 34 57 71 89 119 141 164 198 208 235 253 270 283 305 336 352 380 382 a 6 34 57 71 89 119 141 164 198 208 235 253 270 283 307 336 352 380 382 a 6 34 57 71 89 119 125 141 198 208 235 253 270 283 307 336 352 380 382 a 6 34 57 71 89 119 125 141 198 208 235 253 270 283 307 324 352 380 382 a 16 34 57 71 89 119 125 141 198 208 235 253 270 283 307 324 352 380 382 a 16 34 57 71 89 119 125 141 180 198 208 235 253 270 283 307 324 352 382 a 6 34 57 71 89 119 125 141 180 198 208 235 253 270 283 307 324 352 382 a 6 34 57 71 89 119 125 141 180 198 208 235 253 270 283 307 336 352 382 a 6 34 57 71 89 119 125 141 180 198 208 235 253 270 283 307 336 352 362 a 6 34 57 71 89 119 125 141 180 198 208 235 253 270 283 307 336 344 362 a 6 34 57 71 89 119 125 141 180 208 235 253 270 283 307 336 344 362 392 a 6 34 57 71 89 119 125 141 180 198 208 235 270 283 307 336 344 362 392 a 6 34 57 71 89 119 125 141 180 198 208 235 253 270 307 336 344 362 392 a 6 34 57 71 89 119 125 143 180 198 208 235 253 270 307 336 344 362 392 a 6 34 57 71 89 119 125 143 180 198 208 235 253 270 301 336 344 362 392 a 7 34 57 71 89 119 125 143 180 198 208 235 253 270 301 336 344 362 392 a 7 34 57 71 89 119 125 143 180 198 208 226 253 270 301 336 344 362 392 a 7 34 57 71 89 119 125 143 180 198 208 226 270 295 301 336 344 362 392 a 7 34 57 71 89 119 125 143 180 193 208 226 270 295 301 336 344 362 392 a 7 34 57 71 119 125 143 180 193 208 226 258 270 295 301 336 344 362 392 a 34 57 71 89 119 125 143 180 193 208 226 258 270 295 301 336 344 362 392 a 7 34 57 71 89 119 125 143 180 193 208 226 258 270 295 301 336 344 362 a 34 57 71 89 119 125 143 180 193 208 226 258 270 295 301 336 344 362 387 a 3 34 57 71 89 119 125 180 193 208 226 258 270 295 301 336 344 362 387 a 3 34 57 71 89 119 125 141 180 193 208 226 258 270 295 336 344 362 387 a 3 34 57 71 89 119 125 141 180 193 208 226 258 270 295 336 344 362 392 a 7 34 57 71 89 119 125 141 180 193 208 226 258 270 295 336 344 362 392 a 7 34 57 71 89 119 125 141 180 193 226 258 270 295 303 336 344 362 392 a 7 34 57 71 89 119 125 141 180 193 206 258 270 295 303 336 344 362 392 a 7 34 57 71 89 119 125 141 180 193 206 258 270 295 303 336 348 362 392 a 7 34 44 71 89 119 125 141 180 193 206 258 270 295 303 336 348 362 392 a 7 34 44 71 89 119 125 141 180 193 206 258 270 295 303 336 348 362 397 a 7 34 44 71 89 119 125 141 193 206 240 258 270 295 303 336 348 362 397 a 7 34 44 71 89 125 141 179 193 206 240 258 270 295 303 336 348 362 397 a 12 34 44 71 89 125 141 179 193 206 240 258 270 295 303 336 348 362 397 a 12 34 44 71 89 125 141 179 193 206 240 258 270 295 303 336 347 362 397 a 12 34 44 71 108 125 141 179 193 206 240 258 270 295 303 336 347 362 397 a 12 34 44 71 108 125 141 179 193 206 240 258 270 295 303 336 349 362 397 a 12 34 44 71 108 125 141 179 193 206 240 258 270 287 303 336 349 362 397 a 12 34 44 71 95 108 125 141 193 206 240 258 270 287 303 336 349 362 397 a 12 34 44 71 95 119 125 141 193 206 240 258 270 287 303 336 349 362 397 a 12 34 44 71 95 119 125 141 193 206 240 258 270 287 303 336 348 362 397 a 12 34 44 71 95 119 125 141 169 193 206 240 258 270 303 336 348 362 397 a 12 34 44 71 95 119 125 141 169 193 240 258 270 287 303 336 348 362 397 a 12 34 44 71 95 119 125 141 169 193 217 240 258 270 287 303 336 348 362 a 12 26 44 71 95 119 125 141 169 193 217 240 258 270 287 303 336 348 362 a 12 26 44 71 95 119 141 169 193 217 240 258 270 287 303 336 348 362 394 a 12 26 71 95 119 124 141 169 193 217 240 258 270 287 303 336 348 362 394 a 12 26 71 95 119 125 141 169 193 217 240 258 270 287 303 336 348 362 394 a 12 44 71 95 119 125 141 169 193 217 240 258 270 287 303 336 348 362 394 a 12 24 71 95 119 125 141 169 193 217 240 258 270 287 303 336 348 362 394 a 12 24 71 86 119 125 141 169 193 217 240 258 270 287 303 336 348 362 394 a 12 24 47 71 86 119 125 141 169 193 217 240 258 270 303 336 348 362 394 a 12 24 47 71 86 119 125 141 169 193 217 240 258 270 303 336 348 362 395 a 24 47 71 86 119 125 141 169 193 217 240 258 270 292 303 336 348 362 395 a 34 47 71 86 119 125 141 169 193 217 240 258 270 292 303 336 348 362 395 a 34 47 71 86 119 125 141 169 193 217 240 258 270 292 303 336 344 362 395 a 34 47 71 86 108 125 141 169 193 217 240 258 270 292 303 336 344 362 395 a 19 34 47 71 86 125 141 169 193 217 240 258 270 292 303 336 344 362 395 a 19 34 47 71 86 108 125 141 169 193 217 240 258 270 292 303 336 344 362 a 19 47 71 86 108 125 141 169 193 217 240 258 270 292 303 336 344 362 394 a 35 47 71 86 108 125 141 169 193 217 240 258 270 292 303 336 344 362 394 a 12 35 47 71 86 108 125 141 169 193 217 240 258 270 303 336 344 362 394 a 12 35 47 71 86 108 141 169 193 217 240 258 270 285 303 336 344 362 394 a 12 35 47 71 86 108 139 169 193 217 240 258 270 285 303 336 344 362 394 a 12 35 47 71 86 108 139 157 169 193 240 258 270 285 303 336 344 362 394 a 12 35 47 71 86 101 139 157 169 193 240 258 270 285 303 336 344 362 394 a 12 35 47 71 86 101 139 157 169 193 240 258 270 285 303 336 344 368 394 a 12 35 47 71 86 101 139 157 169 193 203 240 258 270 285 336 344 368 394 a 12 35 47 71 86 101 139 157 169 193 203 240 258 270 285 336 344 362 394 a 12 35 47 71 86 101 139 157 169 203 240 258 270 285 313 336 344 362 394 a 12 35 47 71 86 101 139 157 188 203 240 258 270 285 313 336 344 362 394 a 12 35 47 71 86 101 129 157 188 203 240 258 270 285 313 336 344 362 394 a 12 35 47 71 86 101 129 157 179 188 203 240 258 270 285 313 336 344 362 a 12 35 47 71 86 129 157 179 188 203 240 258 270 285 313 336 344 362 394 a 12 35 47 71 86 101 129 157 179 203 240 258 270 285 313 336 344 362 394 a 12 35 47 71 86 101 129 157 179 196 203 240 258 270 285 313 344 362 394 a 12 35 47 71 86 129 157 179 196 203 240 258 270 285 313 321 344 362 394 a 12 35 47 71 106 129 157 179 196 203 240 258 270 285 313 321 344 362 394 a 12 35 47 71 83 106 129 157 179 196 240 258 270 285 313 321 344 362 394 a 35 47 71 83 106 129 157 179 196 212 240 258 270 285 313 321 344 362 394 a 13 35 47 71 83 106 129 157 179 196 212 240 258 270 285 321 344 362 394 a 13 35 47 71 106 129 157 179 196 212 240 258 270 285 303 321 344 362 394 a 13 35 47 88 106 129 157 179 196 212 240 258 270 285 303 321 344 362 394 c array.sh: end: Thu 24 Mar 2022 04:46:20 PM CET confaigeration /tmp/21701617-284-queen020x020_02_4815.col /tmp/21701617-284-queen020x020_02_4815.dat existent" User time (seconds): 96.78 System time (seconds): 1.70 Percent of CPU this job got: 844% Elapsed (wall clock) time (h:mm:ss or m:ss): 0:11.66 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): 103752 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 170254 Voluntary context switches: 946 Involuntary context switches: 144 Swaps: 0 File system inputs: 0 File system outputs: 5400 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0