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