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