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