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