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