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