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