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