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