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