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