(2,19) (3,22) (4,20) (5,7) (8,11) (10,28) (13,15) (14,29) (16,18) (17,24) (21,25) (23,26) (27,30) 
nodes: 3466  conflicts: 110  modelTime: 930  solveTime: 7879  totalTime: 8821  modelSize: 72266  readTime: 12 size: 13