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