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