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