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