#BEGIN: [Mon Sep 4 10:49:17 2023] #HOST: s16 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-cpu-banbaralab2-existent2 #INSTANCE1: /benchmark/random_instance/random_instance017_graph001.col #INSTANCE2: /benchmark/random_instance/random_instance017_graph001_01.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --existent --na /benchmark/random_instance/random_instance017_graph001.col /benchmark/random_instance/random_instance017_graph001_01.dat c /benchmark/random_instance/random_instance017_graph001.col c /benchmark/random_instance/random_instance017_graph001_01.dat *** Info : (clingo): INTERRUPTED by signal! *** Info : (clingo): INTERRUPTED by signal! s 145 40 132 8 142 61 200 25 191 2 189 187 118 135 24 159 31 98 202 106 71 194 38 181 117 45 5 173 165 105 23 148 166 102 91 64 141 144 168 127 128 70 47 43 11 137 48 6 174 63 68 136 54 3 62 204 56 33 205 153 9 160 201 21 110 77 88 129 186 65 213 99 t 121 11 28 112 217 138 120 155 147 65 165 135 175 4 80 189 123 89 100 174 70 32 137 88 12 178 133 119 14 59 195 202 107 54 15 46 190 131 40 110 208 1 157 182 71 69 86 192 184 171 126 60 136 73 111 63 193 38 215 153 5 199 109 156 2 58 102 160 142 13 74 134 a YES a 2 3 5 6 8 9 11 21 23 24 25 31 33 38 40 43 45 47 48 54 56 61 62 63 64 65 68 70 71 77 88 91 98 99 102 105 106 110 117 118 127 128 129 132 135 136 137 141 142 144 145 148 153 159 160 165 166 168 173 174 181 186 187 189 191 194 200 201 202 204 205 213 a 2 3 5 6 8 9 11 21 23 24 25 31 33 38 40 43 45 47 48 54 56 61 62 63 64 65 68 70 71 77 88 91 98 99 102 105 106 110 117 118 127 128 129 132 135 136 137 141 142 145 148 153 159 160 165 166 168 173 174 181 186 187 189 191 194 200 201 202 204 205 209 213 a 2 3 5 6 8 9 11 21 23 24 25 31 33 38 43 45 47 48 54 56 61 62 63 64 65 68 70 71 77 88 91 98 99 102 105 106 110 117 118 127 128 129 132 135 136 137 141 142 145 148 153 159 160 165 166 168 169 173 174 181 186 187 189 191 194 200 201 202 204 205 209 213 a 2 3 5 6 8 9 11 21 23 24 25 31 33 38 43 45 47 48 54 56 61 62 63 64 65 68 70 71 77 88 91 98 99 102 105 106 110 117 118 127 128 129 132 135 136 137 141 142 144 145 148 153 159 160 165 166 168 169 173 174 181 186 187 189 191 194 200 201 202 204 205 213 a 2 3 5 6 8 9 11 21 23 24 25 31 33 38 43 45 47 48 54 56 61 62 63 64 65 68 70 71 77 88 91 98 99 102 105 106 110 118 127 128 129 132 135 136 137 141 142 144 145 148 153 159 160 165 166 168 169 173 174 181 186 187 189 191 194 196 200 201 202 204 205 213 a 2 3 5 6 8 9 11 21 23 24 25 31 33 38 40 43 45 47 48 54 56 61 62 63 64 65 68 70 71 77 88 91 98 99 102 105 106 110 118 127 128 129 132 135 136 137 141 142 144 145 148 153 159 160 165 166 168 173 174 181 186 187 189 191 194 196 200 201 202 204 205 213 a 2 3 5 6 8 9 11 21 23 24 25 31 33 38 40 43 45 47 48 54 56 61 62 63 64 65 68 70 71 77 88 91 98 99 102 105 106 110 118 127 128 129 132 135 136 137 141 142 145 148 153 159 160 165 166 168 173 174 181 186 187 189 191 194 196 200 201 202 204 205 209 213 a 2 3 5 6 8 9 11 21 23 24 25 31 33 38 43 45 47 48 54 56 61 62 63 64 65 68 70 71 77 88 91 98 99 102 105 106 110 118 127 128 129 132 135 136 137 141 142 145 148 153 159 160 165 166 168 169 173 174 181 186 187 189 191 194 196 200 201 202 204 205 209 213 a 2 3 5 6 8 9 11 21 23 24 25 31 33 38 43 45 47 48 54 56 61 62 63 64 65 68 70 71 77 88 91 98 99 102 105 106 110 118 127 128 129 132 134 135 136 137 141 142 145 148 153 159 160 165 166 168 169 173 174 181 186 187 189 191 194 196 200 201 202 204 209 213 a 2 3 5 6 8 9 11 21 23 24 25 29 33 38 43 45 47 48 54 56 61 62 63 64 65 68 70 71 77 88 91 98 99 102 105 106 110 118 127 128 129 132 134 135 136 137 141 142 145 148 153 159 160 165 166 168 169 173 174 181 186 187 189 191 194 196 200 201 202 204 209 213 a 2 3 5 6 8 9 11 21 23 24 25 29 33 38 43 45 47 48 54 56 61 62 63 64 65 68 70 71 77 78 88 91 98 99 102 105 106 110 118 127 128 129 132 134 135 136 137 141 142 145 148 153 159 160 165 166 168 169 173 174 181 186 187 191 194 196 200 201 202 204 209 213 a 2 3 5 6 8 9 11 21 23 24 25 29 33 38 43 47 48 54 56 61 62 63 64 65 68 70 71 77 78 88 91 98 99 102 105 106 110 118 127 128 129 132 134 135 136 137 141 142 145 148 153 159 160 165 166 168 169 173 174 181 186 187 191 194 196 200 201 202 204 209 213 220 a 2 3 5 6 8 9 11 21 23 24 25 29 33 38 43 47 48 54 56 61 62 63 64 65 68 70 71 77 88 91 98 99 102 105 106 110 118 127 128 129 132 134 135 136 137 141 142 145 148 153 159 160 165 166 168 169 173 174 181 186 187 189 191 194 196 200 201 202 204 209 213 220 a 2 3 5 6 8 9 11 21 23 24 25 29 33 38 43 45 47 48 54 56 61 62 63 64 65 68 70 71 77 88 91 98 99 102 105 106 110 118 127 128 129 132 134 135 137 141 142 145 148 153 159 160 165 166 168 169 173 174 181 186 187 189 191 194 196 200 201 202 204 209 213 220 a 2 3 5 6 8 9 11 21 23 24 25 29 33 38 43 45 47 48 54 56 61 62 63 64 65 68 70 71 77 88 91 98 99 102 105 106 110 118 127 129 132 134 135 137 141 142 145 148 153 159 160 165 166 168 169 173 174 181 186 187 189 190 191 194 196 200 201 202 204 209 213 220 a 2 3 5 6 8 9 11 21 23 24 25 29 33 38 43 45 47 48 54 56 61 62 63 64 65 68 70 71 77 88 91 98 99 102 105 106 110 127 129 132 134 135 136 137 141 142 145 148 153 159 160 165 166 168 169 173 174 181 186 187 189 190 191 194 196 200 201 202 204 209 213 220 a 2 3 5 6 8 9 11 13 21 23 24 25 29 38 43 45 47 48 54 56 61 62 63 64 65 68 70 71 77 88 91 98 99 102 105 106 110 127 129 132 134 135 136 137 141 142 145 148 153 159 160 165 166 168 169 173 174 181 186 187 189 190 191 194 196 200 201 202 204 209 213 220 a 2 3 5 6 8 9 11 13 21 23 24 25 29 38 43 45 47 48 54 56 61 62 63 64 65 68 70 71 77 88 89 91 98 99 102 105 106 110 127 129 132 134 135 136 137 141 142 145 148 153 159 160 165 166 168 169 174 181 186 187 189 190 191 194 196 200 201 202 204 209 213 220 a 2 3 5 6 8 9 11 13 21 23 25 29 38 43 45 47 48 54 56 61 62 63 64 65 68 70 71 77 88 89 91 98 99 102 105 106 107 110 127 129 132 134 135 136 137 141 142 145 148 153 159 160 165 166 168 169 174 181 186 187 189 190 191 194 196 200 201 202 204 209 213 220 a 2 3 5 6 8 9 11 13 21 23 25 29 38 43 45 47 48 54 56 59 61 62 63 64 65 68 70 71 77 88 89 91 98 99 102 105 106 107 110 127 129 132 134 135 136 137 141 142 145 148 153 159 160 165 166 168 169 174 181 187 189 190 191 194 196 200 201 202 204 209 213 220 a 2 3 5 6 8 9 11 13 14 21 23 25 29 38 43 45 47 48 54 56 59 62 63 64 65 68 70 71 77 88 89 91 98 99 102 105 106 107 110 127 129 132 134 135 136 137 141 142 145 148 153 159 160 165 166 168 169 174 181 187 189 190 191 194 196 200 201 202 204 209 213 220 a 2 3 5 6 8 9 11 13 14 21 23 25 29 38 43 45 47 48 54 56 59 62 63 64 65 68 70 71 77 88 89 91 98 99 102 105 106 107 110 127 129 132 134 135 136 137 138 141 142 145 148 153 159 160 165 166 168 169 174 181 187 189 190 191 194 196 200 201 202 204 209 213 a 2 3 5 8 9 11 13 14 21 23 25 29 38 43 45 47 48 54 56 59 62 63 64 65 68 70 71 77 88 89 91 98 99 102 105 106 107 110 127 129 132 134 135 136 137 138 141 142 145 148 153 159 160 165 166 168 169 174 181 182 187 189 190 191 194 196 200 201 202 204 209 213 a 1 2 3 5 8 9 11 13 14 21 23 25 29 38 43 45 47 48 54 56 59 62 63 64 65 68 70 71 77 88 89 91 99 102 105 106 107 110 127 129 132 134 135 136 137 138 141 142 145 148 153 159 160 165 166 168 169 174 181 182 187 189 190 191 194 196 200 201 202 204 209 213 a 1 2 3 5 8 9 11 13 14 21 23 25 29 38 43 45 47 48 54 56 59 62 63 64 65 70 71 77 86 88 89 91 99 102 105 106 107 110 127 129 132 134 135 136 137 138 141 142 145 148 153 159 160 165 166 168 169 174 181 182 187 189 190 191 194 196 200 201 202 204 209 213 a 1 2 3 5 8 9 11 13 14 21 23 25 29 38 43 45 47 48 54 56 59 62 63 64 65 70 71 77 86 88 89 91 99 102 105 106 107 110 127 129 132 134 135 136 137 138 141 142 145 148 153 159 160 165 166 168 169 174 178 181 182 189 190 191 194 196 200 201 202 204 209 213 a 1 2 3 5 8 9 11 13 14 21 23 25 29 38 43 45 47 48 54 59 62 63 64 65 70 71 77 86 88 89 91 99 102 105 106 107 110 112 127 129 132 134 135 136 137 138 141 142 145 148 153 159 160 165 166 168 169 174 178 181 182 189 190 191 194 196 200 201 202 204 209 213 a 1 2 3 5 8 9 11 13 14 21 23 25 29 38 43 45 47 48 54 59 62 63 64 65 70 71 86 88 89 91 99 102 105 106 107 109 110 112 127 129 132 134 135 136 137 138 141 142 145 148 153 159 160 165 166 168 169 174 178 181 182 189 190 191 194 196 200 201 202 204 209 213 a 1 2 3 5 8 9 11 13 14 21 23 25 29 38 43 45 47 48 54 59 62 63 64 65 70 71 80 86 88 89 91 99 102 105 106 107 109 110 112 127 129 132 134 135 136 137 138 141 142 145 148 153 159 160 165 166 168 174 178 181 182 189 190 191 194 196 200 201 202 204 209 213 a 1 2 3 5 8 9 11 13 14 21 23 25 29 38 43 45 47 48 54 59 62 63 64 65 70 71 80 86 88 89 91 99 102 105 106 107 109 110 112 121 127 129 132 134 135 136 137 138 141 142 145 148 153 159 160 165 166 168 174 178 181 182 189 190 191 196 200 201 202 204 209 213 a 1 2 3 5 8 9 11 13 14 21 23 25 29 38 40 43 47 48 54 59 62 63 64 65 70 71 80 86 88 89 91 99 102 105 106 107 109 110 112 121 127 129 132 134 135 136 137 138 141 142 145 148 153 159 160 165 166 168 174 178 181 182 189 190 191 196 200 201 202 204 209 213 a 1 2 3 5 8 9 11 13 14 21 23 25 29 38 40 43 47 48 54 59 62 63 64 65 70 71 80 86 88 89 91 99 102 105 106 107 109 110 112 121 127 129 132 134 135 136 137 138 141 142 145 153 159 160 165 166 168 174 178 181 182 189 190 191 195 196 200 201 202 204 209 213 a 1 2 3 5 8 9 11 13 14 21 23 25 29 38 40 43 47 48 54 59 62 63 64 65 70 71 80 86 88 89 91 99 102 105 106 107 109 110 112 121 123 127 129 132 134 135 136 137 138 141 142 145 153 159 160 165 166 168 174 178 181 182 189 190 191 195 196 200 201 202 204 213 a 1 2 3 5 8 9 11 13 14 23 25 29 38 40 43 47 48 54 59 62 63 64 65 70 71 80 86 88 89 91 99 102 105 106 107 109 110 112 121 123 127 129 132 134 135 136 137 138 141 142 145 153 159 160 165 166 168 174 178 181 182 189 190 191 195 196 200 201 202 204 213 215 a 1 2 3 5 8 9 11 13 14 23 25 29 38 40 43 47 48 54 59 62 63 64 65 70 71 80 86 88 89 91 99 100 102 105 106 107 109 110 112 121 123 127 129 134 135 136 137 138 141 142 145 153 159 160 165 166 168 174 178 181 182 189 190 191 195 196 200 201 202 204 213 215 a 1 2 3 5 8 9 11 12 13 14 23 25 29 38 40 47 48 54 59 62 63 64 65 70 71 80 86 88 89 91 99 100 102 105 106 107 109 110 112 121 123 127 129 134 135 136 137 138 141 142 145 153 159 160 165 166 168 174 178 181 182 189 190 191 195 196 200 201 202 204 213 215 a 1 2 5 8 9 11 12 13 14 23 25 29 38 40 47 48 54 59 62 63 64 65 70 71 80 86 88 89 91 99 100 102 105 106 107 109 110 112 121 123 127 129 134 135 136 137 138 141 142 145 153 155 159 160 165 166 168 174 178 181 182 189 190 191 195 196 200 201 202 204 213 215 a 1 2 5 8 9 11 12 13 14 23 25 29 38 40 47 48 54 59 62 63 64 65 70 71 80 86 88 89 91 99 100 102 105 106 107 109 110 111 112 121 123 127 129 134 135 136 137 138 141 142 145 153 155 159 160 165 166 168 174 178 181 182 189 190 191 195 196 200 201 202 213 215 a 1 2 4 5 8 9 11 12 13 14 23 25 29 38 40 47 48 54 59 62 63 64 65 70 71 80 86 88 89 91 99 100 102 105 106 107 109 110 111 112 121 123 127 129 134 135 136 137 138 141 142 145 153 155 159 160 165 166 168 174 178 181 182 189 190 191 195 196 200 201 202 215 a 1 2 4 5 8 9 11 12 13 14 23 25 29 38 40 47 48 54 59 62 63 64 65 69 70 71 80 86 88 89 91 99 100 102 106 107 109 110 111 112 121 123 127 129 134 135 136 137 138 141 142 145 153 155 159 160 165 166 168 174 178 181 182 189 190 191 195 196 200 201 202 215 a 1 2 4 5 8 9 11 12 13 14 23 25 29 38 40 47 48 54 59 62 63 64 65 69 70 71 80 86 88 89 91 99 100 102 106 107 109 110 111 112 121 123 127 129 134 135 136 137 138 141 142 145 153 155 156 160 165 166 168 174 178 181 182 189 190 191 195 196 200 201 202 215 a 1 2 4 5 8 9 11 12 13 14 23 25 29 38 40 47 48 54 59 62 63 64 65 69 70 71 80 86 88 89 91 99 100 102 106 107 109 110 111 112 119 121 123 127 129 134 135 136 137 138 141 142 145 153 155 156 160 165 166 168 174 178 181 182 189 190 191 195 196 201 202 215 a 1 2 4 5 8 9 11 12 13 14 23 25 29 38 40 47 48 54 59 60 62 63 65 69 70 71 80 86 88 89 91 99 100 102 106 107 109 110 111 112 119 121 123 127 129 134 135 136 137 138 141 142 145 153 155 156 160 165 166 168 174 178 181 182 189 190 191 195 196 201 202 215 a 1 2 4 5 8 9 11 12 13 14 23 29 38 40 47 48 54 59 60 62 63 65 69 70 71 80 86 88 89 91 99 100 102 106 107 109 110 111 112 119 121 123 127 129 134 135 136 137 138 141 142 145 153 155 156 160 165 166 168 174 178 181 182 189 190 191 193 195 196 201 202 215 a 1 2 4 5 8 9 11 12 13 14 23 29 38 40 47 48 54 59 60 62 63 65 69 70 71 74 80 86 88 89 91 99 100 102 106 107 109 110 111 112 119 121 123 127 129 134 135 136 137 138 141 142 145 153 155 156 160 165 166 168 174 178 181 182 189 190 191 193 195 196 202 215 a 1 2 4 5 8 9 11 12 13 14 23 29 38 40 47 48 54 58 59 60 62 63 65 69 70 71 74 80 86 88 89 91 99 100 102 106 107 109 110 111 112 119 121 123 127 129 134 135 136 137 138 141 142 153 155 156 160 165 166 168 174 178 181 182 189 190 191 193 195 196 202 215 a 1 2 4 5 8 9 11 12 13 14 23 29 38 40 46 47 48 54 58 59 60 62 63 65 69 70 71 74 80 86 88 89 91 99 100 102 106 107 109 110 111 112 119 121 123 129 134 135 136 137 138 141 142 153 155 156 160 165 166 168 174 178 181 182 189 190 191 193 195 196 202 215 a 1 2 4 5 8 9 11 12 13 14 23 29 38 40 46 47 48 54 58 59 60 62 63 65 69 70 71 74 80 86 88 89 91 100 102 106 107 109 110 111 112 119 121 123 129 134 135 136 137 138 141 142 153 155 156 157 160 165 166 168 174 178 181 182 189 190 191 193 195 196 202 215 a 1 2 4 5 8 9 11 12 13 14 23 29 38 40 46 47 48 54 58 59 60 62 63 65 69 70 71 74 80 86 88 89 91 100 102 106 107 109 110 111 112 119 121 123 129 134 135 136 137 138 141 142 153 155 156 157 160 165 166 168 174 178 181 182 189 190 191 192 193 195 202 215 a 1 2 4 5 8 9 11 12 13 14 29 38 40 46 47 48 54 58 59 60 62 63 65 69 70 71 74 80 86 88 89 91 100 102 106 107 109 110 111 112 119 121 123 129 134 135 136 137 138 141 142 153 155 156 157 160 165 166 168 174 175 178 181 182 189 190 191 192 193 195 202 215 a 1 2 4 5 8 9 11 12 13 14 29 38 40 46 47 48 54 58 59 60 62 63 65 69 70 71 74 80 86 88 89 91 100 102 106 107 109 110 111 112 119 121 123 129 134 135 136 137 138 142 147 153 155 156 157 160 165 166 168 174 175 178 181 182 189 190 191 192 193 195 202 215 a 1 2 4 5 8 9 11 12 13 14 29 38 40 46 48 54 58 59 60 62 63 65 69 70 71 74 80 86 88 89 91 100 102 106 107 109 110 111 112 119 121 123 129 134 135 136 137 138 142 147 153 155 156 157 160 165 166 168 174 175 178 181 182 184 189 190 191 192 193 195 202 215 a 1 2 4 5 8 9 11 12 13 14 38 40 46 48 54 58 59 60 62 63 65 69 70 71 74 80 86 88 89 91 100 102 106 107 109 110 111 112 119 121 123 129 134 135 136 137 138 142 147 153 155 156 157 160 165 166 168 174 175 178 181 182 184 189 190 191 192 193 195 202 208 215 a 1 2 4 5 8 9 11 12 13 14 32 38 40 46 48 54 58 59 60 62 63 65 69 70 71 74 80 86 88 89 91 100 102 106 107 109 110 111 112 119 121 123 134 135 136 137 138 142 147 153 155 156 157 160 165 166 168 174 175 178 181 182 184 189 190 191 192 193 195 202 208 215 a 1 2 4 5 8 9 11 12 13 14 32 38 40 46 48 54 58 59 60 62 63 65 69 70 71 73 74 80 86 88 89 91 100 102 107 109 110 111 112 119 121 123 134 135 136 137 138 142 147 153 155 156 157 160 165 166 168 174 175 178 181 182 184 189 190 191 192 193 195 202 208 215 a 1 2 4 5 8 9 11 12 13 14 32 38 40 46 48 54 58 59 60 62 63 65 69 70 71 73 74 80 86 88 89 100 102 107 109 110 111 112 119 121 123 126 134 135 136 137 138 142 147 153 155 156 157 160 165 166 168 174 175 178 181 182 184 189 190 191 192 193 195 202 208 215 a 1 2 4 5 8 9 11 12 13 14 32 38 40 46 48 54 58 59 60 62 63 65 69 70 71 73 74 80 86 88 89 100 102 107 109 110 111 112 119 121 123 126 133 134 135 136 137 138 142 147 153 155 156 157 160 165 166 168 174 175 178 182 184 189 190 191 192 193 195 202 208 215 a 1 2 4 5 8 9 11 12 13 14 32 38 40 46 48 54 58 59 60 63 65 69 70 71 73 74 80 86 88 89 100 102 107 109 110 111 112 119 121 123 126 133 134 135 136 137 138 142 147 153 155 156 157 160 165 166 168 174 175 178 182 184 189 190 191 192 193 195 202 208 215 217 a 1 2 4 5 8 9 11 12 13 14 15 32 38 40 46 48 54 58 59 60 63 65 69 70 71 73 74 80 86 88 89 100 102 107 109 110 111 112 119 121 123 126 133 134 135 136 137 138 142 147 153 155 156 157 160 165 166 174 175 178 182 184 189 190 191 192 193 195 202 208 215 217 a 1 2 4 5 9 11 12 13 14 15 32 38 40 46 48 54 58 59 60 63 65 69 70 71 73 74 80 86 88 89 100 102 107 109 110 111 112 119 121 123 126 133 134 135 136 137 138 142 147 153 155 156 157 160 165 166 171 174 175 178 182 184 189 190 191 192 193 195 202 208 215 217 a 1 2 4 5 9 11 12 13 14 15 32 38 40 46 54 58 59 60 63 65 69 70 71 73 74 80 86 88 89 100 102 107 109 110 111 112 119 121 123 126 133 134 135 136 137 138 142 147 153 155 156 157 160 165 166 171 174 175 178 182 184 189 190 191 192 193 195 199 202 208 215 217 a 1 2 4 5 9 11 12 13 14 15 28 32 38 40 46 54 58 59 60 63 65 69 70 71 73 74 80 86 88 89 100 102 107 109 110 111 112 119 121 123 126 133 134 135 136 137 138 142 147 153 155 156 157 160 165 171 174 175 178 182 184 189 190 191 192 193 195 199 202 208 215 217 a 1 2 4 5 11 12 13 14 15 28 32 38 40 46 54 58 59 60 63 65 69 70 71 73 74 80 86 88 89 100 102 107 109 110 111 112 119 121 123 126 131 133 134 135 136 137 138 142 147 153 155 156 157 160 165 171 174 175 178 182 184 189 190 191 192 193 195 199 202 208 215 217 a 1 2 4 5 11 12 13 14 15 28 32 38 40 46 54 58 59 60 63 65 69 70 71 73 74 80 86 88 89 100 102 107 109 110 111 112 119 120 121 123 126 131 133 134 135 136 137 138 142 147 153 155 156 157 160 165 171 174 175 178 182 184 189 190 192 193 195 199 202 208 215 217 c Step: 63 Command being timed: "python3 run_3.py --existent --na /benchmark/random_instance/random_instance017_graph001.col /benchmark/random_instance/random_instance017_graph001_01.dat" User time (seconds): 356.64 System time (seconds): 4.58 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 6:01.24 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): 13000980 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 4365302 Voluntary context switches: 27 Involuntary context switches: 1361 Swaps: 0 File system inputs: 0 File system outputs: 304 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Sep 4 10:55:19 2023]