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