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