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