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