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