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