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