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