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