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