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