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