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