(1,19) (2,23) (3,8) (4,13) (5,16) (6,14) (7,29) (9,20) (10,25) (11,24) (12,18) (15,26) (17,21) (22,28) (27,30) 
nodes: 618029  conflicts: 39  modelTime: 951  solveTime: 3362985  totalTime: 3363947  modelSize: 72275  readTime: 11 size: 15