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