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