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