(2,30) (3,11) (4,15) (5,29) (6,13) (7,10) (8,14) (9,27) (12,20) (16,21) (17,19) (18,23) (22,25) (24,26) 
nodes: 95129  conflicts: 36  modelTime: 1726  solveTime: 470875  totalTime: 472620  modelSize: 72269  readTime: 19 size: 14