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