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