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