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