c array.sh: col: /home/froleyks/reconf/2022benchmark/benchmark/color04/le450_5d.col c array.sh: dat: /home/froleyks/reconf/2022benchmark/benchmark/color04/le450_5d_01.dat c array.sh: name: le450_5d_01 c array.sh: task: 119 c array.sh: host: c3n15 c array.sh: uname: Linux c3n15 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 12:52:20 PM CET c array.sh: noturbo: 1 c array.sh: governor: 32 performance c array.sh: tmp: 1% c 0.0110: solving existent 21701617-119-le450_5d_01 c 0.0260: Wrote /tmp/21701617-119-le450_5d_01.aag c 0.0400: Wrote /tmp/21701617-119-le450_5d_01.aig c 1.1570: Wrote /tmp/21701617-119-le450_5d_01.trace c 1.1570: Found solution, Length: 2 s 4 9 14 15 19 25 40 59 60 64 65 69 74 79 80 84 85 89 90 94 105 109 114 115 119 124 129 130 150 155 170 174 175 179 180 184 189 194 195 199 204 205 220 224 229 234 239 240 244 245 260 265 270 284 285 289 294 295 299 304 309 310 314 319 330 334 335 339 344 349 350 354 355 360 375 399 400 404 409 414 419 420 424 425 429 440 445 449 450 t 4 9 14 15 19 25 40 59 60 64 65 69 74 79 80 84 85 89 90 94 105 109 114 115 119 124 129 130 150 155 170 174 175 179 180 184 189 194 195 199 204 205 220 224 229 234 239 240 244 245 260 265 270 285 289 294 295 299 304 309 310 314 319 330 334 335 339 344 349 350 354 355 360 375 385 399 400 404 409 414 419 420 424 425 429 440 445 449 450 a YES a 4 9 14 15 19 25 40 59 60 64 65 69 74 79 80 84 85 89 90 94 105 109 114 115 119 124 129 130 150 155 170 174 175 179 180 184 189 194 195 199 204 205 220 224 229 234 239 240 244 245 260 265 270 284 285 289 294 295 299 304 309 310 314 319 330 334 335 339 344 349 350 354 355 360 375 399 400 404 409 414 419 420 424 425 429 440 445 449 450 a 4 9 14 15 19 25 40 59 60 64 65 69 74 79 80 84 85 89 90 94 105 109 114 115 119 124 129 130 150 155 170 174 175 179 180 184 189 194 195 199 204 205 220 224 229 234 239 240 244 245 260 265 270 285 289 294 295 299 304 309 310 314 319 330 334 335 339 344 349 350 354 355 360 375 385 399 400 404 409 414 419 420 424 425 429 440 445 449 450 c array.sh: end: Thu 24 Mar 2022 12:52:21 PM CET confaigeration /tmp/21701617-119-le450_5d_01.col /tmp/21701617-119-le450_5d_01.dat existent" User time (seconds): 1.10 System time (seconds): 0.16 Percent of CPU this job got: 105% Elapsed (wall clock) time (h:mm:ss or m:ss): 0:01.20 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): 45232 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 57320 Voluntary context switches: 916 Involuntary context switches: 16 Swaps: 0 File system inputs: 16 File system outputs: 3616 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0