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