#BEGIN: [Mon Sep 4 14:16:39 2023] #HOST: s15 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-wallclock-banbaralab2-existent3 #INSTANCE1: /benchmark/random_instance/random_instance016_graph005.col #INSTANCE2: /benchmark/random_instance/random_instance016_graph005_01.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --existent --na -t4 /benchmark/random_instance/random_instance016_graph005.col /benchmark/random_instance/random_instance016_graph005_01.dat c /benchmark/random_instance/random_instance016_graph005.col c /benchmark/random_instance/random_instance016_graph005_01.dat *** Info : (clingo): Sending shutdown signal... *** ERROR: (clingo): solving stopped by signal *** Info : (clingo): Shutdown completed in 0.089 seconds *** Info : (clingo): Sending shutdown signal... *** ERROR: (clingo): solving stopped by signal *** Info : (clingo): Shutdown completed in 0.000 seconds s 66 4 205 62 156 36 116 35 75 104 99 158 152 78 198 11 145 91 97 120 2 71 194 42 203 50 168 139 161 34 13 180 187 46 133 166 135 33 94 174 84 140 192 5 160 10 181 90 28 40 165 98 55 108 23 184 102 147 77 131 127 26 186 101 162 54 193 150 129 188 115 196 t 46 200 70 171 192 19 62 5 52 122 137 177 48 25 110 4 135 44 134 194 43 120 147 170 92 114 51 99 58 208 55 60 169 189 100 138 37 32 108 121 89 91 191 183 142 42 56 11 6 196 145 139 64 129 69 3 166 109 186 88 118 175 102 98 57 53 31 181 72 184 36 123 a YES a 2 4 5 10 11 13 23 26 28 33 34 35 36 40 42 46 50 54 55 62 66 71 75 77 78 84 90 91 94 97 98 99 101 102 104 108 115 116 120 127 129 131 133 135 139 140 145 147 150 152 156 158 160 161 162 165 166 168 174 180 181 184 186 187 188 192 193 194 196 198 203 205 a 2 4 10 11 13 14 23 26 28 33 34 35 36 40 42 46 50 54 55 62 66 71 75 77 78 84 90 91 94 97 98 99 101 102 104 108 115 116 120 127 129 131 133 135 139 140 145 147 150 152 156 158 160 161 162 165 166 168 174 180 181 184 186 187 188 192 193 194 196 198 203 205 a 2 4 10 11 13 14 23 26 28 33 34 35 36 40 42 46 50 54 55 66 71 75 77 78 84 90 91 94 97 98 99 101 102 104 108 115 116 120 127 129 131 133 135 139 140 145 147 150 152 156 158 160 161 162 165 166 168 174 180 181 184 186 187 188 192 193 194 196 198 203 204 205 a 2 4 5 10 11 13 23 26 28 33 34 35 36 40 42 46 50 54 55 66 71 75 77 78 84 90 91 94 97 98 99 101 102 104 108 115 116 120 127 129 131 133 135 139 140 145 147 150 152 156 158 160 161 162 165 166 168 174 180 181 184 186 187 188 192 193 194 196 198 203 204 205 a 2 4 5 10 11 13 23 26 28 33 34 35 36 40 42 46 50 54 55 62 66 71 75 77 78 84 90 91 94 97 98 99 101 102 104 108 115 116 120 127 129 131 133 135 139 140 145 147 150 152 156 158 160 161 162 165 166 168 174 180 181 184 186 187 188 192 193 194 196 198 203 205 a 2 4 10 11 13 14 23 26 28 33 34 35 36 40 42 46 50 54 55 62 66 71 75 77 78 84 90 91 94 97 98 99 101 102 104 108 115 116 120 127 129 131 133 135 139 140 145 147 150 152 156 158 160 161 162 165 166 168 174 180 181 184 186 187 188 192 193 194 196 198 203 205 a 2 4 10 11 13 14 23 26 28 33 34 35 36 40 42 46 50 54 55 66 71 75 77 78 84 90 91 94 97 98 99 101 102 104 108 115 116 120 127 129 131 133 135 139 140 145 147 150 152 156 158 160 161 162 165 166 168 174 180 181 184 186 187 188 192 193 194 196 198 203 204 205 a 2 4 5 10 11 13 23 26 28 33 34 35 36 40 42 46 50 54 55 66 71 75 77 78 84 90 91 94 97 98 99 101 102 104 108 115 116 120 127 129 131 133 135 139 140 145 147 150 152 156 158 160 161 162 165 166 168 174 180 181 184 186 187 188 192 193 194 196 198 203 204 205 a 2 4 5 10 11 13 23 26 28 33 34 35 36 40 41 42 46 50 54 55 66 71 75 77 78 84 90 91 94 97 98 99 101 102 104 108 115 116 120 127 129 131 133 135 139 140 145 147 150 152 156 158 160 161 162 165 166 168 174 180 181 184 186 187 188 193 194 196 198 203 204 205 a 2 4 5 10 11 13 23 26 28 33 34 35 36 40 41 42 46 54 55 66 71 75 77 78 84 90 91 94 97 98 99 101 102 104 108 115 116 120 127 129 131 133 135 137 139 140 145 147 150 152 156 158 160 161 162 165 166 168 174 180 181 184 186 187 188 193 194 196 198 203 204 205 a 2 4 5 10 11 13 23 26 28 33 34 35 36 40 41 42 46 52 54 55 66 71 75 77 78 84 90 91 94 97 98 99 101 102 104 108 115 116 120 127 129 131 133 135 137 139 140 145 147 150 152 156 158 160 161 162 165 166 168 174 180 181 184 186 187 188 193 194 196 198 203 204 a 2 4 5 10 11 13 23 26 28 33 34 35 36 40 41 42 46 52 54 55 66 71 75 77 78 84 90 91 94 97 98 99 101 102 104 108 110 115 116 120 127 129 131 133 135 137 139 140 145 147 152 156 158 160 161 162 165 166 168 174 180 181 184 186 187 188 193 194 196 198 203 204 a 2 4 5 10 11 13 17 23 26 28 33 34 35 36 40 41 42 46 52 54 55 66 71 75 77 78 84 90 91 94 97 99 101 102 104 108 110 115 116 120 127 129 131 133 135 137 139 140 145 147 152 156 158 160 161 162 165 166 168 174 180 181 184 186 187 188 193 194 196 198 203 204 a 2 4 10 11 13 14 17 23 26 28 33 34 35 36 40 41 42 46 52 54 55 66 71 75 77 78 84 90 91 94 97 99 101 102 104 108 110 115 116 120 127 129 131 133 135 137 139 140 145 147 152 156 158 160 161 162 165 166 168 174 180 181 184 186 187 188 193 194 196 198 203 204 a 2 4 10 11 13 14 17 26 28 33 34 35 36 40 41 42 46 52 54 55 66 71 75 77 78 84 90 91 92 94 97 99 101 102 104 108 110 115 116 120 127 129 131 133 135 137 139 140 145 147 152 156 158 160 161 162 165 166 168 174 180 181 184 186 187 188 193 194 196 198 203 204 a 2 4 10 11 13 14 17 26 28 33 34 35 36 40 41 42 46 48 52 54 55 66 71 75 77 78 84 90 91 92 94 97 99 101 102 104 108 110 115 116 120 127 129 131 133 135 137 139 140 145 147 156 158 160 161 162 165 166 168 174 180 181 184 186 187 188 193 194 196 198 203 204 a 2 4 10 11 13 14 17 26 28 33 34 35 36 40 41 42 46 48 52 54 55 66 71 75 77 78 84 90 91 92 94 97 99 101 102 108 110 115 116 120 127 129 131 133 135 137 139 140 145 147 156 158 160 161 162 165 166 168 174 176 180 181 184 186 187 188 193 194 196 198 203 204 a 2 4 10 11 13 14 17 26 28 33 34 35 36 40 41 42 46 48 52 54 55 66 71 75 77 78 84 85 90 91 92 94 97 99 101 102 108 110 115 116 120 127 129 131 133 135 137 139 140 145 147 156 160 161 162 165 166 168 174 176 180 181 184 186 187 188 193 194 196 198 203 204 a 2 4 10 11 13 14 17 26 28 33 34 35 36 40 41 42 46 48 52 54 55 66 71 72 75 77 78 84 85 90 91 92 94 97 99 101 102 108 110 115 116 120 127 129 131 133 135 137 139 140 145 147 156 160 162 165 166 168 174 176 180 181 184 186 187 188 193 194 196 198 203 204 a 2 4 10 11 13 14 17 26 28 33 34 35 36 40 41 42 44 46 48 52 54 55 66 71 72 75 77 78 84 85 90 91 92 94 97 99 101 102 108 110 115 116 120 127 129 131 133 135 137 139 140 145 147 156 160 162 165 166 168 174 176 180 181 184 186 187 188 194 196 198 203 204 a 2 4 10 11 13 14 17 26 28 32 33 34 35 36 40 41 42 44 46 48 52 54 55 66 71 72 75 77 78 84 85 90 91 92 97 99 101 102 108 110 115 116 120 127 129 131 133 135 137 139 140 145 147 156 160 162 165 166 168 174 176 180 181 184 186 187 188 194 196 198 203 204 a 2 4 10 11 13 14 17 26 28 32 33 34 35 36 40 41 42 44 46 48 52 54 55 62 66 71 72 75 77 78 84 85 90 91 92 97 99 101 102 108 110 115 116 120 127 129 131 133 135 137 139 140 145 147 156 160 162 165 166 168 174 176 180 181 184 186 187 188 194 196 198 203 a 2 4 10 11 13 14 17 26 28 32 33 34 35 36 40 41 42 44 46 48 52 54 55 62 66 70 71 72 75 77 78 85 90 91 92 97 99 101 102 108 110 115 116 120 127 129 131 133 135 137 139 140 145 147 156 160 162 165 166 168 174 176 180 181 184 186 187 188 194 196 198 203 a 2 4 10 11 13 14 17 25 26 28 32 33 35 36 40 41 42 44 46 48 52 54 55 62 66 70 71 72 75 77 78 85 90 91 92 97 99 101 102 108 110 115 116 120 127 129 131 133 135 137 139 140 145 147 156 160 162 165 166 168 174 176 180 181 184 186 187 188 194 196 198 203 a 2 4 10 11 13 14 17 25 26 28 32 33 35 36 40 41 42 44 46 48 52 54 55 62 66 70 71 72 75 77 78 85 90 91 92 97 99 101 102 108 110 115 116 120 127 129 131 133 135 137 138 139 140 145 147 156 160 162 165 166 168 174 176 180 181 184 186 187 188 194 196 203 a 2 4 10 11 13 14 17 25 26 28 32 33 35 36 40 42 44 46 48 52 54 55 62 66 70 71 72 75 77 78 85 90 91 92 97 99 101 102 108 110 115 116 120 127 129 131 133 135 137 138 139 140 145 147 156 160 162 165 166 168 174 176 180 181 184 186 187 188 192 194 196 203 a 2 4 10 11 13 14 17 25 26 28 32 33 35 36 40 42 44 46 48 52 54 55 62 66 70 71 72 75 77 78 85 90 91 92 97 99 101 102 108 110 115 116 120 127 129 131 133 135 137 138 139 140 142 145 147 156 160 162 165 166 174 176 180 181 184 186 187 188 192 194 196 203 a 2 4 10 11 13 14 25 26 28 32 33 35 36 40 42 44 46 48 52 54 55 62 66 70 71 72 75 77 78 85 90 91 92 97 98 99 101 102 108 110 115 116 120 127 129 131 133 135 137 138 139 140 142 145 147 156 160 162 165 166 174 176 180 181 184 186 187 188 192 194 196 203 a 2 4 10 11 14 25 26 28 32 33 35 36 40 42 44 46 48 52 54 55 62 66 70 71 72 75 77 78 85 90 91 92 97 98 99 101 102 108 110 115 116 120 123 127 129 131 133 135 137 138 139 140 142 145 147 156 160 162 165 166 174 176 180 181 184 186 187 188 192 194 196 203 a 2 4 10 11 14 25 26 28 32 33 35 36 40 42 44 46 48 52 54 55 56 62 66 70 71 72 75 77 78 85 90 91 92 97 98 99 101 102 108 110 115 116 120 123 127 129 131 133 135 137 138 139 140 142 145 147 156 160 162 165 166 174 176 180 181 184 186 188 192 194 196 203 a 2 4 10 11 14 25 26 28 32 33 35 36 42 44 46 48 52 54 55 56 62 66 69 70 71 72 75 77 78 85 90 91 92 97 98 99 101 102 108 110 115 116 120 123 127 129 131 133 135 137 138 139 140 142 145 147 156 160 162 165 166 174 176 180 181 184 186 188 192 194 196 203 a 2 4 6 10 11 14 25 26 28 32 33 35 36 42 44 46 48 52 54 55 56 62 66 69 70 71 72 75 77 78 85 90 91 92 97 98 99 101 102 108 110 115 116 120 123 127 129 131 133 135 137 138 139 140 142 145 147 156 160 162 165 166 174 176 180 181 184 186 188 192 194 196 a 2 4 6 10 11 14 25 26 28 32 33 35 36 42 43 44 46 48 52 54 55 56 62 66 69 70 71 72 75 77 78 85 90 91 92 97 98 99 101 102 108 110 115 116 120 123 127 129 131 133 135 137 138 139 140 142 145 147 156 160 165 166 174 176 180 181 184 186 188 192 194 196 a 2 4 6 11 14 25 26 28 32 33 35 36 42 43 44 46 48 52 54 55 56 62 66 69 70 71 72 75 77 78 85 88 90 91 92 97 98 99 101 102 108 110 115 116 120 123 127 129 131 133 135 137 138 139 140 142 145 147 156 160 165 166 174 176 180 181 184 186 188 192 194 196 a 2 4 6 11 14 25 26 28 32 33 35 36 42 43 44 46 48 52 53 54 55 56 62 66 69 70 71 72 75 77 78 85 88 90 91 92 97 98 99 101 102 108 110 115 116 120 123 127 129 131 133 135 137 138 139 140 142 145 147 156 165 166 174 176 180 181 184 186 188 192 194 196 a 2 4 6 11 14 25 28 32 33 35 36 42 43 44 46 48 52 53 54 55 56 62 66 69 70 71 72 75 77 78 85 88 90 91 92 97 98 99 101 102 108 109 110 115 116 120 123 127 129 131 133 135 137 138 139 140 142 145 147 156 165 166 174 176 180 181 184 186 188 192 194 196 a 3 4 6 11 14 25 28 32 33 35 36 42 43 44 46 48 52 53 54 55 56 62 66 69 70 71 72 75 77 78 85 88 90 91 92 97 98 99 101 102 108 109 110 115 116 120 123 127 129 131 133 135 137 138 139 140 142 145 147 156 165 166 174 176 180 181 184 186 188 192 194 196 a 3 4 6 11 14 25 28 32 33 35 36 42 43 44 46 48 52 53 54 55 56 62 66 69 70 71 72 75 77 78 85 88 90 91 92 97 98 99 101 102 108 109 110 115 116 120 123 129 131 133 135 137 138 139 140 142 145 147 156 165 166 169 174 176 180 181 184 186 188 192 194 196 a 3 4 6 11 14 25 28 32 33 35 36 42 43 44 46 48 52 53 54 55 56 62 66 69 70 71 72 75 77 78 85 88 90 91 92 97 98 99 101 102 108 109 110 115 116 120 123 129 131 133 135 137 138 139 140 142 145 147 156 165 166 169 174 176 180 181 184 186 192 194 196 208 a 3 4 6 11 14 19 25 28 32 33 35 36 42 43 44 46 48 52 53 54 55 56 62 66 69 70 71 72 75 77 78 85 88 90 91 92 97 98 99 101 102 108 109 110 115 116 120 123 129 131 135 137 138 139 140 142 145 147 156 165 166 169 174 176 180 181 184 186 192 194 196 208 a 3 4 6 11 14 19 25 28 32 33 35 36 42 43 44 46 48 52 53 54 55 56 62 66 69 70 71 72 77 78 85 88 90 91 92 97 98 99 101 102 108 109 110 115 116 120 123 129 131 135 137 138 139 140 142 145 147 156 165 166 169 174 175 176 180 181 184 186 192 194 196 208 a 3 4 6 11 14 19 25 32 33 35 36 42 43 44 46 48 52 53 54 55 56 62 66 69 70 71 72 77 78 85 88 89 90 91 92 97 98 99 101 102 108 109 110 115 116 120 123 129 131 135 137 138 139 140 142 145 147 156 165 166 169 174 175 176 180 181 184 186 192 194 196 208 a 3 4 6 11 14 19 25 32 33 35 36 42 43 44 46 48 52 53 54 55 56 58 62 66 69 70 71 72 77 78 85 88 89 90 91 92 97 98 99 101 102 108 109 110 115 116 120 123 129 135 137 138 139 140 142 145 147 156 165 166 169 174 175 176 180 181 184 186 192 194 196 208 a 3 4 5 6 11 19 25 32 33 35 36 42 43 44 46 48 52 53 54 55 56 58 62 66 69 70 71 72 77 78 85 88 89 90 91 92 97 98 99 101 102 108 109 110 115 116 120 123 129 135 137 138 139 140 142 145 147 156 165 166 169 174 175 176 180 181 184 186 192 194 196 208 a 3 4 5 6 11 19 25 32 35 36 42 43 44 46 48 52 53 54 55 56 58 62 66 69 70 71 72 77 78 85 88 89 90 91 92 97 98 99 101 102 108 109 110 115 116 120 123 129 135 137 138 139 140 142 145 147 156 165 166 169 174 175 176 180 181 184 186 191 192 194 196 208 a 3 4 5 6 11 19 25 32 35 36 42 43 44 46 48 52 53 54 55 56 58 60 62 66 69 70 71 72 77 78 85 88 89 90 91 92 98 99 101 102 108 109 110 115 116 120 123 129 135 137 138 139 140 142 145 147 156 165 166 169 174 175 176 180 181 184 186 191 192 194 196 208 a 3 4 5 6 11 19 25 32 35 36 42 43 44 46 48 52 53 55 56 58 60 62 66 69 70 71 72 77 78 85 88 89 90 91 92 98 99 101 102 108 109 110 114 115 116 120 123 129 135 137 138 139 140 142 145 147 156 165 166 169 174 175 176 180 181 184 186 191 192 194 196 208 a 3 4 5 6 11 19 25 32 35 36 42 43 44 46 48 51 52 53 55 56 58 60 62 66 69 70 71 72 77 78 85 88 89 90 91 92 98 99 101 102 108 109 110 114 115 120 123 129 135 137 138 139 140 142 145 147 156 165 166 169 174 175 176 180 181 184 186 191 192 194 196 208 a 3 4 5 6 11 19 25 32 35 36 42 43 44 46 48 51 52 53 55 56 58 60 62 66 69 70 71 72 77 78 85 88 89 90 91 92 98 99 101 102 108 109 110 114 115 120 123 129 135 137 138 139 140 142 145 147 165 166 169 174 175 176 180 181 184 186 189 191 192 194 196 208 a 3 4 5 6 11 19 25 31 32 35 36 42 43 44 46 48 51 52 53 55 56 58 60 62 66 69 70 71 72 77 78 85 88 89 90 91 92 98 99 102 108 109 110 114 115 120 123 129 135 137 138 139 140 142 145 147 165 166 169 174 175 176 180 181 184 186 189 191 192 194 196 208 a 3 4 5 6 11 19 25 31 32 35 36 42 43 44 46 48 51 52 53 55 56 58 60 62 64 66 69 70 71 72 77 78 85 88 89 90 91 92 98 99 102 108 109 110 114 115 120 123 129 135 137 138 139 140 142 145 147 165 166 169 175 176 180 181 184 186 189 191 192 194 196 208 a 3 4 5 6 11 19 25 31 32 36 42 43 44 46 48 51 52 53 55 56 58 60 62 64 66 69 70 71 72 77 78 85 88 89 90 91 92 98 99 102 108 109 110 114 115 120 123 129 135 137 138 139 140 142 145 147 165 166 169 175 176 180 181 183 184 186 189 191 192 194 196 208 a 3 4 5 6 11 19 25 31 32 36 42 43 44 46 48 51 52 53 55 56 58 60 62 64 66 69 70 71 72 77 85 88 89 90 91 92 98 99 102 108 109 110 114 115 118 120 123 129 135 137 138 139 140 142 145 147 165 166 169 175 176 180 181 183 184 186 189 191 192 194 196 208 a 3 4 5 6 11 19 25 31 32 36 42 43 44 46 48 51 52 53 55 56 58 60 62 64 66 69 70 71 72 85 88 89 90 91 92 98 99 102 108 109 110 114 115 118 120 123 129 135 137 138 139 140 142 145 147 165 166 169 170 175 176 180 181 183 184 186 189 191 192 194 196 208 a 3 4 5 6 11 19 25 31 32 36 42 43 44 46 48 51 52 53 55 56 58 60 62 64 66 69 70 71 72 85 88 89 90 91 92 98 99 102 108 109 110 114 115 118 120 123 129 135 137 138 139 140 142 145 147 165 166 169 170 171 175 176 181 183 184 186 189 191 192 194 196 208 a 3 4 5 6 11 19 25 31 32 36 42 43 44 46 48 51 52 53 55 56 58 60 62 64 69 70 71 72 85 88 89 90 91 92 98 99 102 108 109 110 114 115 118 120 123 129 134 135 137 138 139 140 142 145 147 165 166 169 170 171 175 176 181 183 184 186 189 191 192 194 196 208 a 3 4 5 6 11 19 25 31 32 36 42 43 44 46 48 51 52 53 55 56 58 60 62 64 69 70 71 72 85 88 89 90 91 92 98 99 102 108 109 110 114 115 118 120 121 123 129 134 135 137 138 139 140 142 145 147 165 166 169 170 171 175 181 183 184 186 189 191 192 194 196 208 a 3 4 5 6 11 19 25 31 32 36 42 43 44 46 48 51 52 53 55 56 58 60 62 64 69 70 71 72 85 88 89 90 91 92 98 99 102 108 109 110 114 115 118 120 121 123 129 134 135 137 138 139 140 142 145 147 166 169 170 171 175 177 181 183 184 186 189 191 192 194 196 208 a 3 4 5 6 11 19 25 31 32 36 42 43 44 46 48 51 52 53 55 56 58 60 62 64 69 70 71 72 85 88 89 90 91 92 98 99 102 108 109 110 114 115 118 120 121 122 123 129 134 135 137 138 139 142 145 147 166 169 170 171 175 177 181 183 184 186 189 191 192 194 196 208 a 3 4 5 6 11 19 25 31 32 36 42 43 44 46 48 51 52 53 55 56 58 60 62 64 69 70 71 72 85 88 89 91 92 98 99 102 108 109 110 114 115 118 120 121 122 123 129 134 135 137 138 139 142 145 147 166 169 170 171 175 177 181 183 184 186 189 191 192 194 196 200 208 a 3 4 5 6 11 19 25 31 32 36 42 43 44 46 48 51 52 53 55 56 57 58 60 62 64 69 70 72 85 88 89 91 92 98 99 102 108 109 110 114 115 118 120 121 122 123 129 134 135 137 138 139 142 145 147 166 169 170 171 175 177 181 183 184 186 189 191 192 194 196 200 208 a 3 4 5 6 11 19 25 31 32 36 37 42 43 44 46 48 51 52 53 55 56 57 58 60 62 64 69 70 72 85 88 89 91 92 98 99 102 108 109 110 114 118 120 121 122 123 129 134 135 137 138 139 142 145 147 166 169 170 171 175 177 181 183 184 186 189 191 192 194 196 200 208 a 3 4 5 6 11 19 25 31 32 36 37 42 43 44 46 48 51 52 53 55 56 57 58 60 62 64 69 70 72 88 89 91 92 98 99 100 102 108 109 110 114 118 120 121 122 123 129 134 135 137 138 139 142 145 147 166 169 170 171 175 177 181 183 184 186 189 191 192 194 196 200 208 c Step: 62 Command being timed: "python3 run_3.py --existent --na -t4 /benchmark/random_instance/random_instance016_graph005.col /benchmark/random_instance/random_instance016_graph005_01.dat" User time (seconds): 1078.03 System time (seconds): 6.29 Percent of CPU this job got: 297% Elapsed (wall clock) time (h:mm:ss or m:ss): 6:04.31 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): 19567036 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 1 Minor (reclaiming a frame) page faults: 6353013 Voluntary context switches: 89725 Involuntary context switches: 2832 Swaps: 0 File system inputs: 0 File system outputs: 296 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Sep 4 14:22:43 2023]