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