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