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