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