(1,4) (2,20) (3,17) (5,26) (6,10) (7,27) (8,11) (9,13) (12,19) (14,30) (15,21) (16,28) (18,23) (22,29) (24,25) 
nodes: 1003756  conflicts: 31  modelTime: 1237  solveTime: 4159597  totalTime: 4160852  modelSize: 72285  readTime: 18 size: 15