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