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