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