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