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