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