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