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