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