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