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