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