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