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