c array.sh: col:      /home/froleyks/reconf/2022benchmark/benchmark/color04/2-Insertions_4.col
c array.sh: dat:      /home/froleyks/reconf/2022benchmark/benchmark/color04/2-Insertions_4_02.dat
c array.sh: name:     2-Insertions_4_02
c array.sh: task:     22
c array.sh: host:     c3n22
c array.sh: uname:    Linux c3n22 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:51:32 PM CET
c array.sh: noturbo:  1
c array.sh: governor: 32 performance
c array.sh: tmp:      1%
c 0.0000: solving existent 21701617-22-2-Insertions_4_02
c 0.0050: Wrote /tmp/21701617-22-2-Insertions_4_02.aag
c 0.0700: Wrote /tmp/21701617-22-2-Insertions_4_02.aig
c 5.3630: Wrote /tmp/21701617-22-2-Insertions_4_02.trace
c 5.3640: Found solution, Length: 2
s 38 39 40 41 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148
t 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 71 72 73 74 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148
a YES
a 38 39 40 41 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148
a 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 71 72 73 74 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148
c array.sh: end:      Thu 24 Mar 2022 12:51:37 PM CET
confaigeration /tmp/21701617-22-2-Insertions_4_02.col /tmp/21701617-22-2-Insertions_4_02.dat existent"
	User time (seconds): 0.64
	System time (seconds): 0.25
	Percent of CPU this job got: 16%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 0:05.46
	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): 36872
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 146
	Minor (reclaiming a frame) page faults: 35260
	Voluntary context switches: 3007
	Involuntary context switches: 7
	Swaps: 0
	File system inputs: 39352
	File system outputs: 704
	Socket messages sent: 0
	Socket messages received: 0
	Signals delivered: 0
	Page size (bytes): 4096
	Exit status: 0