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