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