#BEGIN: [Tue Aug 29 21:33:41 2023] #HOST: s08 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-wallclock-banbaralab2-existent2 #INSTANCE1: /benchmark/2022benchmark/benchmark/color04/wap06a.col #INSTANCE2: /benchmark/2022benchmark/benchmark/color04/wap06a_01.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --existent --na /benchmark/2022benchmark/benchmark/color04/wap06a.col /benchmark/2022benchmark/benchmark/color04/wap06a_01.dat c /benchmark/2022benchmark/benchmark/color04/wap06a.col c /benchmark/2022benchmark/benchmark/color04/wap06a_01.dat *** Info : (clingo): INTERRUPTED by signal! *** Info : (clingo): INTERRUPTED by signal! s 31 47 49 58 61 79 80 82 83 84 85 86 89 90 94 99 100 101 102 110 111 121 127 128 131 132 134 135 147 148 159 160 161 165 166 167 168 170 171 173 174 183 185 188 189 190 192 193 194 199 200 207 220 224 225 228 229 237 239 242 243 248 254 256 258 276 334 364 370 914 915 916 918 919 920 922 925 928 929 934 940 942 944 945 947 t 19 31 41 45 49 58 61 79 80 82 83 84 85 86 89 90 91 94 99 100 102 109 110 121 127 128 131 132 133 135 147 159 161 163 166 167 168 170 171 173 174 183 185 187 189 190 192 193 194 199 200 207 217 220 225 228 229 231 233 234 237 242 243 248 253 256 258 334 370 482 485 907 914 915 916 918 920 922 925 928 934 935 944 945 947 a YES a 31 47 49 58 61 79 80 82 83 84 85 86 89 90 94 99 100 101 102 110 111 121 127 128 131 132 134 135 147 148 159 160 161 165 166 167 168 170 171 173 174 183 185 188 189 190 192 193 194 199 200 207 220 224 225 228 229 237 239 242 243 248 254 256 258 276 334 364 370 914 915 916 918 919 920 922 925 928 929 934 940 942 944 945 947 a 31 47 49 58 61 79 80 82 83 84 85 86 89 90 94 99 100 101 102 110 111 121 127 128 131 132 134 135 147 148 159 160 161 165 166 167 168 170 171 173 174 183 185 188 189 190 192 193 194 199 200 207 220 224 225 228 229 237 239 242 243 248 254 256 258 276 364 370 589 914 915 916 918 919 920 922 925 928 929 934 940 942 944 945 947 a 31 47 49 58 61 79 80 82 83 84 85 86 89 90 94 99 100 101 102 110 111 121 127 128 131 132 134 135 147 148 159 160 161 165 166 167 168 170 171 173 174 183 185 188 189 190 192 193 194 199 200 207 220 224 225 228 229 237 239 242 243 248 254 256 258 276 364 370 459 589 914 915 918 919 920 922 925 928 929 934 940 942 944 945 947 a 31 47 49 58 61 79 80 82 83 84 85 86 89 90 94 99 100 101 102 110 111 121 127 128 131 132 134 135 147 148 159 160 161 165 166 167 168 170 171 173 174 183 185 188 189 190 192 193 194 199 200 207 220 224 225 228 229 237 239 242 243 248 254 256 258 276 334 364 370 459 914 915 918 919 920 922 925 928 929 934 940 942 944 945 947 a 31 47 49 58 61 79 80 82 83 84 85 86 89 90 94 99 100 101 102 110 111 121 127 128 131 132 134 135 147 148 159 160 161 165 166 167 168 170 171 173 174 183 185 188 189 190 192 193 194 199 200 207 220 224 225 228 229 237 239 242 243 248 254 256 258 276 334 364 370 914 915 916 918 919 920 922 925 928 929 934 940 942 944 945 947 a 31 47 49 58 61 79 80 82 83 84 85 86 89 90 94 99 100 101 102 110 111 121 127 128 131 132 134 135 147 148 159 160 161 165 166 167 168 170 171 173 174 183 185 188 189 192 193 194 199 200 207 220 224 225 228 229 237 239 242 243 248 254 256 258 276 334 364 370 378 914 915 916 918 919 920 922 925 928 929 934 940 942 944 945 947 a 31 47 49 58 61 79 80 82 83 84 85 86 89 90 94 99 100 101 102 110 111 121 127 128 131 132 134 135 147 148 159 160 161 165 166 167 168 170 171 173 174 183 185 188 189 192 193 194 199 200 207 220 224 225 228 229 237 239 242 243 248 254 256 258 276 334 364 370 378 459 914 915 918 919 920 922 925 928 929 934 940 942 944 945 947 a 31 47 49 58 61 79 80 82 83 84 85 86 89 90 94 99 100 101 102 110 111 121 127 128 131 132 134 135 147 148 159 160 161 165 166 167 168 170 171 173 174 183 185 188 189 192 193 194 199 200 207 220 224 225 228 229 237 239 242 248 254 256 258 276 328 334 364 370 378 459 914 915 918 919 920 922 925 928 929 934 940 942 944 945 947 a 31 47 49 58 61 79 80 82 83 84 85 86 89 90 94 99 100 101 102 110 111 121 127 128 131 132 134 135 147 148 159 160 161 165 166 167 168 170 171 173 174 183 185 188 189 192 193 194 199 200 207 220 224 225 228 229 237 239 242 248 254 256 258 276 328 334 364 370 378 914 915 916 918 919 920 922 925 928 929 934 940 942 944 945 947 a 31 47 49 58 61 79 80 82 83 84 85 86 89 90 94 99 100 101 102 110 111 121 127 128 131 132 134 135 147 148 159 160 161 165 166 167 168 170 171 173 174 183 185 188 189 192 193 194 199 200 207 220 224 225 228 229 237 239 242 248 254 256 258 276 328 364 370 378 589 914 915 916 918 919 920 922 925 928 929 934 940 942 944 945 947 a 16 31 47 49 58 61 79 80 82 83 84 85 86 89 90 94 99 100 101 102 110 111 121 127 128 131 132 134 135 147 148 159 160 161 165 166 167 168 170 171 173 174 183 185 188 189 192 193 194 199 200 207 220 224 225 228 229 237 239 242 248 254 256 258 276 328 364 370 378 589 914 915 916 918 919 920 922 925 929 934 940 942 944 945 947 a 16 31 47 49 58 61 79 80 82 83 84 85 86 89 90 91 94 99 100 101 102 110 111 121 127 128 131 132 134 135 147 148 159 160 161 165 166 167 168 170 171 173 174 183 185 188 189 192 193 194 199 200 207 220 224 225 228 229 237 239 242 248 254 256 258 276 328 364 370 378 589 914 915 916 918 920 922 925 929 934 940 942 944 945 947 a 16 31 47 49 58 61 79 80 82 83 84 85 86 89 90 91 94 99 100 101 102 110 111 121 127 128 131 132 134 135 147 148 159 160 161 165 166 167 168 170 171 173 174 183 185 188 189 192 193 194 199 200 207 220 224 225 228 229 237 239 242 248 254 256 258 276 328 334 364 370 378 914 915 916 918 920 922 925 929 934 940 942 944 945 947 a 16 31 47 49 58 61 79 80 82 83 84 85 86 89 90 91 94 99 100 101 102 110 111 121 127 128 131 132 134 135 147 159 160 161 165 166 167 168 170 171 173 174 183 185 188 189 192 193 194 199 200 207 220 224 225 228 229 237 239 242 248 254 256 258 276 328 334 364 370 378 482 914 915 916 918 920 922 925 929 934 940 942 944 945 947 a 16 31 47 49 58 61 79 80 82 83 84 85 86 89 90 91 94 99 100 101 102 110 111 121 127 128 131 132 134 135 147 159 160 161 163 166 167 168 170 171 173 174 183 185 188 189 192 193 194 199 200 207 220 224 225 228 229 237 239 242 248 254 256 258 276 328 334 364 370 378 482 914 915 916 918 920 922 925 929 934 940 942 944 945 947 a 16 31 47 49 58 61 79 80 82 83 84 85 86 89 90 91 94 99 100 101 102 110 111 121 127 128 131 132 134 135 147 159 160 161 163 166 167 168 170 171 173 174 183 185 188 189 190 192 193 194 199 200 207 220 224 225 228 229 237 239 242 248 254 256 258 276 328 334 364 370 482 914 915 916 918 920 922 925 929 934 940 942 944 945 947 a 16 31 47 49 58 61 79 80 82 83 84 85 86 89 90 91 94 99 100 101 102 110 111 121 127 128 131 132 134 135 147 159 160 161 163 166 167 168 170 171 173 174 183 185 188 189 190 192 193 194 199 200 207 220 224 225 228 229 233 237 239 242 248 254 256 258 276 328 334 370 482 914 915 916 918 920 922 925 929 934 940 942 944 945 947 a 16 31 47 49 58 61 79 80 82 83 84 85 86 89 90 91 94 99 100 102 110 111 121 127 128 131 132 134 135 147 159 160 161 163 166 167 168 170 171 173 174 183 185 188 189 190 192 193 194 199 200 207 220 224 225 228 229 231 233 237 239 242 248 254 256 258 276 328 334 370 482 914 915 916 918 920 922 925 929 934 940 942 944 945 947 a 16 31 47 49 58 61 79 80 82 83 84 85 86 89 90 91 94 99 100 102 110 111 121 127 128 131 132 134 135 147 159 160 161 163 166 167 168 170 171 173 174 183 185 188 189 190 192 193 194 199 200 207 220 224 225 228 229 231 233 237 239 242 248 254 256 258 328 334 370 482 485 914 915 916 918 920 922 925 929 934 940 942 944 945 947 a 16 31 47 49 58 61 79 80 82 83 84 85 86 89 90 91 94 99 100 102 110 111 121 127 128 131 132 134 135 147 159 160 161 163 166 167 168 170 171 173 174 183 185 188 189 190 192 193 194 199 200 207 220 224 225 228 229 231 233 237 239 242 243 248 254 256 258 334 370 482 485 914 915 916 918 920 922 925 929 934 940 942 944 945 947 a 16 31 47 49 58 61 79 80 82 83 84 85 86 89 90 91 94 99 100 102 110 111 121 127 128 131 132 134 135 147 159 160 161 163 166 167 168 170 171 173 174 183 185 188 189 190 192 193 194 199 200 207 220 224 225 228 229 231 233 237 239 242 243 248 254 256 258 334 370 482 485 914 915 916 918 920 922 925 929 934 935 940 944 945 947 a 16 31 47 49 58 61 79 80 82 83 84 85 86 89 90 91 94 99 100 102 110 111 121 127 128 131 132 134 135 147 159 160 161 163 166 167 168 170 171 173 174 183 185 188 189 190 192 193 194 199 200 207 220 224 225 228 229 231 233 237 239 242 243 248 254 256 258 334 370 482 485 907 914 915 916 918 920 922 925 934 935 940 944 945 947 a 16 31 41 47 49 58 61 79 80 82 83 84 85 86 89 90 91 94 99 100 102 110 111 121 127 128 131 132 134 135 147 159 160 161 163 166 167 168 170 171 173 174 183 185 188 189 190 192 193 194 199 200 207 220 224 225 228 229 231 233 237 239 242 243 248 254 256 258 334 370 482 485 907 914 915 916 918 920 922 925 934 935 944 945 947 a 16 31 41 47 49 58 61 79 80 82 83 84 85 86 89 90 91 94 99 100 102 110 111 121 127 128 131 132 134 135 147 159 160 161 163 166 167 168 170 171 173 174 183 185 188 189 190 192 193 194 199 200 207 217 220 225 228 229 231 233 237 239 242 243 248 254 256 258 334 370 482 485 907 914 915 916 918 920 922 925 934 935 944 945 947 a 16 19 31 41 47 49 58 61 79 80 82 83 84 85 86 89 90 91 94 99 100 102 110 111 121 127 128 131 132 134 135 147 159 160 161 163 166 167 168 170 171 173 174 183 185 188 189 190 192 193 194 199 200 207 217 220 225 228 229 231 233 237 242 243 248 254 256 258 334 370 482 485 907 914 915 916 918 920 922 925 934 935 944 945 947 a 16 19 31 41 47 49 58 61 79 80 82 83 84 85 86 89 90 91 94 99 100 102 110 111 121 127 128 131 132 134 135 147 159 160 161 163 166 167 168 170 171 173 174 183 185 188 189 190 192 193 194 199 200 207 217 220 225 228 229 231 233 237 242 243 248 253 256 258 334 370 482 485 907 914 915 916 918 920 922 925 934 935 944 945 947 a 16 19 31 41 47 49 58 61 79 80 82 83 84 85 86 89 90 91 94 99 100 102 110 111 121 127 128 131 132 134 135 147 159 161 163 166 167 168 170 171 173 174 183 185 188 189 190 192 193 194 199 200 207 217 220 225 228 229 231 233 234 237 242 243 248 253 256 258 334 370 482 485 907 914 915 916 918 920 922 925 934 935 944 945 947 a 16 19 31 41 45 49 58 61 79 80 82 83 84 85 86 89 90 91 94 99 100 102 110 111 121 127 128 131 132 134 135 147 159 161 163 166 167 168 170 171 173 174 183 185 188 189 190 192 193 194 199 200 207 217 220 225 228 229 231 233 234 237 242 243 248 253 256 258 334 370 482 485 907 914 915 916 918 920 922 925 934 935 944 945 947 a 19 31 41 45 49 58 61 79 80 82 83 84 85 86 89 90 91 94 99 100 102 110 111 121 127 128 131 132 134 135 147 159 161 163 166 167 168 170 171 173 174 183 185 188 189 190 192 193 194 199 200 207 217 220 225 228 229 231 233 234 237 242 243 248 253 256 258 334 370 482 485 907 914 915 916 918 920 922 925 928 934 935 944 945 947 a 19 31 41 45 49 58 61 79 80 82 83 84 85 86 89 90 91 94 99 100 102 110 111 121 127 128 131 132 133 135 147 159 161 163 166 167 168 170 171 173 174 183 185 188 189 190 192 193 194 199 200 207 217 220 225 228 229 231 233 234 237 242 243 248 253 256 258 334 370 482 485 907 914 915 916 918 920 922 925 928 934 935 944 945 947 a 19 31 41 45 49 58 61 79 80 82 83 84 85 86 89 90 91 94 99 100 102 110 111 121 127 128 131 132 133 135 147 159 161 163 166 167 168 170 171 173 174 183 185 187 189 190 192 193 194 199 200 207 217 220 225 228 229 231 233 234 237 242 243 248 253 256 258 334 370 482 485 907 914 915 916 918 920 922 925 928 934 935 944 945 947 a 19 31 41 45 49 58 61 79 80 82 83 84 85 86 89 90 91 94 99 100 102 109 110 121 127 128 131 132 133 135 147 159 161 163 166 167 168 170 171 173 174 183 185 187 189 190 192 193 194 199 200 207 217 220 225 228 229 231 233 234 237 242 243 248 253 256 258 334 370 482 485 907 914 915 916 918 920 922 925 928 934 935 944 945 947 c Step: 31 Command being timed: "python3 run_3.py --existent --na /benchmark/2022benchmark/benchmark/color04/wap06a.col /benchmark/2022benchmark/benchmark/color04/wap06a_01.dat" User time (seconds): 362.68 System time (seconds): 8.06 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 6:10.77 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): 27827868 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 9569231 Voluntary context switches: 31 Involuntary context switches: 2314 Swaps: 0 File system inputs: 0 File system outputs: 1568 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Tue Aug 29 21:39:53 2023]