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