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