(2,26) (3,21) (4,29) (5,16) (6,28) (7,17) (8,20) (9,27) (10,22) (11,30) (12,18) (13,19) (14,23) 
nodes: 1999  conflicts: 33  modelTime: 659  solveTime: 3397  totalTime: 4063  modelSize: 41292  readTime: 7 size: 13