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