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