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