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