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