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