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