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