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