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