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