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