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