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