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