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