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