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