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