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