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