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