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