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