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