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