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