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