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