(2,20) (3,24) (4,27) (5,29) (6,26) (7,23) (8,19) (9,16) (10,25) (11,22) (12,28) (13,30) (14,17) (15,21) 
nodes: 3941  conflicts: 36  modelTime: 658  solveTime: 5801  totalTime: 6466  modelSize: 41292  readTime: 7 size: 14