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