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