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