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