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