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