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