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