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