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