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