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