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