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