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