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