(1,11) (2,3) (4,14) (5,6) (7,9) (8,19) (10,24) (12,15) (13,27) (16,23) (17,21) (18,26) (20,25) (22,30) (28,29) 
nodes: 43157  conflicts: 17  modelTime: 1273  solveTime: 178143  totalTime: 179434  modelSize: 72285  readTime: 18 size: 15