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