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