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