(1,23) (2,27) (3,13) (4,22) (5,28) (6,30) (7,9) (8,21) (10,11) (12,14) (15,20) (16,17) (18,26) (19,29) (24,25) 
nodes: 3145  conflicts: 4  modelTime: 2031  solveTime: 22807  totalTime: 24957  modelSize: 72338  readTime: 119 size: 15