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