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