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