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