(1,4) (2,16) (3,22) (5,23) (6,10) (7,14) (8,11) (12,29) (13,24) (15,26) (19,30) (21,27) (25,28) 
nodes: 256  conflicts: 92  modelTime: 939  solveTime: 2475  totalTime: 3425  modelSize: 72263  readTime: 11 size: 13