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