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