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