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