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