(1,18) (2,23) (3,15) (4,28) (5,6) (7,30) (8,29) (9,21) (10,12) (11,22) (13,26) (14,20) (16,25) (17,24) (19,27) 
nodes: 28452  conflicts: 32  modelTime: 928  solveTime: 99713  totalTime: 100652  modelSize: 72262  readTime: 11 size: 15