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