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