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