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