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