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