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