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