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