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