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