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