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