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