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