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