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