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