(3,30) (4,22) (5,16) (6,19) (7,17) (8,21) (9,27) (10,29) (11,23) (12,20) (13,26) (14,24) (15,18) 
nodes: 1903  conflicts: 37  modelTime: 665  solveTime: 3009  totalTime: 3680  modelSize: 41292  readTime: 6 size: 13