(1,4) (2,16) (3,23) (5,18) (6,15) (7,13) (8,11) (9,20) (10,30) (14,22) (17,24) (19,28) (21,27) (26,29) 
nodes: 27121  conflicts: 48  modelTime: 948  solveTime: 148964  totalTime: 149924  modelSize: 72266  readTime: 11 size: 14