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