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