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