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