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