(2,25) (3,21) (4,16) (5,19) (6,28) (7,26) (8,20) (9,17) (10,27) (11,23) (12,18) (13,29) (14,30) 
nodes: 1376  conflicts: 42  modelTime: 657  solveTime: 1422  totalTime: 2086  modelSize: 41292  readTime: 7 size: 13