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