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