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