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