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