(1,4) (3,8) (5,16) (6,25) (7,18) (9,29) (10,11) (12,28) (13,15) (14,23) (17,21) (19,24) (20,26) (27,30) 
nodes: 320639  conflicts: 30  modelTime: 986  solveTime: 981586  totalTime: 982582  modelSize: 72275  readTime: 10 size: 14