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