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