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