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