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