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