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