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