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