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