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