(1,24) (2,20) (4,18) (5,17) (6,29) (7,27) (8,16) (9,19) (10,30) (11,22) (12,28) (13,23) (14,26) (15,21) 
nodes: 1768  conflicts: 41  modelTime: 662  solveTime: 2820  totalTime: 3488  modelSize: 41293  readTime: 6 size: 14