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