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