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