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