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