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