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