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