c #BEGIN: [Fri Mar 18 16:53:53 2022] c #HOST: mini01.local c #TIMELIMIT: 18000 c #MEMLIMIT: 0 c #FREQ: 10 c #SOLVER: isr-bug-finder c #CSP: benchmark/graph-instance/core-challenge-2022/color04/wap06a.col benchmark/graph-instance/core-challenge-2022/color04/wap06a_01.dat c #COMMAND: /Users/soh/app/scala-2.12.4/bin/scala -J-Xms16g -J-Xmx16g -cp /Users/soh/app/IsrForCompetition220315-22h16m/scop.jar:/Users/soh/app/IsrForCompetition220315-22h16m/isr4competition_2.12-1.3.5.jar fun.scop.app.isr.IsrSolverTj03 benchmark/graph-instance/core-challenge-2022/color04/wap06a.col benchmark/graph-instance/core-challenge-2022/color04/wap06a_01.dat cadical /Users/soh/app/IsrForCompetition220315-22h16m/cadical c (0) step 1 UNSAT 5682 100394 c (0) step 2 UNSAT 10416 156271 c (0) step 3 UNSAT 15150 212148 c (0) step 4 UNSAT 19884 268025 c (0) step 5 UNSAT 24618 323902 c (0) step 6 UNSAT 29352 379779 c (1) step 7 UNSAT 34086 435656 c (4) step 8 UNSAT 38820 491533 c (9) step 9 UNSAT 43554 547410 c (19) step 10 UNSAT 48288 603287 c (26) step 11 UNSAT 53022 659164 c (35) step 12 UNSAT 57756 715041 c (87) step 13 UNSAT 62490 770918 c (167) step 14 UNSAT 67224 826795 c (993) step 15 UNSAT 71958 882672 c (1793) step 16 UNSAT 76692 938549 c (1794) step 17 SAT 81426 994426 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 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 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 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 243 248 254 256 258 276 334 370 914 915 916 918 919 920 922 925 928 929 934 940 942 944 945 947 a 19 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 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 242 243 248 254 256 258 276 334 370 914 915 916 918 919 920 922 925 928 929 934 940 942 944 945 947 a 19 31 45 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 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 242 243 248 254 256 258 276 334 370 914 915 916 918 919 920 922 925 928 929 934 940 942 944 945 947 a 19 31 45 49 58 61 79 80 82 83 84 85 86 89 90 94 99 100 102 110 111 121 127 128 131 132 134 135 147 148 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 242 243 248 254 256 258 276 334 370 914 915 916 918 919 920 922 925 928 929 934 940 942 944 945 947 a 19 31 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 148 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 242 243 248 254 256 258 276 334 370 914 915 916 918 920 922 925 928 929 934 940 942 944 945 947 a 19 31 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 148 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 242 243 248 254 256 258 334 370 485 914 915 916 918 920 922 925 928 929 934 940 942 944 945 947 a 19 31 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 148 159 160 161 163 166 167 168 170 171 173 174 183 185 187 189 190 192 193 194 199 200 207 220 224 225 228 229 231 233 237 242 243 248 254 256 258 334 370 485 914 915 916 918 920 922 925 928 929 934 940 942 944 945 947 a 19 31 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 148 159 160 161 163 166 167 168 170 171 173 174 183 185 187 189 190 192 193 194 199 200 207 220 224 225 228 229 231 233 237 242 243 248 253 256 258 334 370 485 914 915 916 918 920 922 925 928 929 934 940 942 944 945 947 a 19 31 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 134 135 147 148 159 160 161 163 166 167 168 170 171 173 174 183 185 187 189 190 192 193 194 199 200 207 220 224 225 228 229 231 233 237 242 243 248 253 256 258 334 370 485 914 915 916 918 920 922 925 928 929 934 940 942 944 945 947 a 19 31 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 134 135 147 159 160 161 163 166 167 168 170 171 173 174 183 185 187 189 190 192 193 194 199 200 207 220 224 225 228 229 231 233 237 242 243 248 253 256 258 334 370 482 485 914 915 916 918 920 922 925 928 929 934 940 942 944 945 947 a 19 31 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 134 135 147 159 160 161 163 166 167 168 170 171 173 174 183 185 187 189 190 192 193 194 199 200 207 220 224 225 228 229 231 233 237 242 243 248 253 256 258 334 370 482 485 907 914 915 916 918 920 922 925 928 934 940 942 944 945 947 a 19 31 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 134 135 147 159 160 161 163 166 167 168 170 171 173 174 183 185 187 189 190 192 193 194 199 200 207 220 224 225 228 229 231 233 237 242 243 248 253 256 258 334 370 482 485 907 914 915 916 918 920 922 925 928 934 935 940 944 945 947 a 19 31 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 134 135 147 159 161 163 166 167 168 170 171 173 174 183 185 187 189 190 192 193 194 199 200 207 220 224 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 940 944 945 947 a 19 31 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 220 224 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 940 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 220 224 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 Command being timed: "/Users/soh/app/scala-2.12.4/bin/scala -J-Xms16g -J-Xmx16g -cp /Users/soh/app/IsrForCompetition220315-22h16m/scop.jar:/Users/soh/app/IsrForCompetition220315-22h16m/isr4competition_2.12-1.3.5.jar fun.scop.app.isr.IsrSolverTj03 benchmark/graph-instance/core-challenge-2022/color04/wap06a.col benchmark/graph-instance/core-challenge-2022/color04/wap06a_01.dat cadical /Users/soh/app/IsrForCompetition220315-22h16m/cadical" User time (seconds): 1790.83 System time (seconds): 9.42 Percent of CPU this job got: 100% Elapsed (wall clock) time (h:mm:ss or m:ss): 29:56.70 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): 4548427776 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 3388685 Voluntary context switches: 51 Involuntary context switches: 173894 Swaps: 0 File system inputs: 0 File system outputs: 0 Socket messages sent: 58 Socket messages received: 0 Signals delivered: 5 Page size (bytes): 4096 Exit status: 0 c FINISHED CPU 1800.25 MEM 0 MAXMEM 0 STALE 1 c #RESULT: UNK c #FIN: FIN c #CPU: 1800.25 c #MAXMEM: 0 c c #END: [Fri Mar 18 17:23:49 2022]