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