(1,28) (2,16) (3,23) (4,11) (5,21) (6,18) (7,8) (9,12) (10,30) (13,15) (14,24) (19,25) (20,26) (22,29) 
nodes: 1561773  conflicts: 35  modelTime: 1269  solveTime: 5594863  totalTime: 5596150  modelSize: 72295  readTime: 18 size: 14