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