(1,9) (2,11) (3,8) (4,16) (5,7) (6,18) (10,19) (12,13) (14,29) (15,25) (17,20) (21,28) (22,30) (23,24) 
nodes: 590518  conflicts: 33  modelTime: 996  solveTime: 3226945  totalTime: 3227951  modelSize: 72266  readTime: 10 size: 14