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