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