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