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