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