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