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