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